-
The Tensor-Train Stochastic Finite Volume Method for Uncertainty Quantification
Authors:
Steven Walton,
Svetlana Tokareva,
Gianmarco Manzini
Abstract:
The stochastic finite volume method offers an efficient one-pass approach for assessing uncertainty in hyperbolic conservation laws. Still, it struggles with the curse of dimensionality when dealing with multiple stochastic variables. We introduce the stochastic finite volume method within the tensor-train framework to counteract this limitation. This integration, however, comes with its own set o…
▽ More
The stochastic finite volume method offers an efficient one-pass approach for assessing uncertainty in hyperbolic conservation laws. Still, it struggles with the curse of dimensionality when dealing with multiple stochastic variables. We introduce the stochastic finite volume method within the tensor-train framework to counteract this limitation. This integration, however, comes with its own set of difficulties, mainly due to the propensity for shock formation in hyperbolic systems. To overcome these issues, we have developed a tensor-train-adapted stochastic finite volume method that employs a global WENO reconstruction, making it suitable for such complex systems. This approach represents the first step in designing tensor-train techniques for hyperbolic systems and conservation laws involving shocks.
△ Less
Submitted 9 April, 2024;
originally announced April 2024.
-
Numerical Schemes for 3-Wave Kinetic Equations: A Complete Treatment of the Collision Operator
Authors:
Steven Walton,
Minh-Binh Tran
Abstract:
In our previous work, numerical schemes for a simplified version of 3-wave kinetic equations, in which only the simple forward-cascade terms of the collision operators are kept, have been successfully designed, especially to capture the long time dynamics of the equation given the multiple blow-up time phenomenon. In this second work in the series, we propose numerical treatments for the complete…
▽ More
In our previous work, numerical schemes for a simplified version of 3-wave kinetic equations, in which only the simple forward-cascade terms of the collision operators are kept, have been successfully designed, especially to capture the long time dynamics of the equation given the multiple blow-up time phenomenon. In this second work in the series, we propose numerical treatments for the complete 3-wave kinetic equations, in which the complete, much more complicated collision operators are fully considered based on a novel conservative form of the equation. We then derive an implicit finite volume scheme to solve the equation. The new discretization uses an adaptive time-stepping method which allows for the simulations to be carried to very long times. Our computed solutions are compared with previously derived long-time asymptotic estimates for the decay rate of total energy of time-dependent solutions of 3-wave kinetic equations and found to be in excellent agreement.
△ Less
Submitted 27 February, 2024;
originally announced February 2024.
-
Does mapping elites illuminate search spaces? A large-scale user study of MAP--Elites applied to human--AI collaborative design
Authors:
Sean P. Walton,
Ben J. Evans,
Alma A. M. Rahat,
James Stovold,
Jakub Vincalek
Abstract:
Two studies of a human-AI collaborative design tool were carried out in order to understand the influence design recommendations have on the design process. The tool investigated is based on an evolutionary algorithm attempting to design a virtual car to travel as far as possible in a fixed time. Participants were able to design their own cars, make recommendations to the algorithm and view sets o…
▽ More
Two studies of a human-AI collaborative design tool were carried out in order to understand the influence design recommendations have on the design process. The tool investigated is based on an evolutionary algorithm attempting to design a virtual car to travel as far as possible in a fixed time. Participants were able to design their own cars, make recommendations to the algorithm and view sets of recommendations from the algorithm. The algorithm-recommended sets were designs which had been previously tested; some sets were simply randomly picked and other sets were picked using MAP-Elites. In the first study 808 design sessions were recorded as part of a science outreach program, each with analytical data of how each participant used the tool. To provide context to this quantitative data, a smaller double-blind lab study was also carried out with 12 participants. In the lab study the same quantitative data from the large scale study was collected alongside responses to interview questions. Although there is some evidence that the MAP-Elites provide higher-quality individual recommendations, neither study provides convincing evidence that these recommendations have a more positive influence on the design process than simply a random selection of designs. In fact, it seems that providing a combination of MAP-Elites and randomly selected recommendations is beneficial to the process. Furthermore, simply viewing recommendations from the MAP-Elites had a positive influence on engagement in the design task and the quality of the final design produced. Our findings are significant both for researchers designing new mixed-initiative tools, and those who wish to evaluate existing tools. Most significantly, we found that metrics researchers currently use to evaluate the success of human-AI collaborative algorithms do not measure the full influence these algorithms have on the design process.
△ Less
Submitted 30 January, 2024;
originally announced February 2024.
-
Infinite Speed of Propagation of Fractional Dispersive Waves
Authors:
Brian Choi,
Steven Walton
Abstract:
In this paper, it is shown that all non-trivial solutions of a wide class of dispersive equations, defined by a dispersion relation with minimal hypotheses on its regularity, are compactly supported for at most one time element. With plane waves of different frequencies traveling at different speeds, the finite speed of propagation is not expected for dispersive phenomena, and this intuition is ma…
▽ More
In this paper, it is shown that all non-trivial solutions of a wide class of dispersive equations, defined by a dispersion relation with minimal hypotheses on its regularity, are compactly supported for at most one time element. With plane waves of different frequencies traveling at different speeds, the finite speed of propagation is not expected for dispersive phenomena, and this intuition is made rigorous by complex-analytic arguments. Furthermore the method developed here applies to time fractional-order systems given by the Caputo derivative where the generalized space-time fractional Schrödinger equation is considered for concreteness. When the energy operator $i\partial_t$ and the Riesz derivative $(-Δ)^{\fracβ{2}}$ are fractionalized to the same order, it is shown that the sharp frequency-localized dispersive estimates yield the time decay of solutions that depends on both the spatial dimension and the long-memory effect. Asymptotically in time, the solution operator strongly, but not uniformly, converges in $L^2(\mathbb{R}^d)$ to the half-wave operator.
△ Less
Submitted 16 January, 2023;
originally announced January 2023.
-
A Method to Load Tellurium in Liquid Scintillator for the Study of Neutrinoless Double Beta Decay
Authors:
D. J. Auty,
D. Bartlett,
S. D. Biller,
D. Chauhan,
M. Chen,
O. Chkvorets,
S. Connolly,
X. Dai,
E. Fletcher,
K. Frankiewicz,
D. Gooding,
C. Grant,
S. Hall,
D. Horne,
S. Hans,
B. Hreljac,
T. Kaptanoglu,
B. Krar,
C. Kraus,
T. Kroupova',
I. Lam,
Y. Liu,
S. Maguire,
C. Miller,
S. Manecki
, et al. (12 additional authors not shown)
Abstract:
A method has been developed to load tellurium into liquid scintillator so as to permit searches for neutrinoless double beta decay with high sensitivity. The approach involves the synthesis of an oil-soluble tellurium compound from telluric acid and an organic diol. The process utilises distillable chemicals that can be safely handled underground and affords low radioactive backgrounds, low optica…
▽ More
A method has been developed to load tellurium into liquid scintillator so as to permit searches for neutrinoless double beta decay with high sensitivity. The approach involves the synthesis of an oil-soluble tellurium compound from telluric acid and an organic diol. The process utilises distillable chemicals that can be safely handled underground and affords low radioactive backgrounds, low optical absorption and high light yields at loading levels of at least several percent Te by weight.
△ Less
Submitted 4 April, 2023; v1 submitted 23 December, 2022;
originally announced December 2022.
-
StyleNAT: Giving Each Head a New Perspective
Authors:
Steven Walton,
Ali Hassani,
Xingqian Xu,
Zhangyang Wang,
Humphrey Shi
Abstract:
Image generation has been a long sought-after but challenging task, and performing the generation task in an efficient manner is similarly difficult. Often researchers attempt to create a "one size fits all" generator, where there are few differences in the parameter space for drastically different datasets. Herein, we present a new transformer-based framework, dubbed StyleNAT, targeting high-qual…
▽ More
Image generation has been a long sought-after but challenging task, and performing the generation task in an efficient manner is similarly difficult. Often researchers attempt to create a "one size fits all" generator, where there are few differences in the parameter space for drastically different datasets. Herein, we present a new transformer-based framework, dubbed StyleNAT, targeting high-quality image generation with superior efficiency and flexibility. At the core of our model, is a carefully designed framework that partitions attention heads to capture local and global information, which is achieved through using Neighborhood Attention (NA). With different heads able to pay attention to varying receptive fields, the model is able to better combine this information, and adapt, in a highly flexible manner, to the data at hand. StyleNAT attains a new SOTA FID score on FFHQ-256 with 2.046, beating prior arts with convolutional models such as StyleGAN-XL and transformers such as HIT and StyleSwin, and a new transformer SOTA on FFHQ-1024 with an FID score of 4.174. These results show a 6.4% improvement on FFHQ-256 scores when compared to StyleGAN-XL with a 28% reduction in the number of parameters and 56% improvement in sampling throughput. Code and models will be open-sourced at https://github.com/SHI-Labs/StyleNAT.
△ Less
Submitted 12 August, 2023; v1 submitted 10 November, 2022;
originally announced November 2022.
-
Design Amortization for Bayesian Optimal Experimental Design
Authors:
Noble Kennamer,
Steven Walton,
Alexander Ihler
Abstract:
Bayesian optimal experimental design is a sub-field of statistics focused on developing methods to make efficient use of experimental resources. Any potential design is evaluated in terms of a utility function, such as the (theoretically well-justified) expected information gain (EIG); unfortunately however, under most circumstances the EIG is intractable to evaluate. In this work we build off of…
▽ More
Bayesian optimal experimental design is a sub-field of statistics focused on developing methods to make efficient use of experimental resources. Any potential design is evaluated in terms of a utility function, such as the (theoretically well-justified) expected information gain (EIG); unfortunately however, under most circumstances the EIG is intractable to evaluate. In this work we build off of successful variational approaches, which optimize a parameterized variational model with respect to bounds on the EIG. Past work focused on learning a new variational model from scratch for each new design considered. Here we present a novel neural architecture that allows experimenters to optimize a single variational model that can estimate the EIG for potentially infinitely many designs. To further improve computational efficiency, we also propose to train the variational model on a significantly cheaper-to-evaluate lower bound, and show empirically that the resulting model provides an excellent guide for more accurate, but expensive to evaluate bounds on the EIG. We demonstrate the effectiveness of our technique on generalized linear models, a class of statistical models that is widely used in the analysis of controlled experiments. Experiments show that our method is able to greatly improve accuracy over existing approximation strategies, and achieve these results with far better sample efficiency.
△ Less
Submitted 19 October, 2022; v1 submitted 6 October, 2022;
originally announced October 2022.
-
A Deep Learning Approximation of Non-Stationary Solutions to Wave Kinetic Equations
Authors:
Steven Walton,
Minh-Binh Tran,
Alain Bensoussan
Abstract:
We present a deep learning approximation, stochastic optimization based, method for wave kinetic equations. To build confidence in our approach, we apply the method to a Smoluchowski coagulation equation with multiplicative kernel for which an analytic solution exists. Our deep learning approach is then used to approximate the non-stationary solution to a 3-wave kinetic equation corresponding to a…
▽ More
We present a deep learning approximation, stochastic optimization based, method for wave kinetic equations. To build confidence in our approach, we apply the method to a Smoluchowski coagulation equation with multiplicative kernel for which an analytic solution exists. Our deep learning approach is then used to approximate the non-stationary solution to a 3-wave kinetic equation corresponding to acoustic wave systems. To validate the neural network approximation, we compare the decay rate of the total energy with previously obtained theoretical results. A finite volume solution is presented and compared with the present method.
△ Less
Submitted 25 September, 2022;
originally announced September 2022.
-
Neighborhood Attention Transformer
Authors:
Ali Hassani,
Steven Walton,
Jiachen Li,
Shen Li,
Humphrey Shi
Abstract:
We present Neighborhood Attention (NA), the first efficient and scalable sliding-window attention mechanism for vision. NA is a pixel-wise operation, localizing self attention (SA) to the nearest neighboring pixels, and therefore enjoys a linear time and space complexity compared to the quadratic complexity of SA. The sliding-window pattern allows NA's receptive field to grow without needing extra…
▽ More
We present Neighborhood Attention (NA), the first efficient and scalable sliding-window attention mechanism for vision. NA is a pixel-wise operation, localizing self attention (SA) to the nearest neighboring pixels, and therefore enjoys a linear time and space complexity compared to the quadratic complexity of SA. The sliding-window pattern allows NA's receptive field to grow without needing extra pixel shifts, and preserves translational equivariance, unlike Swin Transformer's Window Self Attention (WSA). We develop NATTEN (Neighborhood Attention Extension), a Python package with efficient C++ and CUDA kernels, which allows NA to run up to 40% faster than Swin's WSA while using up to 25% less memory. We further present Neighborhood Attention Transformer (NAT), a new hierarchical transformer design based on NA that boosts image classification and downstream vision performance. Experimental results on NAT are competitive; NAT-Tiny reaches 83.2% top-1 accuracy on ImageNet, 51.4% mAP on MS-COCO and 48.4% mIoU on ADE20K, which is 1.9% ImageNet accuracy, 1.0% COCO mAP, and 2.6% ADE20K mIoU improvement over a Swin model with similar size. To support more research based on sliding-window attention, we open source our project and release our checkpoints at: https://github.com/SHI-Labs/Neighborhood-Attention-Transformer .
△ Less
Submitted 16 May, 2023; v1 submitted 14 April, 2022;
originally announced April 2022.
-
SeMask: Semantically Masked Transformers for Semantic Segmentation
Authors:
Jitesh Jain,
Anukriti Singh,
Nikita Orlov,
Zilong Huang,
Jiachen Li,
Steven Walton,
Humphrey Shi
Abstract:
Finetuning a pretrained backbone in the encoder part of an image transformer network has been the traditional approach for the semantic segmentation task. However, such an approach leaves out the semantic context that an image provides during the encoding stage. This paper argues that incorporating semantic information of the image into pretrained hierarchical transformer-based backbones while fin…
▽ More
Finetuning a pretrained backbone in the encoder part of an image transformer network has been the traditional approach for the semantic segmentation task. However, such an approach leaves out the semantic context that an image provides during the encoding stage. This paper argues that incorporating semantic information of the image into pretrained hierarchical transformer-based backbones while finetuning improves the performance considerably. To achieve this, we propose SeMask, a simple and effective framework that incorporates semantic information into the encoder with the help of a semantic attention operation. In addition, we use a lightweight semantic decoder during training to provide supervision to the intermediate semantic prior maps at every stage. Our experiments demonstrate that incorporating semantic priors enhances the performance of the established hierarchical encoders with a slight increase in the number of FLOPs. We provide empirical proof by integrating SeMask into Swin Transformer and Mix Transformer backbones as our encoder paired with different decoders. Our framework achieves a new state-of-the-art of 58.25% mIoU on the ADE20K dataset and improvements of over 3% in the mIoU metric on the Cityscapes dataset. The code and checkpoints are publicly available at https://github.com/Picsart-AI-Research/SeMask-Segmentation .
△ Less
Submitted 13 April, 2022; v1 submitted 23 December, 2021;
originally announced December 2021.
-
Null-Controllability of a Non-Local Heat Equation
Authors:
Steven Walton
Abstract:
We consider the null-controllability of a non-local heat equation by interior $L^2(Ω)$ controls. We confirm a conjecture of Lissy and Zuazua by showing that it is enough to assume that the kernel $k(x,ξ)$ is symmetric and $k(x,ξ)\in L^2(Ω\timesΩ)$ in order to obtain the result. The result is obtained by treating the non-local linear operator $K:L^2(Ω)\rightarrow L^2(Ω)$ as a compact and bounded pe…
▽ More
We consider the null-controllability of a non-local heat equation by interior $L^2(Ω)$ controls. We confirm a conjecture of Lissy and Zuazua by showing that it is enough to assume that the kernel $k(x,ξ)$ is symmetric and $k(x,ξ)\in L^2(Ω\timesΩ)$ in order to obtain the result. The result is obtained by treating the non-local linear operator $K:L^2(Ω)\rightarrow L^2(Ω)$ as a compact and bounded perturbation of the Dirichlet-Laplacian, $A$, which leads to useful bounds on the semigroup generated by $(A+K,\mathcal{D}(A))$. Using this approach, we are also able to estimate the cost of control.
△ Less
Submitted 27 November, 2021; v1 submitted 18 November, 2021;
originally announced November 2021.
-
A Numerical Scheme for Wave Turbulence: 3-Wave Kinetic Equations
Authors:
Steven Walton,
Minh-Binh Tran
Abstract:
We introduce a finite volume scheme to solve a special case of isotropic 3-wave kinetic equations. We test our numerical solution against theoretical results concerning the long time behavior of the energy and observe that our solutions verify the energy cascade phenomenon. To our knowledge, this is the first numerical scheme that can capture the long time asymptotic behavior of solutions to those…
▽ More
We introduce a finite volume scheme to solve a special case of isotropic 3-wave kinetic equations. We test our numerical solution against theoretical results concerning the long time behavior of the energy and observe that our solutions verify the energy cascade phenomenon. To our knowledge, this is the first numerical scheme that can capture the long time asymptotic behavior of solutions to those isotropic 3-wave kinetic equations, where the energy cascade can be observed. Our numerical energy cascade rates are in good agreement with previously obtained theoretical results. The finite volume scheme given here relies on a new identity, allowing one to reduce the number of terms needed in the collision operators.
△ Less
Submitted 15 June, 2023; v1 submitted 19 October, 2021;
originally announced October 2021.
-
ConvMLP: Hierarchical Convolutional MLPs for Vision
Authors:
Jiachen Li,
Ali Hassani,
Steven Walton,
Humphrey Shi
Abstract:
MLP-based architectures, which consist of a sequence of consecutive multi-layer perceptron blocks, have recently been found to reach comparable results to convolutional and transformer-based methods. However, most adopt spatial MLPs which take fixed dimension inputs, therefore making it difficult to apply them to downstream tasks, such as object detection and semantic segmentation. Moreover, singl…
▽ More
MLP-based architectures, which consist of a sequence of consecutive multi-layer perceptron blocks, have recently been found to reach comparable results to convolutional and transformer-based methods. However, most adopt spatial MLPs which take fixed dimension inputs, therefore making it difficult to apply them to downstream tasks, such as object detection and semantic segmentation. Moreover, single-stage designs further limit performance in other computer vision tasks and fully connected layers bear heavy computation. To tackle these problems, we propose ConvMLP: a hierarchical Convolutional MLP for visual recognition, which is a light-weight, stage-wise, co-design of convolution layers, and MLPs. In particular, ConvMLP-S achieves 76.8% top-1 accuracy on ImageNet-1k with 9M parameters and 2.4G MACs (15% and 19% of MLP-Mixer-B/16, respectively). Experiments on object detection and semantic segmentation further show that visual representation learned by ConvMLP can be seamlessly transferred and achieve competitive results with fewer parameters. Our code and pre-trained models are publicly available at https://github.com/SHI-Labs/Convolutional-MLPs.
△ Less
Submitted 18 September, 2021; v1 submitted 9 September, 2021;
originally announced September 2021.
-
Plasma-induced surface cooling
Authors:
John A. Tomko,
Michael J. Johnson,
David R. Boris,
Tzvetelina B. Petrova,
Scott G. Walton,
Patrick E. Hopkins
Abstract:
Here we show that, despite a massive incident flux of energetic species, plasmas can induce transient cooling of a material surface. Using time-resolved optical thermometry in-situ with this plasma excitation, we reveal the novel underlying physics that drive this `plasma cooling' that is driven by the diverse chemical and energetic species that comprise this fourth state of matter. We show that t…
▽ More
Here we show that, despite a massive incident flux of energetic species, plasmas can induce transient cooling of a material surface. Using time-resolved optical thermometry in-situ with this plasma excitation, we reveal the novel underlying physics that drive this `plasma cooling' that is driven by the diverse chemical and energetic species that comprise this fourth state of matter. We show that the photons and massive particles in the plasma impart energy to different chemical species on a surface, leading to local and temporally changing temperatures that lead to both increases and decreases in temperature on the surface of the sample, even though energy is being imparted to the material. This balance comes from the interplay between chemical reactions, momentum transfer, and energy exchange which occur on different time scales over the course of picoseconds to milliseconds. Thus, we show that through energetically exciting a material with a plasma, we can induce cooling, which can lead to revolutionary advances in refrigeration and thermal mitigation with this new process that is not inhibited by the same limitations in the current state-of-the-art systems.
△ Less
Submitted 4 August, 2021;
originally announced August 2021.
-
The SNO+ Experiment
Authors:
SNO+ Collaboration,
:,
V. Albanese,
R. Alves,
M. R. Anderson,
S. Andringa,
L. Anselmo,
E. Arushanova,
S. Asahi,
M. Askins,
D. J. Auty,
A. R. Back,
S. Back,
F. Barão,
Z. Barnard,
A. Barr,
N. Barros,
D. Bartlett,
R. Bayes,
C. Beaudoin,
E. W. Beier,
G. Berardi,
A. Bialek,
S. D. Biller,
E. Blucher
, et al. (229 additional authors not shown)
Abstract:
The SNO+ experiment is located 2 km underground at SNOLAB in Sudbury, Canada. A low background search for neutrinoless double beta ($0νββ$) decay will be conducted using 780 tonnes of liquid scintillator loaded with 3.9 tonnes of natural tellurium, corresponding to 1.3 tonnes of $^{130}$Te. This paper provides a general overview of the SNO+ experiment, including detector design, construction of pr…
▽ More
The SNO+ experiment is located 2 km underground at SNOLAB in Sudbury, Canada. A low background search for neutrinoless double beta ($0νββ$) decay will be conducted using 780 tonnes of liquid scintillator loaded with 3.9 tonnes of natural tellurium, corresponding to 1.3 tonnes of $^{130}$Te. This paper provides a general overview of the SNO+ experiment, including detector design, construction of process plants, commissioning efforts, electronics upgrades, data acquisition systems, and calibration techniques. The SNO+ collaboration is reusing the acrylic vessel, PMT array, and electronics of the SNO detector, having made a number of experimental upgrades and essential adaptations for use with the liquid scintillator. With low backgrounds and a low energy threshold, the SNO+ collaboration will also pursue a rich physics program beyond the search for $0νββ$ decay, including studies of geo- and reactor antineutrinos, supernova and solar neutrinos, and exotic physics such as the search for invisible nucleon decay. The SNO+ approach to the search for $0νββ$ decay is scalable: a future phase with high $^{130}$Te-loading is envisioned to probe an effective Majorana mass in the inverted mass ordering region.
△ Less
Submitted 25 August, 2021; v1 submitted 23 April, 2021;
originally announced April 2021.
-
Escaping the Big Data Paradigm with Compact Transformers
Authors:
Ali Hassani,
Steven Walton,
Nikhil Shah,
Abulikemu Abuduweili,
Jiachen Li,
Humphrey Shi
Abstract:
With the rise of Transformers as the standard for language processing, and their advancements in computer vision, there has been a corresponding growth in parameter size and amounts of training data. Many have come to believe that because of this, transformers are not suitable for small sets of data. This trend leads to concerns such as: limited availability of data in certain scientific domains a…
▽ More
With the rise of Transformers as the standard for language processing, and their advancements in computer vision, there has been a corresponding growth in parameter size and amounts of training data. Many have come to believe that because of this, transformers are not suitable for small sets of data. This trend leads to concerns such as: limited availability of data in certain scientific domains and the exclusion of those with limited resource from research in the field. In this paper, we aim to present an approach for small-scale learning by introducing Compact Transformers. We show for the first time that with the right size, convolutional tokenization, transformers can avoid overfitting and outperform state-of-the-art CNNs on small datasets. Our models are flexible in terms of model size, and can have as little as 0.28M parameters while achieving competitive results. Our best model can reach 98% accuracy when training from scratch on CIFAR-10 with only 3.7M parameters, which is a significant improvement in data-efficiency over previous Transformer based models being over 10x smaller than other transformers and is 15% the size of ResNet50 while achieving similar performance. CCT also outperforms many modern CNN based approaches, and even some recent NAS-based approaches. Additionally, we obtain a new SOTA result on Flowers-102 with 99.76% top-1 accuracy, and improve upon the existing baseline on ImageNet (82.71% accuracy with 29% as many parameters as ViT), as well as NLP tasks. Our simple and compact design for transformers makes them more feasible to study for those with limited computing resources and/or dealing with small datasets, while extending existing research efforts in data efficient transformers. Our code and pre-trained models are publicly available at https://github.com/SHI-Labs/Compact-Transformers.
△ Less
Submitted 7 June, 2022; v1 submitted 12 April, 2021;
originally announced April 2021.
-
Development, characterisation, and deployment of the SNO+ liquid scintillator
Authors:
SNO+ Collaboration,
:,
M. R. Anderson,
S. Andringa,
L. Anselmo,
E. Arushanova,
S. Asahi,
M. Askins,
D. J. Auty,
A. R. Back,
Z. Barnard,
N. Barros,
D. Bartlett,
F. Barão,
R. Bayes,
E. W. Beier,
A. Bialek,
S. D. Biller,
E. Blucher,
R. Bonventre,
M. Boulay,
D. Braid,
E. Caden,
E. J. Callaghan,
J. Caravaca
, et al. (201 additional authors not shown)
Abstract:
A liquid scintillator consisting of linear alkylbenzene as the solvent and 2,5-diphenyloxazole as the fluor was developed for the SNO+ experiment. This mixture was chosen as it is compatible with acrylic and has a competitive light yield to pre-existing liquid scintillators while conferring other advantages including longer attenuation lengths, superior safety characteristics, chemical simplicity,…
▽ More
A liquid scintillator consisting of linear alkylbenzene as the solvent and 2,5-diphenyloxazole as the fluor was developed for the SNO+ experiment. This mixture was chosen as it is compatible with acrylic and has a competitive light yield to pre-existing liquid scintillators while conferring other advantages including longer attenuation lengths, superior safety characteristics, chemical simplicity, ease of handling, and logistical availability. Its properties have been extensively characterized and are presented here. This liquid scintillator is now used in several neutrino physics experiments in addition to SNO+.
△ Less
Submitted 21 February, 2021; v1 submitted 25 November, 2020;
originally announced November 2020.
-
It's the Journey Not the Destination: Building Genetic Algorithms Practitioners Can Trust
Authors:
Jakub Vincalek,
Sean Walton,
Ben Evans
Abstract:
Genetic algorithms have been developed for decades by researchers in academia and perform well in engineering applications, yet their uptake in industry remains limited. In order to understand why this is the case, the opinions of users of engineering design tools were gathered. The results from a survey showing the attitudes of engineers and students with design experience with respect to optimis…
▽ More
Genetic algorithms have been developed for decades by researchers in academia and perform well in engineering applications, yet their uptake in industry remains limited. In order to understand why this is the case, the opinions of users of engineering design tools were gathered. The results from a survey showing the attitudes of engineers and students with design experience with respect to optimisation algorithms are presented. A survey was designed to answer two research questions: To what extent is there a pre-existing sentiment (negative or positive) among students, engineers, and managers towards genetic algorithm-based design? and What are the requirements of practitioners with regards to design optimisation and the design optimisation process? A total of 23 participants (N = 23) took part in the 3-part mixed methods survey. Thematic analysis was conducted on the open-ended questions. A common thread throughout participants responses is that there is a question of trust towards genetic algorithms within industry. Perhaps surprising is that the key to gaining this trust is not producing good results, but creating algorithms which explain the process they take in reaching a result. Participants have expressed a desire to continue to remain in the design loop. This is at odds with the motivation of a portion of the genetic algorithms community of removing humans from the loop. It is clear we need to take a different approach to increase industrial uptake. Based on this, the following recommendations have been made to increase their use in industry: an increase of transparency and explainability of genetic algorithms, an increased focus on user experience, better communication between developers and engineers, and visualising algorithm behaviour.
△ Less
Submitted 13 October, 2020;
originally announced October 2020.
-
Evaluating Mixed-Initiative Procedural Level Design Tools using a Triple-Blind Mixed-Method User Study
Authors:
Sean P. Walton,
Alma A. M. Rahat,
James Stovold
Abstract:
Results from a triple-blind mixed-method user study into the effectiveness of mixed-initiative tools for the procedural generation of game levels are presented. A tool which generates levels using interactive evolutionary optimisation was designed for this study which (a) is focused on supporting the designer to explore the design space and (b) only requires the designer to interact with it by des…
▽ More
Results from a triple-blind mixed-method user study into the effectiveness of mixed-initiative tools for the procedural generation of game levels are presented. A tool which generates levels using interactive evolutionary optimisation was designed for this study which (a) is focused on supporting the designer to explore the design space and (b) only requires the designer to interact with it by designing levels. The tool identifies level design patterns in an initial hand-designed map and uses that information to drive an interactive optimisation algorithm. A rigorous user study was designed which compared the experiences of designers using the mixed-initiative tool to designers who were given a tool which provided completely random level suggestions. The designers using the mixed-initiative tool showed an increased engagement in the level design task, reporting that it was effective in inspiring new ideas and design directions. This provides significant evidence that procedural content generation can be used as a powerful tool to support the human design process.
△ Less
Submitted 2 June, 2021; v1 submitted 15 May, 2020;
originally announced May 2020.
-
Measurement of neutron-proton capture in the SNO+ water phase
Authors:
The SNO+ Collaboration,
:,
M. R. Anderson,
S. Andringa,
M. Askins,
D. J. Auty,
N. Barros,
F. Barão,
R. Bayes,
E. W. Beier,
A. Bialek,
S. D. Biller,
E. Blucher,
R. Bonventre,
M. Boulay,
E. Caden,
E. J. Callaghan,
J. Caravaca,
D. Chauhan,
M. Chen,
O. Chkvorets,
B. Cleveland,
M. A. Cox,
M. M. Depatie,
J. Dittmer
, et al. (108 additional authors not shown)
Abstract:
The SNO+ experiment collected data as a low-threshold water Cherenkov detector from September 2017 to July 2019. Measurements of the 2.2-MeV $γ$ produced by neutron capture on hydrogen have been made using an Am-Be calibration source, for which a large fraction of emitted neutrons are produced simultaneously with a 4.4-MeV $γ$. Analysis of the delayed coincidence between the 4.4-MeV $γ$ and the 2.…
▽ More
The SNO+ experiment collected data as a low-threshold water Cherenkov detector from September 2017 to July 2019. Measurements of the 2.2-MeV $γ$ produced by neutron capture on hydrogen have been made using an Am-Be calibration source, for which a large fraction of emitted neutrons are produced simultaneously with a 4.4-MeV $γ$. Analysis of the delayed coincidence between the 4.4-MeV $γ$ and the 2.2-MeV capture $γ$ revealed a neutron detection efficiency that is centered around 50% and varies at the level of 1% across the inner region of the detector, which to our knowledge is the highest efficiency achieved among pure water Cherenkov detectors. In addition, the neutron capture time constant was measured and converted to a thermal neutron-proton capture cross section of $336.3^{+1.2}_{-1.5}$ mb.
△ Less
Submitted 13 July, 2020; v1 submitted 24 February, 2020;
originally announced February 2020.
-
Rapid destruction of protoplanetary discs due to externalphotoevaporation in star-forming regions
Authors:
Rhana B. Nicholson,
Richard J. Parker,
Ross P. Church,
Melvyn B. Davies,
Niamh M. Fearon,
Sam R. J. Walton
Abstract:
We analyse N-body simulations of star-forming regions to investigate the effects of external far and extreme ultra-violet photoevaporation from massive stars on protoplanetary discs. By varying the initial conditions of simulated star-forming regions, such as the spatial distribution, net bulk motion (virial ratio), and density, we investigate which parameters most affect the rate at which discs a…
▽ More
We analyse N-body simulations of star-forming regions to investigate the effects of external far and extreme ultra-violet photoevaporation from massive stars on protoplanetary discs. By varying the initial conditions of simulated star-forming regions, such as the spatial distribution, net bulk motion (virial ratio), and density, we investigate which parameters most affect the rate at which discs are dispersed due to external photoevaporation. We find that disc dispersal due to external photoevaporation is faster in highly substructured star-forming regions than in smooth and centrally concentrated regions. Sub-virial star-forming regions undergoing collapse also show higher rates of disc dispersal than regions that are in virial equilibrium or are expanding. In moderately dense ($\sim$100 M$_{\odot}$ pc$^{-3}$) regions, half of all protoplanetary discs with radii $\geq$ 100 AU are photoevaporated within 1 Myr, three times faster than is currently suggested by observational studies. Discs in lower-density star-forming regions ($\sim$10 M$_{\odot}$ pc$^{-3}$) survive for longer, but half are still dispersed on short timescales ($\sim$2 Myr). This demonstrates that the initial conditions of the star forming regions will greatly impact the evolution and lifetime of protoplanetary discs. These results also imply that either gas giant planet formation is extremely rapid and occurs before the gas component of discs is evaporated, or gas giants only form in low-density star-forming regions where no massive stars are present to photoevaporate gas from protoplanetary discs.
△ Less
Submitted 28 February, 2019;
originally announced February 2019.
-
Predicting Effective Control Parameters for Differential Evolution using Cluster Analysis of Objective Function Features
Authors:
Sean P. Walton,
M. Rowan Brown
Abstract:
A methodology is introduced which uses three simple objective function features to predict effective control parameters for differential evolution. This is achieved using cluster analysis techniques to classify objective functions using these features. Information on prior performance of various control parameters for each classification is then used to determine which control parameters to use in…
▽ More
A methodology is introduced which uses three simple objective function features to predict effective control parameters for differential evolution. This is achieved using cluster analysis techniques to classify objective functions using these features. Information on prior performance of various control parameters for each classification is then used to determine which control parameters to use in future optimisations. Our approach is compared to state-of-the-art adaptive and non-adaptive techniques. Two accepted bench mark suites are used to compare performance and in all cases we show that the improvement resulting from our approach is statistically significant. The majority of the computational effort of this methodology is performed off-line, however even when taking into account the additional on-line cost our approach outperforms other adaptive techniques. We also investigate the key tuning parameters of our methodology, such as number of clusters, which further support the finding that the simple features selected are predictors of effective control parameters. The findings presented in this paper are significant because they show that simple to calculate features of objective functions can help to select control parameters for optimisation algorithms. This can have an immediate positive impact on the application of these optimisation algorithms on real world problems, where it is often difficult to select effective control parameters.
△ Less
Submitted 24 June, 2019; v1 submitted 25 June, 2018;
originally announced June 2018.
-
Herschel Planetary Nebula Survey (HerPlaNS): Hydrogen Recombination Laser Lines in Mz 3
Authors:
Isabel Aleman,
Katrina Exter,
Toshiya Ueta,
Samuel Walton,
A. G. G. M. Tielens,
Albert Zijlstra,
Rodolfo Montez Jr.,
Zulema Abraham,
Masaaki Otsuka,
Pedro P. B. Beaklini,
Peter A. M. van Hoof,
Eva Villaver,
Marcelo L. Leal-Ferreira,
Edgar Mendoza,
Jacques D. R. Lepine
Abstract:
The bipolar nebula Menzel 3 (Mz 3) was observed as part of the \textit{Herschel} Planetary Nebula Survey (\textit{HerPlaNS}), which used the PACS and SPIRE instruments aboard the \textit{Herschel Space Observatory} to study a sample of planetary nebulae (PNe). In this paper, one of the series describing \textit{HerPlaNS} results, we report the detection of H I recombination lines (HRLs) in the spe…
▽ More
The bipolar nebula Menzel 3 (Mz 3) was observed as part of the \textit{Herschel} Planetary Nebula Survey (\textit{HerPlaNS}), which used the PACS and SPIRE instruments aboard the \textit{Herschel Space Observatory} to study a sample of planetary nebulae (PNe). In this paper, one of the series describing \textit{HerPlaNS} results, we report the detection of H I recombination lines (HRLs) in the spectrum of Mz 3. Inspection of the spectrum reveals the presence of 12 HRLs in the 55 to 680 $μ$m range covered by the PACS and SPIRE instruments (H11$α$ to H21$α$ and H14$β$). The presence of HRLs in this range is unusual for PNe and has not been reported in Mz 3 before. Our analysis indicates that the HRLs we observed are enhanced by laser effect occurring in the core of Mz 3. Our arguments for this are: (i) the available Mz 3 optical to submillimetre HRL $α$ line intensity ratios are not well reproduced by the spontaneous emission of optically thin ionized gas, as would be typical for nebular gas in PNe; (ii) the compact core of Mz 3 is responsible for a large fraction of the Herschel HRLs emission; (iii) the line intensity ratios for Mz 3 are very similar to those in the core emission of the well known star MWC 349A, where laser effect is responsible for the enhancement of HRLs in the Herschel wavelength range; (iv) the physical characteristics relevant to cause laser effect in the core of MWC 349A are very similar to those in the core of Mz 3.
△ Less
Submitted 16 May, 2018;
originally announced May 2018.
-
In Situ Detection of Active Edge Sites in Single-Layer MoS$_2$ Catalysts
Authors:
Albert Bruix,
Henrik G. Füchtbauer,
Anders K. Tuxen,
Alex S. Walton,
Mie Andersen,
Søren Porsgaard,
Flemming Besenbacher,
Bjørk Hammer,
Jeppe V. Lauritsen
Abstract:
MoS2 nanoparticles are proven catalysts for processes such as hydrodesulphurization and hydrogen evolution, but unravelling their atomic-scale structure under catalytic working conditions has remained significantly challenging. Ambient pressure X-ray Photoelectron Spectroscopy (AP-XPS) allows us to follow in-situ the formation of the catalytically relevant MoS2 edge sites in their active state. Th…
▽ More
MoS2 nanoparticles are proven catalysts for processes such as hydrodesulphurization and hydrogen evolution, but unravelling their atomic-scale structure under catalytic working conditions has remained significantly challenging. Ambient pressure X-ray Photoelectron Spectroscopy (AP-XPS) allows us to follow in-situ the formation of the catalytically relevant MoS2 edge sites in their active state. The XPS fingerprint is described by independent contributions to the Mo3d core level spectrum whose relative intensity is sensitive to the thermodynamic conditions. Density Functional Theory (DFT) is used to model the triangular MoS2 particles on Au(111) and identify the particular sulphidation state of the edge sites. A consistent picture emerges in which the core level shifts for the edge Mo atoms evolve counter-intuitively towards higher binding energies when the active edges are reduced. The shift is explained by a surprising alteration in the metallic character of the edge sites, which is a distinct spectroscopic signature of the MoS2 edges under working conditions.
△ Less
Submitted 13 November, 2015;
originally announced November 2015.
-
Functionalized graphene as a model system for the two-dimensional metal-insulator transition
Authors:
M. S. Osofsky,
S. C. Hernández,
A. Nath,
V. D. Wheeler,
S. Walton,
C. M. Krowne,
D. K. Gaskill
Abstract:
Reports of metallic behavior in two-dimensional (2D) systems such as high mobility metal-oxide field effect transistors, insulating oxide interfaces, graphene, and MoS2 have challenged the well-known prediction of Abrahams, et al. that all 2D systems must be insulating. The existence of a metallic state for such a wide range of 2D systems thus reveals a wide gap in our understanding of 2D transpor…
▽ More
Reports of metallic behavior in two-dimensional (2D) systems such as high mobility metal-oxide field effect transistors, insulating oxide interfaces, graphene, and MoS2 have challenged the well-known prediction of Abrahams, et al. that all 2D systems must be insulating. The existence of a metallic state for such a wide range of 2D systems thus reveals a wide gap in our understanding of 2D transport that has become more important as research in 2D systems expands. A key to understanding the 2D metallic state is the metal-insulator transition (MIT). In this report, we demonstrate the existence of a disorder induced MIT in functionalized graphene, a model 2D system. Magneto-transport measurements show that weak-localization overwhelmingly drives the transition, in contradiction to theoretical assumptions that enhanced electron-electron interactions dominate. These results provide the first detailed picture of the nature of the transition from the metallic to insulating states of a 2D system.
△ Less
Submitted 26 May, 2015;
originally announced May 2015.
-
Store-Forward and its implications for Proportional Scheduling
Authors:
N. S. Walton
Abstract:
The Proportional Scheduler was recently proposed as a scheduling algorithm for multi-hop switch networks. For these networks, the BackPressure scheduler is the classical benchmark. For networks with fixed routing, the Proportional Scheduler is maximum stable, myopic and, furthermore, will alleviate certain scaling issued found in BackPressure for large networks. Nonetheless, the equilibrium and de…
▽ More
The Proportional Scheduler was recently proposed as a scheduling algorithm for multi-hop switch networks. For these networks, the BackPressure scheduler is the classical benchmark. For networks with fixed routing, the Proportional Scheduler is maximum stable, myopic and, furthermore, will alleviate certain scaling issued found in BackPressure for large networks. Nonetheless, the equilibrium and delay properties of the Proportional Scheduler has not been fully characterized.
In this article, we postulate on the equilibrium behaviour of the Proportional Scheduler though the analysis of an analogous rule called the Store-Forward allocation. It has been shown that Store-Forward has asymptotically allocates according to the Proportional Scheduler. Further, for Store-Forward networks, numerous equilibrium quantities are explicitly calculable. For FIFO networks under Store-Forward, we calculate the policies stationary distribution and end-to-end route delay. We discuss network topologies when the stationary distribution is product-form, a phenomenon which we call \emph{product form resource pooling}. We extend this product form notion to independent set scheduling on perfect graphs, where we show that non-neighbouring queues are statistically independent. Finally, we analyse the large deviations behaviour of the equilibrium distribution of Store-Forward networks in order to construct Lyapunov functions for FIFO switch networks.
△ Less
Submitted 17 September, 2014;
originally announced September 2014.
-
Measuring Visual Complexity of Cluster-Based Visualizations
Authors:
B. Duffy,
A. Dasgupta,
R. Kosara,
S. Walton,
M. Chen
Abstract:
Handling visual complexity is a challenging problem in visualization owing to the subjectiveness of its definition and the difficulty in devising generalizable quantitative metrics. In this paper we address this challenge by measuring the visual complexity of two common forms of cluster-based visualizations: scatter plots and parallel coordinatess. We conceptualize visual complexity as a form of v…
▽ More
Handling visual complexity is a challenging problem in visualization owing to the subjectiveness of its definition and the difficulty in devising generalizable quantitative metrics. In this paper we address this challenge by measuring the visual complexity of two common forms of cluster-based visualizations: scatter plots and parallel coordinatess. We conceptualize visual complexity as a form of visual uncertainty, which is a measure of the degree of difficulty for humans to interpret a visual representation correctly. We propose an algorithm for estimating visual complexity for the aforementioned visualizations using Allen's interval algebra. We first establish a set of primitive 2-cluster cases in scatter plots and another set for parallel coordinatess based on symmetric isomorphism. We confirm that both are the minimal sets and verify the correctness of their members computationally. We score the uncertainty of each primitive case based on its topological properties, including the existence of overlapping regions, splitting regions and meeting points or edges. We compare a few optional scoring schemes against a set of subjective scores by humans, and identify the one that is the most consistent with the subjective scores. Finally, we extend the 2-cluster measure to k-cluster measure as a general purpose estimator of visual complexity for these two forms of cluster-based visualization.
△ Less
Submitted 23 February, 2013;
originally announced February 2013.
-
Stability of MaxWeight-(α,g)
Authors:
N. S. Walton
Abstract:
We consider a single-hop switched queueing network. Amongst a plethora of applications, these networks have been used to model wireless networks and input queued switches. The MaxWeight scheduling policies have proved popular, chiefly, because they are throughput optimal and do not require explicit estimation of arrival rates.
In this article, we prove the same throughput optimality property for…
▽ More
We consider a single-hop switched queueing network. Amongst a plethora of applications, these networks have been used to model wireless networks and input queued switches. The MaxWeight scheduling policies have proved popular, chiefly, because they are throughput optimal and do not require explicit estimation of arrival rates.
In this article, we prove the same throughput optimality property for a generalization of the MaxWeight policy called the MaxWeight-(α,g) policy. These throughput optimal, myopic scheduling policies allow for scheduling choices similar to those found in bandwidth sharing networks -- a further well studied model of Internet congestion.
△ Less
Submitted 16 January, 2013;
originally announced January 2013.
-
MALTS: A tool to simulate Lorentz Transmission Electron Microscopy from micromagnetic simulations
Authors:
S. K. Walton,
K. Zeissler,
W. R. Branford,
S. Felton
Abstract:
Here we describe the development of the MALTS software which is a generalised tool that simulates Lorentz Transmission Electron Microscopy (LTEM) contrast of thin magnetic nanostructures. Complex magnetic nanostructures typically have multiple stable domain structures. MALTS works in conjunction with the open access micromagnetic software Object Oriented Micromagnetic Framework or MuMax. Magnetica…
▽ More
Here we describe the development of the MALTS software which is a generalised tool that simulates Lorentz Transmission Electron Microscopy (LTEM) contrast of thin magnetic nanostructures. Complex magnetic nanostructures typically have multiple stable domain structures. MALTS works in conjunction with the open access micromagnetic software Object Oriented Micromagnetic Framework or MuMax. Magnetically stable trial magnetisation states of the object of interest are input into MALTS and simulated LTEM images are output. MALTS computes the magnetic and electric phases accrued by the transmitted electrons via the Aharonov-Bohm expressions. Transfer and envelope functions are used to simulate the progression of the electron wave through the microscope lenses. The final contrast image due to these effects is determined by Fourier Optics. Similar approaches have been used previously for simulations of specific cases of LTEM contrast. The novelty here is the integration with micromagnetic codes via a simple user interface enabling the computation of the contrast from any structure. The output from MALTS is in good agreement with both experimental data and published LTEM simulations. A widely-available generalized code for the analysis of Lorentz contrast addresses is a much needed step towards the use of LTEM as a standardized laboratory technique.
△ Less
Submitted 10 October, 2012; v1 submitted 10 July, 2012;
originally announced July 2012.
-
Network iso-elasticity and weighted $α$-fairness
Authors:
S. C. Borst,
N. S. Walton,
A. P. Zwart
Abstract:
When a communication network's capacity increases, it is natural to want the bandwidth allocated to increase to exploit this capacity. But, if the same relative capacity increase occurs at each network resource, it is also natural to want each user to see the same relative benefit, so the bandwidth allocated to each route should remain proportional. We will be interested in bandwidth allocations w…
▽ More
When a communication network's capacity increases, it is natural to want the bandwidth allocated to increase to exploit this capacity. But, if the same relative capacity increase occurs at each network resource, it is also natural to want each user to see the same relative benefit, so the bandwidth allocated to each route should remain proportional. We will be interested in bandwidth allocations which scale in this \textit{iso-elastic} manner and, also, maximize a utility function.
Utility optimizing bandwidth allocations have been frequently studied, and a popular choice of utility function are the weighted $α$-fair utility functions introduced by Mo and Walrand \cite{MoWa00}. Because weighted $α$-fair utility functions possess this iso-elastic property, they are frequently used to form fluid models of bandwidth sharing networks. In this paper, we present results that show, in many settings, the only utility functions which are iso-elastic are weighted $α$-fair utility functions.
Thus, if bandwidth is allocated according to a network utility function which scales with relative network changes then that utility function must be a weighted $α$-fair utility function, and hence, a control protocol that is robust to the future relative changes in network capacity and usage ought to allocate bandwidth inorder to maximize a weighted $α$-fair utility function.
△ Less
Submitted 11 January, 2012;
originally announced January 2012.
-
Optimal queue-size scaling in switched networks
Authors:
D. Shah,
N. S. Walton,
Y. Zhong
Abstract:
We consider a switched (queuing) network in which there are constraints on which queues may be served simultaneously; such networks have been used to effectively model input-queued switches and wireless networks. The scheduling policy for such a network specifies which queues to serve at any point in time, based on the current state or past history of the system. In the main result of this paper,…
▽ More
We consider a switched (queuing) network in which there are constraints on which queues may be served simultaneously; such networks have been used to effectively model input-queued switches and wireless networks. The scheduling policy for such a network specifies which queues to serve at any point in time, based on the current state or past history of the system. In the main result of this paper, we provide a new class of online scheduling policies that achieve optimal queue-size scaling for a class of switched networks including input-queued switches. In particular, it establishes the validity of a conjecture (documented in Shah, Tsitsiklis and Zhong [Queueing Syst. 68 (2011) 375-384]) about optimal queue-size scaling for input-queued switches.
△ Less
Submitted 3 September, 2014; v1 submitted 20 October, 2011;
originally announced October 2011.
-
Flow level convergence and insensitivity for multi-class queueing networks
Authors:
Neil Stuart Walton
Abstract:
We consider a multi-class queueing network as a model of packet transfer in a communication network. We define a second stochastic model as a model document transfer in a communication network where the documents transferred have a general distribution. We prove the weak convergence of the multi-class queueing process to the document transfer process. Our convergence result allows the comparison o…
▽ More
We consider a multi-class queueing network as a model of packet transfer in a communication network. We define a second stochastic model as a model document transfer in a communication network where the documents transferred have a general distribution. We prove the weak convergence of the multi-class queueing process to the document transfer process. Our convergence result allows the comparison of general document size distributions, and consequently, we prove general insensitivity results for the limit queueing process.
△ Less
Submitted 15 February, 2011;
originally announced February 2011.
-
Insensitive, maximum stable allocations converge to proportional fairness
Authors:
N. S. Walton
Abstract:
We describe a queueing model where service is allocated as a function of queue sizes. We consider allocations policies that are insensitive to service requirements and have a maximal stability region. We take a limit where the queueing model become congested. We study how service is allocated under this limit. We demonstrates that the only possible limit allocation is one that maximizes a proporti…
▽ More
We describe a queueing model where service is allocated as a function of queue sizes. We consider allocations policies that are insensitive to service requirements and have a maximal stability region. We take a limit where the queueing model become congested. We study how service is allocated under this limit. We demonstrates that the only possible limit allocation is one that maximizes a proportionally fair optimization problem.
△ Less
Submitted 19 July, 2010;
originally announced July 2010.
-
Utility Optimization in Congested Queueing Networks
Authors:
Neil Stuart Walton
Abstract:
We consider a multi-class single server queueing network as a model of a packet switching network. The rates packets are sent into this network are controlled by queues which act as congestion windows. By considering a sequence of congestion controls, we analyse a sequence of stationary queueing networks. In this asymptotic regime, the service capacity of the network remains constant and the seque…
▽ More
We consider a multi-class single server queueing network as a model of a packet switching network. The rates packets are sent into this network are controlled by queues which act as congestion windows. By considering a sequence of congestion controls, we analyse a sequence of stationary queueing networks. In this asymptotic regime, the service capacity of the network remains constant and the sequence of congestion controllers act to exploit the network's capcity by increasing the number of packets within the network. We show the stationary throughput of routes on this sequence of networks converges to an allocation that maximizes aggregate utility subject to the network's capacity constraints. To perform this analysis, we require that our utility functions satisfy an exponential concavity condition. This family of utilities includes weighted $α$-fair utilities for $α>1$.
△ Less
Submitted 24 November, 2010; v1 submitted 26 August, 2009;
originally announced August 2009.
-
Proportional fairness and its relationship with multi-class queueing networks
Authors:
N. S. Walton
Abstract:
We consider multi-class single-server queueing networks that have a product form stationary distribution. A new limit result proves a sequence of such networks converges weakly to a stochastic flow level model. The stochastic flow level model found is insensitive. A large deviation principle for the stationary distribution of these multi-class queueing networks is also found. Its rate function h…
▽ More
We consider multi-class single-server queueing networks that have a product form stationary distribution. A new limit result proves a sequence of such networks converges weakly to a stochastic flow level model. The stochastic flow level model found is insensitive. A large deviation principle for the stationary distribution of these multi-class queueing networks is also found. Its rate function has a dual form that coincides with proportional fairness. We then give the first rigorous proof that the stationary throughput of a multi-class single-server queueing network converges to a proportionally fair allocation. This work combines classical queueing networks with more recent work on stochastic flow level models and proportional fairness. One could view these seemingly different models as the same system described at different levels of granularity: a microscopic, queueing level description; a macroscopic, flow level description and a teleological, optimization description.
△ Less
Submitted 15 December, 2009; v1 submitted 16 September, 2008;
originally announced September 2008.