Showing 20 papers (Total: 83722 papers, 48319 authors in database)
On the trace-zero doubly stochastic matrices of order 5
Published in Linear Algebra and its Applications, 2024
• View Publication
• BIB
We propose a graph theoretic approach to determine trace of product of two permutation matrices through a weighted digraph representation of the permutation matrices. Consequently, we derive trace-zero doubly stochastic (DS) matrices of order $5$ whose $k$-th power is also a trace-zero DS matrix for $k\in\{2,3,4,5\}$. Then, we determine necessary conditions for the coefficients of a generic polynomial of degree $5$ to be realizable as the characteristic polynomial of a trace-zero DS matrix of order $5$. Finally, we approximate the eigenvalue region of trace-zero DS matrices of order $5.$
Elements of minimal length and Bruhat order on fixed point cosets of Coxeter groups
Published
• View Publication
• BIB
We study the restriction of the strong Bruhat order on an arbitrary Coxeter group $W$ to cosets $x W_L^θ$, where $x$ is an element of $W$ and $W_L^θ$ the subgroup of fixed points of an automorphism $θ$ of order at most two of a standard parabolic subgroup $W_L$ of $W$. When $θ\neq\mathrm{id}$, there is in general more than one element of minimal length in a given coset, and we explain how to relate elements of minimal length. We also show that elements of minimal length in cosets are exactly those elements which are minimal for the restriction of the Bruhat order.
The spectral radius of minor free graphs
Published
• View Publication
• BIB
In this paper, we present a sharp upper bound for the spectral radius of an $n$-vertex graph without $F$-minor for sufficient large $n$, where $F$ is obtained from the complete graph $K_r$ by deleting disjointed paths. Furthermore, the graphs which achieved the sharp bound are characterized. This result may be regarded to be an extended revision of the number of edges in an $n$-vertex graph without $F$-minor.
Grassmannian Persistence Diagrams
We introduce Orthogonal Möbius Inversion $\mathsf{OI}$, a concept analogous to Möbius inversion on finite posets, which is applicable to order-preservings functions from a finite poset to the Grassmannian $\mathsf{Gr}(V)$ of an inner product space $V$. This notion critically relies on the inner product structure on $V$ enabling it to capture much finer information than standard integer-valued persistence diagrams.
Orthogonal Inversion is a special case of the broader concept of Orthomodular Inversion, where the target space is any orthomodular lattice, which we also identify.
We apply Orthogonal Inversion in order to construct a "non-negative" persistence diagram for any given multiparameter filtration $\mathsf{F}$ of a finite simplicial complex $K$, indexed over an arbitrary finite poset $P$. This is done by applying it to the birth-death spaces of $\mathsf{F}$. Analogously to $1$-parameter classical persistence diagrams, these multiparameter Grassmannian persistence diagrams offer straightforward interpretability. Specifically, to a segment $(b, d) \in \mathsf{Seg}(P)$, (1) the Grassmannian persistence diagram canonically assigns a vector subspace of $C_ρ^K$ consisting of cycles that are born at $b$ and become boundaries at $d$ and (2) this assignment is exhaustive at the homology level.
Finally, we relate our Grassmannian persistence diagrams to the recently introduced notion of Möbius homology, thus enhancing its interpretability through the lens of our framework.
Ramsey theorem for trees with successor operation
We prove a general Ramsey theorem for trees with a successor operation. This theorem is a common generalization of the Carlson-Simpson Theorem and the Milliken Tree Theorem for regularly branching trees.
Our theorem has a number of applications both in finite and infinite combinatorics. For example, we give a short proof of the unrestricted Nešetřil-Rödl theorem, and we recover the Graham-Rothschild theorem. Our original motivation came from the study of big Ramsey degrees - various trees used in the study can be viewed as trees with a successor operation. To illustrate this, we give a non-forcing proof of a theorem of Zucker on big Ramsey degrees.
Modularity of nearly complete graphs and bipartite graphs
It is known that complete graphs and complete multipartite graphs have modularity zero. We show that the least number of edges we may delete from the complete graph $K_n$ to obtain a graph with non-zero modularity is $\lfloor n/2\rfloor +1$. Similarly we determine the least number of edges we may delete from or add to a complete bipartite graph to reach non-zero modularity. We give some corresponding results for complete multipartite graphs, and a short proof that complete multipartite graphs have modularity zero.
We also analyse the modularity of very dense random graphs, and in particular we find that there is a transition to modularity zero when the average degree of the complementary graph drops below 1.
Ideal extensions of free commutative monoids
Published
• View Publication
• BIB
We introduce a new family of monoids, which we call gap absorbing monoids. Every gap absorbing monoid is an ideal extension of a free commutative monoid. For a gap absorbing monoid $S$ we study its set of atoms and Betti elements, which allows us to show that the catenary degree of $S$ is at most four and that the set of lengths of any element in $S$ is an interval. We also give bounds for the $ω$-primality of any ideal extension of a free commutative monoid. For ideal extensions $S$ of $\mathbb{N}^d$, with $d$ a positive integer, we show that $ω(S)$ is finite if and only if $S$ has finitely many gaps.
Vertices of the polytope of polystochastic matrices and product constructions
A multidimensional nonnegative matrix is called polystochastic if the sum of its entries at each line is equal to $1$. The set of all polystochastic matrices of order $n$ and dimension $d$ is a convex polytope $Ω_n^d$. In the present paper, we compare known bounds on the number $V(n,d)$ of vertices of the polytope $Ω_n^d$, propose two constructions of vertices of $Ω_n^d$ based on multidimensional matrix multiplication, and list all vertices of the polytope $Ω_3^4$.
The combinatorics behind the leading Kazhdan-Lusztig coefficients of braid matroids
Published
• View Publication
• BIB
Ferroni and Larson gave a combinatorial interpretation of the braid Kazhdan-Lusztig polynomials in terms of series-parallel matroids. As a consequence, they confirmed an explicit formula for the leading Kazhdan-Lusztig coefficients of braid matroids with odd rank, as conjectured by Elias, Proudfoot, and Wakefield. Based on Ferroni and Larson's work, we further explore the combinatorics behind the leading Kazhdan-Lusztig coefficients of braid matroids. The main results of this paper include an explicit formula for the leading Kazhdan-Lusztig coefficients of braid matroids with even rank, a simple expression for the number of simple series-parallel matroids of rank k + 1 on 2k elements, and explicit formulas for the leading coefficients of inverse Kazhdan-Lusztig polynomials of braid matroids. The binomial identity for the Abel polynomials plays an important role in the proofs of these formulas.
Integer Programming Formulations and Probabilistic Bounds for Some Domination Parameters
Published
• View Publication
• BIB
In this paper, we further study the concepts of hop domination and 2-step domination and introduce the concepts of restrained hop domination, total restrained hop domination, 2-step restrained domination, and total 2-step restrained domination in graphs. We then construct integer programming formulations and present probabilistic upper bounds for these domination parameters.
Resonance graphs of plane bipartite graphs as daisy cubes
Published in Discrete Appl. Math. 366 (2025) 75-85
• View Publication
• BIB
We characterize plane bipartite graphs whose resonance graphs are daisy cubes, and therefore generalize related results on resonance graphs of benzenoid graphs, catacondensed even ring systems, as well as 2-connected outerplane bipartite graphs. Firstly, we prove that if $G$ is a plane elementary bipartite graph other than $K_2$, then the resonance graph of $G$ is a daisy cube if and only if the Fries number of $G$ equals the number of finite faces of $G$. Next, we extend the above characterization from plane elementary bipartite graphs to plane bipartite graphs and show that the resonance graph of a plane bipartite graph $G$ is a daisy cube if and only if $G$ is weakly elementary bipartite such that each of its elementary component $G_i$ other than $K_2$ holds the property that the Fries number of $G_i$ equals the number of finite faces of $G_i$. Along the way, we provide a structural characterization for a plane elementary bipartite graph whose resonance graph is a daisy cube, and show that a Cartesian product graph is a daisy cube if and only if all of its nontrivial factors are daisy cubes.
Large deviation principles for graphon sampling
We investigate possible large deviation principles (LDPs) for the $n$-vertex sampling from a given graphon with various speeds $s(n)$ and resolve all the cases except when the speed $s(n)$ is of order $n^2$.
For quadratic speed $s=(c+o(1))n^2$, we establish an LDP for an arbitrary $k$-step graphon, which extends a result of Chatterjee and Varadhan [Europ. J. Combin., 32 (2011) 1000-1017] who did this for $k=1$ (that is, for the homogeneous binomial random graphs). This is done by reducing the problem to the LDP for stochastic $k$-block models established recently by Borgs, Chayes, Gaudio, Petti and Sen ["A large deviation principle for block models", arxiv:2007.14508, 2020]. Also, we improve some results by Borgs et al.
Surfaces in The Tesseract
How can we visualize all the surfaces that can be made from the faces of the tesseract? In recent work, Aveni, Govc, and Roldán showed that the torus and the sphere are the only closed surfaces that can be realized by a subset of two-dimensional faces of the tesseract. They also gave an exhaustive list of all the isomorphic types of embeddings of these two surfaces. Here, we generate 3D models of all these surfaces. We also exhibit, with the help of some hyper-ants, the minimum realization of the Möbius strip on the tesseract.
The Lovász-Cherkassky theorem in infinite graphs
Infinite generalizations of theorems in finite combinatorics were initiated by Erdős due to his famous Erdős-Menger conjecture (now known as the Aharoni-Berger theorem) that extends Menger's theorem to infinite graphs in a structural way. We prove a generalization of this manner of the classical result about packing edge-disjoint $ T $-paths in an ``inner Eulerian'' setting obtained by Lovász and Cherkassky independently in the '70s.
Best Complete Approximations of Preference Relations
We investigate the problem of approximating an incomplete preference relation $\succsim$ on a finite set by a complete preference relation. We aim to obtain this approximation in such a way that the choices on the basis of two preferences, one incomplete, the other complete, have the smallest possible discrepancy in the aggregate. To this end, we use the top-difference metric on preferences, and define a best complete approximation of $\succsim$ as a complete preference relation nearest to $\succsim$ relative to this metric. We prove that such an approximation must be a maximal completion of $\succsim$, and that it is, in fact, any one completion of $\succsim$ with the largest index. Finally, we use these results to provide a sufficient condition for the best complete approximation of a preference to be its canonical completion. This leads to closed-form solutions to the best approximation problem in the case of several incomplete preference relations of interest.
Fibonacci sums modulo 5
Published
• View Publication
• BIB
We develop closed form expressions for various finite binomial Fibonacci and Lucas sums depending on the modulo 5 nature of the upper summation limit. Our expressions are inferred from some trigonometric identities.
A Classification of Asymptotic Behaviors of Green Functions of Random Walks in the Quadrant
Published
• View Publication
• BIB
This paper investigates the asymptotic behavior of Green functions associated to partially homogeneous random walks in the quadrant $Z_+^2$. There are four possible distributions for the jumps of these processes, depending on the location of the starting point: in the interior, on the two positive axes of the boundary, and at the origin $(0,0)$.
With mild conditions on the positive jumps of the random walk, which can be unbounded, a complete analysis of the asymptotic behavior of the Green function of the random walk killed at $(0,0)$ is achieved. The main result is that {\em eight} regions of the set of parameters determine completely the possible limiting behaviors of Green functions of these Markov chains. These regions are defined by a set of relations for several characteristics of the distributions of the jumps.
In the transient case, a description of the Martin boundary is obtained and in the positive recurrent case, our results give the exact limiting behavior of the invariant distribution of a state whose norm goes to infinity along some asymptotic direction in the quadrant. These limit theorems extend results of the literature obtained, up to now, essentially for random walks whose jump sizes are either $0$ or $1$ on each coordinate.
Our approach relies on a combination of several methods: probabilistic representations of solutions of analytical equations, Lyapounov functions, convex analysis, methods of homogeneous random walks, and complex analysis arguments.
A Whitney polynomial for hypermaps
Published
• View Publication
• BIB
We introduce a Whitney polynomial for hypermaps and use it to generalize the results connecting the circuit partition polynomial to the Martin polynomial and the results on several graph invariants.
Hurwitz numbers with completed cycles and Gromov--Witten theory relative to at most three points
Hurwitz numbers with completed cycles are standard Hurwitz numbers with simple branch points replaced by completed cycles. In fact, simple branch points correspond to completed $2$-cycles. Okounkov and Pandharipande have established the remarkable GW/H correspondence, saying that the stationary sectors of the Gromov--Witten theory relative to $r$ points equal Hurwitz numbers with $r$ branch points besides the completed cycles. However, from the viewpoint of computation, known results for Hurwitz numbers (standard or with completed cycles) are mainly for $r\leq 2$. It is hard to obtain explicit formulas and then discuss the structural properties for the cases $r>2$. In this paper, we obtain explicit formulas for the case $r=3$ and uncover a number of structural properties of these Hurwitz numbers. For instance, we discover a piecewise polynomiality with respect to the orders of the completed cycles in addition to the parts of the profiles of branch points as usual, we show that certain hook-shape Hurwitz numbers are building blocks of all our Hurwitz numbers, and we prove an analogue of the celebrated $λ_g$-conjecture.
Chromatic numbers for facet colouring of some generalised associahedra
The chromatic number related to a colouring of facets of certain classes of generalised associahedra is studied. The exact values are obtained for permutohedra, associahedra and simple permutoassociahedra, while lower and upper bounds are established for cyclohedra and stellohedra. The asymptotic values of the chromatic numbers for associahedra, cyclohedra and simple permutoassociahedra are given.