-
A new lower bound for multi-color discrepancy with applications to fair division
Authors:
Ioannis Caragiannis,
Kasper Green Larsen,
Sudarshan Shyam
Abstract:
A classical problem in combinatorics seeks colorings of low discrepancy. More concretely, the goal is to color the elements of a set system so that the number of appearances of any color among the elements in each set is as balanced as possible. We present a new lower bound for multi-color discrepancy, showing that there is a set system with $n$ subsets over a set of elements in which any $k$-colo…
▽ More
A classical problem in combinatorics seeks colorings of low discrepancy. More concretely, the goal is to color the elements of a set system so that the number of appearances of any color among the elements in each set is as balanced as possible. We present a new lower bound for multi-color discrepancy, showing that there is a set system with $n$ subsets over a set of elements in which any $k$-coloring of the elements has discrepancy at least $Ω\left(\sqrt{\frac{n}{\ln{k}}}\right)$. This result improves the previously best-known lower bound of $Ω\left(\sqrt{\frac{n}{k}}\right)$ of Doerr and Srivastav [2003] and may have several applications. Here, we explore its implications on the feasibility of fair division concepts for instances with $n$ agents having valuations for a set of indivisible items. The first such concept is known as consensus $1/k$-division up to $d$ items (\cd$d$) and aims to allocate the items into $k$ bundles so that no matter which bundle each agent is assigned to, the allocation is envy-free up to $d$ items. The above lower bound implies that \cd$d$ can be infeasible for $d\in Ω\left(\sqrt{\frac{n}{\ln{k}}}\right)$. We furthermore extend our proof technique to show that there exist instances of the problem of allocating indivisible items to $k$ groups of $n$ agents in total so that envy-freeness and proportionality up to $d$ items are infeasible for $d\in Ω\left(\sqrt{\frac{n}{k\ln{k}}}\right)$ and $d\in Ω\left(\sqrt{\frac{n}{k^3\ln{k}}}\right)$, respectively. The lower bounds for fair division improve the currently best-known ones by Manurangsi and Suksompong [2022].
△ Less
Submitted 18 February, 2025; v1 submitted 14 February, 2025;
originally announced February 2025.
-
Simple and Optimal Sublinear Algorithms for Mean Estimation
Authors:
Beatrice Bertolotti,
Matteo Russo,
Chris Schwiegelshohn,
Sudarshan Shyam
Abstract:
We study the sublinear multivariate mean estimation problem in $d$-dimensional Euclidean space. Specifically, we aim to find the mean $μ$ of a ground point set $A$, which minimizes the sum of squared Euclidean distances of the points in $A$ to $μ$. We first show that a multiplicative $(1+\varepsilon)$ approximation to $μ$ can be found with probability $1-δ$ using $O(\varepsilon^{-1}\log δ^{-1})$ m…
▽ More
We study the sublinear multivariate mean estimation problem in $d$-dimensional Euclidean space. Specifically, we aim to find the mean $μ$ of a ground point set $A$, which minimizes the sum of squared Euclidean distances of the points in $A$ to $μ$. We first show that a multiplicative $(1+\varepsilon)$ approximation to $μ$ can be found with probability $1-δ$ using $O(\varepsilon^{-1}\log δ^{-1})$ many independent uniform random samples, and provide a matching lower bound. Furthermore, we give two sublinear time algorithms with optimal sample complexity for extracting a suitable approximate mean:
1. A gradient descent approach running in time $O((\varepsilon^{-1}+\log\log δ^{-1})\cdot \log δ^{-1} \cdot d)$. It optimizes the geometric median objective while being significantly faster for our specific setting than all other known algorithms for this problem.
2. An order statistics and clustering approach running in time $O\left((\varepsilon^{-1}+\log^γδ^{-1})\cdot \log δ^{-1} \cdot d\right)$ for any constant $γ>0$.
Throughout our analysis, we also generalize the familiar median-of-means estimator to the multivariate case, showing that the geometric median-of-means estimator achieves an optimal sample complexity for estimating $μ$, which may be of independent interest.
△ Less
Submitted 1 February, 2025; v1 submitted 7 June, 2024;
originally announced June 2024.
-
Low-Distortion Clustering with Ordinal and Limited Cardinal Information
Authors:
Jakob Burkhardt,
Ioannis Caragiannis,
Karl Fehrs,
Matteo Russo,
Chris Schwiegelshohn,
Sudarshan Shyam
Abstract:
Motivated by recent work in computational social choice, we extend the metric distortion framework to clustering problems. Given a set of $n$ agents located in an underlying metric space, our goal is to partition them into $k$ clusters, optimizing some social cost objective. The metric space is defined by a distance function $d$ between the agent locations. Information about $d$ is available only…
▽ More
Motivated by recent work in computational social choice, we extend the metric distortion framework to clustering problems. Given a set of $n$ agents located in an underlying metric space, our goal is to partition them into $k$ clusters, optimizing some social cost objective. The metric space is defined by a distance function $d$ between the agent locations. Information about $d$ is available only implicitly via $n$ rankings, through which each agent ranks all other agents in terms of their distance from her. Still, we would like to evaluate clustering algorithms in terms of social cost objectives that are defined using $d$. This is done using the notion of distortion, which measures how far from optimality a clustering can be, taking into account all underlying metrics that are consistent with the ordinal information available. Unfortunately, the most important clustering objectives do not admit algorithms with finite distortion. To sidestep this disappointing fact, we follow two alternative approaches: We first explore whether resource augmentation can be beneficial. We consider algorithms that use more than $k$ clusters but compare their social cost to that of the optimal $k$-clusterings. We show that using exponentially (in terms of $k$) many clusters, we can get low (constant or logarithmic) distortion for the $k$-center and $k$-median objectives. Interestingly, such an exponential blowup is shown to be necessary. More importantly, we explore whether limited cardinal information can be used to obtain better results. Somewhat surprisingly, for $k$-median and $k$-center, we show that a number of queries that is polynomial in $k$ and only logarithmic in $n$ (i.e., only sublinear in the number of agents for the most relevant scenarios in practice) is enough to get constant distortion.
△ Less
Submitted 6 February, 2024;
originally announced February 2024.
-
Flexible hydrogels connecting adhesion and wetting
Authors:
A-Reum Kim,
Surjyasish Mitra,
Sudip Shyam,
Boxin Zhao,
Sushanta K. Mitra
Abstract:
Raindrops falling on window panes spread upon contact, whereas hail can cause dents or scratches on the same glass window upon contact. While the former phenomenon resembles classical wetting, the latter is dictated by contact and adhesion theories. The classical Young-Dupre law applies to the wetting of pure liquids on rigid solids, whereas conventional contact mechanics theories account for rigi…
▽ More
Raindrops falling on window panes spread upon contact, whereas hail can cause dents or scratches on the same glass window upon contact. While the former phenomenon resembles classical wetting, the latter is dictated by contact and adhesion theories. The classical Young-Dupre law applies to the wetting of pure liquids on rigid solids, whereas conventional contact mechanics theories account for rigid-on-soft or soft-on-rigid contacts with small deformations in the elastic limit. However, the crossover between adhesion and wetting is yet to be fully resolved. The key lies in the study of soft-on-soft interactions with material properties intermediate between liquids and solids. In this work, we translate from adhesion to wetting by experimentally probing the static signature of hydrogels in contact with soft PDMS of varying elasticity of both the components. Consequently, we probe this transition across six orders of magnitude in terms of the characteristic elasto-adhesive parameter of the system. In doing so, we reveal previously unknown phenomenology and a theoretical model which smoothly bridges adhesion of glass spheres with total wetting of pure liquids on any given substrate. Lastly, we highlight how solid like hydrogels can be treated as potential candidates for cleaning impurities from conventionally sticky PDMS substrates.
△ Less
Submitted 1 August, 2023;
originally announced August 2023.
-
Guaranteeing Envy-Freeness under Generalized Assignment Constraints
Authors:
Siddharth Barman,
Arindam Khan,
Sudarshan Shyam,
K. V. N. Sreenivas
Abstract:
We study fair division of goods under the broad class of generalized assignment constraints. In this constraint framework, the sizes and values of the goods are agent-specific, and one needs to allocate the goods among the agents fairly while further ensuring that each agent receives a bundle of total size at most the corresponding budget of the agent. Since, in such a constraint setting, it may n…
▽ More
We study fair division of goods under the broad class of generalized assignment constraints. In this constraint framework, the sizes and values of the goods are agent-specific, and one needs to allocate the goods among the agents fairly while further ensuring that each agent receives a bundle of total size at most the corresponding budget of the agent. Since, in such a constraint setting, it may not always be feasible to partition all the goods among the agents, we conform -- as in recent works -- to the construct of charity to designate the set of unassigned goods. For this allocation framework, we obtain existential and computational guarantees for envy-free (appropriately defined) allocation of divisible and indivisible goods, respectively, among agents with individual, additive valuations for the goods.
We deem allocations to be fair by evaluating envy only with respect to feasible subsets. In particular, an allocation is said to be feasibly envy-free (FEF) iff each agent prefers its bundle over every (budget) feasible subset within any other agent's bundle (and within the charity). The current work establishes that, for divisible goods, FEF allocations are guaranteed to exist and can be computed efficiently under generalized assignment constraints.
In the context of indivisible goods, FEF allocations do not necessarily exist, and hence, we consider the fairness notion of feasible envy-freeness up to any good (FEFx). We show that, under generalized assignment constraints, an FEFx allocation of indivisible goods always exists. In fact, our FEFx result resolves open problems posed in prior works. Further, for indivisible goods and under generalized assignment constraints, we provide a pseudo-polynomial time algorithm for computing FEFx allocations, and a fully polynomial-time approximation scheme (FPTAS) for computing approximate FEFx allocations.
△ Less
Submitted 2 May, 2023;
originally announced May 2023.
-
Finding Fair Allocations under Budget Constraints
Authors:
Siddharth Barman,
Arindam Khan,
Sudarshan Shyam,
K. V. N. Sreenivas
Abstract:
We study the fair allocation of indivisible goods among agents with identical, additive valuations but individual budget constraints. Here, the indivisible goods--each with a specific size and value--need to be allocated such that the bundle assigned to each agent is of total size at most the agent's budget. Since envy-free allocations do not necessarily exist in the indivisible goods context, com…
▽ More
We study the fair allocation of indivisible goods among agents with identical, additive valuations but individual budget constraints. Here, the indivisible goods--each with a specific size and value--need to be allocated such that the bundle assigned to each agent is of total size at most the agent's budget. Since envy-free allocations do not necessarily exist in the indivisible goods context, compelling relaxations--in particular, the notion of envy-freeness up to $k$ goods (EFk)--have received significant attention in recent years. In an EFk allocation, each agent prefers its own bundle over that of any other agent, up to the removal of $k$ goods, and the agents have similarly bounded envy against the charity (which corresponds to the set of all unallocated goods). Recently, Wu et al. (2021) showed that an allocation that satisfies the budget constraints and maximizes the Nash social welfare is $1/4$-approximately EF1. However, the computation (or even existence) of exact EFk allocations remained an intriguing open problem.
We make notable progress towards this by proposing a simple, greedy, polynomial-time algorithm that computes EF2 allocations under budget constraints. Our algorithmic result implies the universal existence of EF2 allocations in this fair division context. The analysis of the algorithm exploits intricate structural properties of envy-freeness. Interestingly, the same algorithm also provides EF1 guarantees for important special cases. Specifically, we settle the existence of EF1 allocations for instances in which: (i) the value of each good is proportional to its size, (ii) all goods have the same size, or (iii) all the goods have the same value. Our EF2 result extends to the setting wherein the goods' sizes are agent specific.
△ Less
Submitted 17 March, 2023; v1 submitted 17 August, 2022;
originally announced August 2022.
-
Magnetofluidic based controlled droplet breakup: effect of non-uniform force field
Authors:
Sudip Shyam,
Bhavesh Dhapola,
Pranab Kumar Mondal
Abstract:
We report the breakup dynamics of a magnetically active droplet (ferrofluid droplet) in a T-shaped LOC device under the modulation of a non-uniform magnetic field. We adhere to high-speed imaging modalities for the experimental quantification of the droplet splitting phenomena in the presence of a non-uniform force field gradient, while the underlying phenomena is supported by the numerical result…
▽ More
We report the breakup dynamics of a magnetically active droplet (ferrofluid droplet) in a T-shaped LOC device under the modulation of a non-uniform magnetic field. We adhere to high-speed imaging modalities for the experimental quantification of the droplet splitting phenomena in the presence of a non-uniform force field gradient, while the underlying phenomena is supported by the numerical results in a qualitative manner as well. On reaching the T-junction divergence, the droplet engulfs the intersection fully and eventually deforms into the dumbbell-shaped form making its bulges to move towards the branches of the junction. We observe that the asymmetric distribution of the magnetic force lines, acting over the T-junction divergence, induces an accelerating motion to the left moving bulge (since the magnet is placed adjacent to the left branch). We show that the non-uniform force field gradient allows the formation of a hump-like structure inside the left moving bulge which triggers the onset of augmented convection in its flow field. We reveal that this augmented internal convection developed in the left moving volume/bulge, on getting coupled with the various involved time scales of the flow field, lead to the asymmetric splitting of the droplet into two sister droplets. Our analysis establishes that at the critical strength of the applied forcing, as realized by the critical magnetic Bond number, the flow time scale becomes minimum at the left branch of the channel, leading to the formation of larger sized sister droplet therein. Inferences of the present analysis, which focuses on the simple, wireless, robust and low-cost droplet splitting mechanism, will provide a potential solution for rapid droplet breakup, typically finds significant importance in point-of-care diagnostics.
△ Less
Submitted 9 September, 2021;
originally announced September 2021.
-
Investigations into the complete spreading dynamics of a viscoelastic drop on a spherical substrate
Authors:
Sudip Shyam,
Harshad Sanjay Gaikwad,
Syed Abu Ghalib Ahmed,
Bibek Chakraborty,
Pranab Kumar Mondal
Abstract:
We study the spreading dynamics of a sphere-shaped elastic non-Newtonian liquid drop on a spherical substrate in the capillary driven regime. We use the simplified Phan Thien Tanner model to represent the rheology of the elastic non-Newtonian drop. We consider the drop to be a crater on a flat substrate to calculate the viscous dissipation near the contact line. Following the approach compatible w…
▽ More
We study the spreading dynamics of a sphere-shaped elastic non-Newtonian liquid drop on a spherical substrate in the capillary driven regime. We use the simplified Phan Thien Tanner model to represent the rheology of the elastic non-Newtonian drop. We consider the drop to be a crater on a flat substrate to calculate the viscous dissipation near the contact line. Following the approach compatible with the capillary-viscous force balance, we establish the evolution equation for describing the temporal evolution of the contact line during spreading. We show that the contact line velocity obtained from the theoretical calculation matches well with our experimental observations. Also, as confirmed by the present experimental observations, our analysis deems efficient to capture the phenomenon during the late-stage of spreading for which the effect of line tension becomes dominant. An increment in the viscoelastic parameter of the fluid increases the viscous dissipation effect at the contact line. It is seen that the higher dissipation effect leads to an enhancement in the wetting time of the drop on the spherical substrate. Also, we have shown that the elastic nature of fluid leads to an increment in the dynamic contact angle at any temporal instant as compared to its Newtonian counterpart. Finally, we unveil that the phenomenon of increasing contact angle results in the time required for the complete wetting of drop becomes higher with increasing viscoelasticity of the fluid. This article will fill a gap still affecting the existing literature due to the unavailability of experimental investigations of the spreading of the elastic non-Newtonian drop on a spherical substrate.
△ Less
Submitted 15 February, 2021; v1 submitted 9 August, 2020;
originally announced August 2020.
-
Magnetofluidic mixing of a ferrofluid droplet under the influence of time-dependent external field
Authors:
Sudip Shyam,
Pranab Kumar Mondal,
Balkrishna Mehta
Abstract:
We report the experimental investigations on the mixing of a ferrofluid droplet with a non-magnetic fluid in the presence of a time-dependent magnetic field on an open surface microfluidic platform. The bright field visualization technique, in combination with the micro-PIV analysis, is carried out to explore the internal hydrodynamics of the ferrofluid droplet. Also, using the Laser-induced fluor…
▽ More
We report the experimental investigations on the mixing of a ferrofluid droplet with a non-magnetic fluid in the presence of a time-dependent magnetic field on an open surface microfluidic platform. The bright field visualization technique, in combination with the micro-PIV analysis, is carried out to explore the internal hydrodynamics of the ferrofluid droplet. Also, using the Laser-induced fluorescence (micro-LIF) technique, we quantify the mass transfer occurring between the two droplets, which in effect, determines the underlying mixing performance under the modulation of the frequency of the applied magnetic field. We show that the magnetic nanoparticles exhibit complex spatio-temporal movement inside the ferrofluid droplet domain under the influence of a time-dependent magnetic field, which, in turn, promotes the mixing efficiency in the convective mixing regime. Our analysis establishes that the movement of magnetic nanoparticles in presence of the time-periodic field strengthens the interfacial instability, which acts like a sparking agent to initiate an augmented mixing in the present scenario. By performing numerical simulations, we also review the onset of interfacial instability, mainly stemming from the susceptibility mismatch between the magnetic and non-magnetic fluids. Inferences of the present analysis, which focuses on the simple, wireless, robust, and low-cost open surface micromixing mechanism, will provide a potential solution for rapid droplets mixing without requiring pH level or ion concentration dependency of the fluids.
△ Less
Submitted 3 August, 2020;
originally announced August 2020.
-
Learning Continuous Treatment Policy and Bipartite Embeddings for Matching with Heterogeneous Causal Effects
Authors:
Will Y. Zou,
Smitha Shyam,
Michael Mui,
Mingshi Wang,
Jan Pedersen,
Zoubin Ghahramani
Abstract:
Causal inference methods are widely applied in the fields of medicine, policy, and economics. Central to these applications is the estimation of treatment effects to make decisions. Current methods make binary yes-or-no decisions based on the treatment effect of a single outcome dimension. These methods are unable to capture continuous space treatment policies with a measure of intensity. They als…
▽ More
Causal inference methods are widely applied in the fields of medicine, policy, and economics. Central to these applications is the estimation of treatment effects to make decisions. Current methods make binary yes-or-no decisions based on the treatment effect of a single outcome dimension. These methods are unable to capture continuous space treatment policies with a measure of intensity. They also lack the capacity to consider the complexity of treatment such as matching candidate treatments with the subject. We propose to formulate the effectiveness of treatment as a parametrizable model, expanding to a multitude of treatment intensities and complexities through the continuous policy treatment function, and the likelihood of matching. Our proposal to decompose treatment effect functions into effectiveness factors presents a framework to model a rich space of actions using causal inference. We utilize deep learning to optimize the desired holistic metric space instead of predicting single-dimensional treatment counterfactual. This approach employs a population-wide effectiveness measure and significantly improves the overall effectiveness of the model. The performance of our algorithms is. demonstrated with experiments. When using generic continuous space treatments and matching architecture, we observe a 41% improvement upon prior art with cost-effectiveness and 68% improvement upon a similar method in the average treatment effect. The algorithms capture subtle variations in treatment space, structures the efficient optimizations techniques, and opens up the arena for many applications.
△ Less
Submitted 20 April, 2020;
originally announced April 2020.