Showing 1–50 of 121 results for author: Saberi, A

Approximating Optimum Online for Capacitated Resource Allocation

Authors: Alexander Braun, Thomas Kesselheim, Tristan Pollner, Amin Saberi

Abstract: We study online capacitated resource allocation, a natural generalization of online stochastic max-weight bipartite matching. This problem is motivated by ride-sharing and Internet advertising applications, where online arrivals may have the capacity to serve multiple offline users. Our main result is a polynomial-time online algorithm which is $(1/2 + κ)$-approximate to the optimal online algor… ▽ More We study online capacitated resource allocation, a natural generalization of online stochastic max-weight bipartite matching. This problem is motivated by ride-sharing and Internet advertising applications, where online arrivals may have the capacity to serve multiple offline users. Our main result is a polynomial-time online algorithm which is $(1/2 + κ)$-approximate to the optimal online algorithm for $κ= 0.0115$. This can be contrasted to the (tight) $1/2$-competitive algorithms to the optimum offline benchmark from the prophet inequality literature. Optimum online is a recently popular benchmark for online Bayesian problems which can use unbounded computation, but not "prophetic" knowledge of future inputs. Our algorithm (which also works for the case of stochastic rewards) rounds a generalized LP relaxation from the unit-capacity case via a two-proposal algorithm, as in previous works in the online matching literature. A key technical challenge in deriving our guarantee is bounding the positive correlation among users introduced when rounding our LP relaxation online. Unlike in the case of unit capacities, this positive correlation is unavoidable for guarantees beyond $1/2$. Conceptually, our results show that the study of optimum online as a benchmark can reveal problem-specific insights that are irrelevant to competitive analysis. △ Less

Submitted 11 June, 2024; originally announced June 2024.

Comments: Full version of EC'24 paper

Eigenstate plateau transition and equilibration in 1D quantum lattice models

Authors: Wei-Han Li, Abbas Ali Saberi

Abstract: We report on a remarkable spectral phenomenon in a generic type of quantum lattice gas model. As the interaction strength increases, eigenstates spontaneously reorganize and lead to plateaus of the interaction energy, with gaps opening akin to continuous phase transitions. Perturbation theory identifies a hidden structure underlying eigenstates within each plateau, resulting in a statistical shift… ▽ More We report on a remarkable spectral phenomenon in a generic type of quantum lattice gas model. As the interaction strength increases, eigenstates spontaneously reorganize and lead to plateaus of the interaction energy, with gaps opening akin to continuous phase transitions. Perturbation theory identifies a hidden structure underlying eigenstates within each plateau, resulting in a statistical shift in the wavefunction amplitudes described by extreme value theory. The structured eigenstates manifest themselves naturally in far-from-equilibrium dynamics proceeding through multiple universal stages. Our findings reveal a profound connection between emergent properties in high-energy states and out-of-equilibrium dynamics, providing insights into the impact of interactions across the entire energy spectrum. The results are directly relevant to experiments probing equilibration in quantum spin and lattice gases. △ Less

Submitted 11 June, 2024; originally announced June 2024.

Comments: 9 pages, 8 figures

MAGNOLIA: Matching Algorithms via GNNs for Online Value-to-go Approximation

Authors: Alexandre Hayderi, Amin Saberi, Ellen Vitercik, Anders Wikum

Abstract: Online Bayesian bipartite matching is a central problem in digital marketplaces and exchanges, including advertising, crowdsourcing, ridesharing, and kidney exchange. We introduce a graph neural network (GNN) approach that emulates the problem's combinatorially-complex optimal online algorithm, which selects actions (e.g., which nodes to match) by computing each action's value-to-go (VTG) -- the e… ▽ More Online Bayesian bipartite matching is a central problem in digital marketplaces and exchanges, including advertising, crowdsourcing, ridesharing, and kidney exchange. We introduce a graph neural network (GNN) approach that emulates the problem's combinatorially-complex optimal online algorithm, which selects actions (e.g., which nodes to match) by computing each action's value-to-go (VTG) -- the expected weight of the final matching if the algorithm takes that action, then acts optimally in the future. We train a GNN to estimate VTG and show empirically that this GNN returns high-weight matchings across a variety of tasks. Moreover, we identify a common family of graph distributions in spatial crowdsourcing applications, such as rideshare, under which VTG can be efficiently approximated by aggregating information within local neighborhoods in the graphs. This structure matches the local behavior of GNNs, providing theoretical justification for our approach. △ Less

Submitted 18 June, 2024; v1 submitted 9 June, 2024; originally announced June 2024.

Comments: Accepted to ICML 2024; Hardness result from introduction made precise

CHESS: Contextual Harnessing for Efficient SQL Synthesis

Authors: Shayan Talaei, Mohammadreza Pourreza, Yu-Chen Chang, Azalia Mirhoseini, Amin Saberi

Abstract: Utilizing large language models (LLMs) for transforming natural language questions into SQL queries (text-to-SQL) is a promising yet challenging approach, particularly when applied to real-world databases with complex and extensive schemas. In particular, effectively incorporating data catalogs and database values for SQL generation remains an obstacle, leading to suboptimal solutions. We address… ▽ More Utilizing large language models (LLMs) for transforming natural language questions into SQL queries (text-to-SQL) is a promising yet challenging approach, particularly when applied to real-world databases with complex and extensive schemas. In particular, effectively incorporating data catalogs and database values for SQL generation remains an obstacle, leading to suboptimal solutions. We address this problem by proposing a new pipeline that effectively retrieves relevant data and context, selects an efficient schema, and synthesizes correct and efficient SQL queries. To increase retrieval precision, our pipeline introduces a hierarchical retrieval method leveraging model-generated keywords, locality-sensitive hashing indexing, and vector databases. Additionally, we have developed an adaptive schema pruning technique that adjusts based on the complexity of the problem and the model's context size. Our approach generalizes to both frontier proprietary models like GPT-4 and open-source models such as Llama-3-70B. Through a series of ablation studies, we demonstrate the effectiveness of each component of our pipeline and its impact on the end-to-end performance. Our method achieves new state-of-the-art performance on the cross-domain challenging BIRD dataset. △ Less

Submitted 27 June, 2024; v1 submitted 26 May, 2024; originally announced May 2024.

Fault-tolerant properties of scale-free linear protocols for synchronization of homogeneous multi-agent systems

Authors: Anton A. Stoorvogel, Ali Saberi, Zhenwei Liu

Abstract: Originally, protocols were designed for multi-agent systems (MAS) using information about the network. However, in many cases there is no or only limited information available about the network. Recently, there has been a focus on scale-free synchronization of multi-agent systems (MAS). In this case, the protocol is designed without any prior information about the network. As long as the network c… ▽ More Originally, protocols were designed for multi-agent systems (MAS) using information about the network. However, in many cases there is no or only limited information available about the network. Recently, there has been a focus on scale-free synchronization of multi-agent systems (MAS). In this case, the protocol is designed without any prior information about the network. As long as the network contains a directed spanning tree, the scale-free protocol guarantees that the network achieves synchronization. If there is no directed spanning tree for the network then synchronization cannot be achieved. But what happens when these scale-free protocols are applied to such a network where the directed spanning tree no longer exists? The latter might arise if, for instance, a fault occurs in one of more crucial links. This paper establishes that the network decomposes into a number of basic bicomponents which achieves synchronization among all nodes in this basic bicomponent. On the other hand, nodes which are not part of any basic bicomponent converge to a weighted average of the synchronized trajectories of the basic bicomponents. The weights are independent of the initial conditions and are independent of the designed protocol. △ Less

Submitted 26 March, 2024; originally announced March 2024.

Comments: The article was submitted to IEEE Transactions on Automatic Control for review at March 27th, 2024

Statistical Guarantees for Link Prediction using Graph Neural Networks

Authors: Alan Chung, Amin Saberi, Morgane Austern

Abstract: This paper derives statistical guarantees for the performance of Graph Neural Networks (GNNs) in link prediction tasks on graphs generated by a graphon. We propose a linear GNN architecture (LG-GNN) that produces consistent estimators for the underlying edge probabilities. We establish a bound on the mean squared error and give guarantees on the ability of LG-GNN to detect high-probability edges.… ▽ More This paper derives statistical guarantees for the performance of Graph Neural Networks (GNNs) in link prediction tasks on graphs generated by a graphon. We propose a linear GNN architecture (LG-GNN) that produces consistent estimators for the underlying edge probabilities. We establish a bound on the mean squared error and give guarantees on the ability of LG-GNN to detect high-probability edges. Our guarantees hold for both sparse and dense graphs. Finally, we demonstrate some of the shortcomings of the classical GCN architecture, as well as verify our results on real and synthetic datasets. △ Less

Submitted 7 February, 2024; v1 submitted 4 February, 2024; originally announced February 2024.

Geometry of commutes in the universality of percolating traffic flows

Authors: Sasan Ebrahimabadi, Ali Hosseiny, **gfang Fan, Abbas Ali Saberi

Abstract: Traffic congestion is a major problem in megacities which increases vehicle emissions and degrades ambient air quality. Various models have been developed to address the universal features of traffic jams. These models range from micro car-following models to macro collective dynamic models. Here, we study the macrostructure of congested traffic influenced by the complex geometry of the commute. O… ▽ More Traffic congestion is a major problem in megacities which increases vehicle emissions and degrades ambient air quality. Various models have been developed to address the universal features of traffic jams. These models range from micro car-following models to macro collective dynamic models. Here, we study the macrostructure of congested traffic influenced by the complex geometry of the commute. Our main focus is on the dynamics of traffic patterns in Paris, and Los Angeles each with distinct urban structures. We analyze the complexity of the giant traffic clusters based on a percolation framework during rush hours in the mornings, evenings, and holidays. We uncover that the universality described by several critical exponents of traffic patterns is highly correlated with the geometry of commute and the underlying urban structure. Our findings might have broad implications for develo** a greener, healthier, and more sustainable future city. △ Less

Submitted 7 November, 2023; originally announced November 2023.

Comments: 7 pages, 7 Figs, 1 Table (to appear in Phys. Rev. E)

A Local Graph Limits Perspective on Sampling-Based GNNs

Authors: Yeganeh Alimohammadi, Luana Ruiz, Amin Saberi

Abstract: We propose a theoretical framework for training Graph Neural Networks (GNNs) on large input graphs via training on small, fixed-size sampled subgraphs. This framework is applicable to a wide range of models, including popular sampling-based GNNs, such as GraphSAGE and FastGCN. Leveraging the theory of graph local limits, we prove that, under mild assumptions, parameters learned from training sampl… ▽ More We propose a theoretical framework for training Graph Neural Networks (GNNs) on large input graphs via training on small, fixed-size sampled subgraphs. This framework is applicable to a wide range of models, including popular sampling-based GNNs, such as GraphSAGE and FastGCN. Leveraging the theory of graph local limits, we prove that, under mild assumptions, parameters learned from training sampling-based GNNs on small samples of a large input graph are within an $ε$-neighborhood of the outcome of training the same architecture on the whole graph. We derive bounds on the number of samples, the size of the graph, and the training steps required as a function of $ε$. Our results give a novel theoretical understanding for using sampling in training GNNs. They also suggest that by training GNNs on small samples of the input graph, practitioners can identify and select the best models, hyperparameters, and sampling algorithms more efficiently. We empirically illustrate our results on a node classification task on large citation graphs, observing that sampling-based GNNs trained on local subgraphs 12$\times$ smaller than the original graph achieve comparable performance to those trained on the input graph. △ Less

Submitted 16 October, 2023; originally announced October 2023.

The role of local bounds on neighborhoods in the network for scale-free state synchronization of multi-agent systems

Authors: Anton A. Stoorvogel, Ali Saberi, Zhenwei Liu

Abstract: This paper provides necessary and sufficient conditions for the existence of solutions to the state synchronization problem of homogeneous multi-agent systems (MAS) via scale-free linear dynamic non-collaborative protocol for both continuous- and discrete-time. These conditions guarantee for which class of MAS, one can achieve scale-free state synchronization. We investigate protocol design with a… ▽ More This paper provides necessary and sufficient conditions for the existence of solutions to the state synchronization problem of homogeneous multi-agent systems (MAS) via scale-free linear dynamic non-collaborative protocol for both continuous- and discrete-time. These conditions guarantee for which class of MAS, one can achieve scale-free state synchronization. We investigate protocol design with and without utilizing local bounds on neighborhood. The results show that the availability of local bounds on neighborhoods plays a key role. △ Less

Submitted 15 June, 2024; v1 submitted 4 October, 2023; originally announced October 2023.

Comments: This paper was submitted to IJRNC on Aug. 3, 2023 and resubmitted on June 15, 2024. Now, it is under review at the fifth round

Locality-Aware Graph-Rewiring in GNNs

Authors: Federico Barbero, Ameya Velingker, Amin Saberi, Michael Bronstein, Francesco Di Giovanni

Abstract: Graph Neural Networks (GNNs) are popular models for machine learning on graphs that typically follow the message-passing paradigm, whereby the feature of a node is updated recursively upon aggregating information over its neighbors. While exchanging messages over the input graph endows GNNs with a strong inductive bias, it can also make GNNs susceptible to over-squashing, thereby preventing them f… ▽ More Graph Neural Networks (GNNs) are popular models for machine learning on graphs that typically follow the message-passing paradigm, whereby the feature of a node is updated recursively upon aggregating information over its neighbors. While exchanging messages over the input graph endows GNNs with a strong inductive bias, it can also make GNNs susceptible to over-squashing, thereby preventing them from capturing long-range interactions in the given graph. To rectify this issue, graph rewiring techniques have been proposed as a means of improving information flow by altering the graph connectivity. In this work, we identify three desiderata for graph-rewiring: (i) reduce over-squashing, (ii) respect the locality of the graph, and (iii) preserve the sparsity of the graph. We highlight fundamental trade-offs that occur between spatial and spectral rewiring techniques; while the former often satisfy (i) and (ii) but not (iii), the latter generally satisfy (i) and (iii) at the expense of (ii). We propose a novel rewiring framework that satisfies all of (i)--(iii) through a locality-aware sequence of rewiring operations. We then discuss a specific instance of such rewiring framework and validate its effectiveness on several real-world benchmarks, showing that it either matches or significantly outperforms existing rewiring approaches. △ Less

Submitted 4 May, 2024; v1 submitted 2 October, 2023; originally announced October 2023.

Out-Of-Domain Unlabeled Data Improves Generalization

Authors: Amir Hossein Saberi, Amir Najafi, Alireza Heidari, Mohammad Hosein Movasaghinia, Abolfazl Motahari, Babak H. Khalaj

Abstract: We propose a novel framework for incorporating unlabeled data into semi-supervised classification problems, where scenarios involving the minimization of either i) adversarially robust or ii) non-robust loss functions have been considered. Notably, we allow the unlabeled samples to deviate slightly (in total variation sense) from the in-domain distribution. The core idea behind our framework is to… ▽ More We propose a novel framework for incorporating unlabeled data into semi-supervised classification problems, where scenarios involving the minimization of either i) adversarially robust or ii) non-robust loss functions have been considered. Notably, we allow the unlabeled samples to deviate slightly (in total variation sense) from the in-domain distribution. The core idea behind our framework is to combine Distributionally Robust Optimization (DRO) with self-supervised training. As a result, we also leverage efficient polynomial-time algorithms for the training stage. From a theoretical standpoint, we apply our framework on the classification problem of a mixture of two Gaussians in $\mathbb{R}^d$, where in addition to the $m$ independent and labeled samples from the true distribution, a set of $n$ (usually with $n\gg m$) out of domain and unlabeled samples are given as well. Using only the labeled data, it is known that the generalization error can be bounded by $\propto\left(d/m\right)^{1/2}$. However, using our method on both isotropic and non-isotropic Gaussian mixture models, one can derive a new set of analytically explicit and non-asymptotic bounds which show substantial improvement on the generalization error compared to ERM. Our results underscore two significant insights: 1) out-of-domain samples, even when unlabeled, can be harnessed to narrow the generalization gap, provided that the true data distribution adheres to a form of the ``cluster assumption", and 2) the semi-supervised learning paradigm can be regarded as a special case of our framework when there are no distributional shifts. We validate our claims through experiments conducted on a variety of synthetic and real-world datasets. △ Less

Submitted 15 February, 2024; v1 submitted 28 September, 2023; originally announced October 2023.

Comments: Published at ICLR 2024 (Spotlight), 29 pages, no figures

Scalable Exact Output Synchronization of Discrete-Time Multi-Agent Systems in the Presence of Disturbances and Measurement Noise With Known Frequencies

Authors: Zhenwei Liu, Meirong Zhang, Ali Saberi, Anton A. Stoorvogel

Abstract: This paper aims to achieve scalable exact output and regulated output synchronization for discrete-time multi-agent systems in presence of disturbances and measurement noise with known frequencies. Both homogeneous and heterogeneous multi-agent systems are considered, with parts of agents' states accessible in the latter case. The key contribution of this paper is on the distributed protocol that… ▽ More This paper aims to achieve scalable exact output and regulated output synchronization for discrete-time multi-agent systems in presence of disturbances and measurement noise with known frequencies. Both homogeneous and heterogeneous multi-agent systems are considered, with parts of agents' states accessible in the latter case. The key contribution of this paper is on the distributed protocol that only uses the information of agent models, rather than the communication network information and the agent number, so as to achieve the scalable exact synchronization under disturbances and measurement noise. The validity of the protocol is verified by numerical simulations with arbitrarily chosen number of agents. △ Less

Submitted 27 September, 2023; originally announced September 2023.

Comments: This paper was submitted to International Journal of Robust and Nonlinear Control at Feb. 19, 2023, and obtained the recommendation of "resubmitting" at Aug. 23, 2023. Now, the authors are in the process of revising based on comments from the Referees

Scalable δ-Level Coherent State Synchronization of Multi-Agent Systems in the Presence of Bounded Disturbances

Authors: Donya Nojavanzadeh, Zhenwei Liu, Ali Saberi, Anton A. Stoorvogel

Abstract: In this paper, we study scalable δ-Level coherent state synchronization for multi-agent systems (MAS) where the agents are subject to bounded disturbances/noises. We propose a scale-free framework designed solely based on the knowledge of agent models and agnostic to the communication graphs and size of the network. We define the level of coherency for each agent as the norm of the weighted sum of… ▽ More In this paper, we study scalable δ-Level coherent state synchronization for multi-agent systems (MAS) where the agents are subject to bounded disturbances/noises. We propose a scale-free framework designed solely based on the knowledge of agent models and agnostic to the communication graphs and size of the network. We define the level of coherency for each agent as the norm of the weighted sum of the disagreement dynamics with its neighbors. The objective is to restrict the level of coherency of the network to δ without a-priori information about the disturbances. △ Less

Submitted 6 April, 2024; v1 submitted 23 August, 2023; originally announced August 2023.

Comments: 19 pages, 11 figures, This is a preprint of the paper "Scalable δ-Level Coherent State Synchronization of Multi-Agent Systems with Adaptive Protocols and Bounded Disturbances" submitted to the International Journal of Robust and Nonlinear Control

Emergence of Rigidity Percolation in Flowing Granular Systems

Authors: Hor Dashti, Abbas Ali Saberi, S. H. E. Rahbari, Jürgen Kurths

Abstract: Jammed granular media and glasses exhibit spatial long-range correlations as a result of mechanical equilibrium. However, the existence of such correlations in the flowing matter, where the mechanical equilibrium is unattainable, has remained elusive. Here, we investigate this problem in the context of the percolation of interparticle forces in flowing granular media. We find that the flow rate in… ▽ More Jammed granular media and glasses exhibit spatial long-range correlations as a result of mechanical equilibrium. However, the existence of such correlations in the flowing matter, where the mechanical equilibrium is unattainable, has remained elusive. Here, we investigate this problem in the context of the percolation of interparticle forces in flowing granular media. We find that the flow rate introduces an effective long-range correlation, which plays the role of a relevant perturbation giving rise to a spectrum of varying exponents on a critical line as a function of the flow rate. Remarkably, our numerical simulations along with analytical arguments predict a crossover flow rate $\dotγ_c \simeq 10^{-5}$ below which the effect of induced disorder is weak and the universality of the force chain structure is shown to be given by the standard rigidity percolation. We also find a power-law behavior for the critical exponents with the flow rate $\dotγ>\dotγ_c$. △ Less

Submitted 29 July, 2023; originally announced July 2023.

Comments: 26 pages, 5 figures, to appear in Science Advances (2023)

Scale-free Non-collaborative Linear Protocol Design for A Class of Homogeneous Multi-agent Systems

Authors: Zhenwei Liu, Ali Saberi, Anton A. Stoorvogel

Abstract: In this paper, we have focused on identifying a class of continuous- and discrete-time MAS for which a scale-free non-collaborative (i.e., scale-free fully distributed) linear protocol design is developed. We have identified conditions on agent models that enable us to design scalable linear protocols. Moreover, we show that these conditions are necessary if the agents are single input and single… ▽ More In this paper, we have focused on identifying a class of continuous- and discrete-time MAS for which a scale-free non-collaborative (i.e., scale-free fully distributed) linear protocol design is developed. We have identified conditions on agent models that enable us to design scalable linear protocols. Moreover, we show that these conditions are necessary if the agents are single input and single output. We also provide a complete design of scalable protocols for this class. △ Less

Submitted 13 April, 2024; v1 submitted 2 June, 2023; originally announced June 2023.

Comments: This paper was accepted for publish to IEEE Transactions on Automatic Control at Vol. 69, Issue 5, 2024

Sublinear Algorithms for TSP via Path Covers

Authors: Soheil Behnezhad, Mohammad Roghani, Aviad Rubinstein, Amin Saberi

Abstract: We study sublinear time algorithms for the traveling salesman problem (TSP). First, we focus on the closely related {\em maximum path cover} problem, which asks for a collection of vertex disjoint paths that include the maximum number of edges. We show that for any fixed $ε> 0$, there is an algorithm that $(1/2 - ε)$-approximates the maximum path cover size of an $n$-vertex graph in… ▽ More We study sublinear time algorithms for the traveling salesman problem (TSP). First, we focus on the closely related {\em maximum path cover} problem, which asks for a collection of vertex disjoint paths that include the maximum number of edges. We show that for any fixed $ε> 0$, there is an algorithm that $(1/2 - ε)$-approximates the maximum path cover size of an $n$-vertex graph in $\widetilde{O}(n)$ time. This improves upon a $(3/8-ε)$-approximate $\widetilde{O}(n \sqrt{n})$-time algorithm of Chen, Kannan, and Khanna [ICALP'20]. Equipped with our path cover algorithm, we give an $\widetilde{O}(n)$ time algorithm that estimates the cost of $(1,2)$-TSP within a factor of $(1.5+ε)$ which is an improvement over a folklore $(1.75 + ε)$-approximate $\widetilde{O}(n)$-time algorithm, as well as a $(1.625+ε)$-approximate $\widetilde{O}(n\sqrt{n})$-time algorithm of [CHK ICALP'20]. For graphic TSP, we present an $\widetilde{O}(n)$ algorithm that estimates the cost of graphic TSP within a factor of $1.83$ which is an improvement over a $1.92$-approximate $\widetilde{O}(n)$ time algorithm due to [CHK ICALP'20, Behnezhad FOCS'21]. We show that the approximation can be further improved to $1.66$ using $n^{2-Ω(1)}$ time. All of our $\widetilde{O}(n)$ time algorithms are information-theoretically time-optimal up to poly log n factors. Additionally, we show that our approximation guarantees for path cover and $(1,2)$-TSP hit a natural barrier: We show better approximations require better sublinear time algorithms for the well-studied maximum matching problem. △ Less

Submitted 28 April, 2024; v1 submitted 12 January, 2023; originally announced January 2023.

Scale-free linear protocol design for global regulated state synchronization of discrete-time double-integrator multi-agent systems subject to actuator saturation

Authors: Zhenwei Liu, Ali Saberi, Anton A. Stoorvogel

Abstract: This paper studies global regulated state synchronization of discrete-time double-integrator multi-agent systems subject to actuator saturation by utilizing localized information exchange. We propose a scale-free linear protocol that achieves global regulated state synchronization for any network with arbitrary number of agents and arbitrarily directed communication graph that has a path between e… ▽ More This paper studies global regulated state synchronization of discrete-time double-integrator multi-agent systems subject to actuator saturation by utilizing localized information exchange. We propose a scale-free linear protocol that achieves global regulated state synchronization for any network with arbitrary number of agents and arbitrarily directed communication graph that has a path between each agent and exosystem which generates the reference trajectory. △ Less

Submitted 25 October, 2022; originally announced October 2022.

Comments: This paper was submitted to 2023 Chinese Control and Decision Conference (CCDC), Yichang, China. arXiv admin note: substantial text overlap with arXiv:2204.02129

Two-stage Stochastic Matching and Pricing with Applications to Ride Hailing

Authors: Yiding Feng, Rad Niazadeh, Amin Saberi

Abstract: Matching and pricing are two critical levers in two-sided marketplaces to connect demand and supply. The platform can produce more efficient matching and pricing decisions by batching the demand requests. We initiate the study of the two-stage stochastic matching problem, with or without pricing, to enable the platform to make improved decisions in a batch with an eye toward the imminent future de… ▽ More Matching and pricing are two critical levers in two-sided marketplaces to connect demand and supply. The platform can produce more efficient matching and pricing decisions by batching the demand requests. We initiate the study of the two-stage stochastic matching problem, with or without pricing, to enable the platform to make improved decisions in a batch with an eye toward the imminent future demand requests. This problem is motivated in part by applications in online marketplaces such as ride hailing platforms. We design online competitive algorithms for vertex-weighted (or unweighted) two-stage stochastic matching for maximizing supply efficiency, and two-stage joint matching and pricing for maximizing market efficiency. In the former problem, using a randomized primal-dual algorithm applied to a family of ``balancing'' convex programs, we obtain the optimal $3/4$ competitive ratio against the optimum offline benchmark. Using a factor revealing program and connections to submodular optimization, we improve this ratio against the optimum online benchmark to $(1-1/e+1/e^2)\approx 0.767$ for the unweighted and $0.761$ for the weighted case. In the latter problem, we design optimal $1/2$-competitive joint pricing and matching algorithm by borrowing ideas from the ex-ante prophet inequality literature. We also show an improved $(1-1/e)$-competitive algorithm for the special case of demand efficiency objective using the correlation gap of submodular functions. Finally, we complement our theoretical study by using DiDi's ride-sharing dataset for Chengdu city and numerically evaluating the performance of our proposed algorithms in practical instances of this problem. △ Less

Submitted 20 October, 2022; originally announced October 2022.

Comments: Conference version: SODA 2021; Journal version: Operations Research

Unified Modeling and Experimental Realization of Electrical and Thermal Percolation in Polymer Composites

Authors: Navid Sarikhani, Zohreh S. Arabshahi, Abbas Ali Saberi, Alireza Z. Moshfegh

Abstract: Correlations between electrical and thermal conduction in polymer composites are blurred due to the complex contribution of charge and heat carriers at the nanoscale junctions of filler particles. Conflicting reports on the lack or existence of thermal percolation in polymer composites have made it the subject of great controversy for decades. Here, we develop a generalized percolation framework t… ▽ More Correlations between electrical and thermal conduction in polymer composites are blurred due to the complex contribution of charge and heat carriers at the nanoscale junctions of filler particles. Conflicting reports on the lack or existence of thermal percolation in polymer composites have made it the subject of great controversy for decades. Here, we develop a generalized percolation framework that describes both electrical and thermal conductivity within a remarkably wide range of filler-to-matrix conductivity ratios (Y_f/Y_m), covering 20 orders of magnitude. Our unified theory provides a genuine classification of electrical conductivity with typical Y_f/Y_m >= 10^10 as insulator-conductor percolation with the standard power-law behavior, and of thermal conductivity with 10^2<= Y_f/Y_m <= 10^4 as poor-good conductor percolation characterized by two universal critical exponents. Experimental verification of the universal and unified features of our theoretical framework is conducted by constructing a 3D segregated and well-extended network of multi-walled carbon nanotubes in polypropylene as a model polymer matrix under a carefully designed fabrication method. We study the evolution of the electrical and thermal conductivity in our fabricated composites at different loading levels up to 5 vol%. Significantly, we find an ultralow electrical percolation threshold at 0.02 vol% and a record-low thermal percolation threshold at 1.5 vol%. We also apply our theoretical model to a number of 23 independent experimental and numerical datasets reported in the literature, including more than 350 data points, for systems with different microscopic details, and show that all collapse onto our proposed universal scaling function, which depends only on dimensionality. △ Less

Submitted 15 September, 2022; originally announced September 2022.

Comments: 112 pages (to appear in Applied Physics Reviews)

Journal ref: Applied Physics Reviews 9, 041403 (2022)

Sample Complexity Bounds for Learning High-dimensional Simplices in Noisy Regimes

Authors: Amir Hossein Saberi, Amir Najafi, Seyed Abolfazl Motahari, Babak H. Khalaj

Abstract: In this paper, we find a sample complexity bound for learning a simplex from noisy samples. Assume a dataset of size $n$ is given which includes i.i.d. samples drawn from a uniform distribution over an unknown simplex in $\mathbb{R}^K$, where samples are assumed to be corrupted by a multi-variate additive Gaussian noise of an arbitrary magnitude. We prove the existence of an algorithm that with hi… ▽ More In this paper, we find a sample complexity bound for learning a simplex from noisy samples. Assume a dataset of size $n$ is given which includes i.i.d. samples drawn from a uniform distribution over an unknown simplex in $\mathbb{R}^K$, where samples are assumed to be corrupted by a multi-variate additive Gaussian noise of an arbitrary magnitude. We prove the existence of an algorithm that with high probability outputs a simplex having a $\ell_2$ distance of at most $\varepsilon$ from the true simplex (for any $\varepsilon>0$). Also, we theoretically show that in order to achieve this bound, it is sufficient to have $n\ge\left(K^2/\varepsilon^2\right)e^{Ω\left(K/\mathrm{SNR}^2\right)}$ samples, where $\mathrm{SNR}$ stands for the signal-to-noise ratio. This result solves an important open problem and shows as long as $\mathrm{SNR}\geΩ\left(K^{1/2}\right)$, the sample complexity of the noisy regime has the same order to that of the noiseless case. Our proofs are a combination of the so-called sample compression technique in \citep{ashtiani2018nearly}, mathematical tools from high-dimensional geometry, and Fourier analysis. In particular, we have proposed a general Fourier-based technique for recovery of a more general class of distribution families from additive Gaussian noise, which can be further used in a variety of other related problems. △ Less

Submitted 28 April, 2023; v1 submitted 9 September, 2022; originally announced September 2022.

Comments: Accepted for ICML 2023; 27 pages

Beating Greedy Matching in Sublinear Time

Authors: Soheil Behnezhad, Mohammad Roghani, Aviad Rubinstein, Amin Saberi

Abstract: We study sublinear time algorithms for estimating the size of maximum matching in graphs. Our main result is a $(\frac{1}{2}+Ω(1))$-approximation algorithm which can be implemented in $O(n^{1+ε})$ time, where $n$ is the number of vertices and the constant $ε> 0$ can be made arbitrarily small. The best known lower bound for the problem is $Ω(n)$, which holds for any constant approximation. Existi… ▽ More We study sublinear time algorithms for estimating the size of maximum matching in graphs. Our main result is a $(\frac{1}{2}+Ω(1))$-approximation algorithm which can be implemented in $O(n^{1+ε})$ time, where $n$ is the number of vertices and the constant $ε> 0$ can be made arbitrarily small. The best known lower bound for the problem is $Ω(n)$, which holds for any constant approximation. Existing algorithms either obtain the greedy bound of $\frac{1}{2}$-approximation [Behnezhad FOCS'21], or require some assumption on the maximum degree to run in $o(n^2)$-time [Yoshida, Yamamoto, and Ito STOC'09]. We improve over these by designing a less "adaptive" augmentation algorithm for maximum matching that might be of independent interest. △ Less

Submitted 27 June, 2022; originally announced June 2022.

Improved Online Contention Resolution for Matchings and Applications to the Gig Economy

Authors: Tristan Pollner, Mohammad Roghani, Amin Saberi, David Wajc

Abstract: Motivated by applications in the gig economy, we study approximation algorithms for a \emph{sequential pricing problem}. The input is a bipartite graph $G=(I,J,E)$ between individuals $I$ and jobs $J$. The platform has a value of $v_j$ for matching job $j$ to an individual worker. In order to find a matching, the platform can consider the edges $(i j) \in E$ in any order and make a one-time take-i… ▽ More Motivated by applications in the gig economy, we study approximation algorithms for a \emph{sequential pricing problem}. The input is a bipartite graph $G=(I,J,E)$ between individuals $I$ and jobs $J$. The platform has a value of $v_j$ for matching job $j$ to an individual worker. In order to find a matching, the platform can consider the edges $(i j) \in E$ in any order and make a one-time take-it-or-leave-it offer of a price $π_{ij} = w$ of its choosing to $i$ for completing $j$. The worker accepts the offer with a known probability $ p_{ijw} $; in this case the job and the worker are irrevocably matched. What is the best way to make offers to maximize revenue and/or social welfare? The optimal algorithm is known to be NP-hard to compute (even if there is only a single job). With this in mind, we design efficient approximations to the optimal policy via a new Random-Order Online Contention Resolution Scheme (RO-OCRS) for matching. Our main result is a 0.456-balanced RO-OCRS in bipartite graphs and a 0.45-balanced RO-OCRS in general graphs. These algorithms improve on the recent bound of $\frac{1}{2}(1-e^{-2})\approx 0.432$ of [BGMS21], and improve on the best known lower bounds for the correlation gap of matching, despite applying to a significantly more restrictive setting. As a consequence of our OCRS results, we obtain a $0.456$-approximate algorithm for the sequential pricing problem. We further extend our results to settings where workers can only be contacted a limited number of times, and show how to achieve improved results for this problem, via improved algorithms for the well-studied stochastic probing problem. △ Less

Submitted 17 May, 2022; originally announced May 2022.

Comments: Full version of EC2022 paper

Scalable global state synchronization of discrete-time double integrator multi-agent systems with input saturation via linear protocol (Completed Version)

Authors: Zhenwei Liu, Ali Saberi, Anton A. Stoorvogel

Abstract: This paper studies scalable global state synchronization of discrete-time double integrator multi-agent systems in presence of input saturation based on localized information exchange. A scale-free collaborative linear dynamic protocols design methodology is developed for discrete-time multi-agent systems with both full and partial-state couplings. And the protocol design methodology does not need… ▽ More This paper studies scalable global state synchronization of discrete-time double integrator multi-agent systems in presence of input saturation based on localized information exchange. A scale-free collaborative linear dynamic protocols design methodology is developed for discrete-time multi-agent systems with both full and partial-state couplings. And the protocol design methodology does not need any knowledge of the directed network topology and the spectrum of the associated Laplacian matrix. Meanwhile, the protocols are parametric based on a parameter set in which the designed protocols can guarantee the global synchronization result. Furthermore, the proposed protocol is scalable and achieves synchronization for any arbitrary number of agents. △ Less

Submitted 10 April, 2022; v1 submitted 5 April, 2022; originally announced April 2022.

Comments: This article is the complete version of the paper that was accepted by CCC 2022, Hefei China, July 25th-28th, 2022. arXiv admin note: text overlap with arXiv:1908.06535, arXiv:2004.13479

A 2D Levy-flight model for the complex dynamics of real-life financial markets

Authors: Hediye Yarahmadi, Abbas Ali Saberi

Abstract: We report on the emergence of scaling laws in the temporal evolution of the daily closing values of the S\&P 500 index prices and its modeling based on the Lévy flights in two dimensions (2D). The efficacy of our proposed model is verified and validated by using the extreme value statistics in random matrix theory. We find that the random evolution of each pair of stocks in a 2D price space is a s… ▽ More We report on the emergence of scaling laws in the temporal evolution of the daily closing values of the S\&P 500 index prices and its modeling based on the Lévy flights in two dimensions (2D). The efficacy of our proposed model is verified and validated by using the extreme value statistics in random matrix theory. We find that the random evolution of each pair of stocks in a 2D price space is a scale-invariant complex trajectory whose tortuosity is governed by a $2/3$ geometric law between the gyration radius $R_g(t)$ and the total length $\ell(t)$ of the path, i.e., $R_g(t)\sim\ell(t)^{2/3}$. We construct a Wishart matrix containing all stocks up to a specific variable period and look at its spectral properties over 30 years. In contrast to the standard random matrix theory, we find that the distribution of eigenvalues has a power-law tail with a decreasing exponent over time -- a quantitative indicator of the temporal correlations. We find that the time evolution of the distance of a 2D Lévy flights with index $α=3/2$ from origin generates the same empirical spectral properties. The statistics of the largest eigenvalues of the model and the observations are in perfect agreement. △ Less

Submitted 24 February, 2022; originally announced February 2022.

Comments: 5 figures, 9 pages

Journal ref: Chaos 32, 033113 (2022)

Exact finite-size scaling for the random-matrix representation of bond percolation on square lattice

Authors: Azadeh Malekan, Sina Saber, Abbas Ali Saberi

Abstract: We report on the exact treatment of a random-matrix representation of bond percolation model on a square lattice in two dimensions with occupation probability $p$. The percolation problem is mapped onto a random complex matrix composed of two random real-valued matrices of elements $+1$ and $-1$ with probability $p$ and $1-p$, respectively. We find that the onset of percolation transition can be d… ▽ More We report on the exact treatment of a random-matrix representation of bond percolation model on a square lattice in two dimensions with occupation probability $p$. The percolation problem is mapped onto a random complex matrix composed of two random real-valued matrices of elements $+1$ and $-1$ with probability $p$ and $1-p$, respectively. We find that the onset of percolation transition can be detected by the emergence of power-law divergences due to the coalescence of the first two extreme eigenvalues in the thermodynamic limit. We develop a universal finite-size scaling law that fully characterizes the scaling behavior of the extreme eigenvalue's fluctuation in terms of a set of universal scaling exponents and amplitudes. We make use of the relative entropy as an index of the disparity between two distributions of the first and second-largest extreme eigenvalues, to show that its minimum underlies the scaling framework. Our study may provide an inroad for develo** new methods and algorithms with diverse applications in machine learning, complex systems, and statistical physics. △ Less

Submitted 10 February, 2022; originally announced February 2022.

Comments: 7 pages, 2 figures

Journal ref: Chaos 32, 023112 (2022)

Universality class of epidemic percolation transitions driven by random walks

Authors: Mohadeseh Feshanjerdi, Abbas Ali Saberi

Abstract: Inspired by the recent viral epidemic outbreak and its consequent worldwide pandemic, we devise a model to capture the dynamics and the universality of the spread of such infectious diseases. The transition from a pre-critical to the post-critical phase is modeled by a percolation problem driven by random walks on a two-dimensional lattice with an extra average number $ρ$ of nonlocal links per sit… ▽ More Inspired by the recent viral epidemic outbreak and its consequent worldwide pandemic, we devise a model to capture the dynamics and the universality of the spread of such infectious diseases. The transition from a pre-critical to the post-critical phase is modeled by a percolation problem driven by random walks on a two-dimensional lattice with an extra average number $ρ$ of nonlocal links per site. Using the finite-size scaling analysis, we find that the effective exponents of the percolation transitions as well as the corresponding time thresholds, extrapolated to the infinite system size, are $ρ$-dependent. We argue that the $ρ$-dependence of our estimated exponents represents a crossover-type behavior caused by the finite-size effects between the two limiting regimes of the system. We also find that the universal scaling functions governing the critical behavior in every single realization of the model can be well described by the theory of extreme values for the maximum jumps in the order parameter and by the central limit theorem for the transition threshold. △ Less

Submitted 9 December, 2021; originally announced December 2021.

Comments: 8 pages, 7 figures (to appear in Phys. Rev. E)

Journal ref: Phys. Rev. E 104, 064125 (2021)

Algorithms Using Local Graph Features to Predict Epidemics

Authors: Yeganeh Alimohammadi, Christian Borgs, Amin Saberi

Abstract: We study a simple model of epidemics where an infected node transmits the infection to its neighbors independently with probability $p$. This is also known as the independent cascade or Susceptible-Infected-Recovered (SIR) model with fixed recovery time. The size of an outbreak in this model is closely related to that of the giant connected component in ``edge percolation'', where each edge of the… ▽ More We study a simple model of epidemics where an infected node transmits the infection to its neighbors independently with probability $p$. This is also known as the independent cascade or Susceptible-Infected-Recovered (SIR) model with fixed recovery time. The size of an outbreak in this model is closely related to that of the giant connected component in ``edge percolation'', where each edge of the graph is kept independently with probability $p$, studied for a large class of networks including configuration model \cite{molloy2011critical} and preferential attachment \cite{bollobas2003,Riordan2005}. Even though these models capture the effects of degree inhomogeneity and the role of super-spreaders in the spread of an epidemic, they only consider graphs that are locally tree like i.e. have a few or no short cycles. Some generalizations of the configuration model were suggested to capture local communities, known as household models \cite{ball2009threshold}, or hierarchical configuration model \cite{Hofstad2015hierarchical}. Here, we ask a different question: what information is needed for general networks to predict the size of an outbreak? Is it possible to make predictions by accessing the distribution of small subgraphs (or motifs)? We answer the question in the affirmative for large-set expanders with local weak limits (also known as Benjamini-Schramm limits). In particular, we show that there is an algorithm which gives a $(1-ε)$ approximation of the probability and the final size of an outbreak by accessing a constant-size neighborhood of a constant number of nodes chosen uniformly at random. We also present corollaries of the theorem for the preferential attachment model, and study generalizations with household (or motif) structure. The latter was only known for the configuration model. △ Less

Submitted 17 October, 2021; originally announced October 2021.

Universal scaling and criticality of extremes in random matrix theory

Authors: Sina Saber, Abbas Ali Saberi

Abstract: We present a random-matrix realization of a two-dimensional percolation model with the occupation probability $p$. We find that the behavior of the model is governed by the two first extreme eigenvalues. While the second extreme eigenvalue resides on the moving edge of the semicircle bulk distribution with an additional semicircle functionality on $p$, the first extreme exhibits a disjoint isolate… ▽ More We present a random-matrix realization of a two-dimensional percolation model with the occupation probability $p$. We find that the behavior of the model is governed by the two first extreme eigenvalues. While the second extreme eigenvalue resides on the moving edge of the semicircle bulk distribution with an additional semicircle functionality on $p$, the first extreme exhibits a disjoint isolated Gaussian statistics which is responsible for the emergence of a rich finite-size scaling and criticality. Our extensive numerical simulations along with analytical arguments unravel the power-law divergences due to the coalescence of the first two extreme eigenvalues in the thermodynamic limit. We develop a scaling law that provides a universal framework in terms of a set of scaling exponents uncovering the full finite-size scaling behavior of the extreme eigenvalue's fluctuation. Our study may provide a simple practical approach to capture the criticality in complex systems and their inverse problems with a possible extension to the interacting systems. △ Less

Submitted 6 September, 2021; originally announced September 2021.

Comments: 5 pages, 5 figures

Journal ref: Phys. Rev. E (Letter) 105, L022102 (2022)

Zero-Error Feedback Capacity for Bounded Stabilization and Finite-State Additive Noise Channels

Authors: Amir Saberi, Farhad Farokhi, Girish Nair

Abstract: This article studies the zero-error feedback capacity of {\em causal} discrete channels with memory. First, by extending the classical zero-error feedback capacity concept, a new notion of {\em uniform zero-error feedback capacity} $ C_{0f} $ for such channels is introduced. Using this notion a tight condition for {bounded} stabilization of unstable {noisy} linear systems via causal channels is ob… ▽ More This article studies the zero-error feedback capacity of {\em causal} discrete channels with memory. First, by extending the classical zero-error feedback capacity concept, a new notion of {\em uniform zero-error feedback capacity} $ C_{0f} $ for such channels is introduced. Using this notion a tight condition for {bounded} stabilization of unstable {noisy} linear systems via causal channels is obtained, assuming no {channel} state information at either end of the channel. △ Less

Submitted 1 June, 2022; v1 submitted 9 August, 2021; originally announced August 2021.

Comments: arXiv admin note: text overlap with arXiv:2006.00892

The Stationary Prophet Inequality Problem

Authors: Kristen Kessel, Amin Saberi, Ali Shameli, David Wajc

Abstract: We study a continuous and infinite time horizon counterpart to the classic prophet inequality, which we term the stationary prophet inequality problem. Here, copies of a good arrive and perish according to Poisson point processes. Buyers arrive similarly and make take-it-or-leave-it offers for unsold items. The objective is to maximize the (infinite) time average revenue of the seller. Our main… ▽ More We study a continuous and infinite time horizon counterpart to the classic prophet inequality, which we term the stationary prophet inequality problem. Here, copies of a good arrive and perish according to Poisson point processes. Buyers arrive similarly and make take-it-or-leave-it offers for unsold items. The objective is to maximize the (infinite) time average revenue of the seller. Our main results are pricing-based policies which (i) achieve a $1/2$-approximation of the optimal offline policy, which is best possible, and (ii) achieve a better than $(1-1/e)$-approximation of the optimal online policy. Result (i) improves upon bounds implied by recent work of Collina et al. (WINE'20), and is the first optimal prophet inequality for a stationary problem. Result (ii) improves upon a $1-1/e$ bound implied by recent work of Aouad and Saritaç (EC'20), and shows that this prevalent bound in online algorithms is not optimal for this problem. △ Less

Submitted 22 July, 2021; originally announced July 2021.

Sequential importance sampling for estimating expectations over the space of perfect matchings

Authors: Yeganeh Alimohammadi, Persi Diaconis, Mohammad Roghani, Amin Saberi

Abstract: This paper makes three contributions to estimating the number of perfect matching in bipartite graphs. First, we prove that the popular sequential importance sampling algorithm works in polynomial time for dense bipartite graphs. More carefully, our algorithm gives a $(1\pmε)$-approximation for the number of perfect matchings of a $λ$-dense bipartite graph, using $O(n^{\frac{1-2λ}λε^{-2}})$ sample… ▽ More This paper makes three contributions to estimating the number of perfect matching in bipartite graphs. First, we prove that the popular sequential importance sampling algorithm works in polynomial time for dense bipartite graphs. More carefully, our algorithm gives a $(1\pmε)$-approximation for the number of perfect matchings of a $λ$-dense bipartite graph, using $O(n^{\frac{1-2λ}λε^{-2}})$ samples. With size $n$ on each side and for $\frac{1}{2}>λ>0$, a $λ$-dense bipartite graph has all degrees greater than $(λ+\frac{1}{2})n$. Second, practical applications of the algorithm require many calls to matching algorithms. A novel preprocessing step is provided which makes significant improvements. Third, three applications are provided. The first is for counting Latin squares, the second is a practical way of computing the greedy algorithm for a card-guessing game with feedback, and the third is for stochastic block models. In all three examples, sequential importance sampling allows treating practical problems of reasonably large sizes. △ Less

Submitted 5 July, 2022; v1 submitted 2 July, 2021; originally announced July 2021.

Comments: To appear in Annals of Applied Probability

MSC Class: 65C05; 05B15

Beating the Folklore Algorithm for Dynamic Matching

Authors: Mohammad Roghani, Amin Saberi, David Wajc

Abstract: The maximum matching problem in dynamic graphs subject to edge updates (insertions and deletions) has received much attention over the last few years; a multitude of approximation/time tradeoffs were obtained, improving upon the folklore algorithm, which maintains a maximal (and hence $2$-approximate) matching in $O(n)$ worst-case update time in $n$-node graphs. We present the first deterministi… ▽ More The maximum matching problem in dynamic graphs subject to edge updates (insertions and deletions) has received much attention over the last few years; a multitude of approximation/time tradeoffs were obtained, improving upon the folklore algorithm, which maintains a maximal (and hence $2$-approximate) matching in $O(n)$ worst-case update time in $n$-node graphs. We present the first deterministic algorithm which outperforms the folklore algorithm in terms of {\em both} approximation ratio and worst-case update time. Specifically, we give a $(2-Ω(1))$-approximate algorithm with $O(m^{3/8})=O(n^{3/4})$ worst-case update time in $n$-node, $m$-edge graphs. For sufficiently small constant $ε>0$, no deterministic $(2+ε)$-approximate algorithm with worst-case update time $O(n^{0.99})$ was known. Our second result is the first deterministic $(2+ε)$-approximate weighted matching algorithm with $O_ε(1)\cdot O(\sqrt[4]{m}) = O_ε(1)\cdot O(\sqrt{n})$ worst-case update time. Our main technical contributions are threefold: first, we characterize the tight cases for \emph{kernels}, which are the well-studied matching sparsifiers underlying much of the $(2+ε)$-approximate dynamic matching literature. This characterization, together with multiple ideas -- old and new -- underlies our result for breaking the approximation barrier of $2$. Our second technical contribution is the first example of a dynamic matching algorithm whose running time is improved due to improving the \emph{recourse} of other dynamic matching algorithms. Finally, we show how to use dynamic bipartite matching algorithms as black-box subroutines for dynamic matching in general graphs without incurring the natural $\frac{3}{2}$ factor in the approximation ratio which such approaches naturally incur. △ Less

Submitted 28 November, 2021; v1 submitted 18 June, 2021; originally announced June 2021.

ACM Class: F.2.2

Decentralized Matching in a Probabilistic Environment

Authors: Mobin Y. Jeloudar, Irene Lo, Tristan Pollner, Amin Saberi

Abstract: We consider a model for repeated stochastic matching where compatibility is probabilistic, is realized the first time agents are matched, and persists in the future. Such a model has applications in the gig economy, kidney exchange, and mentorship matching. We ask whether a $decentralized$ matching process can approximate the optimal online algorithm. In particular, we consider a decentralized… ▽ More We consider a model for repeated stochastic matching where compatibility is probabilistic, is realized the first time agents are matched, and persists in the future. Such a model has applications in the gig economy, kidney exchange, and mentorship matching. We ask whether a $decentralized$ matching process can approximate the optimal online algorithm. In particular, we consider a decentralized $stable$ $matching$ process where agents match with the most compatible partner who does not prefer matching with someone else, and known compatible pairs continue matching in all future rounds. We demonstrate that the above process provides a 0.316-approximation to the optimal online algorithm for matching on general graphs. We also provide a $\frac{1}{7}$-approximation for many-to-one bipartite matching, a $\frac{1}{11}$-approximation for capacitated matching on general graphs, and a $\frac{1}{2k}$-approximation for forming teams of up to $k$ agents. Our results rely on a novel coupling argument that decomposes the successful edges of the optimal online algorithm in terms of their round-by-round comparison with stable matching. △ Less

Submitted 12 June, 2021; originally announced June 2021.

The Greedy Algorithm is \emph{not} Optimal for On-Line Edge Coloring

Authors: Amin Saberi, David Wajc

Abstract: Nearly three decades ago, Bar-Noy, Motwani and Naor showed that no online edge-coloring algorithm can edge color a graph optimally. Indeed, their work, titled "the greedy algorithm is optimal for on-line edge coloring", shows that the competitive ratio of $2$ of the naïve greedy algorithm is best possible online. However, their lower bound required bounded-degree graphs, of maximum degree… ▽ More Nearly three decades ago, Bar-Noy, Motwani and Naor showed that no online edge-coloring algorithm can edge color a graph optimally. Indeed, their work, titled "the greedy algorithm is optimal for on-line edge coloring", shows that the competitive ratio of $2$ of the naïve greedy algorithm is best possible online. However, their lower bound required bounded-degree graphs, of maximum degree $Δ= O(\log n)$, which prompted them to conjecture that better bounds are possible for higher-degree graphs. While progress has been made towards resolving this conjecture for restricted inputs and arrivals or for random arrival orders, an answer for fully general \emph{adversarial} arrivals remained elusive. We resolve this thirty-year-old conjecture in the affirmative, presenting a $(1.9+o(1))$-competitive online edge coloring algorithm for general graphs of degree $Δ= ω(\log n)$ under vertex arrivals. At the core of our results, and of possible independent interest, is a new online algorithm which rounds a fractional bipartite matching $x$ online under vertex arrivals, guaranteeing that each edge $e$ is matched with probability $(1/2+c)\cdot x_e$, for a constant $c>0.027$. △ Less

Submitted 14 May, 2021; originally announced May 2021.

Comments: In ICALP21

A Functional Safety Assessment Method for Cooperative Automotive Architecture

Authors: Sangeeth Kochanthara, Niels Rood, Arash Khabbaz Saberi, Loek Cleophas, Yanja Dajsuren, Mark van den Brand

Abstract: The scope of automotive functions has grown from a single-vehicle as an entity to multiple vehicles working together as an entity, referred to as cooperative driving. The current automotive safety standard, ISO 26262, is designed for single vehicles. With the increasing number of cooperative driving capable vehicles on the road, it is now imperative to systematically assess the functional safety o… ▽ More The scope of automotive functions has grown from a single-vehicle as an entity to multiple vehicles working together as an entity, referred to as cooperative driving. The current automotive safety standard, ISO 26262, is designed for single vehicles. With the increasing number of cooperative driving capable vehicles on the road, it is now imperative to systematically assess the functional safety of architectures of these vehicles. Many methods are proposed to assess architectures with respect to different quality attributes in the software architecture domain, but to the best of our knowledge, functional safety assessment of automotive architectures is not explored in the literature. We present a method, that leverages existing research in software architecture and safety engineering domains, to check whether the functional safety requirements for a cooperative driving scenario are fulfilled in the technical architecture of a vehicle. We apply our method on a real-life academic prototype for a cooperative driving scenario, platooning, and discuss our insights. △ Less

Submitted 2 May, 2021; v1 submitted 28 April, 2021; originally announced April 2021.

Geometrically Regulating Evolutionary Dynamics in Biofilms

Authors: Youness Azimzade, Abbas Ali Saberi

Abstract: Theoretical understanding of evolutionary dynamics in spatially structured populations often relies on non-spatial models. Biofilms are among such populations where a more accurate understanding is of theoretical interest and can reveal new solutions to existing challenges. Here, we studied how the geometry of the environment affects the evolutionary dynamics of expanding populations, using the Ed… ▽ More Theoretical understanding of evolutionary dynamics in spatially structured populations often relies on non-spatial models. Biofilms are among such populations where a more accurate understanding is of theoretical interest and can reveal new solutions to existing challenges. Here, we studied how the geometry of the environment affects the evolutionary dynamics of expanding populations, using the Eden model. Our results show that fluctuations of sub-populations during range expansion in 2D and 3D environments are not Brownian. Furthermore, we found that the substrate's geometry interferes with the evolutionary dynamics of populations that grow upon it. Inspired by these findings, we propose a periodically wedged pattern on surfaces prone to develop biofilms. On such patterned surfaces, natural selection becomes less effective and beneficial mutants would have a harder time establishing. Additionally, this modification accelerates genetic drift and leads to less diverse biofilms. Both interventions are highly desired for biofilms. △ Less

Submitted 21 April, 2021; originally announced April 2021.

Journal ref: Phys. Rev. E 103, 050401 (2021)

H_\infty Almost Output and Regulated Output Synchronization of Heterogeneous Multi-agent Systems: A Scale-free Protocol Design

Authors: Donya Nojavanzadeh, Zhenwei Liu, Ali Saberi, Anton A. Stoorvogel

Abstract: This paper studies scale-free protocol design for H_\infty almost output and regulated output synchronization of heterogeneous multi-agent systems with linear, right-invertible, and introspective agents in presence of external disturbances. The collaborative linear protocol designs are based on localized information exchange over the same communication network, which do not require any knowledge o… ▽ More This paper studies scale-free protocol design for H_\infty almost output and regulated output synchronization of heterogeneous multi-agent systems with linear, right-invertible, and introspective agents in presence of external disturbances. The collaborative linear protocol designs are based on localized information exchange over the same communication network, which do not require any knowledge of the directed network topology and spectrum of the associated Laplacian matrix. Moreover, the proposed scale-free protocols achieve H_\infty almost synchronization with a given arbitrary degree of accuracy for any size of the network. △ Less

Submitted 23 April, 2021; v1 submitted 16 April, 2021; originally announced April 2021.

Comments: This paper is the extended version of the paper accepted at 2021 CCC Conference. arXiv admin note: substantial text overlap with arXiv:2006.01890, arXiv:2012.14032

The Value of Excess Supply in Spatial Matching Markets

Authors: Mohammad Akbarpour, Yeganeh Alimohammadi, Shengwu Li, Amin Saberi

Abstract: We study dynamic matching in a spatial setting. Drivers are distributed at random on some interval. Riders arrive in some (possibly adversarial) order at randomly drawn points. The platform observes the location of the drivers, and can match newly arrived riders immediately, or can wait for more riders to arrive. Unmatched riders incur a waiting cost $c$ per period. The platform can match riders a… ▽ More We study dynamic matching in a spatial setting. Drivers are distributed at random on some interval. Riders arrive in some (possibly adversarial) order at randomly drawn points. The platform observes the location of the drivers, and can match newly arrived riders immediately, or can wait for more riders to arrive. Unmatched riders incur a waiting cost $c$ per period. The platform can match riders and drivers, irrevocably. The cost of matching a driver to a rider is equal to the distance between them. We quantify the value of slightly increasing supply. We prove that when there are $(1+ε)$ drivers per rider (for any $ε> 0$), the cost of matching returned by a simple greedy algorithm which pairs each arriving rider to the closest available driver is $O(\log^3(n))$, where $n$ is the number of riders. On the other hand, with equal number of drivers and riders, even the \emph{ex post} optimal matching does not have a cost less than $Θ(\sqrt{n})$. Our results shed light on the important role of (small) excess supply in spatial matching markets. △ Less

Submitted 7 April, 2021; originally announced April 2021.

Super-Linear Growth Reveals the Allee Effect in Tumors

Authors: Youness Azimzade, Abbas Ali Saberi, Robert A. Gatenby

Abstract: Integrating experimental data into ecological models plays a central role in understanding biological mechanisms that drive tumor progression where such knowledge can be used to develop new therapeutic strategies. While the current studies emphasize the role of competition among tumor cells, they fail to explain recently observed super-linear growth dynamics across human tumors. Here we study tumo… ▽ More Integrating experimental data into ecological models plays a central role in understanding biological mechanisms that drive tumor progression where such knowledge can be used to develop new therapeutic strategies. While the current studies emphasize the role of competition among tumor cells, they fail to explain recently observed super-linear growth dynamics across human tumors. Here we study tumor growth dynamics by develo** a model that incorporates evolutionary dynamics inside tumors with tumor-microenvironment interactions. Our results reveal that tumor cells' ability to manipulate the environment and induce angiogenesis drives super-linear growth -- a process compatible with the Allee effect. In light of this understanding, our model suggests that for high-risk tumors that have a higher growth rate, suppressing angiogenesis can be the appropriate therapeutic intervention. △ Less

Submitted 31 March, 2021; originally announced April 2021.

Scale-free Distributed Cooperative Voltage Control of Inverter-based Microgrids with General Time-varying Communication Graphs

Authors: Donya Nojavanzadeh, Saeed Lotfifard, Zhenwei Liu, Ali Saberi, Anton A. Stoorvogel

Abstract: This paper presents a method for controlling the voltage of inverter-based Microgrids by proposing a new scale-free distributed cooperative controller. The communication network is modeled by a general time-varying graph which enhances the resilience of the proposed protocol against communication link failure, data packet loss, and fast plug and play operation in the presence of arbitrarily commun… ▽ More This paper presents a method for controlling the voltage of inverter-based Microgrids by proposing a new scale-free distributed cooperative controller. The communication network is modeled by a general time-varying graph which enhances the resilience of the proposed protocol against communication link failure, data packet loss, and fast plug and play operation in the presence of arbitrarily communication delays. The proposed scale-free distributed cooperative controller is independent of any information about the communication system and the size of the network (i.e., the number of distributed generators). The stability analysis of the proposed protocol is provided. The proposed method is simulated on the CIGRE medium voltage Microgrid test system. The simulation results demonstrate the feasibility of the proposed scale-free distributed nonlinear protocol for regulating the voltage of Microgrids in presence of communication failures, data packet loss, noise, and degradation. △ Less

Submitted 22 March, 2021; originally announced March 2021.

Comments: A version of this paper is submitted to IEEE Transactions on Power Systems Journal

Locality of Random Digraphs on Expanders

Authors: Yeganeh Alimohammadi, Christian Borgs, Amin Saberi

Abstract: We study random digraphs on sequences of expanders with bounded average degree {which converge locally in probability}. We prove that the threshold for the existence of a giant strongly connected component, as well as the asymptotic fraction of nodes with giant fan-in or nodes with giant fan-out are local, in the sense that they are the same for two sequences with the same local limit. The digraph… ▽ More We study random digraphs on sequences of expanders with bounded average degree {which converge locally in probability}. We prove that the threshold for the existence of a giant strongly connected component, as well as the asymptotic fraction of nodes with giant fan-in or nodes with giant fan-out are local, in the sense that they are the same for two sequences with the same local limit. The digraph has a bow-tie structure, with all but a vanishing fraction of nodes lying either in the unique strongly connected giant and its fan-in and fan-out, or in sets with small fan-in and small fan-out. All local quantities are expressed in terms of percolation on the limiting rooted graph, without any structural assumptions on the limit, allowing, in particular, for non tree-like graphs. {In the course of establishing these results, we generalize previous results on the locality of the size of the giant to expanders of bounded average degree with possibly non-tree like limits. We also show that regardless of the local convergence of a sequence, the uniqueness of the giant and convergence of its relative size for unoriented percolation imply the bow-tie structure for directed percolation.} An application of our methods shows that the critical threshold for bond percolation and random digraphs on preferential attachment graphs is $p_c=0$, with an infinite order phase transition at $p_c$. △ Less

Submitted 30 August, 2022; v1 submitted 17 March, 2021; originally announced March 2021.

Comments: Added the proof on the continuity of percolation function on the limit. Generalized the bow-tie structure theorem

MSC Class: 60K37; 05C48; 05C80; 05C20 (Primary) 90B15 (Secondary)

Online Stochastic Max-Weight Bipartite Matching: Beyond Prophet Inequalities

Authors: Christos Papadimitriou, Tristan Pollner, Amin Saberi, David Wajc

Abstract: The rich literature on online Bayesian selection problems has long focused on so-called prophet inequalities, which compare the gain of an online algorithm to that of a "prophet" who knows the future. An equally-natural, though significantly less well-studied benchmark is the optimum online algorithm, which may be omnipotent (i.e., computationally-unbounded), but not omniscient. What is the comput… ▽ More The rich literature on online Bayesian selection problems has long focused on so-called prophet inequalities, which compare the gain of an online algorithm to that of a "prophet" who knows the future. An equally-natural, though significantly less well-studied benchmark is the optimum online algorithm, which may be omnipotent (i.e., computationally-unbounded), but not omniscient. What is the computational complexity of the optimum online? How well can a polynomial-time algorithm approximate it? We study the above questions for the online stochastic maximum-weight matching problem under vertex arrivals. For this problem, a number of $1/2$-competitive algorithms are known against optimum offline. This is the best possible ratio for this problem, as it generalizes the original single-item prophet inequality problem. We present a polynomial-time algorithm which approximates the optimal online algorithm within a factor of $0.51$ -- beating the best-possible prophet inequality. In contrast, we show that it is PSPACE-hard to approximate this problem within some constant $α< 1$. △ Less

Submitted 18 August, 2021; v1 submitted 20 February, 2021; originally announced February 2021.

State Synchronization of Discrete-time Multi-agent Systems in Presence of Unknown Nonuniform Communication Delays: A Scale-free Protocol Design

Authors: Zhenwei Liu, Donya Nojavanzadeh, Ali Saberi, Anton A. Stoorvogel

Abstract: In this paper, we study scale-free state synchronization of discrete-time homogeneous multi-agent systems (MAS) subject to unknown, nonuniform, and arbitrarily large communication delays. The scale-free protocol utilizes localized information exchange and is designed solely based on the knowledge of the agents' model and does not require any information about the communication network and the size… ▽ More In this paper, we study scale-free state synchronization of discrete-time homogeneous multi-agent systems (MAS) subject to unknown, nonuniform, and arbitrarily large communication delays. The scale-free protocol utilizes localized information exchange and is designed solely based on the knowledge of the agents' model and does not require any information about the communication network and the size of the network (i.e. number of agents). △ Less

Submitted 10 February, 2021; originally announced February 2021.

Comments: This is the extended version of the paper submitted to 2021 Chinese Conference on Decision and Control. arXiv admin note: text overlap with arXiv:2007.03478, arXiv:2002.06577

Scale-free Protocol Design for Output and Regulated Output Synchronization of Heterogeneous Multi-agent Systems

Authors: Donya Nojavanzadeh, Zhenwei Liu, Ali Saberi, Anton A. Stoorvogel

Abstract: In this paper, we consider scalable output and regulated output synchronization problems for heterogeneous networks of right-invertible linear agents based on localized information exchange where in the case of regulated output synchronization, the reference trajectory is generated by a so-called exosystem. We assume that all the agents are introspective, meaning that they have access to their own… ▽ More In this paper, we consider scalable output and regulated output synchronization problems for heterogeneous networks of right-invertible linear agents based on localized information exchange where in the case of regulated output synchronization, the reference trajectory is generated by a so-called exosystem. We assume that all the agents are introspective, meaning that they have access to their own local measurements. We propose a scale-free linear protocol for each agent to achieve output and regulated output synchronizations. These protocols are designed solely based on agent models and they need no information about communication graph and the number of agents or other agent models information. △ Less

Submitted 27 December, 2020; originally announced December 2020.

Comments: The short version of this paper is presented in 2020 American Control Conference Denver, CO, USA. arXiv admin note: text overlap with arXiv:2007.03478, arXiv:2004.13014, arXiv:2004.09498, arXiv:1908.06535, arXiv:2004.13479

Sampling Arborescences in Parallel

Authors: Nima Anari, Nathan Hu, Amin Saberi, Aaron Schild

Abstract: We study the problem of sampling a uniformly random directed rooted spanning tree, also known as an arborescence, from a possibly weighted directed graph. Classically, this problem has long been known to be polynomial-time solvable; the exact number of arborescences can be computed by a determinant [Tut48], and sampling can be reduced to counting [JVV86, JS96]. However, the classic reduction from… ▽ More We study the problem of sampling a uniformly random directed rooted spanning tree, also known as an arborescence, from a possibly weighted directed graph. Classically, this problem has long been known to be polynomial-time solvable; the exact number of arborescences can be computed by a determinant [Tut48], and sampling can be reduced to counting [JVV86, JS96]. However, the classic reduction from sampling to counting seems to be inherently sequential. This raises the question of designing efficient parallel algorithms for sampling. We show that sampling arborescences can be done in RNC. For several well-studied combinatorial structures, counting can be reduced to the computation of a determinant, which is known to be in NC [Csa75]. These include arborescences, planar graph perfect matchings, Eulerian tours in digraphs, and determinantal point processes. However, not much is known about efficient parallel sampling of these structures. Our work is a step towards resolving this mystery. △ Less

Submitted 17 December, 2020; originally announced December 2020.

Comments: To appear in ITCS 2021

A Formally Verified Fail-Operational Safety Concept for Automated Driving

Authors: Yuting Fu, Andrei Terechko, Jan Friso Groote, Arash Khabbaz Saberi

Abstract: Modern Automated Driving (AD) systems rely on safety measures to handle faults and to bring vehicle to a safe state. To eradicate lethal road accidents, car manufacturers are constantly introducing new perception as well as control systems. Contemporary automotive design and safety engineering best practices are suitable for analyzing system components in isolation, whereas today's highly complex… ▽ More Modern Automated Driving (AD) systems rely on safety measures to handle faults and to bring vehicle to a safe state. To eradicate lethal road accidents, car manufacturers are constantly introducing new perception as well as control systems. Contemporary automotive design and safety engineering best practices are suitable for analyzing system components in isolation, whereas today's highly complex and interdependent AD systems require novel approach to ensure resilience to multi-point failures. We present a holistic safety concept unifying advanced safety measures for handling multiple-point faults. Our proposed approach enables designers to focus on more pressing issues such as handling fault-free hazardous behavior associated with system performance limitations. To verify our approach, we developed an executable model of the safety concept in the formal specification language mCRL2. The model behavior is governed by a four-mode degradation policy controlling distributed processors, redundant communication networks, and virtual machines. To keep the vehicle as safe as possible our degradation policy can reduce driving comfort or AD system's availability using additional low-cost driving channels. We formalized five safety requirements in the modal mu-calculus and proved them against our mCRL2 model, which is intractable to accomplish exhaustively using traditional road tests or simulation techniques. In conclusion, our formally proven safety concept defines a holistic design pattern for designing AD systems. △ Less

Submitted 11 November, 2020; v1 submitted 2 November, 2020; originally announced November 2020.

Comments: 11 pages, 5 figures, 3 tables

ACM Class: B.8.1; C.3; J.7; C.0

Journal ref: SAE International Journal of Connected and Automated Vehicles 2022

Online Hypergraph Matching with Delays

Authors: Marco Pavone, Amin Saberi, Maximilian Schiffer, Matthew Tsao

Abstract: We study an online hypergraph matching problem with delays, motivated by ridesharing applications. In this model, users enter a marketplace sequentially, and are willing to wait up to $d$ timesteps to be matched, after which they will leave the system in favor of an outside option. A platform can match groups of up to $k$ users together, indicating that they will share a ride. Each group of users… ▽ More We study an online hypergraph matching problem with delays, motivated by ridesharing applications. In this model, users enter a marketplace sequentially, and are willing to wait up to $d$ timesteps to be matched, after which they will leave the system in favor of an outside option. A platform can match groups of up to $k$ users together, indicating that they will share a ride. Each group of users yields a match value depending on how compatible they are with one another. As an example, in ridesharing, $k$ is the capacity of the service vehicles, and $d$ is the amount of time a user is willing to wait for a driver to be matched to them. We present results for both the utility maximization and cost minimization variants of the problem. In the utility maximization setting, the optimal competitive ratio is $\frac{1}{d}$ whenever $k \geq 3$, and is achievable in polynomial-time for any fixed $k$. In the cost minimization variation, when $k = 2$, the optimal competitive ratio for deterministic algorithms is $\frac{3}{2}$ and is achieved by a polynomial-time thresholding algorithm. When $k>2$, we show that a polynomial-time randomized batching algorithm is $(2 - \frac{1}{d}) \log k$-competitive, and it is NP-hard to achieve a competitive ratio better than $\log k - O (\log \log k)$. △ Less

Submitted 25 September, 2020; originally announced September 2020.

Tiered Random Matching Markets: Rank is Proportional to Popularity

Authors: Itai Ashlagi, Mark Braverman, Amin Saberi, Clayton Thomas, Geng Zhao

Abstract: We study the stable marriage problem in two-sided markets with randomly generated preferences. We consider agents on each side divided into a constant number of "soft tiers", which intuitively indicate the quality of the agent. Specifically, every agent within a tier has the same public score, and agents on each side have preferences independently generated proportionally to the public scores of t… ▽ More We study the stable marriage problem in two-sided markets with randomly generated preferences. We consider agents on each side divided into a constant number of "soft tiers", which intuitively indicate the quality of the agent. Specifically, every agent within a tier has the same public score, and agents on each side have preferences independently generated proportionally to the public scores of the other side. We compute the expected average rank which agents in each tier have for their partners in the men-optimal stable matching, and prove concentration results for the average rank in asymptotically large markets. Furthermore, we show that despite having a significant effect on ranks, public scores do not strongly influence the probability of an agent matching to a given tier of the other side. This generalizes results of [Pittel 1989] which correspond to uniform preferences. The results quantitatively demonstrate the effect of competition due to the heterogeneous attractiveness of agents in the market, and we give the first explicit calculations of rank beyond uniform markets. △ Less

Submitted 12 January, 2021; v1 submitted 10 September, 2020; originally announced September 2020.

Scale-free Design for Delayed Regulated Synchronization of Homogeneous and Heterogeneous Discrete-time Multi-agent Systems Subject to Unknown Non-uniform and Arbitrarily Large Communication Delays

Authors: Donya Nojavanzadeh, Zhenwei Liu, Ali Saberi, Anton A. Stoorvogel

Abstract: In this paper, we study delayed regulated state/output synchronization for discrete-time homogeneous and heterogeneous networks of multi-agent systems (MAS) subject to unknown, non-uniform and arbitrarily large communication delays. A delay transformation is utilized to transform the original MAS to a new system without delayed states. The proposed scale-free dynamic protocols are developed solely… ▽ More In this paper, we study delayed regulated state/output synchronization for discrete-time homogeneous and heterogeneous networks of multi-agent systems (MAS) subject to unknown, non-uniform and arbitrarily large communication delays. A delay transformation is utilized to transform the original MAS to a new system without delayed states. The proposed scale-free dynamic protocols are developed solely based on agent models and localized information exchange with neighbors such that we do not need any information about the communication networks and the number of agents. △ Less

Submitted 3 July, 2020; originally announced July 2020.

Comments: 18 pages, 10 figures, a short version of this paper will be submitted to ACC 2021. arXiv admin note: text overlap with arXiv:2004.09498, arXiv:2004.13014

Evidence for an ancient sea level on Mars

Authors: Abbas Ali Saberi

Abstract: Mars shares many similarities and characteristics to Earth including various geological features and planetary structure. The remarkable bimodal distribution of elevations in both planets is one of the most striking global features suggesting similar geodynamic processes of crustal differentiation on Earth and Mars. There also exist several evidences, based on geographic features resembling ancien… ▽ More Mars shares many similarities and characteristics to Earth including various geological features and planetary structure. The remarkable bimodal distribution of elevations in both planets is one of the most striking global features suggesting similar geodynamic processes of crustal differentiation on Earth and Mars. There also exist several evidences, based on geographic features resembling ancient shorelines, for existence of an ancient martian ocean in the northern hemisphere which covers nearly one third of the planet's surface. However, the interpretation of some features as ancient shorelines has been thoroughly challenged that left the existence of a primordial martian ocean controversial. Moreover, if oceans were formerly present on Mars, there is still a big ambiguity about the volume of water with the estimations ranging over $4$ orders of magnitude. Here we map the martian sea level problem onto a percolation model that provides strong evidence that the longest iso-height line on Mars that separates the northern and southern hemispheres, acts as a critical level height with divergent correlation length and plays the same role as the present mean sea level does on Earth. Our results unravel remarkable similarities between Mars and Earth, posing a testable hypothesis about the level of the ancient ocean on Mars that can be answered experimentally by the future investigations and spacecraft exploration. △ Less

Submitted 3 June, 2020; originally announced June 2020.

Comments: 16 pages, 12 figures, to appear in "The Astrophysical Journal Letters"

Journal ref: The Astrophysical Journal Letters (ApJL) vol. 896, No. 2, L25 (2020)