-
Identifying Heterogeneous Decision Rules From Choices When Menus Are Unobserved
Authors:
Larry G Epstein,
Kaushil Patel
Abstract:
Given only aggregate choice data and limited information about how menus are distributed across the population, we describe what can be inferred robustly about the distribution of preferences (or more general decision rules). We strengthen and generalize existing results on such identification and provide an alternative analytical approach to study the problem. We show further that our model and r…
▽ More
Given only aggregate choice data and limited information about how menus are distributed across the population, we describe what can be inferred robustly about the distribution of preferences (or more general decision rules). We strengthen and generalize existing results on such identification and provide an alternative analytical approach to study the problem. We show further that our model and results are applicable, after suitable reinterpretation, to other contexts. One application is to the robust identification of the distribution of updating rules given only the population distribution of beliefs and limited information about heterogeneous information sources.
△ Less
Submitted 15 May, 2024;
originally announced May 2024.
-
Envelopes of Horospheres and Weingarten Surfaces in Hyperbolic 3-Space
Authors:
Charles L. Epstein
Abstract:
We derive basic differential geometric formulae for surfaces in hyperbolic space represented as envelopes of horospheres. The dual notion of parallel hypersurfaces is also studied. The representation is applied to prove existence and regularity theorems for Weingarten surfaces in H^3, which satisfy (1-a)K = a(2-H), for an a < 0, and have a specified boundary curve at infinity. These surfaces are s…
▽ More
We derive basic differential geometric formulae for surfaces in hyperbolic space represented as envelopes of horospheres. The dual notion of parallel hypersurfaces is also studied. The representation is applied to prove existence and regularity theorems for Weingarten surfaces in H^3, which satisfy (1-a)K = a(2-H), for an a < 0, and have a specified boundary curve at infinity. These surfaces are shown to be closely connected to conformal map**s of domains in S^2 into the unit disk and provide Riemannian interpretations for some conformal invariants associated to such map**s.
This paper was originally written in 1984, before I learned to use TeX, and was typed by one of the secretaries in the Princeton Math Department. It was more or less, my first original work after my dissertation. For some reason, I was not able to get this paper published in a timely manner. The results and perspective in this paper have proved to be useful to a variety of people, some of whom asked me to render the article into TeX and post it to the arXiv. I had been seriously thinking about doing this, when Martin Bridgemen sent me a transcription of my original article into TeX. I am extremely grateful to him for the effort he has put into this project.
The paper is now formatted in a more or less modern AMS-article style, but for lots of additional punctuation, a few corrections and some minor stylistic changes, the content has been largely reproduced as it originally was. Remarks about the 'state-of-the-art' in hyperbolic geometry are obviously way out of date, as there has been enormous progress in many aspects of this still rich subject.
△ Less
Submitted 22 January, 2024;
originally announced January 2024.
-
Solving the Scattering Problem for Open Wave-Guides, III: Radiation Conditions and Uniqueness
Authors:
Charles L. Epstein,
Rafe Mazzeo
Abstract:
This paper continues the analysis of the scattering problem for a network of open wave-guides started in [arXiv:2302.04353, arXiv:2310.05816]. In this part we present explicit, physically motivated radiation conditions that ensure uniqueness of the solution to the scattering problem. These conditions stem from a 2000 paper of A. Vasy on 3-body Schrodinger operators; we discuss closely related cond…
▽ More
This paper continues the analysis of the scattering problem for a network of open wave-guides started in [arXiv:2302.04353, arXiv:2310.05816]. In this part we present explicit, physically motivated radiation conditions that ensure uniqueness of the solution to the scattering problem. These conditions stem from a 2000 paper of A. Vasy on 3-body Schrodinger operators; we discuss closely related conditions from a 1994 paper of H. Isozaki. Vasy's paper also proves the existence of the limiting absorption resolvents, and that the limiting solutions satisfy the radiation conditions. The statements of these results require a calculus of pseudodifferential operators, called the 3-body scattering calculus, which is briefly introduced here. We show that the solutions to the model problem obtained in arXiv:2302.04353 satisfy these radiation conditions, which makes it possible to prove uniqueness, and therefore existence, for the system of Fredholm integral equations introduced in that paper.
△ Less
Submitted 9 January, 2024;
originally announced January 2024.
-
Solving the Transmission Problem for Open Wave-Guides, II Outgoing Estimates
Authors:
Charles L. Epstein
Abstract:
The paper continues the analysis, started in [1] (Part I,arXiv:2302.04353), of the model open wave-guide problem defined by 2 semi-infinite, rectangular wave-guides meeting along a common perpendicular line. In Part I we reduce the solution of the physical problem to a transmission problem rephrased as a system of integral equations on the common perpendicular line. In this part we show that solut…
▽ More
The paper continues the analysis, started in [1] (Part I,arXiv:2302.04353), of the model open wave-guide problem defined by 2 semi-infinite, rectangular wave-guides meeting along a common perpendicular line. In Part I we reduce the solution of the physical problem to a transmission problem rephrased as a system of integral equations on the common perpendicular line. In this part we show that solutions of the integral equations introduced in Part I have asymptotic expansions, if the data allows it. Using these expansions we show that the solutions to the PDE found in each half space satisfy appropriate outgoing radiation conditions. In Part III we show that these conditions imply uniqueness of the solution to the PDE as well as uniqueness for our system of integral equations.
△ Less
Submitted 4 October, 2023;
originally announced October 2023.
-
The low-LET radiation contribution to the tumor dose in diffusing alpha-emitters radiation therapy
Authors:
Lior Epstein,
Guy Heger,
Arindam Roy,
Israel Gannot,
Itzhak Kelson,
Lior Arazi
Abstract:
Diffusing alpha-emitters Radiation Therapy (Alpha DaRT) enables the use of alpha particles for the treatment of solid tumors. It employs interstitial sources carrying a few uCi of Ra-224, designed to release its short-lived progeny, which emit alpha particles, beta, Auger, and conversion electrons, x- and gamma rays. These atoms diffuse around the source and create a lethal high-dose region, measu…
▽ More
Diffusing alpha-emitters Radiation Therapy (Alpha DaRT) enables the use of alpha particles for the treatment of solid tumors. It employs interstitial sources carrying a few uCi of Ra-224, designed to release its short-lived progeny, which emit alpha particles, beta, Auger, and conversion electrons, x- and gamma rays. These atoms diffuse around the source and create a lethal high-dose region, measuring a few mm in diameter. Previous studies focused on the alpha dose alone. This work addresses the electron and photon contributed by the diffusing atoms and by the atoms on the source surface, for both a single source and multi-source lattices. This allows to evaluate the low-LET contribution to the dose and demonstrate the sparing of surrounding healthy tissue. The dose is calculated using Monte Carlo codes. We compare the results of a simple line-source to those of a full simulation, which implements a realistic source geometry and the spread of the diffusing atoms. We consider two extreme scenarios: low diffusion and high Pb-212 leakage, and high diffusion and low leakage. The low-LET dose in source lattices is calculated by superposition of single-source contributions. We found that for sources carrying 3 uCi/cm Ra-224 arranged in a hexagonal lattice with 4 mm spacing, the minimal low-LET dose between sources is 18-30 Gy for the two scenarios and is dominated by the beta contribution. The low-LET dose drops below 5 Gy 3 mm away from the lattice. The accuracy of the line-source approximation is 15% for the total low-LET dose over clinically relevant distances (2-4 mm). For 3 uCi/cm Ra-224 sources, the contribution of the low-LET dose can reduce cell survival by up to 2-3 orders of magnitude. Increasing source activities by a factor of 5 can bring the low-LET dose to therapeutic levels leading to a self-boosted configuration, and potentially allowing to increase the lattice spacing.
△ Less
Submitted 15 November, 2023; v1 submitted 31 August, 2023;
originally announced September 2023.
-
Monte Carlo Simulations for Ghost Imaging Based on Scattered Photons
Authors:
R. H. Shukrun,
Y. Klein.,
O. Sefi.,
Y. Fried.,
L. Epstein.,
S. Shwartz
Abstract:
X-ray based imaging modalities are widely used in research, industry, and in the medical field. Consequently, there is a strong motivation to improve their performances with respect to resolution, dose, and contrast. Ghost imaging (GI) is an imaging technique in which the images are reconstructed from measurements with a single-pixel detector using correlation between the detected intensities and…
▽ More
X-ray based imaging modalities are widely used in research, industry, and in the medical field. Consequently, there is a strong motivation to improve their performances with respect to resolution, dose, and contrast. Ghost imaging (GI) is an imaging technique in which the images are reconstructed from measurements with a single-pixel detector using correlation between the detected intensities and the intensity structures of the input beam. The method that has been recently extended to X-rays provides intriguing possibilities to overcome several fundamental challenges of X-ray imaging. However, understanding the potential of the method and designing X-ray GI systems pose challenges since in addition to geometric optic effects, radiation-matter interactions must be considered. Such considerations are fundamentally more complex than those at longer wavelengths as relativistic effects such as Compton scattering become significant. In this work we present a new method for designing and implementing GI systems using the particle transport code FLUKA, that rely on Monte Carlo (MC) sampling. This new approach enables comprehensive consideration of the radiation-matter interactions, facilitating successful planning of complex GI systems. As an example of an advanced imaging system, we simulate a high-resolution scattered photons GI technique.
△ Less
Submitted 29 June, 2023;
originally announced June 2023.
-
Robots in the Garden: Artificial Intelligence and Adaptive Landscapes
Authors:
Zihao Zhang,
Susan L. Epstein,
Casey Breen,
Sophia Xia,
Zhigang Zhu,
Christian Volkmann
Abstract:
This paper introduces ELUA, the Ecological Laboratory for Urban Agriculture, a collaboration among landscape architects, architects and computer scientists who specialize in artificial intelligence, robotics and computer vision. ELUA has two gantry robots, one indoors and the other outside on the rooftop of a 6-story campus building. Each robot can seed, water, weed, and prune in its garden. To su…
▽ More
This paper introduces ELUA, the Ecological Laboratory for Urban Agriculture, a collaboration among landscape architects, architects and computer scientists who specialize in artificial intelligence, robotics and computer vision. ELUA has two gantry robots, one indoors and the other outside on the rooftop of a 6-story campus building. Each robot can seed, water, weed, and prune in its garden. To support responsive landscape research, ELUA also includes sensor arrays, an AI-powered camera, and an extensive network infrastructure. This project demonstrates a way to integrate artificial intelligence into an evolving urban ecosystem, and encourages landscape architects to develop an adaptive design framework where design becomes a long-term engagement with the environment.
△ Less
Submitted 22 May, 2023;
originally announced May 2023.
-
Simple Hardware-Efficient Long Convolutions for Sequence Modeling
Authors:
Daniel Y. Fu,
Elliot L. Epstein,
Eric Nguyen,
Armin W. Thomas,
Michael Zhang,
Tri Dao,
Atri Rudra,
Christopher Ré
Abstract:
State space models (SSMs) have high performance on long sequence modeling but require sophisticated initialization techniques and specialized implementations for high quality and runtime performance. We study whether a simple alternative can match SSMs in performance and efficiency: directly learning long convolutions over the sequence. We find that a key requirement to achieving high performance…
▽ More
State space models (SSMs) have high performance on long sequence modeling but require sophisticated initialization techniques and specialized implementations for high quality and runtime performance. We study whether a simple alternative can match SSMs in performance and efficiency: directly learning long convolutions over the sequence. We find that a key requirement to achieving high performance is kee** the convolution kernels smooth. We find that simple interventions--such as squashing the kernel weights--result in smooth kernels and recover SSM performance on a range of tasks including the long range arena, image classification, language modeling, and brain data modeling. Next, we develop FlashButterfly, an IO-aware algorithm to improve the runtime performance of long convolutions. FlashButterfly appeals to classic Butterfly decompositions of the convolution to reduce GPU memory IO and increase FLOP utilization. FlashButterfly speeds up convolutions by 2.2$\times$, and allows us to train on Path256, a challenging task with sequence length 64K, where we set state-of-the-art by 29.1 points while training 7.2$\times$ faster than prior work. Lastly, we introduce an extension to FlashButterfly that learns the coefficients of the Butterfly decomposition, increasing expressivity without increasing runtime. Using this extension, we outperform a Transformer on WikiText103 by 0.2 PPL with 30% fewer parameters.
△ Less
Submitted 13 February, 2023;
originally announced February 2023.
-
Solving the Transmission Problem for Open Wave-Guides, I Fundamental Solutions and Integral Equations
Authors:
Charles L. Epstein
Abstract:
We introduce a layer potential representation for the solution of the transmission problem defined by two dielectric channels, or open wave-guides, meeting along the straight-line interface, $\{x_1=0\}.$ The main observation is that the outgoing fundamental solution for the operator $Δ+k_1^2+q(x_2),$ acting on functions defined in ${\mathbb R}^2,$ is easily constructed using the Fourier transform…
▽ More
We introduce a layer potential representation for the solution of the transmission problem defined by two dielectric channels, or open wave-guides, meeting along the straight-line interface, $\{x_1=0\}.$ The main observation is that the outgoing fundamental solution for the operator $Δ+k_1^2+q(x_2),$ acting on functions defined in ${\mathbb R}^2,$ is easily constructed using the Fourier transform in the $x_1$-variable and the elementary theory of ordinary differential equations. These fundamental solutions can then be used to represent the solution to the transmission problem in half planes. The transmission boundary conditions lead to integral equations along the intersection of the half planes, which, in our normalization, is the $x_2$-axis. We show that, in appropriate Banach spaces, these integral equations are Fredholm equations of second kind, which are therefore generically solvable. We analyze the representation of the guided modes in our formulation.
△ Less
Submitted 3 October, 2023; v1 submitted 8 February, 2023;
originally announced February 2023.
-
Approximate optimality and the risk/reward tradeoff in a class of bandit problems
Authors:
Zeng**g Chen,
Larry G. Epstein,
Guodong Zhang
Abstract:
This paper studies a sequential decision problem where payoff distributions are known and where the riskiness of payoffs matters. Equivalently, it studies sequential choice from a repeated set of independent lotteries. The decision-maker is assumed to pursue strategies that are approximately optimal for large horizons. By exploiting the tractability afforded by asymptotics, conditions are derived…
▽ More
This paper studies a sequential decision problem where payoff distributions are known and where the riskiness of payoffs matters. Equivalently, it studies sequential choice from a repeated set of independent lotteries. The decision-maker is assumed to pursue strategies that are approximately optimal for large horizons. By exploiting the tractability afforded by asymptotics, conditions are derived characterizing when specialization in one action or lottery throughout is asymptotically optimal and when optimality requires intertemporal diversification. The key is the constancy or variability of risk attitude. The main technical tool is a new central limit theorem.
△ Less
Submitted 31 December, 2023; v1 submitted 14 October, 2022;
originally announced October 2022.
-
Parallel solutions for ordinal scheduling with a small number of machines
Authors:
Leah Epstein
Abstract:
We study ordinal makespan scheduling on small numbers of identical machines, with respect to two parallel solutions. In ordinal scheduling, it is known that jobs are sorted by non-increasing sizes, but the specific sizes are not known in advance. For problems with two parallel solutions, it is required to design two solutions, and the performance of algorithm is tested for each input using the bes…
▽ More
We study ordinal makespan scheduling on small numbers of identical machines, with respect to two parallel solutions. In ordinal scheduling, it is known that jobs are sorted by non-increasing sizes, but the specific sizes are not known in advance. For problems with two parallel solutions, it is required to design two solutions, and the performance of algorithm is tested for each input using the best solution of the two. We find tight results for makespan minimization on two and three machines, and algorithms that have strictly better competitive ratios than the best possible algorithm with a single solution also for four and five machines. To prove upper bounds, we use a new approach of considering pairs of machines from the two solutions.
△ Less
Submitted 14 October, 2022;
originally announced October 2022.
-
Parallel solutions for preemptive makespan scheduling on two identical machines
Authors:
Leah Epstein
Abstract:
We consider online preemptive scheduling of jobs arriving one by one, to be assigned to two identical machines, with the goal of makespan minimization. We study the effect of selecting the best solution out of two independent solutions constructed in parallel in an online fashion. Two cases are analyzed, where one case is purely online, and in the other one jobs are presented sorted by non-increas…
▽ More
We consider online preemptive scheduling of jobs arriving one by one, to be assigned to two identical machines, with the goal of makespan minimization. We study the effect of selecting the best solution out of two independent solutions constructed in parallel in an online fashion. Two cases are analyzed, where one case is purely online, and in the other one jobs are presented sorted by non-increasing sizes. We show that using two solutions rather than one improves the performance significantly, but that an optimal solution cannot be obtained for any constant number of solutions constructed in parallel. Our algorithms have the best possible competitive ratios out of algorithms for each one of the classes.
△ Less
Submitted 11 October, 2022;
originally announced October 2022.
-
An accurate and efficient scheme for function extensions on smooth domains
Authors:
Charles L. Epstein,
Fredrik Fryklund,
Shidong Jiang
Abstract:
A new scheme is proposed to construct an n-times differentiable function extension of an n-times differentiable function defined on a smooth domain D in d-dimensions. The extension scheme relies on an explicit formula consisting of a linear combination of n+1 function values in D, which extends the function along directions normal to the boundary. Smoothness tangent to the boundary is automatic. T…
▽ More
A new scheme is proposed to construct an n-times differentiable function extension of an n-times differentiable function defined on a smooth domain D in d-dimensions. The extension scheme relies on an explicit formula consisting of a linear combination of n+1 function values in D, which extends the function along directions normal to the boundary. Smoothness tangent to the boundary is automatic. The performance of the scheme is illustrated by using function extension as a step in a numerical solver for the inhomogeneous Poisson equation on multiply connected domains with complex geometry in two and three dimensions. We show that the modest additional work needed to do function extension leads to considerably more accurate solutions of the partial differential equation.
△ Less
Submitted 3 December, 2023; v1 submitted 22 June, 2022;
originally announced June 2022.
-
Bin stretching with migration on two hierarchical machines
Authors:
Islam Akaria,
Leah Epstein
Abstract:
In this paper, we consider semi-online scheduling with migration on two hierarchical machines, with the purpose of minimizing the makespan. The meaning of two hierarchical machines is that one of the machines can run any job, while the other machine can only run specific jobs. Every instance also has a fixed parameter M \geq 0, known as the migration factor. Jobs are presented one by one. Each new…
▽ More
In this paper, we consider semi-online scheduling with migration on two hierarchical machines, with the purpose of minimizing the makespan. The meaning of two hierarchical machines is that one of the machines can run any job, while the other machine can only run specific jobs. Every instance also has a fixed parameter M \geq 0, known as the migration factor. Jobs are presented one by one. Each new job has to be assigned to a machine when it arrives, and at the same time it is possible to modify the assignment of previously assigned jobs, such that the moved jobs have a total size not exceeding M times the size of the new job.
The semi-online variant studied here is called bin stretching. In this problem, the optimal makespan is provided to the scheduler in advance. This is still a non-trivial variant for any migration factor M \geq 0. We prove tight bounds on the competitive ratio for any migration factor M, where the design and analysis is split into several cases, based on the value of M, and the resulting competitive ratio. Unlike the online variant with migration for two hierarchical machines, this case allows an online approximation scheme.
△ Less
Submitted 13 June, 2022;
originally announced June 2022.
-
Lower bounds on the performance of online algorithms for relaxed packing problems
Authors:
János Balogh,
György Dósa,
Leah Epstein,
Łukasz Jeż
Abstract:
We prove new lower bounds for suitable competitive ratio measures of two relaxed online packing problems: online removable multiple knapsack, and a recently introduced online minimum peak appointment scheduling problem. The high level objective in both problems is to pack arriving items of sizes at most 1 into bins of capacity 1 as efficiently as possible, but the exact formalizations differ. In t…
▽ More
We prove new lower bounds for suitable competitive ratio measures of two relaxed online packing problems: online removable multiple knapsack, and a recently introduced online minimum peak appointment scheduling problem. The high level objective in both problems is to pack arriving items of sizes at most 1 into bins of capacity 1 as efficiently as possible, but the exact formalizations differ. In the appointment scheduling problem, every item has to be assigned to a position, which can be seen as a time interval during a workday of length 1. That is, items are not assigned to bins, but only once all the items are processed, the optimal number of bins subject to chosen positions is determined, and this is the cost of the online algorithm. On the other hand, in the removable knapsack problem there is a fixed number of bins, and the goal of packing items, which consists in choosing a particular bin for every packed item (and nothing else), is to pack as valuable a subset as possible. In this last problem it is possible to reject items, that is, deliberately not pack them, as well as to remove packed items at any later point in time, which adds flexibility to the problem.
△ Less
Submitted 16 January, 2022;
originally announced January 2022.
-
Cardinality Constrained Scheduling in Online Models
Authors:
Leah Epstein,
Alexandra Lassota,
Asaf Levin,
Marten Maack,
Lars Rohwedder
Abstract:
Makespan minimization on parallel identical machines is a classical and intensively studied problem in scheduling, and a classic example for online algorithm analysis with Graham's famous list scheduling algorithm dating back to the 1960s. In this problem, jobs arrive over a list and upon an arrival, the algorithm needs to assign the job to a machine. The goal is to minimize the makespan, that is,…
▽ More
Makespan minimization on parallel identical machines is a classical and intensively studied problem in scheduling, and a classic example for online algorithm analysis with Graham's famous list scheduling algorithm dating back to the 1960s. In this problem, jobs arrive over a list and upon an arrival, the algorithm needs to assign the job to a machine. The goal is to minimize the makespan, that is, the maximum machine load. In this paper, we consider the variant with an additional cardinality constraint: The algorithm may assign at most $k$ jobs to each machine where $k$ is part of the input. While the offline (strongly NP-hard) variant of cardinality constrained scheduling is well understood and an EPTAS exists here, no non-trivial results are known for the online variant. We fill this gap by making a comprehensive study of various different online models. First, we show that there is a constant competitive algorithm for the problem and further, present a lower bound of $2$ on the competitive ratio of any online algorithm. Motivated by the lower bound, we consider a semi-online variant where upon arrival of a job of size $p$, we are allowed to migrate jobs of total size at most a constant times $p$. This constant is called the migration factor of the algorithm. Algorithms with small migration factors are a common approach to bridge the performance of online algorithms and offline algorithms. One can obtain algorithms with a constant migration factor by rounding the size of each incoming job and then applying an ordinal algorithm to the resulting rounded instance. With this in mind, we also consider the framework of ordinal algorithms and characterize the competitive ratio that can be achieved using the aforementioned approaches.
△ Less
Submitted 13 January, 2022;
originally announced January 2022.
-
Monte Carlo calculation of organ and effective dose rates from ground contaminated by Am 241: Results of an international intercomparison exercise
Authors:
J Eakins,
C Huet,
H Brkić,
K Capello,
L Desorgher,
L Epstein,
J G Hunt,
H S Kim,
D Krstic,
Y-K Lee,
M Manohari,
D Nikezic,
R H Shukrun,
D. Souza-Santos,
K. Tymińska
Abstract:
An intercomparison exercise is described that examines Monte Carlo modelling of anthropomorphic voxel phantoms in an idealized ground-contamination photon exposure scenario. Thirteen participants calculated and submitted organ and effective dose rates for comparison against a set of verified reference solutions. The effective dose rates are shown to agree with the reference value to within reasona…
▽ More
An intercomparison exercise is described that examines Monte Carlo modelling of anthropomorphic voxel phantoms in an idealized ground-contamination photon exposure scenario. Thirteen participants calculated and submitted organ and effective dose rates for comparison against a set of verified reference solutions. The effective dose rates are shown to agree with the reference value to within reasonable statistical uncertainties in five of the cases, though in only one of those was similar agreement also demonstrated in the evaluation of all requested organ dose rates. Orders-of-magnitude differences in doses are seen for some of the other participants, both internally within their own dataset and also relative to the reference solutions. Following limited feedback and suggestions from the organizer, up to two sets of revised solutions were resubmitted by some of the participants; these generally exhibited improved agreement, though not always. The overall observations and conclusions from this intercomparison exercise are summarized and discussed.
△ Less
Submitted 7 December, 2021;
originally announced December 2021.
-
Several methods of analysis for cardinality constrained bin packing
Authors:
Leah Epstein
Abstract:
We consider a known variant of bin packing called {\it cardinality constrained bin packing}, also called {\it bin packing with cardinality constraints} (BPCC). In this problem, there is a parameter k\geq 2, and items of rational sizes in [0,1] are to be packed into bins, such that no bin has more than k items or total size larger than 1. The goal is to minimize the number of bins.
A recently int…
▽ More
We consider a known variant of bin packing called {\it cardinality constrained bin packing}, also called {\it bin packing with cardinality constraints} (BPCC). In this problem, there is a parameter k\geq 2, and items of rational sizes in [0,1] are to be packed into bins, such that no bin has more than k items or total size larger than 1. The goal is to minimize the number of bins.
A recently introduced concept, called the price of clustering, deals with inputs that are presented in a way that they are split into clusters. Thus, an item has two attributes which are its size and its cluster. The goal is to measure the relation between an optimal solution that cannot combine items of different clusters into bins, and an optimal solution that can combine items of different clusters arbitrarily. Usually the number of clusters may be large, while clusters are relatively small, though not trivially small. Such problems are related to greedy bin packing algorithms, and to batched bin packing, which is similar to the price of clustering, but there is a constant number of large clusters. We analyze the price of clustering for BPCC, including the parametric case with bounded item sizes. We discuss several greedy algorithms for this problem that were not studied in the past, and comment on batched bin packing.
△ Less
Submitted 19 July, 2021;
originally announced July 2021.
-
A Central Limit Theorem, Loss Aversion and Multi-Armed Bandits
Authors:
Zeng**g Chen,
Larry G. Epstein,
Guodong Zhang
Abstract:
This paper studies a multi-armed bandit problem where the decision-maker is loss averse, in particular she is risk averse in the domain of gains and risk loving in the domain of losses. The focus is on large horizons. Consequences of loss aversion for asymptotic (large horizon) properties are derived in a number of analytical results. The analysis is based on a new central limit theorem for a set…
▽ More
This paper studies a multi-armed bandit problem where the decision-maker is loss averse, in particular she is risk averse in the domain of gains and risk loving in the domain of losses. The focus is on large horizons. Consequences of loss aversion for asymptotic (large horizon) properties are derived in a number of analytical results. The analysis is based on a new central limit theorem for a set of measures under which conditional variances can vary in a largely unstructured history-dependent way subject only to the restriction that they lie in a fixed interval.
△ Less
Submitted 18 May, 2022; v1 submitted 9 June, 2021;
originally announced June 2021.
-
Debye source representation for type-I superconductors, I
Authors:
Charles L. Epstein,
Manas Rachh
Abstract:
In this note, we analyze the classical magneto-static approach to the theory of type I superconductors, and a Debye source representation that can be used numerically to solve the resultant equations. We also prove that one of the fields, $\boldsymbol{J}^-$, found within the superconductor via the London equations, is the physical current in that the outgoing part of the magnetic field is given as…
▽ More
In this note, we analyze the classical magneto-static approach to the theory of type I superconductors, and a Debye source representation that can be used numerically to solve the resultant equations. We also prove that one of the fields, $\boldsymbol{J}^-$, found within the superconductor via the London equations, is the physical current in that the outgoing part of the magnetic field is given as the Biot-Savart integral of $\boldsymbol{J}^{-}$. Finally, we compute the static currents for moderate values of London penetration depth, $λ_L,$ for a sphere, a stellarator-like geometry and a two-holed torus.
△ Less
Submitted 25 May, 2021;
originally announced May 2021.
-
Online bin packing of squares and cubes
Authors:
Leah Epstein,
Loay Mualem
Abstract:
In the d-dimensional online bin packing problem, d-dimensional cubes of positive sizes no larger than 1 are presented one by one to be assigned to positions in d-dimensional unit cube bins. In this work, we provide improved upper bounds on the asymptotic competitive ratio for square and cube bin packing problems, where our bounds do not exceed 2.0885 and 2.5735 for square and cube packing, respect…
▽ More
In the d-dimensional online bin packing problem, d-dimensional cubes of positive sizes no larger than 1 are presented one by one to be assigned to positions in d-dimensional unit cube bins. In this work, we provide improved upper bounds on the asymptotic competitive ratio for square and cube bin packing problems, where our bounds do not exceed 2.0885 and 2.5735 for square and cube packing, respectively. To achieve these results, we adapt and improve a previously designed harmonic-type algorithm, and apply a different method for defining weight functions. We detect deficiencies in the state-of-the-art results by providing counter-examples to the current best algorithms and the analysis, where the claimed bounds were 2.1187 for square packing and 2.6161 for cube packing.
△ Less
Submitted 18 May, 2021;
originally announced May 2021.
-
Open-end bin packing: new and old analysis approaches
Authors:
Leah Epstein
Abstract:
We analyze a recently introduced concept, called the price of clustering, for variants of bin packing called open-end bin packing problems (OEBP). Input items have sizes, and they also belong to a certain number of types. The new concept deals with the comparison of optimal solutions for the cases where items of distinct types can and cannot be packed together, respectively. The problem is related…
▽ More
We analyze a recently introduced concept, called the price of clustering, for variants of bin packing called open-end bin packing problems (OEBP). Input items have sizes, and they also belong to a certain number of types. The new concept deals with the comparison of optimal solutions for the cases where items of distinct types can and cannot be packed together, respectively. The problem is related to greedy bin packing algorithms and to batched bin packing, and we discuss some of those concepts as well. We analyze max-OEBP, where a packed bin is valid if by excluding its largest item, the total size of items is below 1. For this variant, we study the case of general item sizes, and the parametric case with bounded item sizes, which shows the effect of small items. Finally, we briefly discuss min-OEBP, where a bin is valid if the total size of its items excluding the smallest item is below 1, which is known to be an entirely different problem.
△ Less
Submitted 12 May, 2021;
originally announced May 2021.
-
More on ordered open end bin packing
Authors:
János Balogh,
Leah Epstein,
Asaf Levin
Abstract:
We consider the Ordered Open End Bin Packing problem. Items of sizes in $(0,1]$ are presented one by one, to be assigned to bins in this order. An item can be assigned to any bin for which the current total size strictly below $1$. This means also that the bin can be overloaded by its last packed item. We improve lower and upper bounds on the asymptotic competitive ratio in the online case. Specif…
▽ More
We consider the Ordered Open End Bin Packing problem. Items of sizes in $(0,1]$ are presented one by one, to be assigned to bins in this order. An item can be assigned to any bin for which the current total size strictly below $1$. This means also that the bin can be overloaded by its last packed item. We improve lower and upper bounds on the asymptotic competitive ratio in the online case. Specifically, we design the first algorithm whose asymptotic competitive ratio is strictly below $2$ and it is close to the lower bound. This is in contrast to the best possible absolute approximation ratio, which is equal to $2$. We also study the offline problem where the sequence of items is known in advance, while items are still assigned to bins based on their order in the sequence. For this scenario we design an asymptotic polynomial time approximation scheme.
△ Less
Submitted 14 October, 2020;
originally announced October 2020.
-
Truly asymptotic lower bounds for online vector bin packing
Authors:
Janos Balogh,
Leah Epstein,
Asaf Levin
Abstract:
In this work, we consider online vector bin packing. It is known that no algorithm can have a competitive ratio of $o(d/\log^2 d)$ in the absolute sense, though upper bounds for this problem were always shown in the asymptotic sense. Since variants of bin packing are traditionally studied with respect to the asymptotic measure and since the two measures are different, we focus on the asymptotic me…
▽ More
In this work, we consider online vector bin packing. It is known that no algorithm can have a competitive ratio of $o(d/\log^2 d)$ in the absolute sense, though upper bounds for this problem were always shown in the asymptotic sense. Since variants of bin packing are traditionally studied with respect to the asymptotic measure and since the two measures are different, we focus on the asymptotic measure and prove new lower bounds on the asymptotic competitive ratio. The existing lower bounds prior to this work were much smaller than $3$ even for very large dimensions.
We significantly improve the best known lower bounds on the asymptotic competitive ratio (and as a byproduct, on the absolute competitive ratio) for online vector packing of vectors with $d \geq 3$ dimensions, for every such dimension $d$. To obtain these results, we use several different constructions, one of which is an adaptive construction showing a lower bound of $Ω(\sqrt{d})$. Our main result is that the lower bound of $Ω(d/\log^2 d)$ on the competitive ratio holds also in the asymptotic sense. The last result requires a careful adaptation of constructions for online coloring rather than simple black-box reductions.
△ Less
Submitted 3 August, 2020;
originally announced August 2020.
-
Deliberate Exploration Supports Navigation in Unfamiliar Worlds
Authors:
Raj Korpan,
Susan L. Epstein
Abstract:
To perform tasks well in a new domain, one must first know something about it. This paper reports on a robot controller for navigation through unfamiliar indoor worlds. Based on spatial affordances, it integrates planning with reactive heuristics. Before it addresses specific targets, however, the system deliberately explores for high-level connectivity and captures that data in a cognitive spatia…
▽ More
To perform tasks well in a new domain, one must first know something about it. This paper reports on a robot controller for navigation through unfamiliar indoor worlds. Based on spatial affordances, it integrates planning with reactive heuristics. Before it addresses specific targets, however, the system deliberately explores for high-level connectivity and captures that data in a cognitive spatial model. Despite limited exploration time, planning in the resultant model is faster and better supports successful travel in a challenging, realistic space.
△ Less
Submitted 1 July, 2020;
originally announced July 2020.
-
A Central Limit Theorem for Sets of Probability Measures
Authors:
Zeng**g Chen,
Larry G. Epstein
Abstract:
We prove a central limit theorem for a sequence of random variables whose means are ambiguous and vary in an unstructured way. Their joint distribution is described by a set of measures. The limit is (not the normal distribution and is) defined by a backward stochastic differential equation that can be interpreted as modeling an ambiguous continuous-time random walk.
We prove a central limit theorem for a sequence of random variables whose means are ambiguous and vary in an unstructured way. Their joint distribution is described by a set of measures. The limit is (not the normal distribution and is) defined by a backward stochastic differential equation that can be interpreted as modeling an ambiguous continuous-time random walk.
△ Less
Submitted 30 June, 2020;
originally announced June 2020.
-
Recovering missing data in coherent diffraction imaging
Authors:
David Barmherzig,
Alex B. Barnett,
Charles L. Epstein,
Leslie F. Greengard,
Jeremy F. Magland,
Manas Rachh
Abstract:
In coherent diffraction imaging (CDI) experiments, the intensity of the scattered wave im**ing on an object is measured on an array of detectors. This signal can be interpreted as the square of the modulus of the Fourier transform of the unknown scattering density. A beam-stop obstructs the forward scattered wave and, hence, the modulus Fourier data from a neighborhood of k=0 cannot be measured.…
▽ More
In coherent diffraction imaging (CDI) experiments, the intensity of the scattered wave im**ing on an object is measured on an array of detectors. This signal can be interpreted as the square of the modulus of the Fourier transform of the unknown scattering density. A beam-stop obstructs the forward scattered wave and, hence, the modulus Fourier data from a neighborhood of k=0 cannot be measured. In this note, we describe a linear method for recovering this unmeasured modulus Fourier data from the measured values and an estimate of the support of the image's autocorrelation function without consideration of phase retrieval. We analyze the conditioning of this problem, which grows exponentially with the modulus of the maximum spatial frequency not measured, and the effects of noise.
△ Less
Submitted 2 June, 2020; v1 submitted 7 February, 2020;
originally announced February 2020.
-
On bin packing with clustering and bin packing with delays
Authors:
Leah Epstein
Abstract:
We continue the study of two recently introduced bin packing type problems, called bin packing with clustering, and online bin packing with delays. A bin packing input consists of items of sizes not larger than 1, and the goal is to partition or pack them into bins, where the total size of items of every valid bin cannot exceed 1.
In bin packing with clustering, items also have colors associated…
▽ More
We continue the study of two recently introduced bin packing type problems, called bin packing with clustering, and online bin packing with delays. A bin packing input consists of items of sizes not larger than 1, and the goal is to partition or pack them into bins, where the total size of items of every valid bin cannot exceed 1.
In bin packing with clustering, items also have colors associated with them. A globally optimal solution can combine items of different colors in bins, while a clustered solution can only pack monochromatic bins. The goal is to compare a globally optimal solution to an optimal clustered solution, under certain constraints on the coloring provided with the input. We show close bounds on the worst-case ratio between these two costs, called "the price of clustering", improving and simplifying previous results. Specifically, we show that the price of clustering does not exceed 1.93667, improving over the previous upper bound of 1.951, and that it is at least 1.93558, improving over the previous lower bound of 1.93344.
In online bin packing with delays, items are presented over time. Items may wait to be packed, and an algorithm can create a new bin at any time, packing a subset of already existing unpacked items into it, under the condition that the bin is valid. A created bin cannot be used again in the future, and all items have to be packed into bins eventually. The objective is to minimize the number of used bins plus the sum of waiting costs of all items, called delays. We build on previous work and modify a simple phase-based algorithm. We combine the modification with a careful analysis to improve the previously known competitive ratio from 3.951 to below 3.1551.
△ Less
Submitted 19 August, 2019;
originally announced August 2019.
-
Online Bin Covering with Limited Migration
Authors:
Sebastian Berndt,
Leah Epstein,
Klaus Jansen,
Asaf Levin,
Marten Maack,
Lars Rohwedder
Abstract:
Semi-online models where decisions may be revoked in a limited way have been studied extensively in the last years.
This is motivated by the fact that the pure online model is often too restrictive to model real-world applications, where some changes might be allowed. A well-studied measure of the amount of decisions that can be revoked is the migration factor $β$: When an object $o$ of size…
▽ More
Semi-online models where decisions may be revoked in a limited way have been studied extensively in the last years.
This is motivated by the fact that the pure online model is often too restrictive to model real-world applications, where some changes might be allowed. A well-studied measure of the amount of decisions that can be revoked is the migration factor $β$: When an object $o$ of size $s(o)$ arrives, the decisions for objects of total size at most $β\cdot s(o)$ may be revoked. Usually $β$ should be a constant. This means that a small object only leads to small changes. This measure has been successfully investigated for different, classic problems such as bin packing or makespan minimization. The dual of makespan minimization - the Santa Claus or machine covering problem - has also been studied, whereas the dual of bin packing - the bin covering problem - has not been looked at from such a perspective.
In this work, we extensively study the bin covering problem with migration in different scenarios. We develop algorithms both for the static case - where only insertions are allowed - and for the dynamic case, where items may also depart. We also develop lower bounds for these scenarios both for amortized migration and for worst-case migration showing that our algorithms have nearly optimal migration factor and asymptotic competitive ratio (up to an arbitrary small $\eps$). We therefore resolve the competitiveness of the bin covering problem with migration.
△ Less
Submitted 13 April, 2019;
originally announced April 2019.
-
Explicit unconditionally stable methods for the heat equation via potential theory
Authors:
Alex H. Barnett,
Charles L. Epstein,
Leslie Greengard,
Shidong Jiang,
Jun Wang
Abstract:
We study the stability properties of explicit marching schemes for second-kind Volterra integral equations that arise when solving boundary value problems for the heat equation by means of potential theory. It is well known that explicit finite difference or finite element schemes for the heat equation are stable only if the time step $Δt$ is of the order $O(Δx^2)$, where $Δx$ is the finest spatia…
▽ More
We study the stability properties of explicit marching schemes for second-kind Volterra integral equations that arise when solving boundary value problems for the heat equation by means of potential theory. It is well known that explicit finite difference or finite element schemes for the heat equation are stable only if the time step $Δt$ is of the order $O(Δx^2)$, where $Δx$ is the finest spatial grid spacing. In contrast, for the Dirichlet and Neumann problems on the unit ball in all dimensions $d\ge 1$, we show that the simplest Volterra marching scheme, i.e., the forward Euler scheme, is unconditionally stable. Our proof is based on an explicit spectral radius bound of the marching matrix, leading to an estimate that an $L^2$-norm of the solution to the integral equation is bounded by $c_dT^{d/2}$ times the norm of the right hand side. For the Robin problem on the half space in any dimension, with constant Robin (heat transfer) coefficient $κ$, we exhibit a constant $C$ such that the forward Euler scheme is stable if $Δt < C/κ^2$, independent of any spatial discretization. This relies on new lower bounds on the spectrum of real symmetric Toeplitz matrices defined by convex sequences. Finally, we show that the forward Euler scheme is unconditionally stable for the Dirichlet problem on any smooth convex domain in any dimension, in $L^\infty$-norm.
△ Less
Submitted 16 April, 2019; v1 submitted 22 February, 2019;
originally announced February 2019.
-
A lower bound for online rectangle packing
Authors:
Leah Epstein
Abstract:
We slightly improve the known lower bound on the asymptotic competitive ratio for online bin packing of rectangles. We present a complete proof for the new lower bound, whose value is above 1.91.
We slightly improve the known lower bound on the asymptotic competitive ratio for online bin packing of rectangles. We present a complete proof for the new lower bound, whose value is above 1.91.
△ Less
Submitted 23 November, 2018;
originally announced November 2018.
-
Geometry of the Phase Retrieval Problem
Authors:
Alexander Barnett,
Charles L. Epstein,
Leslie Greengard,
Jeremy Magland
Abstract:
One of the most powerful approaches to imaging at the nanometer or subnanometer length scale is coherent diffraction imaging using X-ray sources. For amorphous (non-crystalline) samples, the raw data can be interpreted as the modulus of the continuous Fourier transform of the unknown object. Making use of prior information about the sample (such as its support), a natural goal is to recover the ph…
▽ More
One of the most powerful approaches to imaging at the nanometer or subnanometer length scale is coherent diffraction imaging using X-ray sources. For amorphous (non-crystalline) samples, the raw data can be interpreted as the modulus of the continuous Fourier transform of the unknown object. Making use of prior information about the sample (such as its support), a natural goal is to recover the phase through computational means, after which the unknown object can be visualized at high resolution. While many algorithms have been proposed for this phase retrieval problem, careful analysis of its well-posedness has received relatively little attention. In this paper, we show that the problem is, in general, not well-posed and describe some of the underlying issues that are responsible for the ill-posedness. We then show how this analysis can be used to develop experimental protocols that lead to better conditioned inverse problems.
△ Less
Submitted 1 April, 2020; v1 submitted 23 August, 2018;
originally announced August 2018.
-
A new lower bound for classic online bin packing
Authors:
János Balogh,
József Békési,
György Dósa,
Leah Epstein,
Asaf Levin
Abstract:
We improve the lower bound on the asymptotic competitive ratio of any online algorithm for bin packing to above 1.54278. We demonstrate for the first time the advantage of branching and the applicability of full adaptivity in the design of lower bounds for the classic online bin packing problem. We apply a new method for weight based analysis, which is usually applied only in proofs of upper bound…
▽ More
We improve the lower bound on the asymptotic competitive ratio of any online algorithm for bin packing to above 1.54278. We demonstrate for the first time the advantage of branching and the applicability of full adaptivity in the design of lower bounds for the classic online bin packing problem. We apply a new method for weight based analysis, which is usually applied only in proofs of upper bounds. The values of previous lower bounds were approximately 1.5401 and 1.5403.
△ Less
Submitted 15 July, 2018;
originally announced July 2018.
-
Rational maps with a preperiodic critical point
Authors:
Xavier Buff,
Adam L. Epstein,
Sarah Koch
Abstract:
We show that the set of conjugacy classes of cubic polynomials with a prefixed critical point, of preperiod $k\geq 1$, is an irreducible algebraic curve. We also establish an analogous result for quadratic rational maps. We then study a closely related question concerning the irreducibility (over $\mathbb Q$) of the set of conjugacy classes of unicritical polynomials, of degree $D\geq 2$, with a p…
▽ More
We show that the set of conjugacy classes of cubic polynomials with a prefixed critical point, of preperiod $k\geq 1$, is an irreducible algebraic curve. We also establish an analogous result for quadratic rational maps. We then study a closely related question concerning the irreducibility (over $\mathbb Q$) of the set of conjugacy classes of unicritical polynomials, of degree $D\geq 2$, with a preperiodic critical point. Our proofs are purely algebraic.
△ Less
Submitted 30 December, 2018; v1 submitted 28 June, 2018;
originally announced June 2018.
-
MengeROS: a Crowd Simulation Tool for Autonomous Robot Navigation
Authors:
Anoop Aroor,
Susan L. Epstein,
Raj Korpan
Abstract:
While effective navigation in large, crowded environments is essential for an autonomous robot, preliminary testing of algorithms to support it requires simulation across a broad range of crowd scenarios. Most available simulation tools provide either realistic crowds without robots or realistic robots without realistic crowds. This paper introduces MengeROS, a 2-D simulator that realistically int…
▽ More
While effective navigation in large, crowded environments is essential for an autonomous robot, preliminary testing of algorithms to support it requires simulation across a broad range of crowd scenarios. Most available simulation tools provide either realistic crowds without robots or realistic robots without realistic crowds. This paper introduces MengeROS, a 2-D simulator that realistically integrates multiple robots and crowds. MengeROS provides a broad range of settings in which to test the capabilities and performance of navigation algorithms designed for large crowded environments.
△ Less
Submitted 26 January, 2018;
originally announced January 2018.
-
Toward Crowd-Sensitive Path Planning
Authors:
Anoop Aroor,
Susan L. Epstein
Abstract:
If a robot can predict crowds in parts of its environment that are inaccessible to its sensors, then it can plan to avoid them. This paper proposes a fast, online algorithm that learns average crowd densities in different areas. It also describes how these densities can be incorporated into existing navigation architectures. In simulation across multiple challenging crowd scenarios, the robot reac…
▽ More
If a robot can predict crowds in parts of its environment that are inaccessible to its sensors, then it can plan to avoid them. This paper proposes a fast, online algorithm that learns average crowd densities in different areas. It also describes how these densities can be incorporated into existing navigation architectures. In simulation across multiple challenging crowd scenarios, the robot reaches its target faster, travels less, and risks fewer collisions than if it were to plan with the traditional A* algorithm.
△ Less
Submitted 16 October, 2017;
originally announced October 2017.
-
WHY: Natural Explanations from a Robot Navigator
Authors:
Raj Korpan,
Susan L. Epstein,
Anoop Aroor,
Gil Dekel
Abstract:
Effective collaboration between a robot and a person requires natural communication. When a robot travels with a human companion, the robot should be able to explain its navigation behavior in natural language. This paper explains how a cognitively-based, autonomous robot navigation system produces informative, intuitive explanations for its decisions. Language generation here is based upon the ro…
▽ More
Effective collaboration between a robot and a person requires natural communication. When a robot travels with a human companion, the robot should be able to explain its navigation behavior in natural language. This paper explains how a cognitively-based, autonomous robot navigation system produces informative, intuitive explanations for its decisions. Language generation here is based upon the robot's commonsense, its qualitative reasoning, and its learned spatial model. This approach produces natural explanations in real time for a robot as it navigates in a large, complex indoor environment.
△ Less
Submitted 27 September, 2017;
originally announced September 2017.
-
Lower bounds for several online variants of bin packing
Authors:
János Balogh,
József Békési,
György Dósa,
Leah Epstein,
Asaf Levin
Abstract:
We consider several previously studied online variants of bin packing and prove new and improved lower bounds on the asymptotic competitive ratios for them. For that, we use a method of fully adaptive constructions. In particular, we improve the lower bound for the asymptotic competitive ratio of online square packing significantly, raising it from roughly 1.68 to above 1.75.
We consider several previously studied online variants of bin packing and prove new and improved lower bounds on the asymptotic competitive ratios for them. For that, we use a method of fully adaptive constructions. In particular, we improve the lower bound for the asymptotic competitive ratio of online square packing significantly, raising it from roughly 1.68 to above 1.75.
△ Less
Submitted 10 August, 2017;
originally announced August 2017.
-
Optimal Learning under Robustness and Time-Consistency
Authors:
Larry G. Epstein,
Shaolin Ji
Abstract:
We model learning in a continuous-time Brownian setting where there is prior ambiguity. The associated model of preference values robustness and is time-consistent. It is applied to study optimal learning when the choice between actions can be postponed, at a per-unit-time cost, in order to observe a signal that provides information about an unknown parameter. The corresponding optimal stop** pr…
▽ More
We model learning in a continuous-time Brownian setting where there is prior ambiguity. The associated model of preference values robustness and is time-consistent. It is applied to study optimal learning when the choice between actions can be postponed, at a per-unit-time cost, in order to observe a signal that provides information about an unknown parameter. The corresponding optimal stop** problem is solved in closed-form, with a focus on two specific settings: Ellsberg's two-urn thought experiment expanded to allow learning before the choice of bets, and a robust version of the classical problem of sequential testing of two simple hypotheses about the unknown drift of a Wiener process. In both cases, the link between robustness and the demand for learning is studied.
△ Less
Submitted 4 March, 2019; v1 submitted 6 August, 2017;
originally announced August 2017.
-
A high-order wideband direct solver for electromagnetic scattering from bodies of revolution
Authors:
Charles L. Epstein,
Leslie Greengard,
Michael O'Neil
Abstract:
The generalized Debye source representation of time-harmonic electromagnetic fields yields well-conditioned second-kind integral equations for a variety of boundary value problems, including the problems of scattering from perfect electric conductors and dielectric bodies. Furthermore, these representations, and resulting integral equations, are fully stable in the static limit as $ω\to 0$ in mult…
▽ More
The generalized Debye source representation of time-harmonic electromagnetic fields yields well-conditioned second-kind integral equations for a variety of boundary value problems, including the problems of scattering from perfect electric conductors and dielectric bodies. Furthermore, these representations, and resulting integral equations, are fully stable in the static limit as $ω\to 0$ in multiply connected geometries. In this paper, we present the first high-order accurate solver based on this representation for bodies of revolution. The resulting solver uses a Nyström discretization of a one-dimensional generating curve and high-order integral equation methods for applying and inverting surface differentials. The accuracy and speed of the solvers are demonstrated in several numerical examples.
△ Less
Submitted 15 February, 2019; v1 submitted 31 July, 2017;
originally announced August 2017.
-
Eigenvalues of the Thurston operator
Authors:
Xavier Buff,
Adam L. Epstein,
Sarah Koch
Abstract:
Let $f:\hat{\mathbb C}\to \hat{\mathbb C}$ be a postcritically finite rational map. Let $\mathcal Q(\hat{\mathbb C})$ be the space of meromorphic quadratic differentials on $ \hat{\mathbb C}$ with simple poles. We study the set of eigenvalues of the pushforward operator $f_*:\mathcal Q(\hat{\mathbb C})\to \mathcal Q(\hat{\mathbb C})$. In particular, we show that when $f:\mathbb C \to \mathbb C$ is…
▽ More
Let $f:\hat{\mathbb C}\to \hat{\mathbb C}$ be a postcritically finite rational map. Let $\mathcal Q(\hat{\mathbb C})$ be the space of meromorphic quadratic differentials on $ \hat{\mathbb C}$ with simple poles. We study the set of eigenvalues of the pushforward operator $f_*:\mathcal Q(\hat{\mathbb C})\to \mathcal Q(\hat{\mathbb C})$. In particular, we show that when $f:\mathbb C \to \mathbb C$ is a unicritical polynomial of degree $D$ with periodic critical point, the eigenvalues of $f_*:\mathcal Q(\hat{\mathbb C})\to \mathcal Q(\hat{\mathbb C})$ are contained in the annulus $\bigl\{\frac{1}{4D}<|λ|<1\bigr\}$ and belong to $\frac{1}{D} \mathbb U$ where $\mathbb U$ is the group of algebraic units.
△ Less
Submitted 6 July, 2017;
originally announced July 2017.
-
A new and improved algorithm for online bin packing
Authors:
János Balogh,
József Békési,
György Dósa,
Leah Epstein,
Asaf Levin
Abstract:
We revisit the classic online bin packing problem. In this problem, items of positive sizes no larger than 1 are presented one by one to be packed into subsets called "bins" of total sizes no larger than 1, such that every item is assigned to a bin before the next item is presented. We use online partitioning of items into classes based on sizes, as in previous work, but we also apply a new method…
▽ More
We revisit the classic online bin packing problem. In this problem, items of positive sizes no larger than 1 are presented one by one to be packed into subsets called "bins" of total sizes no larger than 1, such that every item is assigned to a bin before the next item is presented. We use online partitioning of items into classes based on sizes, as in previous work, but we also apply a new method where items of one class can be packed into more than two types of bins, where a bin type is defined according to the number of such items grouped together. Additionally, we allow the smallest class of items to be packed in multiple kinds of bins, and not only into their own bins. We combine this with the approach of packing of sufficiently big items according to their exact sizes. Finally, we simplify the analysis of such algorithms, allowing the analysis to be based on the most standard weight functions. This simplified analysis allows us to study the algorithm which we defined based on all these ideas. This leads us to the design and analysis of the first algorithm of asymptotic competitive ratio strictly below 1.58, specifically, we break this barrier and provide an algorithm AH (Advanced Harmonic) whose asymptotic competitive ratio does not exceed 1.5783.
△ Less
Submitted 6 July, 2017;
originally announced July 2017.
-
Batch Coloring of Graphs
Authors:
Joan Boyar,
Leah Epstein,
Lene M. Favrholdt,
Kim S. Larsen,
Asaf Levin
Abstract:
In graph coloring problems, the goal is to assign a positive integer color to each vertex of an input graph such that adjacent vertices do not receive the same color assignment. For classic graph coloring, the goal is to minimize the maximum color used, and for the sum coloring problem, the goal is to minimize the sum of colors assigned to all input vertices. In the offline variant, the entire gra…
▽ More
In graph coloring problems, the goal is to assign a positive integer color to each vertex of an input graph such that adjacent vertices do not receive the same color assignment. For classic graph coloring, the goal is to minimize the maximum color used, and for the sum coloring problem, the goal is to minimize the sum of colors assigned to all input vertices. In the offline variant, the entire graph is presented at once, and in online problems, one vertex is presented for coloring at each time, and the only information is the identity of its neighbors among previously known vertices. In batched graph coloring, vertices are presented in k batches, for a fixed integer k > 1, such that the vertices of a batch are presented as a set, and must be colored before the vertices of the next batch are presented. This last model is an intermediate model, which bridges between the two extreme scenarios of the online and offline models. We provide several results, including a general result for sum coloring and results for the classic graph coloring problem on restricted graph classes: We show tight bounds for any graph class containing trees as a subclass (e.g., forests, bipartite graphs, planar graphs, and perfect graphs), and a surprising result for interval graphs and k = 2, where the value of the (strict and asymptotic) competitive ratio depends on whether the graph is presented with its interval representation or not.
△ Less
Submitted 10 October, 2016;
originally announced October 2016.
-
Online bin packing with cardinality constraints resolved
Authors:
János Balogh,
József Békési,
György Dósa,
Leah Epstein,
Asaf Levin
Abstract:
Cardinality constrained bin packing or bin packing with cardinality constraints is a basic bin packing problem. In the online version with the parameter k \geq 2, items having sizes in (0,1] associated with them are presented one by one to be packed into unit capacity bins, such that the capacities of bins are not exceeded, and no bin receives more than k items. We resolve the online problem in th…
▽ More
Cardinality constrained bin packing or bin packing with cardinality constraints is a basic bin packing problem. In the online version with the parameter k \geq 2, items having sizes in (0,1] associated with them are presented one by one to be packed into unit capacity bins, such that the capacities of bins are not exceeded, and no bin receives more than k items. We resolve the online problem in the sense that we prove a lower bound of 2 on the overall asymptotic competitive ratio. This closes this long standing open problem, since an algorithm of an absolute competitive ratio 2 is known. Additionally, we significantly improve the known lower bounds on the asymptotic competitive ratio for every specific value of k. The novelty of our constructions is based on full adaptivity that creates large gaps between item sizes. Thus, our lower bound inputs do not follow the common practice for online bin packing problems of having a known in advance input consisting of batches for which the algorithm needs to be competitive on every prefix of the input.
△ Less
Submitted 23 August, 2016;
originally announced August 2016.
-
Transition probabilities for degenerate diffusions arising in population genetics
Authors:
Charles L. Epstein,
Camelia A. Pop
Abstract:
We provide a detailed description of the structure of the transition probabilities and of the hitting distributions of boundary components of a manifold with corners for a degenerate strong Markov process arising in population genetics. The Markov processes that we study are a generalization of the classical Wright-Fisher process. The main ingredients in our proofs are based on the analysis of the…
▽ More
We provide a detailed description of the structure of the transition probabilities and of the hitting distributions of boundary components of a manifold with corners for a degenerate strong Markov process arising in population genetics. The Markov processes that we study are a generalization of the classical Wright-Fisher process. The main ingredients in our proofs are based on the analysis of the regularity properties of solutions to a forward Kolmogorov equation defined on a compact manifold with corners, which is degenerate in the sense that it is not strictly elliptic and the coefficients of the first order drift term have mild logarithmic singularities.
△ Less
Submitted 25 July, 2017; v1 submitted 6 August, 2016;
originally announced August 2016.
-
Boundary estimates for a degenerate parabolic equation with partial Dirichlet boundary conditions
Authors:
Charles L. Epstein,
Camelia A. Pop
Abstract:
We study the boundary regularity properties and derive a priori pointwise supremum estimates of weak solutions and their derivatives in terms of suitable weighted $L^2$-norms for a class of degenerate parabolic equations that satisfy homogeneous Dirichlet boundary conditions on certain portions of the boundary. Such equations arise in population genetics in the study of models for the evolution of…
▽ More
We study the boundary regularity properties and derive a priori pointwise supremum estimates of weak solutions and their derivatives in terms of suitable weighted $L^2$-norms for a class of degenerate parabolic equations that satisfy homogeneous Dirichlet boundary conditions on certain portions of the boundary. Such equations arise in population genetics in the study of models for the evolution of gene frequencies. Among the applications of our results is the description of the structure of the transition probabilities and of the hitting distributions of the underlying gene frequencies process, which correspond to the fundamental solution and the caloric measure of the parabolic equation, respectively.
△ Less
Submitted 7 February, 2017; v1 submitted 5 August, 2016;
originally announced August 2016.
-
Online Bounded Analysis
Authors:
Joan Boyar,
Leah Epstein,
Lene M. Favrholdt,
Kim S. Larsen,
Asaf Levin
Abstract:
Though competitive analysis is often a very good tool for the analysis of online algorithms, sometimes it does not give any insight and sometimes it gives counter-intuitive results. Much work has gone into exploring other performance measures, in particular targeted at what seems to be the core problem with competitive analysis: the comparison of the performance of an online algorithm is made to a…
▽ More
Though competitive analysis is often a very good tool for the analysis of online algorithms, sometimes it does not give any insight and sometimes it gives counter-intuitive results. Much work has gone into exploring other performance measures, in particular targeted at what seems to be the core problem with competitive analysis: the comparison of the performance of an online algorithm is made to a too powerful adversary. We consider a new approach to restricting the power of the adversary, by requiring that when judging a given online algorithm, the optimal offline algorithm must perform as well as the online algorithm, not just on the entire final request sequence, but also on any prefix of that sequence. This is limiting the adversary's usual advantage of being able to exploit that it knows the sequence is continuing beyond the current request. Through a collection of online problems, including machine scheduling, bin packing, dual bin packing, and seat reservation, we investigate the significance of this particular offline advantage.
△ Less
Submitted 13 June, 2017; v1 submitted 22 February, 2016;
originally announced February 2016.
-
An algorithm for the weighted metric dimension of two-dimensional grids
Authors:
Ron Adar,
Leah Epstein
Abstract:
A two-dimensional grid consists of vertices of the form (i,j) for 1 \leq i \leq m and 1 \leq j \leq n, for fixed m,n > 1. Two vertices are adjacent if the \ell_1 distance between their vectors is equal to 1. A landmark set is a subset of vertices L \subseteq V, such that for any distinct pair of vertices u,v \in V, there exists a vertex of L whose distances to u and v are not equal. We design an e…
▽ More
A two-dimensional grid consists of vertices of the form (i,j) for 1 \leq i \leq m and 1 \leq j \leq n, for fixed m,n > 1. Two vertices are adjacent if the \ell_1 distance between their vectors is equal to 1. A landmark set is a subset of vertices L \subseteq V, such that for any distinct pair of vertices u,v \in V, there exists a vertex of L whose distances to u and v are not equal. We design an efficient algorithm for finding a minimum landmark set with respect to total cost in a grid graph with non-negative costs defined on the vertices.
△ Less
Submitted 18 February, 2016;
originally announced February 2016.
-
Eigenfunctions and the Dirichlet problem for the Classical Kimura Diffusion Operator
Authors:
Charles L. Epstein,
Jon Wilkening
Abstract:
We study the classical Kimura diffusion operator defined on the n-simplex, $$L^{Kim}=\sum_{1\leq i,j\leq n+1}x_ix_j\partial_{x_i}\partial_{x_j}$$ We give novel constructions for the basis of eigenpolynomials, and the solution to the inhomogeneous Dirichlet problem, which are well adapted to numerical applications. Our solution of the Dirichlet problem is quite explicit and provides a precise descr…
▽ More
We study the classical Kimura diffusion operator defined on the n-simplex, $$L^{Kim}=\sum_{1\leq i,j\leq n+1}x_ix_j\partial_{x_i}\partial_{x_j}$$ We give novel constructions for the basis of eigenpolynomials, and the solution to the inhomogeneous Dirichlet problem, which are well adapted to numerical applications. Our solution of the Dirichlet problem is quite explicit and provides a precise description of the singularities that arise along the boundary.
△ Less
Submitted 20 October, 2016; v1 submitted 6 August, 2015;
originally announced August 2015.
-
Smoothed corners and scattered waves
Authors:
Charles L. Epstein,
Michael O'Neil
Abstract:
We introduce an arbitrary order, computationally efficient method to smooth corners on curves in the plane, as well as edges and vertices on surfaces in $\mathbb R^3$. The method is local, only modifying the original surface in a neighborhood of the geometric singularity, and preserves desirable features like convexity and symmetry. The smoothness of the final surface is an explicit parameter in t…
▽ More
We introduce an arbitrary order, computationally efficient method to smooth corners on curves in the plane, as well as edges and vertices on surfaces in $\mathbb R^3$. The method is local, only modifying the original surface in a neighborhood of the geometric singularity, and preserves desirable features like convexity and symmetry. The smoothness of the final surface is an explicit parameter in the method, and the bandlimit of the smoothed surface is proportional to its smoothness. Several numerical examples are provided in the context of acoustic scattering. In particular, we compare scattered fields from smoothed geometries in two dimensions with those from polygonal domains. We observe that significant reductions in computational cost can be obtained if merely approximate solutions are desired in the near- or far-field. Provided that it is sub-wavelength, the error of the scattered field is proportional to the size of the geometry that is modified.
△ Less
Submitted 7 April, 2016; v1 submitted 28 June, 2015;
originally announced June 2015.
