Showing 20 papers (Total: 84460 papers, 48641 authors in database)
Semi-invariants of Binary Forms Pertaining to a Unimodality Theorem of Reiner and Stanton
Published
• View Publication
• BIB
The symmetric difference of the $q$-binomial coefficients $F_{n,k}(q)={n+k\brack k}-q^{n}{n+k-2\brack k-2}$ was introduced by Reiner and Stanton. They proved that $F_{n,k}(q)$ is symmetric and unimodal for $k \geq 2$ and $n$ even by using the representation theory for Lie algebras. Based on Sylvester's proof of the unimodality of the Gaussian coefficients, as conjectured by Cayley, we find an interpretation of the unimodality of $F_{n,k}(q)$ in terms of semi-invariants. In the spirit of the strict unimodality of the Gaussian coefficients due to Pak and Panova, we prove the strict unimodality of the symmetric difference $G_{n,k,r}(q)={n+k\brack k}-q^{nr/2}{n+k-r\brack k-r}$, except for the two terms at both ends, where $n,r\geq8$, $k\geq r$ and at least one of $n$ and $r$ is even.
The Erdős-Gyárfás function with respect to Gallai-colorings
Published in Journal of Graph Theory, 2022
• View Publication
• BIB
For fixed $p$ and $q$, an edge-coloring of the complete graph $K_n$ is said to be a $(p, q)$-coloring if every $K_p$ receives at least $q$ distinct colors. The function $f(n, p, q)$ is the minimum number of colors needed for $K_n$ to have a $(p, q)$-coloring. This function was introduced about 45 years ago, but was studied systematically by Erdős and Gyárfás in 1997, and is now known as the Erdős-Gyárfás function. In this paper, we study $f(n, p, q)$ with respect to Gallai-colorings, where a Gallai-coloring is an edge-coloring of $K_n$ without rainbow triangles. Combining the two concepts, we consider the function $g(n, p, q)$ that is the minimum number of colors needed for a Gallai-$(p, q)$-coloring of $K_n$. Using the anti-Ramsey number for $K_3$, we have that $g(n, p, q)$ is nontrivial only for $2\leq q\leq p-1$. We give a general lower bound for this function and we study how this function falls off from being equal to $n-1$ when $q=p-1$ and $p\geq 4$ to being $Θ(\log n)$ when $q = 2$. In particular, for appropriate $p$ and $n$, we prove that $g=n-c$ when $q=p-c$ and $c\in \{1,2\}$, $g$ is at most a fractional power of $n$ when $q=\lfloor\sqrt{p-1}\rfloor$, and $g$ is logarithmic in $n$ when $2\leq q\leq \lfloor\log_2 (p-1)\rfloor+1$.
Extremal problems for multigraphs
Published
• View Publication
• BIB
An $(n,s,q)$-graph is an $n$-vertex multigraph in which every $s$-set of vertices spans at most $q$ edges. Turán-type questions on the maximum of the sum of the edge multiplicities in such multigraphs have been studied since the 1990s. More recently, Mubayi and Terry [An extremal problem with a transcendental solution, Combinatorics Probability and Computing 2019] posed the problem of determining the maximum of the product of the edge multiplicities in $(n,s,q)$-graphs. We give a general lower bound construction for this problem for many pairs $(s,q)$, which we conjecture is asymptotically best possible. We prove various general cases of our conjecture, and in particular we settle a conjecture of Mubayi and Terry on the $(s,q)=(4,6a+3)$ case of the problem (for $a\geq2$); this in turn answers a question of Alon. We also determine the asymptotic behaviour of the problem for `sparse' multigraphs (i.e. when $q\leq 2\binom{s}{2}$). Finally we introduce some tools that are likely to be useful for attacking the problem in general.
Distance-unbalancedness of graphs
In this paper we propose and study a new structural invariant for graphs, called distance-unbalanced\-ness, as a measure of how much a graph is (un)balanced in terms of distances. Explicit formulas are presented for several classes of well-known graphs. Distance-unbalancedness of trees is also studied. A few conjectures are stated and some open problems are proposed.
Supersymmetric gaps of a numerical semigroup with two generators
Published in Communications in Algebra 50(10), pp. 4252-4268 (2022)
• View Publication
• BIB
In this paper we introduce the new concepts of supersymmetric and self-symmetric gaps of a numerical semigroup with two generators. Those concepts are based on certain symmetries of the gaps of the semigroup with respect to their Wilf number. We prove that the set of supersymmetric and self-symmetric gaps completely determines the semigroup and we compare this set with the fundamental gaps of the semigroup.
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
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 (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.