Showing 20 papers (Total: 82901 papers, 47900 authors in database)
PBW bases and marginally large tableaux in types B and C
Published in Canad. Math. Bull. 62 (2019), no. 1, 37-54
• View Publication
• BIB
We explicitly describe the isomorphism between two combinatorial realizations of Kashiwara's infinity crystal in types B and C. The first realization is in terms of marginally large tableaux and the other is in terms of Kostant partitions coming from PBW bases. We also discuss a stack notation for Kostant partitions which simplifies that realization.
On $k$-normality and Regularity of Normal Toric Varieties
We give a bound of $k$ for a very ample lattice polytope to be $k$-normal. Equivalently, we give a new combinatorial bound for the Castelnuovo-Mumford regularity of normal projective toric varieties.
On a topological version of Pach's overlap theorem
Published
• View Publication
• BIB
Pach showed that every $d+1$ sets of points $Q_1,\dotsc,Q_{d+1} \subset \mathbb{R}^d$ contain linearly-sized subsets $P_i\subset Q_i$ such that all the transversal simplices that they span intersect. We show, by means of an example, that a topological extension of Pach's theorem does not hold with subsets of size $C(\log n)^{1/(d-1)}$. We show that this is tight in dimension $2$, for all surfaces other than $\mathbb{S}^2$. Surprisingly, the optimal bound for $\mathbb{S}^2$ in the topological version of Pach's theorem is of the order $(\log n)^{1/2}$. We conjecture that, among higher-dimensional manifolds, spheres are similarly distinguished. This improves upon the results of Bárány, Meshulam, Nevo and Tancer.
Free subgroups of free products and combinatorial hypermaps
Published in Discrete Mathematics, 2019
• View Publication
• BIB
We derive a generating series for the number of free subgroups of finite index in $Δ^+ = \mathbb{Z}_p*\mathbb{Z}_q$ by using a connection between free subgroups of $Δ^+$ and certain hypermaps (also known as ribbon graphs or "fat" graphs), and show that this generating series is transcendental. We provide non-linear recurrence relations for the above numbers based on differential equations that are part of the Riccati hierarchy. We also study the generating series for conjugacy classes of free subgroups of finite index in $Δ^+$, which correspond to isomorphism classes of hypermaps. Asymptotic formulas are provided for the numbers of free subgroups of given finite index, conjugacy classes of such subgroups, or, equivalently, various types of hypermaps and their isomorphism classes.
The Johansson--Molloy Theorem for DP-Coloring
Published in Random Structures and Algorithms, vol. 54, issue 4, 2019, 653--664
• View Publication
• BIB
The aim of this note is twofold. On the one hand, we present a streamlined version of Molloy's new proof of the bound $χ(G) \leq (1+o(1))Δ(G)/\ln Δ(G)$ for triangle-free graphs $G$, avoiding the technicalities of the entropy compression method and only using the usual "lopsided" Lovász Local Lemma (albeit in a somewhat unusual setting). On the other hand, we extend Molloy's result to DP-coloring (also known as correspondence coloring), a generalization of list coloring introduced recently by Dvořák and Postle.
An Introduction to Supersymmetric Cluster Algebras
Published
• View Publication
• BIB
In this paper we propose the notion of cluster superalgebras which is a supersymmetric version of the classical cluster algebras introduced by Fomin and Zelevinsky. We show that the symplectic-orthogonal supergroup $SpO(2|1)$ admits a cluster superalgebra structure and as a consequence of this, we deduce that the supercommutative superalgebra generated by all the entries of a superfrieze is a subalgebra of a cluster superalgebra. We also show that the coordinate superalgebra of the super Grassmannian $G(2|0; 4|1)$ of chiral conformal superspace (that is, $(2|0)$ planes inside the superspace $\mathbb C^{4|1}$) is a quotient of a cluster superalgebra.
Strong geodetic problem in networks: computational complexity and solution for Apollonian networks
Published
• View Publication
• BIB
The geodetic problem was introduced by Harary et al. In order to model some social network problems, a similar problem is introduced in this paper and named the strong geodetic problem. The problem is solved for complete Apollonian networks. It is also proved that in general the strong geodetic problem is NP-complete.
Strong geodetic problem in grid like architectures
A recent variation of the classical geodetic problem, the strong geodetic problem, is defined as follows. If $G$ is a graph, then ${\rm sg}(G)$ is the cardinality of a smallest vertex subset $S$, such that one can assign a fixed geodesic to each pair $\{x,y\}\subseteq S$ so that these $\binom{|S|}{2}$ geodesics cover all the vertices of $G$. In this paper, the strong geodesic problem is studied on Cartesian product graphs. A general upper bound is proved on the Cartesian product of a path with an arbitrary graph and showed that the bound is tight on flat grids and flat cylinders.
Ribbon invariants I
A non-negative integer invariant, estimating from below the number of geometrically different critical points of a smooth function $f$ defined in the 2-disk, $f:\mathbb{B}^{2}\rightarrow\mathbb{R}$, is considered. (We denote it by "$γ$".) It depends on combined $C^{0}+C^{1}$ type conditions on the boundary $\partial(\mathbb{B}^{2})=\mathbb{S}^{1}$, that we call "ribbons" here. It turns out to be an alternative to the degree of the gradient map and almost independent from it. Note that the computation of the degree does not guarantee multiple critical points, unlike the ribbon invariant $γ$. In fact, this invariant is counting the number of essential components of the critical set, rather than simply the number of critical points. Various estimates of $γ$ are established. Some other "ribbon type" invariants of geometrical nature are defined and investigated. All these invariants turn out to be more combinatorial, rather than algebraic, in nature. Algorithms for the calculation of the ribbon invariants are presented. Interconnections with some different areas, such as the theory of immersed curves in the plane or independent domination in graphs, as well as various geometric applications, are commented. The latter topics will be investigated in detail in Part II of the present article. At the end, different questions about $γ$ are asked.
Bivariate Domination Polynomial
We introduce a new bivariate polynomial ${\displaystyle J(G; x,y):=\sum\limits_{W \in V(G)} x^{|W|}y^{|N(W)|}}$ which contains the standard domination polynomial of the graph $G$ in two different ways. We build methods for efficient calculation of this polynomial and prove that there are still some families of graphs which have the same bivariate polynomial.
Hyperbolic Pascal simplex
Published in International Electronic Journal of Geometry (IEJG), Vol.10 No.2, (2017) 46-55
• Search Publication
In this article we introduce a new geometric object called hyperbolic Pascal simplex. This new object is presented by the regular hypercube mosaic in the 4-dimensional hyperbolic space. The definition of the hyperbolic Pascal simplex, whose hyperfaces are hyperbolic Pascal pyramids and faces are hyperbolic Pascals triangles, is a natural generalization of the definition of the hyperbolic Pascal triangle and pyramid. We describe the growing of the hyperbolic Pascal simplex considering the numbers and the values of the elements. Further figures illustrate the stepping from a level to the next one.
Generating modular lattices of up to 30 elements
Published
• View Publication
• BIB
An algorithm is presented for generating finite modular, semimodular, graded, and geometric lattices up to isomorphism. Isomorphic copies are avoided using a combination of the general-purpose graph-isomorphism tool nauty and some optimizations that handle simple cases directly. For modular and semimodular lattices, the algorithm prunes the search tree much earlier than the method of Jipsen and Lawless, leading to a speedup of several orders of magnitude. With this new algorithm modular lattices are counted up to 30 elements, semimodular lattices up to 25 elements, graded lattices up to 21 elements, and geometric lattices up to 34 elements. Some statistics are also provided on the typical shape of small lattices of these types.
Complete Subgraphs of the Coprime Hypergraph of Integers III: Construction
Published in European Journal of Mathematics (2019)
• View Publication
• BIB
The coprime hypergraph of integers on $n$ vertices $CHI_k(n)$ is defined via vertex set $\{1,2,\dots,n\}$ and hyperedge set $\{\{v_1,v_2,\dots,v_{k+1}\}\subseteq\{1,2,\dots,n\}:\gcd(v_1,v_2,\dots,v_{k+1})=1\}$. In this article we present ideas on how to construct maximal subgraphs in $CHI_k(n)$. This continues the author's earlier work, which dealt with bounds on the size and structural properties of these subgraphs. We succeed in the cases $k\in\{1,2,3\}$ and give promising ideas for $k\geq 4$.
On mesoprimary decomposition of monoid congruences
We prove two main results concerning mesoprimary decomposition of monoid congruences, as introduced by Kahle and Miller. First, we identify which associated prime congruences appear in every mesoprimary decomposition, thereby completing the theory of mesoprimary decomposition of monoid congruences as a more faithful analog of primary decomposition. Second, we answer a question posed by Kahle and Miller by characterizing which finite posets arise as the set of associated prime congruences of monoid congruences.
From cycles to circles in Cayley graphs
For locally finite infinite graphs the notion of Hamilton cycles can be extended to Hamilton circles, homeomorphic images of $S^1$ in the Freudenthal compactification. In this paper we extend some well-known theorems of the Hamiltonicity of finite Cayley graphs to infinite Cayley graphs.
Conditions for recurrence and transience for one family of random walks
A parametric family of two-dimensional random walks $\mathbf{S}_t(a)$ $=\big(S_t^{(1)}(a),$ $S_t^{(2)}(a)\big)$ in the main quarter plane is studied. The components $S_t^{(1)}(a)$ and $S_t^{(2)}(a)$ are assumed to be correlated in the way that is defined exactly in the paper.
We derive the conditions on $a$, under which a random walk $\mathbf{S}_t(a)$ is recurrent.
Tensor Models, Kronecker coefficients and Permutation Centralizer Algebras
Published in JHEP 11 (2017) 092
• View Publication
• BIB
We show that the counting of observables and correlators for a 3-index tensor model are organized by the structure of a family of permutation centralizer algebras. These algebras are shown to be semi-simple and their Wedderburn-Artin decompositions into matrix blocks are given in terms of Clebsch-Gordan coefficients of symmetric groups. The matrix basis for the algebras also gives an orthogonal basis for the tensor observables which diagonalizes the Gaussian two-point functions. The centres of the algebras are associated with correlators which are expressible in terms of Kronecker coefficients (Clebsch-Gordan multiplicities of symmetric groups). The color-exchange symmetry present in the Gaussian model, as well as a large class of interacting models, is used to refine the description of the permutation centralizer algebras. This discussion is extended to a general number of colors $d$: it is used to prove the integrality of an infinite family of number sequences related to color-symmetrizations of colored graphs, and expressible in terms of symmetric group representation theory data. Generalizing a connection between matrix models and Belyi maps, correlators in Gaussian tensor models are interpreted in terms of covers of singular 2-complexes. There is an intriguing difference, between matrix and higher rank tensor models, in the computational complexity of superficially comparable correlators of observables parametrized by Young diagrams.
On the structure of graphs excluding $K_{4}$, $W_{4}$, $K_{2,4}$ and one other graph as a rooted minor
In this paper we give structural characterizations of graphs not containing rooted $K_{4}$, $W_{4}$, $K_{2,4}$, and a graph we call $L$.
Multi de Bruijn Sequences
Published in Journal of Combinatorics, 2017, 8(3):439-474
• View Publication
• BIB
We generalize the notion of a de Bruijn sequence to a "multi de Bruijn sequence": a cyclic or linear sequence that contains every k-mer over an alphabet of size q exactly m times. For example, over the binary alphabet {0,1}, the cyclic sequence (00010111) and the linear sequence 000101110 each contain two instances of each 2-mer 00,01,10,11. We derive formulas for the number of such sequences. The formulas and derivation generalize classical de Bruijn sequences (the case m=1). We also determine the number of multisets of aperiodic cyclic sequences containing every k-mer exactly m times; for example, the pair of cyclic sequences (00011)(011) contains two instances of each 2-mer listed above. This uses an extension of the Burrows-Wheeler Transform due to Mantaci et al, and generalizes a result by Higgins for the case m=1.
Mekler's construction and generalized stability
Published
• View Publication
• BIB
Mekler's construction gives an interpretation of any structure in a finite relational language in a group (nilpotent of class $2$ and exponent $p>2$, but not finitely generated in general). Even though this construction is not a bi-interpretation, it is known to preserve some model-theoretic tameness properties of the original structure including stability and simplicity. We demonstrate that $k$-dependence of the theory is preserved, for all $k \in \mathbb{N}$, and that NTP$_2$ is preserved. We apply this result to obtain first examples of strictly $k$-dependent groups (with no additional structure).