Showing 20 papers (Total: 83190 papers, 48060 authors in database)
Nucleolus, Happy Nucleolus, and Vehicle Routing
We study the recently introduced fair division concept of the happy nucleolus for cost allocation among players in a cooperative game, with special focus on its computation. The happy nucleolus applies the same fairness criterion as the well-established nucleolus but with reduced total value. Still, we show that the relation between the two concepts is quite involved, and intuitive properties do not hold - e.g., the entry of a player in the happy nucleolus can be larger than the entry of the same player in the nucleolus, even for monotone and subadditive games. This refutes conjectures of Meir, Rosenschein and Malizia (2011).
Further, we study the separation problem of the linear programs appearing in the MPS scheme for computing the (happy) nucleolus. It includes linear subspace avoidance constraints, which can be handled efficiently for problems with a certain dynamic programming formulation due to Köhnemann and Toth (2020). We show how to get rid of these constraints for all monotone games if we allow for an arbitrarily small error of epsilon, thus conserving known approximation guarantees for the same problem without subspace avoidance.
Finally, we focus on practical results at the example of vehicle routing games by designing an efficient heuristic based on our previous insights and past work, and demonstrate its power.
Advancing the Rödl Nibble: New bounds on matchings and the list chromatic index of hypergraphs
Let $H$ be a $(k+1)$-uniform hypergraph which is nearly $D$-regular, such that any set of $i$ vertices is contained in at most $D_i$ edges of $H$ for each $i = 2, 3, \dots, k+1$. Influential results of Pippenger and of Frankl and Rödl show that the \textit{Rödl Nibble} -- a probabilistic procedure which iteratively constructs a matching in small bits -- can produce an almost-perfect matching in $H$, provided $D_2$ is much smaller than $D$. The quantitative aspects of this result were sharpened by several authors, with the previously best-known result due to Vu, whose result takes more of the codegree sequence $D_2, \dots, D_{k+1}$ into account. We improve Vu's result, by showing the Rödl Nibble can ``exhaust'' the full codegree sequence up to one of several natural bottlenecks, even tolerating extensive ``clustering'' of codegree values. Up to a subpolynomial error term, we believe our result to be the optimal usage of pure nibble methodology.
We also show that our matching can be taken to be ``pseudorandom'' with respect to a set of weight functions on $V(H)$, and we use this result to derive other hypergraph matching results in partite settings, including a new bound on the list chromatic index which implies the best-known result of Molloy and Reed up to the error term, and is stronger when the hypergraph is not close to linear, i.e.\ $D_2=ω(1)$. We also apply our results to obtain improved bounds on almost-spanning structures in Latin squares and designs, and the maximum diameter of a simplicial complex.
Graphical view on linear extensions of finite posets
One of possible cryptomorphic definitions of a partially ordered set (= a poset) $P$ on a non-empty finite basic set $N$ is in terms of the set ${\cal L}(P)$ of all its linear extensions, that is, in terms of the set of total orders of $N$ consonant with $P$. Any total order of $N$ can be interpreted as a node of a particular graph, called the permutohedral graph (over $N$), because it is indeed the graph of a certain polytope in $\mathbb{R}^{N}$, known as the permutohedron.
It is shown in the paper that a non-empty set of total orders of $N$ equals to ${\cal L}(P)$ for some poset $P$ on $N$ iff it is a geodetically convex set in the permutohedral graph. This result means that a purely graphical concept of geodetical convexity in this graph is a cryptomorphic definition of a finite poset. In particular, the lattice of geodetically convex sets in this graph is graded and its height function is described in graphical terms. A counter-example, however, shows that the height function does not correspond to the usual graphical diameter, relating this matter to a combinatorial concept of the dimension of a poset.
Two alternative cryptomorphic views on a poset $P$ on $N$ are also briefly commented. The geometric counterpart is its full-dimensional braid cone in $\mathbb{R}^{N}$, while a combinatorial alternative is a topology on $N$ distinguishing points, often referred as a distributive lattice.
Optimal and Efficient Partite Decompositions of Hypergraphs
Published
• View Publication
• BIB
We study the problem of partitioning the edges of a $d$-uniform hypergraph $H$ into a family $F$ of complete $d$-partite hypergraphs ($d$-cliques). We show that there is a partition $F$ in which every vertex $v \in V(H)$ belongs to at most $(\frac{1}{d!} + o_d(1))n^{d-1}/\lg n$ members of $F$. This settles the central question of a line of research initiated by Erdős and Pyber (1997) for graphs, and more recently by Csirmaz, Ligeti, and Tardos (2014) for hypergraphs. The $d=2$ case of this theorem answers a 40-year-old question of Chung, Erdős, and Spencer (1983). An immediate corollary of our result is an improved upper bound for the maximum share size for binary secret sharing schemes on uniform hypergraphs.
Building on results of Nechiporuk (1969), we prove that every graph with fixed edge density $γ\in (0,1)$ has a biclique partition of total weight at most $(\tfrac{1}{2}+o(1))\cdot h_2(γ) \frac{n^2}{\lg n}$, where $h_2$ is the binary entropy function. Our construction implies that such biclique partitions can be constructed in time $O(m)$, which answers a question of Feder and Motwani (1995) and also improves upon results of Mubayi and Turán (2010) as well as Chavan, Rabinia, Grosu, and Brocanelli (2025). Using similar techniques, we also give an $n^{1+o(1)}$ algorithm for finding a subgraph $K_{t,t}$ with $t = (1-o(1)) \fracγ{h_2(γ)} \lg n$.
Our results show that biclique partitions are information-theoretically optimal representations for graphs at every fixed density. We show that with this succinct representation one can answer independent set queries and cut queries in time $O(n^2/ \lg n)$, and if we increase the space usage by a constant factor, we can compute a $2α$-approximation for the densest subgraph problem in time $O(n^2/\lg α)$ for any $α> 1$.
Odd-Cycle-Packing-treewidth: On the Maximum Independent Set problem in odd-minor-free graph classes
We introduce the tree-decomposition-based graph parameter Odd-Cycle-Packing-treewidth (OCP-tw) as a width parameter that asks to decompose a given graph into pieces of bounded odd cycle packing number. The parameter OCP-tw is monotone under the odd-minor-relation and we provide an analogue to the celebrated Grid Theorem of Robertson and Seymour for OCP-tw. That is, we identify two infinite families of grid-like graphs whose presence as odd-minors implies large OCP-tw and prove that their absence implies bounded OCP-tw. This structural result is constructive and implies a 2^(poly(k))poly(n)-time parameterized poly(k)-approximation algorithm for OCP-tw.
Moreover, we show that the (weighted) Maximum Independent Set problem (MIS) can be solved in polynomial time on graphs of bounded OCP-tw. Finally, we lift the concept of OCP-tw to a parameter for matrices of integer programs. To this end, we show that our strategy can be applied to efficiently solve integer programs whose matrices can be "tree-decomposed" into totally delta-modular matrices with at most two non-zero entries per row.
The maximum diameter of 2-dimensional simplicial complexes
Published
• View Publication
• BIB
We study a problem of Santos about the largest possible diameter of a $d$-dimensional (abstract) simplicial complex on $n$ vertices. For dimension 2, we determine the exact value of the maximum for every $n$ using an explicit construction. We also come across a tantalizing open problem about the packing of squares of Hamilton cycles in the complete graph and obtain an infinite sequence of tight explicit constructions.
Characterization of the unit object in localized quantum unipotent category
Published
• View Publication
• BIB
For the quiver Hecke algebra $R$, let $R\hbox{-gmod}$ be the category of finite-dimensional graded $R$-modules, and let $\widetilde{R\hbox{-gmod}[w]}$ be the localization of $R\hbox{-gmod}$. Kashiwara and the second author showed the set of equivalence classes of simple objects up to grading shifts $\mathrm{Irr}(\widetilde{R\hbox{-gmod}[w]})$ in $\widetilde{R\hbox{-gmod}[w]}$ has a crystal structure, and $\mathrm{Irr}(\widetilde{R\hbox{-gmod}[w]})$ is isomorphic to the so-called cellular crystal $\mathbb B_{\mathbf i}$. This isomorphism induces a function $\varepsilon_i^*$ on $\mathbb B_{\mathbf i}$. We give an explicit formula of $\varepsilon_i^*$, and using this formula, we give a characterization of the unit object of $\widetilde{R\hbox{-gmod}[w]}$ for the case of classical finite types.
Diameters of commuting graphs of partial transformation semigroups
Let $X$ be a finite set. We determine the diameter of the commuting graph of the partial transformation semigroup $\mathcal{P}(X)$ on $X$ and show that it coincides with the diameter of the commuting graph of the transformation semigroup $\mathcal{T}(X)$ on $X$, which was previously determined by Araújo, Kinyon and Konieczny. This proves the existence of a semigroup $S$ and of a proper subsemigroups $T$ of $S$ such that the diameters of the commuting graphs of $S$ and $T$ are equal.
Witness Set in Monotone Polygons: Exact and Approximate
Given a simple polygon $\mathscr{P}$, two points $x$ and $y$ within $\mathscr{P}$ are {\em visible} to each other if the line segment between $x$ and $y$ is contained in $\mathscr{P}$. The {\em visibility region} of a point $x$ includes all points in $\mathscr{P}$ that are visible from $x$. A point set $Q$ within a polygon $\mathscr{P}$ is said to be a \emph{witness set} for $\mathscr{P}$ if each point in $\mathscr{P}$ is visible from at most one point from $Q$. The problem of finding the largest size witness set in a given polygon was introduced by Amit et al. [Int. J. Comput. Geom. Appl. 2010]. Recently, Daescu et al. [Comput. Geom. 2019] gave a linear-time algorithm for this problem on monotone mountains. In this study, we contribute to this field by obtaining the largest witness set within both continuous and discrete models.
In the {\sc Witness Set (WS)} problem, the input is a polygon $\mathscr{P}$, and the goal is to find a maximum-sized witness set in $\mathscr{P}$. In the {\sc Discrete Witness Set (DisWS)} problem, one is given a finite set of points $S$ alongside $\mathscr{P}$, and the task is to find a witness set $Q \subseteq S$ that maximizes $|Q|$. We investigate {\sc DisWS} in simple polygons, but consider {\sc WS} specifically for monotone polygons. Our main contribution is as follows: (1) a polynomial time algorithm for {\sc DisWS} for general polygons and (2) the discretization of the {\sc WS} problem for monotone polygons. Specifically, given a monotone polygon with $r$ reflex vertices, and a positive integer $k$ we generate a point set $Q$ with size $r^{O(k)} \cdot n$ such that $Q$ contains an witness set of size $k$ (if exists). This leads to an exact algorithm for {\sc WS} problem in monotone polygons running in time $r^{O(k)} \cdot n^{O(1)}$. We also provide a PTAS for this with running time $r^{O(1/ε)} n^2$.
Testing H-freeness on sparse graphs, the case of bounded expansion
In property testing, a tester makes queries to (an oracle for) a graph and, on a graph having or being far from having a property P, it decides with high probability whether the graph satisfies P or not. Often, testers are restricted to a constant number of queries. While the graph properties for which there exists such a tester are somewhat well characterized in the dense graph model, it is not the case for sparse graphs. In this area, Czumaj and Sohler (FOCS'19) proved that H-freeness (i.e. the property of excluding the graph H as a subgraph) can be tested with constant queries on planar graphs as well as on graph classes excluding a minor.
Using results from the sparsity toolkit, we propose a simpler alternative to the proof of Czumaj and Sohler, for a statement generalized to the broader notion of bounded expansion. That is, we prove that for any class C with bounded expansion and any graph H, testing H-freeness can be done with constant query complexity on any graph G in C, where the constant depends on H and C, but is independent of G.
While classes excluding a minor are prime examples of classes with bounded expansion, so are, for example, cubic graphs, graph classes with bounded maximum degree, graphs of bounded book thickness, or random graphs of bounded average degree.
Forbidden multipliers in abelian difference sets
We make the observation that certain group automorphisms that fix a large subgroup of an abelian group cannot be multipliers in any non-trivial abelian difference sets, with the single exception of an involution that can be a multiplier in Hadamard difference sets, provided that the difference set contains a sub-difference set of the same type. We use this observation together with a multiplier theorem to rule out the existence of difference sets, and derive bounds for the numerical multiplier group of a difference set.
Combinatorial degree version of a generalized $\mathbb{Z}_p$-Tucker's lemma with a combinatorial proof
Combinatorial analogues of classical Borsuk-Ulam-type theorems (e.g., Tucker's lemma, $\mathbb{Z}_p$-Tucker's lemma, etc.) have numerous important applications in combinatorics. In this paper, we formulate a combinatorial degree version of a generalized $\mathbb{Z}_p$-Tucker's lemma. Our proof is purely combinatorial in the sense that it does not involve homology, cohomology or any other notions from continuous topology. In order to prove the aforementioned degree theorem, as a main technical tool, we prove a Hopf trace-type formula, which is also purely combinatorial and involves no homology. This combinatorial Hopf trace formula is of independent interest.
Observable sets for the free Schrödinger equation on combinatorial graphs
We study observability for the free Schrödinger equation $\partial_t u = iΔu$ on combinatorial graphs $G=(\mathcal{V},\mathcal{E})$. A subset $E\subset\mathcal{V}$ is observable at time $T>0$ if there exists $C(T,E)>0$ such that for all $u_0\in l^2(\mathcal{V})$, $$ \|u_0\|_{l^2(\mathcal{V})}^2 \le C(T,E)\int_0^T \|e^{itΔ}u_0\|_{l^2(E)}^2\,\d t. $$
On the one-dimensional lattice $\mathbb{Z}$, we obtain a sharp threshold for thick sets: if $E\subset\mathbb{Z}$ is $γ$-thick with $γ\geq1/2$, then $E$ is observable at some time; conversely, for every $γ<1/2$ there exists a $γ$-thick set that is not observable at any time. This critical threshold marks the exact point where the discrete lattice departs from the real line: on the lattice it must be attained, whereas on $\R$ any $γ$-thick set with $γ>0$ already suffices.
On $\mathbb{Z}^d$ we show that the complements of finite sets are observable at any time $T>0$. This parallels the Euclidean setting $\R^d$: any set that contains the exterior of a finite ball is observable at any time.
For finite graphs we give an equivalent characterization of observability in terms of the zero sets of Laplacian eigenfunctions. As an application, we construct unobservable sets of large density on discrete tori, in contrast with the continuous torus $\mathbb{T}^d$, where every nonempty open set is observable.
Ehrhart Theory over Abelian Group Rings
We study Ehrhart series with coefficients in Abelian group rings. This opens new enumeration applications and unifies earlier variants, in particular, polynomial weighted, $q$-weighted, and equivariant Ehrhart series.
A family of rank $4$ non-algebraic matroids with pseudomodular dual
The Tic-Tac-Toe matroid is a paving matroid of rank $5$ on 9
elements which is pseudomodular and whose dual is non-algebraic. It
has been proposed as a possible example of an algebraic matroid
whose dual is not algebraic. We present an infinite family of
matroids sharing these properties and generalizing the Tic-Tac-Toe matroid.
Number of Edges in 3-Connected Graphs with Cyclic Neighborhoods
Chernyshev, Rauch and Rautenbach [Discrete Math., 2025] introduce forest cuts, i.e., vertex separators that induce a forest. They conjecture that, similar to a result by Chen and Yu [Discrete Math., 2002], every $n$-vertex graph with less than $3n-6$ edges has a forest cut. As an intermediate goal they ask how many edges an $n$-vertex $3$-connected graph must have such that the neighborhood of every vertex contains a cycle. Li, Tang and Zhan [arXiv, 2024] resolve this problem by showing that every such graph has at least $15n/8$ edges, while there are examples of such graphs with exactly $15n/8$ edges. We give a much shorter proof for this.
Odd-Ramsey numbers of Hamilton cycles
The odd-Ramsey number $r_{\text odd}(n,H)$ of a graph $H$, as introduced by Alon in his work on graph-codes, is the minimum number of colours needed to edge-colour $K_n$ so that every copy of $H$ intersects some colour class in an odd number of edges. In this paper, we determine the odd-Ramsey number of Hamilton cycles up to a small multiplicative factor, proving that $r_{\text odd}(n,C_n) = Θ(\sqrt{n})$. Our upper bound follows from an explicit finite-field construction, while the matching lower bound uses a combinatorial framework based on parity switches. We also initiate the study of odd-Ramsey numbers of Hamilton cycles in Dirac graphs, demonstrating that a small increase in the minimum degree beyond $n/2$ forces nontrivial odd-Ramsey numbers.
A fractal-like configuration of point-line pairs for the minimal distance problem
We show that for every $n \in \mathbb N$ there is a collection of points $p_1, \ldots, p_n$ and lines $\ell_1, \ldots, \ell_n$ in the unit square such that for any $i$ we have $p_i \in \ell_i$ and the distance from $p_i$ to any other line $\ell_j$ is at least $c n^{γ-1}$ for some universal constants $c, γ>0$. This is better than a trivial construction by a polynomial factor.
Outline Rectangles, Allocations, and Latin Young Diagrams
A Young diagram is \emph{Latin} if there is an assignment of integers to its cells so that each row $i$ of length $l_i$ is populated by the numbers $1,\ldots,l_i$, and the numbers in each column are distinct. A Young diagram is called \emph{wide} if any subdiagram, formed by a subset of its rows, dominates its conjugate. Chow et al. [Advances in Applied Mathematics, 31, 2003] conjectured that any wide Young diagram is Latin. We introduce a notion of an \emph{allocation} which can be thought of as a coarse attempt at finding a Latin filling for a Young diagram. Using a theorem of Hilton, we prove that a Young diagram has an allocation if and only if it is Latin. This enables us to prove Chow et al.'s conjecture for Young diagrams with three distinct row lengths.
Two new results on maximal left-compressed intersecting families
This paper presents two new results on the theory of maximal left-compressed intersecting families (MLCIFs). First, we answer a question raised by Barber by showing that the number of $k$-uniform MLCIFs on a ground set of size $n$ grows as a doubly-exponential function of $k$, which we identify up to a log factor in the exponent. Among these MLCIFs we identify $k$ specific MLCIFs -- which we call the canonical MLCIFs -- as being in a meaningful way the most important MLCIFs. Specifically, our second main result shows that the canonical MLCIFs are precisely those which can have maximum weight among all $k$-uniform MLCIFs under a non-trivial increasing weight function, and moreover that each canonical MLCIF is the unique $k$-uniform MLCIF of maximum weight for some increasing weight function. This gives an interesting generalisation of the Erdős--Ko--Rado theorem to a notion of size which places greater significance on some elements of the ground set than others.