arXiv++ Combinatorics

Fair division is the problem of allocating a set of items among agents in a fair manner. One of the most sought-after fairness notions is envy-freeness (EF), requiring that no agent envies another's allocation. When items are indivisible, it ceases to exist, and envy-freeness up to any good (EFX) emerged as one of its strongest relaxations. The existence of EFX allocations is arguably the biggest open question within fair division. Recently, Christodoulou, Fiat, Koutsoupias, and Sgouritsa (EC 2023) showed that EFX allocations exist for the case of graphical valuations where an instance is represented by a graph: nodes are agents, edges are goods, and each agent values only her incident edges. On the other hand, they showed NP-hardness for checking the existence of EFX orientation where every edge is allocated to one of its incident vertices, and asked for a characterization of graphs that exhibit EFX orientation regardless of the assigned valuations. In this paper, we make significant progress toward answering their question. We introduce the notion of strongly EFX orientable graphs -- graphs that have EFX orientations regardless of how much agents value the edges. We show a surprising connection between this property and the chromatic number $χ(G)$ of the graph $G$. In particular, we show that graphs with $χ(G)\le 2$ are strongly EFX orientable, and those with $χ(G)>3$ are not strongly EFX orientable. We provide examples of strongly EFX orientable and non-strongly EFX orientable graphs of $χ(G)=3$ to prove tightness. Finally, we give a complete characterization of strong EFX orientability when restricted to binary valuations.

In 1965 Edmonds showed that every eulerian graph has a bi-eulerian embedding, i.e., an embedding with exactly two faces, each bounded by an euler circuit. We refine this result by giving conditions for a graph to have a bi-eulerian embedding that is specifically orientable or nonorientable. We give connections to the maximum genus problem for directed embeddings of digraphs, in which every face is bounded by a directed circuit. Given an eulerian digraph $D$ with all vertices of degree 2 mod 4 and a directed euler circuit $T$ of $D$, we show that $D$ has an orientable bi-eulerian directed embedding with one of the faces bounded by $T$; this is a maximum genus directed embedding. This result also holds when $D$ has exactly two vertices of degree $0$ mod $4$, provided they are interlaced by $T$. More generally, if $D$ has $\ell$ vertices of degree 0 mod 4, we can find an orientable directed embedding with a face bounded by $T$ and with at most $\ell+1$ other faces. We show that given an eulerian graph $G$ and a circuit decomposition $C$ of $G$, there is an nonorientable embedding of $G$ with the elements of $C$ bounding faces and with one additional face bounded by an euler circuit, unless every block of $G$ is a cycle and $C$ is the collection of cycles of $G$. In particular, every eulerian graph that is not edgeless or a cycle has a nonorientable bi-eulerian embedding with a given euler circuit $T$ bounding one of the faces. Polynomial-time algorithms giving the specified embeddings are implicit in our proofs.

We show a generalization of the crossing lemma for multi-graphs drawn on orientable surfaces in which pairs of edges are assumed to be drawn by non-homotopic simple arcs which pairwise cross at most $k$ times.

Which surfaces can be realized with two-dimensional faces of the five-dimensional cube (the penteract)? How can we visualize them? In recent work, Aveni, Govc, and Roldan, show that there exist 2690 connected closed cubical surfaces up to isomorphism in the 5-cube. They give a classification in terms of their genus $g$ for closed orientable cubical surfaces and their demigenus $k$ for a closed non-orientable cubical surface. In this paper, we explain the main idea behind the exhaustive search and we visualize the projection to $\mathbb{R}^3$ of a torus, a genus two torus, the projective plane, and the Klein bottle. We use reinforcement learning techniques to obtain configurations optimized for 3D printing.

We consider the generating series of oriented and non-oriented hypermaps with controlled degrees of vertices, hyperedges and faces. It is well known that these series have natural expansions in terms of Schur and Zonal symmetric functions, and with some particular specializations, they satisfy the celebrated KP and BKP equations. We prove that the full generating series of hypermaps satisfy a family of differential equations. We give a first proof which works for an $α$ deformation of these series related to Jack polynomials. This proof is based on a recent construction formula for Jack characters using differential operators. We also provide a combinatorial proof for the orientable case. Our approach also applies to the series of $k$-constellations with control of the degrees of vertices of all colors. In other words, we obtain an equation for the generating function of Hurwitz numbers (and their $α$-deformations) with control of full ramification profiles above an arbitrary number of points. Such equations are new even in the orientable case.

We prove that the arc complex of a polygon with a marked point in its interior is a strongly collapsible combinatorial ball. We also show that the arc complex of a Möbius strip, with finitely many marked points on its boundary, is a simplicially collapsible combinatorial ball but is not strongly collapsible.

We study the geometric and combinatorial effect of smoothing an intersection point in a collection of arcs or curves on a surface. We prove that all taut arcs with fixed endpoints and all taut 1-manifolds with at least two non-disjoint components on an orientable surface with negative Euler characteristic admit a taut smoothing, and also that all taut arcs with free endpoints admit a smoothing that is either taut or becomes taut after removing at most one intersection. We deduce that for every Riemannian metric on a surface, the shortest properly immersed arcs with at least $k$ self-intersections have exactly $k$ self-intersections when the endpoints of the arc are fixed, and at most $k+1$ self-intersections otherwise, and that the arc length spectrum is "coarsely ordered" by self-intersection number. Along the way, we obtain partial analogous results in the case of curves.

A quantum walk model which reflects the $2$-cell embedding on the orientable closed surface of a graph in the dynamics is introduced. We show that the scattering matrix is obtained by finding the faces on the underlying surface which have the overlap to the boundary and the stationary state is obtained by counting two classes of the rooted spanning subgraphs of the dual graph on the underlying embedding.

An orientable sequence of order $n$ is a cyclic binary sequence such that each length-$n$ substring appears at most once \emph{in either direction}. Maximal length orientable sequences are known only for $n\leq 7$, and a trivial upper bound on their length is $2^{n-1} - 2^{\lfloor(n-1)/2\rfloor}$. This paper presents the first efficient algorithm to construct orientable sequences with asymptotically optimal length; more specifically, our algorithm constructs orientable sequences via cycle-joining and a successor-rule approach requiring $O(n)$ time per bit and $O(n)$ space. This answers a longstanding open question from Dai, Martin, Robshaw, Wild [Cryptography and Coding III (1993)]. Applying a recent concatenation-tree framework, the same sequences can be generated in $O(1)$-amortized time per bit using $O(n^2)$ space. Our sequences are applied to find new longest-known (aperiodic) orientable sequences for $n\leq 20$.

In this paper, we show that in the large $N$ limit two-dimensional Yang-Mills theory with $U(N)$ gauge group becomes mixed Hurwitz theory, in the sense that the $1/N$ expansion of the chiral partition function receives contributions from both classical and monotone Hurwitz theory for all but finitely many compact orientable spacetimes.

A discrete d-manifold is a finite simple graph G=(V,E) where all unit spheres are (d-1)-spheres. A d-sphere is a d-manifold for which one can remove a vertex to make it contractible. A graph is contractible if one can remove a vertex with contractible unit sphere to get a contractible graph. We prove a discrete Morse-Sard theorem: if G=(V,E) is a d-manifold and f:V to R^k an arbitrary map, then for any c not in f(V), a level set { f = c } is always a (d-k)-manifold or empty. While a priori open sets in the simplicial complex of G, they are sub-manifolds in the Barycentric refinement of G. Level sets are orientable if G is orientable. Any complex-valued function psi on a discrete 4-manifold M defines so level surfaces {psi=c} which are except for c in f(V) always 2-manifolds or empty.

We present two constructions, both inspired by ideas from graph theory, of sequences random surfaces of growing area, whose systoles grow logarithmically as a function of their area. This also allows us to prove a new lower bound on the maximal systole of a closed orientable hyperbolic surface of a given genus.

Hurwitz numbers count branched covers of the sphere and have been of interest in various fields of mathematics. Motivated by the Matching-Jack conjecture of Goulden and Jackson, Chapuy and Dołęga recently introduced a notion of $b$-deformed double weighted Hurwitz numbers. It equips orientable and non-orientable maps and constellations with $b$-weights defined inductively. It is then unclear whether some elementary properties of orientable maps remain true due to the nature of the $b$-weights. We consider here the case of the Virasoro constraints, which express that choosing a corner is equivalent to rooting in terms of generating functions. We prove this property for two families of $b$-deformed Hurwitz numbers, namely 3-constellations and bipartite maps with black vertices of degrees bounded by 3. The proof is built upon functional equations from Chapuy and Dołęga and a lemma which extracts the constraints provided they close in some appropriate sense for the commutator. This requires to calculate the constraint algebra which in those two families do not form a Lie algebra but a generalization of independent interest with structure operators instead of structure constants.

Word-representable graphs, which are the same as semi-transitively orientable graphs, generalize several fundamental classes of graphs. In this paper we propose a novel approach to study word-representability of graphs using a technique of homomorphisms. As a proof of concept, we apply our method to show word-representability of the simplified graph of overlapping permutations that we introduce in this paper. For another application, we obtain results on word-representability of certain subgraphs of simplified de Bruijn graphs that were introduced recently by Petyuk and studied in the context of word-representability.

In this paper, we give matrix formulae for non-orientable surfaces that provide the Laurent expansion for quasi-cluster variables, generalizing the orientable surface matrix formulae by Musiker-Williams. We additionally use our matrix formulas to prove the skein relations for the elements in the quasi-cluster algebra associated to curves on the non-orientable surface.

Given a directed graph $D$, a set $S \subseteq V(D)$ is a total dominating set of $D$ if each vertex in $D$ has an in-neighbor in $S$. The total domination number of $D$, denoted $γ_t(D)$, is the minimum cardinality among all total dominating sets of $D$. Given an undirected graph $G$, we study the maximum and minimum total domination numbers among all orientations of $G$. That is, we study the upper (or lower) orientable domination number of $G$, $\rm{DOM}_t(G)$ (or $\rm{dom}_t(G)$), which is the largest (or smallest) total domination number over all orientations of $G$. We characterize those graphs with $\rm{DOM}_t(G) =\rm{dom}_t(G)$ when the girth is at least $7$ as well as those graphs with $\rm{dom}_t(G) = |V(G)|-1$. We also consider how these parameters are effected by removing a vertex from $G$, give exact values of $\rm{DOM}_t(K_{m,n})$ and $\rm{dom}_t(K_{m,n})$ and bound these parameters when $G$ is a grid graph.

We give an algorithm to calculate the minimal and maximal genus of the orientable closed surface where a graph $G$ can be embedded. For this, we construct some special branched coverings of the 2-sphere. We apply this algorithm to calculate the orientable genus and maximal genus of some Snarks graphs.

An embedding of a graph on an orientable surface is orientably-regular (or rotary, in an equivalent terminology) if the group of orientation-preserving automorphisms of the embedding is transitive (and hence regular) on incident vertex-edge pairs of the graph. A classification of orientably-regular embeddings of complete graphs was obtained by L. D. James and G. A. Jones [in "Regular orientable imbeddings of complete graphs", J. Combinatorial Theory Ser. B 39 (1985), 353-367], pointing out interesting connections to finite fields and Frobenius groups. By a combination of graph-theoretic methods and tools from combinatorial group theory we extend results of James and Jones to classification of orientably-regular embeddings of complete multigraphs with arbitrary edge-multiplicity.

Let $X$ be an orientable hyperbolic surface of genus $g\geq 2$ with a marked point $o$, and let $Γ$ be an orientable hyperbolic surface group isomorphic to $π_{1}(X,o)$. Consider the space $\text{Hom}(Γ,S_{n})$ which corresponds to $n$-sheeted covers of $X$ with labeled fiber. Given $γ\inΓ$ and a uniformly random $φ\in\text{Hom}(Γ,S_{n})$, what is the expected number of fixed points of $φ(γ)$? Formally, let $F_{n}(γ)$ denote the number of fixed points of $φ(γ)$ for a uniformly random $φ\in\text{Hom}(Γ,S_{n})$. We think of $F_{n}(γ)$ as a random variable on the space $\text{Hom}(Γ,S_{n})$. We show that an arbitrary fixed number of products of the variables $F_{n}(γ)$ are asymptotically independent as $n\to\infty$ when there are no obvious obstructions. We also determine the limiting distribution of such products. Additionally, we examine short cycle statistics in random permutations of the form $φ(γ)$ for a uniformly random $φ\in\text{Hom}(Γ,S_{n})$. We show a similar asymptotic independence result and determine the limiting distribution.

We define Chern numbers of a matroid. These numbers are obtained when intersecting appropriate matroid Chern-Schwartz-MacPherson cycles defined by López de Medrano, Rincón, and Shaw. We prove that when a matroid arises from a complex hyperplane arrangement the Chern numbers of the matroid correspond to the Chern numbers of the log cotangent bundle. A matroid of rank 3 has two Chern numbers. We prove that they are positive and that their ratio is bounded by 3, which is analogous to the Bogomolov-Miyaoka-Yau inequality. If the matroid is orientable, we generalize a result of Eterović, Figuera, and Urzúa to prove that the ratio is bounded above by 5/2. Finally, we give a formula for the Chern numbers of the uniform matroid of any rank.