Showing 20 papers (Total: 82851 papers, 47869 authors in database)
On a Conjecture of Kelly on $(1,3)$-representation of Sylvester Gallai Designs
Published in Proceedings Mathematical Sciences: The Indian Academy of Sciences, Vol. 132, Art. ID. 24, April 2022, 14 Pages, https://www.ias.ac.in/article/fulltext/pmsc/132/0024
• View Publication
• BIB
We give an exact criterion of a conjecture of L.M.Kelly to hold true which is stated as follows. If there is a finite family $Σ$ of mutually skew lines in $\mathbb{R}^l,l\geq 4$ such that the three dimensional affine span (hull) of every two lines in $Σ$, contains at least one more line of $Σ$, then we have that $Σ$ is entirely contained in a three dimensional space if and only if the arrangement of affine hulls is central. Finally, this article leads to an analogous question for higher dimensional skew affine spaces, that is, for $(2,5)$-representations of sylvester-gallai designs in $\mathbb{R}^6$, which is answered in the last section.
On two congruences involving Apéry and Franel numbers
Published in Results in mathematics(2020)
• View Publication
• BIB
In this paper, we generalise a congruence which proved by V. J.-W. Guo and J. Zeng \cite{gz-jnt-2012} involving Apéry numbers, and we obtain a congruence involving Franel numbers which confirms a congruence conjecture of Z.-W. Sun \cite[Conjecture 57(ii)]{sun-njdx-2019}.
Rooted NNI moves on tree-based phylogenetic networks
Published in Discrete Applied Mathematics, Volume 294, 15 May 2021, Pages 205-213
• View Publication
• BIB
We show that the space of rooted tree-based phylogenetic networks is connected under rooted nearest-neighbour interchange (rNNI) moves.
Tuning Ranking in Co-occurrence Networks with General Biased Exchange-based Diffusion on Hyper-bag-graphs
Co-occurence networks can be adequately modeled by hyper-bag-graphs (hb-graphs for short). A hb-graph is a family of multisets having same universe, called the vertex set. An efficient exchange-based diffusion scheme has been previously proposed that allows the ranking of both vertices and hb-edges. In this article, we extend this scheme to allow biases of different kinds and explore their effect on the different rankings obtained. The biases enhance the emphasize on some particular aspects of the network.
Subdivisions of Shellable Complexes
Published
• View Publication
• BIB
In geometric, algebraic, and topological combinatorics, the unimodality of combinatorial generating polynomials is frequently studied. Unimodality follows when the polynomial is (real) stable, a property often deduced via the theory of interlacing polynomials. Many of the open questions on stability and unimodality of polynomials pertain to the enumeration of faces of cell complexes.
In this paper, we relate the theory of interlacing polynomials to the shellability of cell complexes. We first derive a sufficient condition for stability of the $h$-polynomial of a subdivision of a shellable complex. To apply it, we generalize the notion of reciprocal domains for convex embeddings of polytopes to abstract polytopes and use this generalization to define the family of stable shellings of a polytopal complex. We characterize the stable shellings of cubical and simplicial complexes, and apply this theory to answer a question of Brenti and Welker on barycentric subdivisions for the well-known cubical polytopes. We also give a positive solution to a problem of Mohammadi and Welker on edgewise subdivisions of cell complexes. We end by relating the family of stable line shellings to the combinatorics of hyperplane arrangements. We pose related questions, answers to which would resolve some long-standing problems while strengthening ties between the theory of interlacing polynomials and the combinatorics of hyperplane arrangements.
Bumpless pipe dreams and alternating sign matrices
Published
• View Publication
• BIB
In their work on the infinite flag variety, Lam, Lee, and Shimozono (2018) introduced objects called bumpless pipe dreams and used them to give a formula for double Schubert polynomials. We extend this formula to the setting of K-theory, giving an expression for double Grothendieck polynomials as a sum over a larger class of bumpless pipe dreams. Our proof relies on techniques found in an unpublished manuscript of Lascoux (2002). Lascoux showed how to write double Grothendieck polynomials as a sum over alternating sign matrices. We explain how to view the Lam-Lee-Shimozono formula as a disguised special case of Lascoux's alternating sign matrix formula.
Knutson, Miller, and Yong (2009) gave a tableau formula for vexillary Grothendieck polynomials. We recover this formula by showing vexillary marked bumpless pipe dreams and flagged set-valued tableaux are in weight preserving bijection. Finally, we give a bijection between Hecke bumpless pipe dreams and decreasing tableaux. The restriction of this bijection to Edelman-Greene bumpless pipe dreams solves a problem of Lam, Lee, and Shimozono.
Expectations of Tutte-related functions of random ranked sets with multiplicities
Published
• View Publication
• BIB
Employing two models, we show that various counting functions of a random variable defined by restriction or contraction of a ranked set with multiplicity (e.g., classical and arithmetic matroids) have expectations given by the corresponding multivariate Tutte polynomial. The first model is based on a generalization of a convolution formula of Kung (2010), extending from matroids to ranked sets with multiplicities. This model enables us to compute the expectations of many familiar polynomials, such as the chromatic, flow and Ehrhart polynomials, generalizing the classical results of Welsh (1996) on random graphs. The second model is designed to compute the expectations of invariants that are generally not evaluations of the polynomials mentioned above, such as the number of connected components of an intersection of hypersurfaces in an abelian Lie group arrangement, and the number of lattice points in a half-open zonotope. In particular, both models yield new probabilistic interpretations of the arithmetic Tutte polynomial and $G$-Tutte polynomial. A simple, but seems to be new convolution-like formula for the Ehrhart polynomials of lattice zonotopes will also be given.
Slack Ideals in Macaulay2
Published in Published in Mathematical Software - ICMS 2020, pages 222-231, Cham, 2020, Springer International Publishing
• View Publication
• BIB
Recently Gouveia, Thomas and the authors introduced the slack realization space, a new model for the realization space of a polytope. It represents each polytope by its slack matrix, the matrix obtained by evaluating each facet inequality at each vertex. Unlike the classical model, the slack model naturally mods out projective transformations. It is inherently algebraic, arising as the positive part of a variety of a saturated determinantal ideal, and provides a new computational tool to study classical realizability problems for polytopes. We introduce the package SlackIdeals for Macaulay2, that provides methods for creating and manipulating slack matrices and slack ideals of convex polytopes and matroids. Slack ideals are often difficult to compute. To improve the power of the slack model, we develop two strategies to simplify computations: we scale as many entries of the slack matrix as possible to one; we then obtain a reduced slack model combining the slack variety with the more compact Grassmannian realization space model. This allows us to study slack ideals that were previously out of computational reach. As applications, we show that the well-known Perles polytope does not admit rational realizations and prove the non-realizability of a large quasi-simplicial sphere.
$(GL_k\times S_n)$-Modules of Multivariate Diagonal Harmonics
Published
• View Publication
• BIB
This is the first in a series of papers in which we describe explicit structural properties of spaces of diagonal rectangular harmonic polynomials in $k$ sets of $n$ variables, both as $GL_k$-modules and $S_n$-modules, as well as some of there relations to areas such as Algebraic Combinatorics, Representation Theory, Algebraic Geometry, Knot Theory, and Theoretical Physics. Our global aim is to develop a unifying point of view for several areas of research of the last two decades having to do with Macdonald Polynomials Operator Theory, Diagonal Coinvariant Spaces, Rectangular-Catalan Combinatorics, the Delta-Conjecture, Hilbert Scheme of Points in the Plane, Khovanov-Rozansky Homology of $(m,n)$-Torus links, etc.
The regularity and $h$-polynomial of Cameron-Walker graphs
Published
• View Publication
• BIB
Fix an integer $n \geq 1$, and consider the set of all connected finite simple graphs on $n$ vertices. For each $G$ in this set, let $I(G)$ denote the edge ideal of $G$ in the polynomial ring $R = K[x_1,\ldots,x_n]$. We initiate a study of the set $\mathcal{RD}(n) \subseteq \mathbb{N}^2$ consisting of all the pairs $(r,d)$ where $r = {\rm reg}(R/I(G))$, the Castelnuovo-Mumford regularity, and $d = {\rm deg} h_{R/I(G)}(t)$, the degree of the $h$-polynomial, as we vary over all the connected graphs on $n$ vertices. In particular, we identify sets $A(n)$ and $B(n)$ such that $A(n) \subseteq \mathcal{RD}(n) \subseteq B(n)$. When we restrict to the family of Cameron-Walker graphs on $n$ vertices, we can completely characterize all the possible $(r,d)$.
Brown representability for directed graphs
We prove that any contravariant functor from the homotopy category of finite directed graphs to abelian groups satisfying the additivity axiom and the Mayer-Vietoris axiom is representable.
Glaisher's Partition problem
We generalize the well known Glaisher partition bijection result. For given positive integers n, d, both greater than 1, we provide a rich family of bijections between the set of partitions of n where at least one part is divisible by d, and the set of partitions where at least one part appears d or more times.
The Reconstruction Conjecture for finite simple graphs and associated directed graphs
Published
• View Publication
• BIB
In this paper, we study the Reconstruction Conjecture for finite simple graphs. Let $Γ$ and $Γ'$ be finite simple graphs with at least three vertices such that there exists a bijective map $f:V(Γ) \rightarrow V(Γ')$ and for any $v\in V(Γ)$, there exists an isomorphism $φ_v:Γ-v \to Γ'-f(v)$. Then we define the associated directed graph $\widetildeΓ=\widetildeΓ(Γ,Γ',f,\{φ_v\}_{v\in V(Γ)})$ with two kinds of arrows from the graphs $Γ$ and $Γ'$, the bijective map $f$ and the isomorphisms $\{φ_v\}_{v\in V(Γ)}$. By investigating the associated directed graph $\widetildeΓ$, we study when are the two graphs $Γ$ and $Γ'$ isomorphic.
A Diophantine transport problem from 2016 and its possible solution in 1903
Published in Math. and Education in Math., Proc. of the Forty-ninth Spring Conf. of the Union of Bulgar. Mathematicians, 2020, 89-113
• Search Publication
Motivated by a recent Diophantine transport problem about how to transport profitably a group of persons or objects, we survey classical facts about solving systems of linear Diophantine equations and inequalities in nonnegative integers. We emphasize on the method of Elliott from 1903 and its further developed by MacMahon in his ``$Ω$-Calculus'' or Partition Analysis. As an illustration we obtain the solution of the considered transport problem in terms of a formal power series in several variables which is an expansion of a rational function of a special form.
On Initializing Airline Crew Pairing Optimization for Large-scale Complex Flight Networks
Crew pairing optimization (CPO) is critically important for any airline, since its crew operating costs are second-largest, next to the fuel-cost. CPO aims at generating a set of flight sequences (crew pairings) covering a flight-schedule, at minimum-cost, while satisfying several legality constraints. For large-scale complex flight networks, billion-plus legal pairings (variables) are possible, rendering their offline enumeration intractable and an exhaustive search for their minimum-cost full flight-coverage subset impractical. Even generating an initial feasible solution (IFS: a manageable set of legal pairings covering all flights), which could be subsequently optimized is a difficult (NP-complete) problem. Though, as part of a larger project the authors have developed a crew pairing optimizer (AirCROP), this paper dedicatedly focuses on IFS-generation through a novel heuristic based on divide-and-cover strategy and Integer Programming. For real-world large and complex flight network datasets (including over 3200 flights and 15 crew bases) provided by GE Aviation, the proposed heuristic shows upto a ten-fold speed improvement over another state-of-the-art approach. Unprecedentedly, this paper presents an empirical investigation of the impact of IFS-cost on the final (optimized) solution-cost, revealing that too low an IFS-cost does not necessarily imply faster convergence for AirCROP or even lower cost for the optimized solution.
On perfect colorings of infinite multipath graphs
Published in Siberian Electronic Mathematical Reports 17 (2020) pp. 1863-1868
• View Publication
• BIB
A coloring of vertices of a given graph is called perfect if the color structure of each ball of radius $1$ in the graph depends only on the color of the ball center. Let $n$ be a positive integer. We consider a lexicographic product of the infinite path graph and a graph $G$ that can be either the complete or empty graph on $n$ vertices. We give a complete description of perfect colorings with an arbitrary number of colors of such graph products.
The maximum number of s-cliques in connected graphs and its application to spectral moment
Published
• View Publication
• BIB
Extremal problems concerning the number of complete subgraphs have a long story in extremal graph theory. Let $k_s(G)$ be the number of $s$-cliques in a graph $G$ and $m={{r_m}\choose s}+t_m$, where $0\le t_m\leq r_m$. Edrős showed that $k_s(G)\le {{r_m}\choose s}+{{t_m}\choose{s-1}}$ over all graphs of size $m$ and order $n\geq r_m+1$. %Clearly, $K_{r_m}^{t_m}\cup (n-r_m-1)K_1$ is an extremal graph, where $K_{r_m}^{t_m}$ is the graph by joining a new vertex to $t_m$ vertices of $K_{r_m}$. It is natural to consider an improvement in connected situation: what is the maximum number of $s$-cliques over all connected graphs of size $m$ and order $n$? In this paper, the sharp upper bound of $k_s(G)$ is obtained and extremal graphs are completely characterized. The technique and the bound are different from those in general case. As an application, this result can be used to solve a question on spectral moment.
On Reeder's Conjecture for type B and C Lie algebras
Published
• View Publication
• BIB
In the paper we propose a proof of Reeder's Conjecture on the graded multiplicities of small representations in the exterior algebra $Λ$g for the simple Lie algebras of type B and C.
Expected mean width of the randomized integer convex hull
Published
• View Publication
• BIB
Let $K \in \R^d$ be a convex body, and assume that $L$ is a randomly rotated and shifted integer lattice. Let $K_L$ be the convex hull of the (random) points $K \cap L$. The mean width $W(K_L)$ of $K_L$ is investigated. The asymptotic order of the mean width difference $W(łK)-W((łK)_L)$ is maximized by the order obtained by polytopes and minimized by the order for smooth convex sets as $ł\to \infty$.
Will the real Hardy-Ramanujan formula please stand up?
The Hardy-Ramanujan formula for the number of integer partitions of $n$ is one of the most popular results in partition theory. While the unabridged final formula has been celebrated as reflecting the genius of its authors, it has become all too common to attribute either some simplified version of the formula which is not as ingenious, or an alternative more elegant version which was expanded on afterwards by other authors. We attempt to provide a clear and compelling justification for distinguishing between the various formulas and simplifications, with a summarizing list of key take-aways in the final section.