Showing 20 papers (Total: 82505 papers, 47699 authors in database)
Edge partitions of the complete graph and a determinant like function
Published
• View Publication
• BIB
In this paper we prove the case $dim(V_3)=3$ of a conjecture about the exterior operad $Λ^{S^2}_{V_d}$. For this we introduce a collection of natural involutions on the set of homogeneous cycle-free $d$-partitions of the complete graph $K_{2d}$, and show that these involutions correspond to the relations in $Λ^{S^2}_{V_d}(2d+1)$. When $d=3$ this correspondence allows us to give an explicit description of a determinant-like map and to settle the above mentioned conjecture.
The number of configurations in the full shift with a given least period
Published in Bulletin of the Iranian Mathematical Society 48 (2022) 1859-1868
• View Publication
• BIB
For any group $G$ and any set $A$, consider the shift action of $G$ on the full shift $A^G$. A configuration $x \in A^G$ has \emph{least period} $H \leq G$ if the stabiliser of $x$ is precisely $H$. Among other things, the number of such configurations is interesting as it provides an upper bound for the size of the corresponding $\text{Aut}(A^G)$-orbit. In this paper we show that if $G$ is finitely generated and $H$ is of finite index, then the number of configurations in $A^G$ with least period $H$ may be computed using the Möbius function of the lattice of subgroups of finite index in $G$. Moreover, when $H$ is a normal subgroup, we classify all situations such that the number of $G$-orbits with least period $H$ is at most $10$.
Ideally, all infinite type surfaces can be triangulated
Published
• View Publication
• BIB
We show that any surface of infinite type admits an ideal triangulation. Furthermore, we show that a set of disjoint arcs can be completed into a triangulation if and only if, as a set, they intersect every simple closed curve a finite number of times.
Colourful matchings
Published
• View Publication
• BIB
Suppose a committee consisting of three members has to match $n$ candidates to $n$ different positions. Each member of the committee proposes a matching, however the proposed matchings totally disagree, i.e., every candidate is matched to three different positions according to three committee members. All three committee members are very competitive and want to push through as many of their suggestions as possible. Can a committee always find a compromise -- a matching of candidates to positions such that for every committee member a third of all candidates are assigned according to that committee member suggestion?
We will consider an asymptotic version of this question and several other variants of similar problem. As an application we will consider an embedding problem -- in particular which configurations large Steiner systems always need to contain.
Refined Eulerian numbers and ballot permutations
Published
• View Publication
• BIB
A ballot permutation is a permutation π such that in any prefix of π the descent number is not more than the ascent number. In this article, we obtained a formula in close form for the multivariate generating function of {A(n,d,j)}, which denote the number of permutations of length n with d descents and j as the first letter. Besides, by a series of calculations with generatingfunctionology, we confirm a recent conjecture of Wang and Zhang for ballot permutations.
Properties of the Toric Rings of a Chordal Bipartite Family of Graphs
Published
• View Publication
• BIB
This work concerns the study of properties of a group of Koszul algebras coming from the toric ideals of a chordal bipartite infinite family of graphs (alternately, these rings may be interpreted as coming from determinants of certain ladder-like structures). We determine a linear system of parameters for each ring and explicitly determine the Hilbert series for the resulting Artinian reduction. As corollaries, we obtain the multiplicity and regularity of the original rings. This work extends results easily derived from lattice theory for a subfamily coming from a two-sided ladder to a family where, as we show, lattice theory no longer applies in any obvious way and includes constructive proofs which may be useful in future study of these rings and others.
Fair division of graphs and of tangled cakes
Published
• View Publication
• BIB
A tangle is a connected topological space constructed by gluing several copies of the unit interval $[0, 1]$. We explore which tangles guarantee envy-free allocations of connected shares for n agents, meaning that such allocations exist no matter which monotonic and continuous functions represent agents' valuations. Each single tangle $\mathcal{T}$ corresponds in a natural way to an infinite topological class $\mathcal{G}(\mathcal{T})$ of multigraphs, many of which are graphs. This correspondence links EF fair division of tangles to EFk$_{outer}$ fair division of graphs. We know from Bilò et al that all Hamiltonian graphs guarantee EF1$_{outer}$ allocations when the number of agents is 2, 3, 4 and guarantee EF2$_{outer}$ allocations for arbitrarily many agents. We show that exactly six tangles are stringable; these guarantee EF connected allocations for any number of agents, and their associated topological classes contain only Hamiltonian graphs. Any non-stringable tangle has a finite upper bound r on the number of agents for which EF allocations of connected shares are guaranteed. Most graphs in the associated non-stringable topological class are not Hamiltonian, and a negative transfer theorem shows that for each $k \geq 1$ most of these graphs fail to guarantee EFk$_{outer}$ allocations of vertices for r + 1 or more agents. This answers a question posed in Bilò et al, and explains why a focus on Hamiltonian graphs was necessary. With bounds on the number of agents, however, we obtain positive results for some non-stringable classes. An elaboration of Stromquist's moving knife procedure shows that the non-stringable lips tangle guarantees envy-free allocations of connected shares for three agents. We then modify the discrete version of Stromquist's procedure in Bilò et al to show that all graphs in the topological class guarantee EF1$_{outer}$ allocations for three agents.
A combinatorial proof of Aldous-Broder theorem for general Markov chains
Published
• View Publication
• BIB
Aldous-Broder algorithm is a famous algorithm used to sample a uniform spanning tree of any finite connected graph $G$, but it is more general: given an irreducible and reversible Markov chain $M$ on $G$ started at $r$, the tree rooted at $r$ formed by the first entrance steps in each node (different from the root) has a probability proportional to $\prod_{e=(e^-,e^+)\in {\sf Edges}(t,r)} M_{e^{-},e^+}$, where the edges are directed toward $r$. In this paper we give proofs of Aldous-Broder theorem in the general case, where the kernel $M$ is irreducible but not assumed to be reversible (this generalized version appeared recently in Hu, Lyons and Tang )
The word problem for Hecke--Kiselman monoids of type $A_n$ and $\widetilde{A}_n$
Published
• View Publication
• BIB
We exhibit explicit and easily realisable bijections between Hecke--Kiselman monoids of type $A_n$/$\widetilde{A}_n$; certain braid diagrams on the plane/cylinder; and couples of integer sequences of particular types. This yields a fast solution of the word problem and an efficient normal form for these HK monoids. Yang--Baxter type actions play an important role in our constructions.
An adaptive robust optimization model for parallel machine scheduling
Published in European Journal of Operational Research, 306(1), 83-104 (2023)
• View Publication
• BIB
Real-life parallel machine scheduling problems can be characterized by: (i) limited information about the exact task duration at scheduling time, and (ii) an opportunity to reschedule the remaining tasks each time a task processing is completed and a machine becomes idle. Robust optimization is the natural methodology to cope with the first characteristic of duration uncertainty, yet the existing literature on robust scheduling does not explicitly consider the second characteristic - the possibility to adjust decisions as more information about the tasks' duration becomes available, despite that re-optimizing the schedule every time new information emerges is standard practice. In this paper, we develop a scheduling approach that takes into account, at the beginning of the planning horizon, the possibility that scheduling decisions can be adjusted. We demonstrate that the suggested approach can lead to better here-and-now decisions and better makespan guarantees. To that end, we develop the first mixed integer linear programming model for adjustable robust scheduling, and a scalable two-stage approximation heuristic, where we minimize the worst-case makespan. Using this model, we show via a numerical study that adjustable scheduling leads to solutions with better and more stable makespan realizations compared to static approaches.
Reconstructing the degree sequence of a sparse graph from a partial deck
Published
• View Publication
• BIB
The deck of a graph $G$ is the multiset of cards $\{G-v:v\in V(G)\}$. Myrvold (1992) showed that the degree sequence of a graph on $n\geq7$ vertices can be reconstructed from any deck missing one card. We prove that the degree sequence of a graph with average degree $d$ can reconstructed from any deck missing $O(n/d^3)$ cards. In particular, in the case of graphs that can be embedded on a fixed surface (e.g. planar graphs), the degree sequence can be reconstructed even when a linear number of the cards are missing.
Bakry-Émery curvature on graphs as an eigenvalue problem
Published
• View Publication
• BIB
In this paper, we reformulate the Bakry-Émery curvature on a weighted graph in terms of the smallest eigenvalue of a rank one perturbation of the so-called curvature matrix using Schur complement. This new viewpoint allows us to show various curvature function properties in a very conceptual way. We show that the curvature, as a function of the dimension parameter, is analytic, strictly monotone increasing and strictly concave until a certain threshold after which the function is constant. Furthermore, we derive the curvature of the Cartesian product using the crucial observation that the curvature matrix of the product is the direct sum of each component. Our approach of the curvature functions of graphs can be employed to establish analogous results for the curvature functions of weighted Riemannian manifolds. Moreover, as an application, we confirm a conjecture (in a general weighted case) of the fact that the curvature does not decrease under certain graph modifications.
Forbidden induced subgraphs for perfectness of claw-free graphs of independence number at least 4
Published
• View Publication
• BIB
For every graph $X$, we consider the class of all connected $\{K_{1,3}, X\}$-free graphs which are distinct from an odd cycle and have independence number at least $4$, and we show that all graphs in the class are perfect if and only if $X$ is an induced subgraph of some of $P_6$, $K_1 \cup P_5$, $2P_3$, $Z_2$ or $K_1 \cup Z_1$. Furthermore, for $X$ chosen as $2K_1 \cup K_3$, we list all eight imperfect graphs belonging to the class; and for every other choice of $X$, we show that there are infinitely many such graphs. In addition, for $X$ chosen as $B_{1,2}$, we describe the structure of all imperfect graphs in the class.
Probabilistic constructions in continuous combinatorics and a bridge to distributed algorithms
Published
• View Publication
• BIB
The probabilistic method is a technique for proving combinatorial existence results by means of showing that a randomly chosen object has the desired properties with positive probability. A particularly powerful probabilistic tool is the Lovász Local Lemma (the LLL for short), which was introduced by Erdős and Lovász in the mid-1970s. Here we develop a version of the LLL that can be used to prove the existence of continuous colorings. We then give several applications in Borel and topological dynamics.
* Seward and Tucker-Drob showed that every free Borel action $Γ\curvearrowright X$ of a countable group $Γ$ admits an equivariant Borel map $π\colon X \to Y$ to a free subshift $Y \subset 2^Γ$. We give a new simple proof of this result.
* We show that for a countable group $Γ$, $\mathrm{Free}(2^Γ)$ is weakly contained, in the sense of Elek, in every free continuous action of $Γ$ on a zero-dimensional Polish space. This fact is analogous to the theorem of Abért and Weiss for probability measure-preserving actions and has a number of consequences in continuous combinatorics. In particular, we deduce that a coloring problem admits a continuous solution on $\mathrm{Free}(2^Γ)$ if and only if it can be solved on finite subgraphs of the Cayley graph of $Γ$ by an efficient deterministic distributed algorithm (this fact was also proved independently and using different methods by Seward). This establishes a formal correspondence between questions that have been studied independently in continuous combinatorics and in distributed computing.
A proof of the Extended Delta Conjecture
Published
• View Publication
• BIB
We prove the Extended Delta Conjecture of Haglund, Remmel, and Wilson, a combinatorial formula for $Δ_{h_l}Δ' _{e_k} e_{n}$, where $Δ' _{e_k}$ and $Δ_{h_l}$ are Macdonald eigenoperators and $e_n$ is an elementary symmetric function. We actually prove a stronger identity of infinite series of $GL_m$ characters expressed in terms of LLT series. This is achieved through new results in the theory of the Schiffmann algebra and its action on the algebra of symmetric functions.
Flips in symmetric separated set-systems
For a positive integer $n$, a collection $S$ of subsets of $[n]=\{1,\ldots,n\}$ is called symmetric if $X\in S$ implies $X^\ast\in S$, where $X^\ast:=\{i\in [n]\colon n-i+1\notin X\}$ (the involution $\ast$ was introduced by Karpman). Leclerc and Zelevinsky showed that the set of maximal strongly (resp. weakly) separated collections in $2^{[n]}$ is connected via flips, or mutations, ``in the presence of six (resp. four) witnesses''. We give a symmetric analog of those results, by showing that each maximal symmetric strongly (weakly) separated collection in $2^{[n]}$ can be obtained from any other one by a series of special symmetric local transformations, so-called symmetric flips. Also we establish the connectedness via symmetric flips for the class of maximal symmetric $r$-separated collections in $2^{[n]}$ when $n,r$ are even (where sets $A,B\subseteq [n]$ are called $r$-separated if there are no elements $i_0<i_1< \cdots <i_{r+1}$ in $[n]$ which alternate in $A\setminus B$ and $B\setminus A$). This is related to a symmetric version of higher Bruhat orders.
These results are obtained as consequences of our study of related geometric objects: symmetric rhombus and combined tilings and symmetric cubillages.
Integer colorings with no rainbow 3-term arithmetic progression
Published in The Electronic Journal of Combinatorics, 29(2) (2022), #P2.28
• View Publication
• BIB
In this paper, we study the rainbow Erdős-Rothschild problem with respect to 3-term arithmetic progressions. We obtain the asymptotic number of $r$-colorings of $[n]$ without rainbow 3-term arithmetic progressions, and we show that the typical colorings with this property are 2-colorings. We also prove that $[n]$ attains the maximum number of rainbow 3-term arithmetic progression-free $r$-colorings among all subsets of $[n]$. Moreover, the exact number of rainbow 3-term arithmetic progression-free $r$-colorings of $\mathbb{Z}_p$ is obtained, where $p$ is any prime and $\mathbb{Z}_p$ is the cyclic group of order $p$.
Higher algebra of $A_\infty$ and $ΩB As$-algebras in Morse theory II
This paper introduces the notion of $n$-morphisms between two $A_\infty$-algebras, such that 0-morphisms correspond to standard $A_\infty$-morphisms and 1-morphisms correspond to $A_\infty$-homotopies between $A_\infty$-morphisms. The set of higher morphisms between two $A_\infty$-algebras then defines a simplicial set which has the property of being an algebraic $\infty$-category. The operadic structure of $n-A_\infty$-morphisms is also encoded by new families of polytopes, which we call the $n$-multiplihedra and which generalize the standard multiplihedra. These are constructed from the standard simplices and multiplihedra by lifting the Alexander-Whitney map to the level of simplices. Rich combinatorics arise in this context, as conveniently described in terms of overlapping partitions. Shifting from the $A_\infty$ to the $ΩB As$ framework, we define the analogous notion of $n$-morphisms between $ΩB As$-algebras, which are again encoded by the $n$-multiplihedra, endowed with a refined cell decomposition by stable gauged ribbon tree type. We then realize this higher algebra of $A_\infty$ and $ΩB As$-algebras in Morse theory. Given two Morse functions $f$ and $g$, we construct $n-ΩB As$-morphisms between their respective Morse cochain complexes endowed with their $ΩB As$-algebra structures, by counting perturbed Morse gradient trees associated to an admissible simplex of perturbation data. We moreover show that the simplicial set consisting of higher morphisms defined by a count of perturbed Morse gradient trees is a contractible Kan complex.
A Shuffle Theorem for Paths Under Any Line
Published
• View Publication
• BIB
We generalize the shuffle theorem and its $(km,kn)$ version, as conjectured by Haglund et al. and Bergeron et al., and proven by Carlsson and Mellit, and Mellit, respectively. In our version the $(km,kn)$ Dyck paths on the combinatorial side are replaced by lattice paths lying under a line segment whose $x$ and $y$ intercepts need not be integers, and the algebraic side is given either by a Schiffmann algebra operator formula or an equivalent explicit raising operator formula.
We derive our combinatorial identity as the polynomial truncation of an identity of infinite series of $GL_{l}$ characters, expressed in terms of infinite series versions of LLT polynomials. The series identity in question follows from a Cauchy identity for non-symmetric Hall-Littlewood polynomials.
In Most 6-regular Toroidal Graphs All 5-colorings are Kempe Equivalent
Published in European J. Combinatorics Vol. 104: 103532 (2022)
• View Publication
• BIB
A Kempe swap in a proper coloring interchanges the colors on some maximal connected 2-colored subgraph. Two $k$-colorings are $k$-equivalent if we can transform one into the other using Kempe swaps. The triangulated toroidal grid, $T[m\times n]$, is formed from (a toroidal embedding of) the Cartesian product of $C_m$ and $C_n$ by adding parallel diagonals inside all 4-faces. Mohar and Salas showed that not all 4-colorings of $T[m\times n]$ are 4-equivalent. In contrast, Bonamy, Bousquet, Feghali, and Johnson showed that all 6-colorings of $T[m\times n]$ are 6-equivalent. They asked whether the same is true for 5-colorings. We answer their question affirmatively when $m,n\ge 6$. Further, we show that if $G$ is 6-regular with a toroidal embedding where every non-contractible cycle has length at least 7, then all 5-colorings of $G$ are 5-equivalent. Our results relate to the antiferromagnetic Pott's model in statistical mechanics.