Search arXiv⌕ Search
Home/Archive/arXiv

arXiv · 2203.06647

QUAD: A Quality Aware Multi-Unit Double Auction Framework for IoT-Based Mobile Crowdsensing in Strategic Setting

Vikash Kumar Singh·Anjani Samhitha Jasti·Sunil Kumar Singh·Sanket Mishra
View original source ↗Read source document ↗Export metadata ↓

Abstract

Crowdsourcing with the intelligent agents carrying smart devices is becoming increasingly popular in recent years. It has opened up meeting an extensive list of real life applications such as measuring air pollution level, road traffic information, and so on. In literature this is known as mobile crowdsourcing or mobile crowdsensing. In this paper, the discussed set-up consists of multiple task requesters (or task providers) and multiple IoT devices (as task executors), where each of the task providers is having multiple homogeneous sensing tasks. Each of the task requesters report bid along with the number of homogeneous sensing tasks to the platform. On the other side, we have multiple IoT devices that reports the ask (charge for imparting its services) and the number of sensing tasks that it can execute. The valuations of task requesters and IoT devices are private information, and both might act strategically. One assumption that is made in this paper is that the bids and asks of the agents (task providers and IoT devices) follow decreasing marginal returns criteria. In this paper, a truthful mechanism is proposed for allocating the IoT devices to the sensing tasks carried by task requesters, that also keeps into account the quality of IoT devices. The mechanism is truthful, budget balance, individual rational, computationally efficient, and prior-free. The simulations are carried out to measure the performance of the proposed mechanism against the benchmark mechanisms. The code and the synthetic data are available at \textbf{https://github.com/Samhitha-Jasti/QUAD-Implementation}.

Explore related subjects

cs.GT

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Vikash Kumar Singh, Anjani Samhitha Jasti, Sunil Kumar Singh, Sanket Mishra. 2022-03-17. QUAD: A Quality Aware Multi-Unit Double Auction Framework for IoT-Based Mobile Crowdsensing in Strategic Setting. https://arxiv.org/abs/2203.06647

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

arXiv2026

An Algorithm-to-Contract Framework without Demand Queries

Consider costly and time-consuming tasks that add up to the success of a project, and must be fitted into a given time-frame. This is an instance of the classic budgeted maximization (knapsack) problem, which admits an FPTAS. Now assume an agent is performing these tasks on behalf of a principal, who is the one to reap the rewards if the project succeeds. The principal must design a contract to incentivize the agent. Is there still an approximation scheme? In this work we lay the foundations for an algorithm-to-contract framework, which transforms algorithms for combinatorial problems to handle contract design problems subject to the same combinatorial constraints. Our approach diverges from previous works in avoiding the assumption of demand oracle access. As an example, for budgeted maximization, we show how to "lift" the classic FPTAS to the best-possible (approximately-IC) FPTAS for the contract problem. We establish this through our local-to-global framework, in which the local step is to approximately solve a two-sided strengthened variant of the demand problem. The global step then utilizes the local one to find the approximately optimal contract. We apply our framework to a host of combinatorial constraints: multi-dimensional budgets, budgeted matroid, and budgeted matching constraints. In all cases we essentially match the best purely algorithmic approximation. Separately, we also develop a method for multi-agent contract settings. Our method yields the first approximation schemes for multi-agent contract settings that go beyond additive reward functions.

cs.GT↗
arXiv2026

Information Requirements for Service Allocation and Aggregate Verification

A service system may use the same categories to assign standard allocations and to check whether each service is fulfilled. Finer categories can match individual needs more closely, but they divide the observations available for monitoring. We study this conflict for a fixed menu from which participants select by declaring a category, with fulfilment assessed from each category's aggregate outcomes during a fixed period. We relate allocation loss to variation in preferred allocations within categories and identify conditions under which aggregate observations preserve the verification performance of individual records. For nested refinements under stated utility and observation assumptions, an allocation-loss tolerance and a per-category detection target define a feasibility band. Categories must be fine enough to provide suitable allocations but sufficiently populated to support verification. A source-dependent lower bound on declaration entropy and a minimum contributor requirement give necessary information and population constraints. For an explicit finite population with quadratic utility and binary service outcomes, we prove the exact feasible range across all categorical designs and exhibit designs attaining the information lower bound at specified tolerances. The results provide conditions for choosing categories jointly for allocation and verification.

cs.GT↗
arXiv2026

Simultaneous Envy and Equitability Guarantees

Recent work in fair division has focused on either simultaneously satisfying closely related fairness notions or achieving a single notion across the ex-ante and ex-post worlds. We study the compatibility of two fundamentally different fairness notions: envy-freeness and equitability. For indivisible goods-only and chores-only settings, we study the existence and complexity of simultaneously satisfying their relaxations, revealing sharp contrasts between the two settings. We show that EF1+EQ1 may fail to exist even for normalized binary goods: we construct an instance with 113 agents and 341 goods in which every agent approves exactly 165 goods, but no complete allocation satisfies both notions. Our main algorithmic result computes an EF1+EQ1 allocation for every normalized binary goods instance with at most seven agents. Thus, the smallest number of agents admitting a counterexample lies between 8 and 113, leaving the cases from 8 through 112 unresolved. In sharp contrast, binary chores admit the stronger EFX+EQX guarantee for any number of agents, even without normalization. We further initiate the study of cross-notion ex-ante and ex-post guarantees, asking whether randomized allocations can provide ex-ante guarantees for one notion while preserving ex-post guarantees for another.

cs.GT↗