-
TauRunner: A Public Python Program to Propagate Neutral and Charged Leptons
Authors:
Ibrahim Safa,
Jeffrey Lazar,
Alex Pizzuto,
Oswaldo Vasquez,
Carlos A. Argüelles,
Justin Vandenbroucke
Abstract:
In the past decade IceCube's observations have revealed a flux of astrophysical neutrinos extending to $10^{7}~\rm{GeV}$. The forthcoming generation of neutrino observatories promises to grant further insight into the high-energy neutrino sky, with sensitivity reaching energies up to $10^{12}~\rm{GeV}$. At such high energies, a new set of effects becomes relevant, which was not accounted for in th…
▽ More
In the past decade IceCube's observations have revealed a flux of astrophysical neutrinos extending to $10^{7}~\rm{GeV}$. The forthcoming generation of neutrino observatories promises to grant further insight into the high-energy neutrino sky, with sensitivity reaching energies up to $10^{12}~\rm{GeV}$. At such high energies, a new set of effects becomes relevant, which was not accounted for in the last generation of neutrino propagation software. Thus, it is important to develop new simulations which efficiently and accurately model lepton behavior at this scale. We present TauRunner a PYTHON-based package that propagates neutral and charged leptons. TauRunner supports propagation between $10~\rm{GeV}$ and $10^{12}~\rm{GeV}$. The package accounts for all relevant secondary neutrinos produced in charged-current tau neutrino interactions. Additionally, tau energy losses of taus produced in neutrino interactions is taken into account, and treated stochastically. Finally, TauRunner is broadly adaptable to divers experimental setups, allowing for user-specified trajectories and propagation media, neutrino cross sections, and initial spectra.
△ Less
Submitted 27 October, 2021;
originally announced October 2021.
-
Scheduling with a processing time oracle
Authors:
Fanny Dufossé,
Christoph Dürr,
Noël Nadal,
Denis Trystram,
Óscar C. Vásquez
Abstract:
In this paper we study a single machine scheduling problem with the objective of minimizing the sum of completion times. Each of the given jobs is either short or long. However the processing times are initially hidden to the algorithm, but can be tested. This is done by executing a processing time oracle, which reveals the processing time of a given job. Each test occupies a time unit in the sche…
▽ More
In this paper we study a single machine scheduling problem with the objective of minimizing the sum of completion times. Each of the given jobs is either short or long. However the processing times are initially hidden to the algorithm, but can be tested. This is done by executing a processing time oracle, which reveals the processing time of a given job. Each test occupies a time unit in the schedule, therefore the algorithm must decide for which jobs it will call the processing time oracle. The objective value of the resulting schedule is compared with the objective value of an optimal schedule, which is computed using full information. The resulting competitive ratio measures the price of hidden processing times, and the goal is to design an algorithm with minimal competitive ratio.
Two models are studied in this paper. In the non-adaptive model, the algorithm needs to decide beforehand which jobs to test, and which jobs to execute untested. However in the adaptive model, the algorithm can make these decisions adaptively depending on the outcomes of the job tests. In both models we provide optimal polynomial time algorithms following a two-phase strategy, which consist of a first phase where jobs are tested, and a second phase where jobs are executed obliviously. Experiments give strong evidence that optimal algorithms have this structure. Proving this property is left as an open problem.
△ Less
Submitted 5 May, 2021; v1 submitted 7 May, 2020;
originally announced May 2020.
-
A Non-iterative Parallelizable Eigenbasis Algorithm for Johnson Graphs
Authors:
Jackson Abascal,
Amadou Bah,
Mario Banuelos,
David Uminsky,
Olivia Vasquez
Abstract:
We present a new $O(k^2 \binom{n}{k}^2)$ method for generating an orthogonal basis of eigenvectors for the Johnson graph $J(n,k)$. Unlike standard methods for computing a full eigenbasis of sparse symmetric matrices, the algorithm presented here is non-iterative, and produces exact results under an infinite-precision computation model. In addition, our method is highly parallelizable; given access…
▽ More
We present a new $O(k^2 \binom{n}{k}^2)$ method for generating an orthogonal basis of eigenvectors for the Johnson graph $J(n,k)$. Unlike standard methods for computing a full eigenbasis of sparse symmetric matrices, the algorithm presented here is non-iterative, and produces exact results under an infinite-precision computation model. In addition, our method is highly parallelizable; given access to unlimited parallel processors, the eigenbasis can be constructed in only $O(n)$ time given n and k. We also present an algorithm for computing projections onto the eigenspaces of $J(n,k)$ in parallel time $O(n)$.
△ Less
Submitted 11 December, 2018;
originally announced December 2018.
-
Scheduling under dynamic speed-scaling for minimizing weighted completion time and energy consumption
Authors:
Christoph Dürr,
Łukasz Jeż,
Oscar C. Vásquez
Abstract:
Since a few years there is an increasing interest in minimizing the energy consumption of computing systems. However in a shared computing system, users want to optimize their experienced quality of service, at the price of a high energy consumption. In this work, we address the problem of optimizing and designing mechanisms for a linear combination of weighted completion time and energy consumpti…
▽ More
Since a few years there is an increasing interest in minimizing the energy consumption of computing systems. However in a shared computing system, users want to optimize their experienced quality of service, at the price of a high energy consumption. In this work, we address the problem of optimizing and designing mechanisms for a linear combination of weighted completion time and energy consumption on a single machine with dynamic speed-scaling. We show that minimizing linear combination reduces to a unit speed scheduling problem under a polynomial penalty function. In the mechanism design setting, we define a cost share mechanism and studied its properties, showing that it is truthful and the overcharging of total cost share is bounded by a constant.
△ Less
Submitted 29 May, 2018;
originally announced May 2018.
-
The triangle scheduling problem
Authors:
Christoph Dürr,
Zdeněk Hanzálek,
Christian Konrad,
Yasmina Seddik,
René Sitters,
Óscar C. Vásquez,
Gerhard Woeginger
Abstract:
This paper introduces a novel scheduling problem, where jobs occupy a triangular shape on the time line. This problem is motivated by scheduling jobs with different criticality levels. A measure is introduced, namely the binary tree ratio. It is shown that the greedy algorithm solves the problem to optimality when the binary tree ratio of the input instance is at most 2. We also show that the prob…
▽ More
This paper introduces a novel scheduling problem, where jobs occupy a triangular shape on the time line. This problem is motivated by scheduling jobs with different criticality levels. A measure is introduced, namely the binary tree ratio. It is shown that the greedy algorithm solves the problem to optimality when the binary tree ratio of the input instance is at most 2. We also show that the problem is unary NP-hard for instances with binary tree ratio strictly larger than 2, and provide a quasi polynomial time approximation scheme (QPTAS). The approximation ratio of Greedy on general instances is shown to be between 1.5 and 1.05.
△ Less
Submitted 1 May, 2016; v1 submitted 13 February, 2016;
originally announced February 2016.
-
Mechanism design for aggregating energy consumption and quality of service in speed scaling scheduling
Authors:
Christoph Dürr,
Łukasz Jeż,
Óscar C. Vásquez
Abstract:
We consider a strategic game, where players submit jobs to a machine that executes all jobs in a way that minimizes energy while respecting the given deadlines. The energy consumption is then charged to the players in some way. Each player wants to minimize the sum of that charge and of their job's deadline multiplied by a priority weight. Two charging schemes are studied, the proportional cost sh…
▽ More
We consider a strategic game, where players submit jobs to a machine that executes all jobs in a way that minimizes energy while respecting the given deadlines. The energy consumption is then charged to the players in some way. Each player wants to minimize the sum of that charge and of their job's deadline multiplied by a priority weight. Two charging schemes are studied, the proportional cost share which does not always admit pure Nash equilibria, and the marginal cost share, which does always admit pure Nash equilibria, at the price of overcharging by a constant factor.
△ Less
Submitted 10 July, 2017; v1 submitted 14 April, 2015;
originally announced April 2015.
-
The local-global conjecture for scheduling with non-linear cost
Authors:
Nikhil Bansal,
Christoph Dürr,
Nguyen Kim Thang,
Óscar C. Vásquez
Abstract:
We consider the classical scheduling problem on a single machine, on which we need to schedule sequentially $n$ given jobs. Every job $j$ has a processing time $p_j$ and a priority weight $w_j$, and for a given schedule a completion time $C_j$. In this paper we consider the problem of minimizing the objective value $\sum_j w_j C_j^β$ for some fixed constant $β>0$. This non-linearity is motivated f…
▽ More
We consider the classical scheduling problem on a single machine, on which we need to schedule sequentially $n$ given jobs. Every job $j$ has a processing time $p_j$ and a priority weight $w_j$, and for a given schedule a completion time $C_j$. In this paper we consider the problem of minimizing the objective value $\sum_j w_j C_j^β$ for some fixed constant $β>0$. This non-linearity is motivated for example by the learning effect of a machine improving its efficiency over time, or by the speed scaling model. For $β=1$, the well-known Smith's rule that orders job in the non-increasing order of $w_j/p_j$ give the optimum schedule. However, for $β\neq 1$, the complexity status of this problem is open. Among other things, a key issue here is that the ordering between a pair of jobs is not well-defined, and might depend on where the jobs lie in the schedule and also on the jobs between them. We investigate this question systematically and substantially generalize the previously known results in this direction. These results lead to interesting new dominance properties among schedules which lead to huge speed up in exact algorithms for the problem. An experimental study evaluates the impact of these properties on the exact algorithm A*.
△ Less
Submitted 21 December, 2015; v1 submitted 23 April, 2013;
originally announced April 2013.
-
Energy in computing systems with speed scaling: optimization and mechanisms design
Authors:
Oscar C. Vásquez
Abstract:
We study a simple scheduling game for the speed scaling model. Players want their job to complete early, which however generates a big energy consumption. We address the game from the mechanism design side, and by charging the energy usage to the players we seek for a good compromize between quality of service and energy usage.
We study a simple scheduling game for the speed scaling model. Players want their job to complete early, which however generates a big energy consumption. We address the game from the mechanism design side, and by charging the energy usage to the players we seek for a good compromize between quality of service and energy usage.
△ Less
Submitted 27 December, 2012;
originally announced December 2012.
-
Fermion localization on a split brane
Authors:
A. E. R. Chumbes,
A. E. O. Vasquez,
M. B. Hott
Abstract:
In this work we analyze the localization of fermions on a brane embedded in five-dimensional, warped and non-warped, space-time. In both cases we use the same nonlinear theoretical model with a non-polynomial potential featuring a self-interacting scalar field whose minimum energy solution is a soliton (a kink) which can be continuously deformed into a two-kink. Thus a single brane splits into two…
▽ More
In this work we analyze the localization of fermions on a brane embedded in five-dimensional, warped and non-warped, space-time. In both cases we use the same nonlinear theoretical model with a non-polynomial potential featuring a self-interacting scalar field whose minimum energy solution is a soliton (a kink) which can be continuously deformed into a two-kink. Thus a single brane splits into two branes. The behavior of spin 1/2 fermions wavefunctions on the split brane depends on the coupling of fermions to the scalar field and on the geometry of the space-time.
△ Less
Submitted 7 December, 2010;
originally announced December 2010.
-
Endohedral terthiophene in zigzag carbon nanotubes: Density functional calculations
Authors:
W. Orellana,
S. O. Vasquez
Abstract:
The inclusion and encapsulation of terthiophene (T3) molecules inside zigzag single-walled carbon nanotubes (CNTs) is addressed by density functional calculations. We consider the T3 molecule inside five semiconducting CNTs with diameters ranging from 9.6 to 12.7 Ang. Our results show that the T3 inclusion process is exothermic for CNTs with diameters larger than 9.5 Ang. The highest energy gain…
▽ More
The inclusion and encapsulation of terthiophene (T3) molecules inside zigzag single-walled carbon nanotubes (CNTs) is addressed by density functional calculations. We consider the T3 molecule inside five semiconducting CNTs with diameters ranging from 9.6 to 12.7 Ang. Our results show that the T3 inclusion process is exothermic for CNTs with diameters larger than 9.5 Ang. The highest energy gain is found to be of 2 eV, decreasing as the CNT diameter increases. This notable effect of stabilization is attributed to the positively charged CNT inner space, as induced by its curvature, which is able to accommodate the neutral T3 molecule. The band structure of the T3@CNT system shows that T3 preserves its electronic identity inside the CNTs, superimposing their molecular orbitals onto the empty CNT band structure without hybridization. Our results predict that the electronic states added by the T3 molecules would give rise to optical effects and nonradiative relaxation from excited states.
△ Less
Submitted 7 September, 2006; v1 submitted 27 June, 2006;
originally announced June 2006.