Showing 20 papers (Total: 82661 papers, 47773 authors in database)
Spaces that can be ordered effectively: virtually free groups and hyperbolicity
Published
• View Publication
• BIB
We study asymptotic invariants of metric spaces, defined in terms of the travelling salesman problem, and our goal is to classify groups and spaces depending on how well they can be ordered in this context. We characterize virtually free groups as those admitting an order which has some efficiency on $4$-point subsets. We show that all $δ$-hyperbolic spaces can be ordered extremely efficiently, for the question when the number of points of a subset tends to $\infty$.
Acyclic polynomials of graphs
Published in Australasian Journal of Combinatorics, Vol 82(2) (2022), 146-181
• Search Publication
For each nonnegative integer $i$, let $a_i$ be the number of $i$-subsets of $V(G)$ that induce an acyclic subgraph of a given graph $G$. We define $A(G,x) = \sum_{i \geq 0} a_i x^i$ (the generating function for $a_i$) to be the acyclic polynomial for $G$. After presenting some properties of these polynomials, we investigate the nature and location of their roots.
Height Fluctuations of Random Lozenge Tilings Through Nonintersecting Random Walks
In this paper we study height fluctuations of random lozenge tilings of polygonal domains on the triangular lattice through nonintersecting Bernoulli random walks. For a large class of polygons which have exactly one horizontal upper boundary edge, we show that these random height functions converge to a Gaussian Free Field as predicted by Kenyon and Okounkov [28]. A key ingredient of our proof is a dynamical version of the discrete loop equations as introduced by Borodin, Guionnet and Gorin [5], which might be of independent interest.
A Bipartite Graph That Is Not the $γ$-Graph of a Bipartite Graph
For a graph $G = (V, E)$, the $γ$-graph of $G$ is the graph whose vertex set is the collection of minimum dominating sets, or $γ$-sets of $G$, and two $γ$-sets are adjacent if they differ by a single vertex and the two different vertices are adjacent in $G$. An open question in $γ$-graphs is whether every bipartite graph is the $γ$-graph of some bipartite graph. We answer this question in the negative by demonstrating that $K_{2, 3}$ is not the $γ$-graph of any bipartite graph.
Secular Coefficients and the Holomorphic Multiplicative Chaos
Published
• View Publication
• BIB
We study the secular coefficients of $N \times N$ random unitary matrices $U_{N}$ drawn from the Circular $β$-Ensemble, which are defined as the coefficients of $\{z^n\}$ in the characteristic polynomial $\det(1-zU_{N}^{*})$. When $β> 4$ we obtain a new class of limiting distributions that arise when both $n$ and $N$ tend to infinity simultaneously. We solve an open problem of Diaconis and Gamburd by showing that for $β=2$, the middle coefficient tends to zero as $N \to \infty$. We show how the theory of Gaussian multiplicative chaos (GMC) plays a prominent role in these problems and in the explicit description of the obtained limiting distributions. We extend the remarkable magic square formula of Diaconis and Gamburd for the moments of secular coefficients to all $β>0$ and analyse the asymptotic behaviour of the moments. We obtain estimates on the order of magnitude of the secular coefficients for all $β> 0,$ and these estimates are sharp when $β\geq 2$. These insights motivated us to introduce a new stochastic object associated with the secular coefficients, which we call Holomorphic Multiplicative Chaos (HMC). Viewing the HMC as a random distribution, we prove a sharp result about its regularity in an appropriate Sobolev space. Our proofs expose and exploit several novel connections with other areas, including random permutations, Tauberian theorems and combinatorics.
Vertex-Pancyclism in the Generalized Sum of Digraphs
Published
• View Publication
• BIB
A digraph $D=(V(D)$, $A(D))$ of order $n\geq 3$ is pancyclic, whenever $D$ contains a directed cycle of length $k$ for each $k\in \{3,\ldots,n\}$; and $D$ is vertex-pancyclic iff, for each vertex $v\in V(D)$ and each $k\in \{3,\ldots,n\}$, $D$ contains a directed cycle of length $k$ passing through $v$. Let $D_1, D_2, \ldots, D_k$ be a collection of pairwise vertex disjoint digraphs. The generalized sum (g.s.) of $D_1, D_2, \ldots, D_k$, denoted by $\oplus_{i=1}^k D_i$ or $D_1\oplus D_2 \oplus \cdots \oplus D_k$, is the set of all digraphs $D$ satisfying: (i) $V(D)=\bigcup_{i=1}^k V(D_i)$, (ii) $D\langle V(D_i) \rangle \cong D_i$ for $i=1,2,\ldots, k$, and (iii) for each pair of vertices belonging to different summands of $D$, there is exactly one arc between them, with an arbitrary but fixed direction. A digraph $D$ in $\oplus_{i=1}^k D_i$ will be called a generalized sum (g.s.) of $D_1, D_2, \ldots, D_k$. Let $D_1, D_2, \ldots, D_k$ be a collection of $k$ pairwise vertex disjoint Hamiltonian digraphs, in this paper we give simple sufficient conditions for a digraph $D\in \oplus_{i=1}^k D_i$ be vertex-pancyclic. This result extends a result obtained by Cordero-Michel, Galeana-Sánchez and Goldfeder in 2016.
Maximum determinant and permanent of sparse 0-1 matrices
Published
• View Publication
• BIB
We prove that the maximum determinant of an $n \times n $ matrix, with entries in $\{0,1\}$ and at most $n+k$ non-zero entries, is at most $2^{k/3}$, which is best possible when $k$ is a multiple of 3. This result solves a conjecture of Bruhn and Rautenbach. We also obtain an upper bound on the number of perfect matchings in $C_4$-free bipartite graphs based on the number of edges, which, in the sparse case, improves on the classical Bregman's inequality for permanents. This bound is tight, as equality is achieved by the graph formed by vertex disjoint union of 6-vertex cycles.
The Rank-Generating Functions of Upho Posets
Published
• View Publication
• BIB
Upper homogeneous finite type (upho) posets are a large class of partially ordered sets with the property that the principal order filter at every vertex is isomorphic to the whole poset. Well-known examples include k-array trees, the grid graphs, and the Stern poset. Very little is known about upho posets in general. In this paper, we construct upho posets with Schur-positive Ehrenborg quasisymmetric functions, whose rank-generating functions have rational poles and zeros. We also categorize the rank-generating functions of all planar upho posets. Finally, we prove the existence of an upho poset with uncomputable rank-generating function.
Filtered matchings and simplicial complexes
To any finite simplicial complex X, we associate a natural filtration starting from Chari and Joswig's discrete Morse complex and abutting to the matching complex of X. This construction leads to the definition of several homology theories, which we compute in a number of examples. We also completely determine the graded object associated to this filtration in terms of the homology of simpler complexes. This last result provides some connections to the number of vertex-disjoint cycles of a graph.
Strong $3$-Flow Conjecture for Projective Planar Graphs
Published
• View Publication
• BIB
In 1972, Tutte posed the $3$-Flow Conjecture: that all $4$-edge-connected graphs have a nowhere zero $3$-flow. This was extended by Jaeger et al.(1992) to allow vertices to have a prescribed, possibly non-zero difference (modulo $3$) between the inflow and outflow. They conjectured that all $5$-edge-connected graphs with a valid prescription function have a nowhere zero $3$-flow meeting that prescription. Kochol (2001) showed that replacing $4$-edge-connected with $5$-edge-connected would suffice to prove the $3$-Flow Conjecture and Lovász et al.(2013) showed that both conjectures hold if the edge connectivity condition is relaxed to $6$-edge-connected. Both problems are still open for $5$-edge-connected graphs.
The $3$-Flow Conjecture was known to hold for planar graphs, as it is the dual of Grötzsch's Colouring Theorem. Steinberg and Younger (1989) provided the first direct proof using flows for planar graphs, as well as a proof for projective planar graphs. Richter et al.(2016) provided the first direct proof using flows of the Strong $3$-Flow Conjecture for planar graphs. We prove the Strong $3$-Flow Conjecture for projective planar graphs.
Two Strong $3$-Flow Theorems for Planar Graphs
In 1972, Tutte posed the $3$-Flow Conjecture: that all $4$-edge-connected graphs have a nowhere zero $3$-flow. This was extended by Jaeger et al.(1992) to allow vertices to have a prescribed, possibly non-zero difference (modulo $3$) between the inflow and outflow. They conjectured that all $5$-edge-connected graphs with a valid prescription function have a nowhere zero $3$-flow meeting that prescription (we call this the Strong $3$-Flow Conjecture). Kochol (2001) showed that replacing $4$-edge-connected with $5$-edge-connected would suffice to prove the $3$-Flow Conjecture and Lovász et al.(2013) showed that the $3$-Flow and Strong $3$-Flow Conjectures hold if the edge connectivity condition is relaxed to $6$-edge-connected. Both problems are still open for $5$-edge-connected graphs.
The $3$-Flow Conjecture was known to hold for planar graphs, as it is the dual of Grötzsch's Colouring Theorem. Steinberg and Younger (1989) provided the first direct proof using flows for planar graphs, as well as a proof for projective planar graphs. Richter et al.(2016) provided the first direct proof using flows of the Strong $3$-Flow Conjecture for planar graphs. We provide two extensions to their result, that we developed in order to prove the Strong $3$-Flow Conjecture for projective planar graphs.
Tighter Bounds on Directed Ramsey Number R(7)
Published
• View Publication
• BIB
Tournaments are orientations of the complete graph, and the directed Ramsey number $R(k)$ is the minimum number of vertices a tournament must have to be guaranteed to contain a transitive subtournament of size $k$, which we denote by $TT_k$. We include a computer-assisted proof of a conjecture by Sanchez-Flores that all $TT_6$-free tournaments on 24 and 25 vertices are subtournaments of $ST_{27}$, the unique largest TT_6-free tournament. We also classify all $TT_6$-free tournaments on 23 vertices. We use these results, combined with assistance from SAT technology, to obtain the following improved bounds: $34 \leq R(7) \leq 47$.
Classifying Permutations under Context-Directed Swaps and the \textbf{cds} game
A special sorting operation called Context Directed Swap, and denoted \textbf{cds}, performs certain types of block interchanges on permutations. When a permutation is sortable by \textbf{cds}, then \textbf{cds} sorts it using the fewest possible block interchanges of any kind. This work introduces a classification of permutations based on their number of \textbf{cds}-eligible contexts. In prior work an object called the strategic pile of a permutation was discovered and shown to provide an efficient measure of the non-\textbf{cds}-sortability of a permutation. Focusing on the classification of permutations with maximal strategic pile, a complete characterization is given when the number of \textbf{cds}-eligible contexts is close to maximal as well as when the number of eligible contexts is minimal. A group action that preserves the number of \textbf{cds}-eligible contexts of a permutation provides, via the orbit-stabilizer theorem, enumerative results regarding the number of permutations with maximal strategic pile and a given number of \textbf{cds}-eligible contexts. Prior work introduced a natural two-person game on permutations that are not \textbf{cds}-sortable. The decision problem of which player has a winning strategy in a particular instance of the game appears to be of high computational complexity. Extending prior results, this work presents new conditions for player ONE to have a winning strategy in this combinatorial game.
On regular genus and G-degree of PL 4-manifolds with boundary
Published in Journal of the Indian Math. Soc. Vol. 91, Nos. (1-2) (2024), 155--170
• View Publication
• BIB
In this article, we introduce two new PL-invariants: weighted regular genus and weighted G-degree for manifolds with boundary. We first prove two inequalities involving some PL-invariants which state that for any PL-manifold $M$ with non spherical boundary components, the regular genus $\mathcal{G}(M)$ of $M$ is at least the weighted regular genus $\tilde{G}(M)$ of $M$ which is again at least the generalized regular genus $\bar{G}(M)$ of $M$. Another inequality states that the weighted G-degree $\tilde{D}_G (M)$ of $M$ is always greater than or equal to the G-degree $D_G (M)$ of $M$. Let $M$ be any compact connected PL $4$-manifold with $h$ number of non spherical boundary components. Then we compute the following: $$\tilde{G} (M) \geq 2 χ(M)+3m+2h-4+2 \hat{m} \mbox{ and } \tilde{D}_G (M) \geq 12(2 χ(M)+3m+2h-4+2 \hat{m}),$$ where $m$ and $\hat{m}$ are the ranks of the fundamental groups of $M$ and the corresponding singular manifold $\widehat{M}$ (obtained by coning off the boundary components of $M$) respectively. As a
consequence we prove that the regular genus $\mathcal{G}(M)$ satisfies the following inequality:
$$\mathcal{G} (M) \geq 2 χ(M)+3m+2h-4+2 \hat{m},$$
which improves the previous known lower bounds for the regular genus $\mathcal{G}(M)$ of $M$. Then we define two classes of gems for PL $4$-manifold $M$ with boundary: one consists of semi-simple gems and the other consists of weak semi-simple gems, and prove that the lower bounds for the weighted G-degree and weighted regular genus are attained in these two classes respectively.
On the Existence of Zero-Sum Perfect Matchings of Complete Graphs
Published
• View Publication
• BIB
In this paper, we prove that given a 2-edge-coloured complete graph $K_{4n}$ that has the same number of edges of each colour, we can always find a perfect matching with an equal number of edges of each colour. This solves a problem posed by Caro, Hansberg, Lauri, and Zarb. The problem is also independently solved by Ehard, Mohr, and Rautenbach.
At most $3.55^n$ stable matchings
Published
• View Publication
• BIB
We improve the upper bound for the maximum possible number of stable matchings among $n$ jobs and $n$ applicants from $131072^n+O(1)$ to $3.55^n+O(1)$. To establish this bound, we state a novel formulation of a certain entropy bound that is easy to apply and may be of independent interest in counting other combinatorial objects
Fractionally balanced hypergraphs and rainbow KKM theorems
Published
• View Publication
• BIB
A d-partite hypergraph is called *fractionally balanced* if there exists a non-negative, not identically zero, function on its edge set that has constant degrees in each vertex side. Using a topological version of Hall's theorem we prove lower bounds on the matching number of such hypergraphs. These bounds yield rainbow versions of the KKM theorem for products of simplices, which in turn are used to obtain some results on multiple-cake division, and on rainbow matchings in families of d-intervals.
Italian Domination of Cartesian Products of Directed Cycles
Published
• View Publication
• BIB
An Italian dominating function on a (di)graph $G$ with vertex set $V(G)$ is a function $f: V(G) \to \{0, 1, 2\}$ such that every vertex $v \in V(G)$ such that $f(v) = 0$ has an (in)neighbour assigned 2 or two (in)neighbours assigned 1. We complete the investigation of the Italian domination numbers of Cartesian products of directed cycles.
Higher Secondary Polytopes for Two-Dimensional Zonotopes
Very recently, Galashin, Postnikov, and Williams introduced the notion of higher secondary polytopes, generalizing the secondary polytope of Gelfand, Kapranov, and Zelevinsky. Given an $n$-point configuration $\mathcal{A}$ in $\mathbb{R}^{d-1}$, they define a family of convex $(n-d)$-dimensional polytopes $\widehatΣ_{1}, \ldots, \widehatΣ_{n-d}$. The $1$-skeletons of this family of polytopes are the flip graphs of certain combinatorial configurations which generalize triangulations of $\text{conv} \mathcal{A}$. We restrict our attention to $d=2$. First, we relate the $1$-skeleton of the Minkowski sum $\widehatΣ_{k} + \widehatΣ_{k-1}$ to the flip graph of "hypertriangulations" of the deleted $k$-sum of $\mathcal{A}$ when $\mathcal{A}$ consists of distinct points. Second, we compute the diameter of $\widehatΣ_{k}$ and $\widehatΣ_{k}+\widehatΣ_{k-1}$ for all $k$.
Singularity of sparse random matrices: simple proofs
Published
• View Publication
• BIB
Consider a random $n\times n$ zero-one matrix with "density" $p$, sampled according to one of the following two models: either every entry is independently taken to be one with probability $p$ (the "Bernoulli" model), or each row is independently uniformly sampled from the set of all length-$n$ zero-one vectors with exactly $pn$ ones (the "combinatorial" model). We give simple proofs of the (essentially best-possible) fact that in both models, if $\min(p,1-p)\geq (1+\varepsilon)\log n/n$ for any constant $\varepsilon>0$, then our random matrix is nonsingular with probability $1-o(1)$. In the Bernoulli model this fact was already well-known, but in the combinatorial model this resolves a conjecture of Aigner-Horev and Person.