arXiv subjects

Endre Csóka

Publications and source records attributed to Endre Csóka.

At least 19 recordsLinked to original sources

arXiv2026

From the Social Choice Problem to a Collusion-Proof Tendering Mechanism for Dynamic Stochastic Projects

The VCG family and the AGV mechanism are two classical approaches to efficient implementation in the static social choice problem. In 2024, Cs\'oka et al. showed that AGV has critical weaknesses. In contrast, the transferable-utility Guaranteed Utility Mechanism (TU-GUM) retains all the standard desirable properties of AGV while adding further ones, including collusion-proofness, because it implements efficiency in Guaranteed Utility Equilibrium. TU-GUM also applies to a more general dynamic setting with multiple extensions. Moreover, TU-GUM is a special case of an even more general and robust mechanism that combines contingent first-price tendering with the coordinated execution of dynamic stochastic multi-agent projects through a surprisingly simple rule. This paper summarizes and connects existing results from a different perspective, with some minor new observations.

econ.TH↗

arXiv2026

A 1.283 Price-of-Anarchy Bound for the Repeated Virtual First-Price Auction

We study the repeated allocation of a single indivisible resource among $n$ strategic players. Each player $i$ has a privately known value distribution $D_i$, and values are drawn independently across players and periods. The goal is to find fair and efficient mechanisms. We apply the repeated first-price auction with equal initial endowments of virtual money. We show that each player can asymptotically secure the same fair-floor guarantee $f(D_i)$ as in Cs\'oka 2026; consequently, the mechanism is $1.283$-optimal. This provides a simpler and more robust alternative mechanism for this special case and may also help derive sharper upper bounds on the price of anarchy.

cs.GT↗

arXiv2025

Quantitative indistinguishability and sparse and dense clusters in factor of IID percolations

Chifan-Ioana (2010) implies that, for any factor of IID percolation on any nonamenable Cayley graph $G$, there is a countable set of (strong) indistinguishability classes for non-hyperfinite clusters. We introduce quantitative strengthenings, called (qI) and (qSI): for $\eta$-non-hyperfinite clusters, there are at most $M(G,\eta)<\infty$ (strong) indistinguishability classes, for any FIID percolation. We first show that (qI) and (qSI) for any $G$ are equivalent to the ``sparse implies thin'' property (SiT): any FIID percolation with $\eta$-non-hyperfinite clusters has density at least $c(G,\eta)>0$. Also, (SiT) is independent of the finite generating set of a group. We prove, using entropy inequalities, that (SiT) holds for free groups, even for weak FIIDs. On the other hand, recent work of Jard\'on-S\'anchez, Mellick, Poulin, and Wr\'obel implies that (SiT) fails for weak FIIDs on non-exact, i.e., not property (A) groups. Furthermore, (SiT) implies that the Bernoulli graphing over any non-hyperfinite FIID cluster is strongly ergodic, and that indistinguishability for non-hyperfinite FIID clusters is equivalent to strong indistinguishability. These results follow from the work of Chifan-Ioana for every nonamenable Cayley graph, but with non-probabilistic proofs. We also prove, again using entropy inequalities, this time for all nonamenable Cayley graphs, that any FIID percolation with high enough expected degree must have a density close to 1, and there must be a single indistinguishability class of such clusters. On Kazhdan groups, there must be a single such cluster. Our results have finite counterparts: in any large girth $d$-regular graph sequence, any FIID subgraph of average degree at least $2+\delta$ must have density at least $c(d,\delta)>0$. In the uniform random d-regular graph $G_{n,d}$, this holds for every subgraph of average degree at least $2+\delta$.

math.PR↗

arXiv2025

Prior-free Collusion-proof Dynamic Mechanisms

For a general class of dynamic stochastic multi-player problems, Cs\'oka, Liu, Rodivilov, and Teytelboym (2024) proposed prior-dependent efficient collusion-proof mechanisms. The present paper proves prior-free lifting theorems, at the price of lower guaranteed utility levels that depend on the set of possible initial type profiles. As a special case, we implement a $0.872$-approximately utility-maximizing prior-free collusion-proof mechanism for the Markovian repeated single-good allocation problem studied by Fikioris, Banerjee, and Tardos (2025).

cs.GT↗

arXiv2025

Bisection width, max-cut and internal partitions of 5-regular graphs

In this paper, we present a new factor of IID process based on the local algorithm introduced by D\'iaz, Serna, and Wormald (2007). This new approach allows us to improve the previously known upper bounds on the minimum and maximum bisection width and the maximum cut of random d-regular graphs for d > 4 by introducing a new recoloring phase after the termination of the original algorithm. As an application, we show that random 5-regular graphs asymptotically almost surely admit an internal partition, i.e., a partition of the vertex set into two nonempty classes so that every vertex has at least half of its neighbors in its own class.

math.CO↗

arXiv2023

Block partitions in higher dimensions

Consider a set $X\subseteq \mathbb{R}^d$ which is 1-dense, namely, it intersects every unit ball. We show that we can get from any point to any other point in $\mathbb{R}^d$ in $n$ steps so that the intermediate points are in $X$, and the discrepancy of the step vectors is at most $2\sqrt{2}$, or formally, $$\sup\limits_{\substack{n\in \mathbb{Z}^+,\ t\in \mathbb{R}^d\\ X\text{ is 1-dense}}}\,\, \inf\limits_{\substack{p_1,\ldots, p_{n-1}\in X\\ p_0=\underline{0},\ p_n=t}}\,\, \max\limits_{0\leq i<j<n} \big\|(p_{i+1}-p_i)-(p_{j+1}-p_j)\big\|\leq 2\sqrt{2}.$$

math.CO↗

arXiv2023

Finding cliques and dense subgraphs using edge queries

We consider the problem of finding a large clique in an Erd\H{o}s--R\'enyi random graph where we are allowed unbounded computational time but can only query a limited number of edges. Recall that the largest clique in $G \sim G(n,1/2)$ has size roughly $2\log_{2} n$. Let $\alpha_{\star}(\delta,\ell)$ be the supremum over $\alpha$ such that there exists an algorithm that makes $n^{\delta}$ queries in total to the adjacency matrix of $G$, in a constant $\ell$ number of rounds, and outputs a clique of size $\alpha \log_{2} n$ with high probability. We give improved upper bounds on $\alpha_{\star}(\delta,\ell)$ for every $\delta \in [1,2)$ and $\ell \geq 3$. We also study analogous questions for finding subgraphs with density at least $\eta$ for a given $\eta$, and prove corresponding impossibility results.

math.CO↗

arXiv2022

Moser-Tardos Algorithm with small number of random bits

We study a variant of the parallel Moser-Tardos Algorithm. We prove that if we restrict attention to a class of problems whose dependency graphs have subexponential growth, then the expected total number of random bits used by the algorithm is constant; in particular, it is independent from the number of variables. This is achieved by using the same random bits to resample variables which are far enough in the dependency graph. There are two corollaries. First, we obtain a deterministic algorithm for finding a satisfying assignment, which for any class of problems as in the previous paragraph runs in time O(n), where n is the number of variables. Second, we present a Borel version of the Lov\'asz Local Lemma.

math.CO↗

arXiv2021

A Robust Efficient Dynamic Mechanism

Athey and Segal introduced an efficient budget-balanced mechanism for a dynamic stochastic model with quasilinear payoffs and private values, using the solution concept of perfect Bayesian equilibrium. We show that this implementation is not robust in multiple senses, especially for at least 3 agents. For example, we will show a generic setup where all efficient strategy profiles can be eliminated by iterative elimination of weakly dominated strategies. Furthermore, this model used strong assumptions about the information of the agents, and the mechanism was not robust to the relaxation of these assumptions. In this paper, we will show a different mechanism that implements efficiency under weaker assumptions and uses the stronger solution concept of ``efficient Nash equilibrium with guaranteed expected payoffs''.

econ.TH↗

arXiv2021

Towards solving the 7-in-a-row game

Our paper explores the game theoretic value of the 7-in-a-row game. We reduce the problem to solving a finite board game, which we target using Proof Number Search. We present a number of heuristic improvements to Proof Number Search and examine their effect within the context of this particular game. Although our paper does not solve the 7-in-a-row game, our experiments indicate that we have made significant progress towards it.

cs.AI↗

arXiv2020

On directed analogues of expander and hyperfinite graph sequences

We introduce and study analogues of expander and hyperfinite graph sequences in the context of directed acyclic graphs, which we call "extender" and "hypershallow" graph sequences, respectively. Our main result is a probabilistic construction of non-hypershallow graph sequences.

math.CO↗

arXiv2020

Upper bounds for the necklace folding problems

A necklace can be considered as a cyclic list of $n$ red and $n$ blue beads in an arbitrary order, and the goal is to fold it into two and find a large cross-free matching of pairs of beads of different colors. We give a counterexample for a conjecture about the necklace folding problem, also known as the separated matching problem. The conjecture (given independently by three sets of authors) states that $\mu=\frac{2}{3}$, where $\mu$ is the ratio of the `covered' beads to the total number of beads. We refute this conjecture by giving a construction which proves that $\mu \le 2 \nolinebreak - \nolinebreak \sqrt 2 < 0.5858$. Our construction also applies to the homogeneous model: when we are matching beads of the same color. Moreover, we also consider the problem where the two color classes not necessarily have the same size.

math.CO↗

arXiv2020

Application-oriented mathematical algorithms for group testing

We have a large number of samples and we want to find the infected ones using as few number of tests as possible. We can use group testing which tells about a small group of people whether at least one of them is infected. Group testing is particularly efficient if the infection rate is low. The goal of this article is to summarize and extend the mathematical knowledge about the most efficient group testing algorithms, focusing on real-life applications instead of pure mathematical motivations and approaches.

q-bio.QM↗

arXiv2019

Locally common graphs

Goodman proved that the sum of the number of triangles in a graph on $n$ nodes and its complement is at least $n^3/24$; in other words, this sum is minimized, asymptotically, by a random graph with edge density $1/2$. Erd\H{o}s conjectured that a similar inequality will hold for $K_4$ in place of $K_3$, but this was disproved by Thomason. But an analogous statement does hold for some other graphs, which are called {\it common graphs}. A characterization of common graphs seems, however, out of reach. Franek and R\"odl proved that $K_4$ is common in a weaker, local sense. Using the language of graph limits, we study two versions of locally common graphs. We sharpen a result of Jagger, \v{S}tov\'{\i}\v{c}ek and Thomason by showing that no graph containing $K_4$ can be locally common, but prove that all such graphs are weakly locally common. We also show that not all connected graphs are weakly locally common.

math.CO↗

arXiv2018

Entropy and expansion

Shearer's inequality bounds the sum of joint entropies of random variables in terms of the total joint entropy. We give another lower bound for the same sum in terms of the individual entropies when the variables are functions of independent random seeds. The inequality involves a constant characterizing the expansion properties of the system. Our results generalize to entropy inequalities used in recent work in invariant settings, including the edge-vertex inequality for factor-of-IID processes, Bowen's entropy inequalities, and Bollob\'as's entropy bounds in random regular graphs. The proof method yields inequalities for other measures of randomness, including covariance. As an application, we give upper bounds for independent sets in both finite and infinite graphs.

math.PR↗

arXiv2016

Borel version of the Local Lemma

We prove a Borel version of the local lemma, i.e. we show that, under suitable assumptions, if the set of variables in the local lemma has a structure of a Borel space, then there exists a satisfying assignment which is a Borel function. The main tool which we develop for the proof, which is of independent interest, is a parallel version of the Moser-Tardos algorithm which uses the same random bits to resample clauses that are far enough in the dependency graph.

math.CO↗

arXiv2016

Independent sets and cuts in large-girth regular graphs

We present a local algorithm producing an independent set of expected size $0.44533n$ on large-girth 3-regular graphs and $0.40407n$ on large-girth 4-regular graphs. We also construct a cut (or bisection or bipartite subgraph) with $1.34105n$ edges on large-girth 3-regular graphs. These decrease the gaps between the best known upper and lower bounds from $0.0178$ to $0.01$, from $0.0242$ to $0.0123$ and from $0.0724$ to $0.0616$, respectively. We are using local algorithms, therefore, the method also provides upper bounds for the fractional coloring numbers of $1 / 0.44533 \approx 2.24554$ and $1 / 0.40407 \approx 2.4748$ and fractional edge coloring number $1.5 / 1.34105 \approx 1.1185$. Our algorithms are applications of the technique introduced by Hoppen and Wormald.

math.CO↗

arXiv2015

A macro placer algorithm for chip design

There is a set of rectangular macros with given dimensions, and there are wires connecting some pairs (or sets) of them. We have a placement area where these macros should be placed without overlaps in order to minimize the total length of wires. We present a heuristic algorithm which utilizes a special data structure for representing two dimensional stepfunctions. This results in fast integral computation and function modification over rectangles. Our heuristics, especially our data structure for two-dimensional functions, may be useful in other applications, as well.

cs.DS↗