All talks are from 3:45-4:45 p.m. in the Colloquium Room, unless otherwise specified.
Dec 03TBA Prof. Caroline Melles USNA Time: 03:45 PM
Nov 19Construction of Nonstandard Finite Difference Schemes Prof. Talitha Washington Howard University Time: 03:45 PM
View AbstractIn many branches of science and engineering, a differential equation provides a model for the problem of study. Unfortunately, most differential equations cannot be solved exactly so approximation schemes via discretized equations are often used. This talk aims to serve two goals. First, we introduce the Nonstandard Finite Difference Scheme, a new type of difference equation that seeks to improve numerical accuracy by incorporating the features of the differential equation into the numerical scheme. Second, we discuss several applications to real-world problems such as population growth, infectious disease propagation, and economics. This is joint work in progress with Ronald Mickens.
Nov 12Multiple zeta values of even arguments (and some analogous results) Prof. Mike Hoffman USNA Time: 03:45 PM
View AbstractThe sum of all convergent multiple zeta values of a given length and weight n is just \zeta(n). This result was proved first by Euler for length 2, by Courtney Moen for length 3, and by Don Zagier and Andrew Granville for arbitrary length. Given n, what can we say about the the sum of all multiple zeta values with fixed length, even arguments, and weight 2n? Again for length 2 the result goes back to Euler. But for the arbitrary-length case was not considered until 2012, when I gave a general result. I will explain the result, and also describe some analogous results proved by other authors.
Oct 24Hallucination Helps: Energy Efficient Virtual Circuit Routing Prof. Clifford Stein Columbia University Time: 12:00 PM
View AbstractIn this talk, we give online and offline approximation algorithms for energy efficient circuit routing protocols for a network of components that are speed scalable, and that may be shutdown when idle. We will consider both the case where the speed-scalable components are edges and the case when they are nodes. For the case of edges, we describe a polynomial-time offline algorithm that has a poly-log approximation ratio. The key step of the algorithm design is a random sampling technique that we call hallucination. The algorithm extends rather naturally to an online algorithm. The analysis of the online algorithm introduces a natural ``priority'' multicommodity flow problem, and bounds the priority multicommodity flow-cut gap. We will then explain the additional difficulty faced if the power management components are vertices, and explain how to how to surmount this difficulty in the offline case. This work spans several papers and is joint with Antonios Antoniadis, Nikhil Bansal, Sungjin Im, Ravishankar Krishnaswamy, Benjamin Moseley, Viswanath Nagarajan, Kirk Pruhs.
Sep 24The USNA Powered Flight Program and a binary integer programming solution to its daily flight scheduling problem LT Peter Barkley USNA Time: 03:45 PM
Sep 18Change of phase for the humid atmosphere: a model of nonlinear discontinuous equation Prof. Roger Temam Indiana University Time: 12:00 PM
View AbstractIn this lecture we will recall the atmospheric equations of water vapor with saturation. In their simplest form, these equations form a nonlinear system of partial differential equations with discontinuities corresponding to the change of phase. We will address the issues of the definition of the solutions, in the context of convex analysis and variational inequalities, and establish some results on the existence, uniqueness and regularity of these solutions.
Sep 16Opt Art Prof. Robert Bosch Oberlin College Time: 03:45 PM
View AbstractOptimization is concerned with optimal performance---finding the best way to complete a task. It has been put to good use in a great number of diverse disciplines: advertising, agriculture, biology, business, economics, engineering, manufacturing, medicine, telecommunications, and transportation (to name but a few). In this lecture, we will showcase its amazing utility by demonstrating its applicability in the area of visual art, which at first glance would seem to have no use for it whatsoever! We will begin by describing how to use integer programming to construct a portrait out of complete sets of double nine dominoes. We will then describe how high quality solutions to certain large-scale traveling salesman problems can lead to beautiful continuous line drawings. We will conclude by presenting other examples of Opt Art---art constructed with the assistance of optimization techniques.
Sep 10Optimal Patrol to Detect Attacks at Dispersed Heterogeneous Locations CDR Dick McGrath USNA Time: 03:45 PM
View AbstractWe study a patrol problem where several patrollers move between heterogeneous locations dispersed throughout an area of interest in order to detect enemy attacks. To formulate an effective patrol policy, the patrollers must take into account travel time between locations, as well as location-specific parameters, which include patroller inspection times, enemy attack times, and cost incurred due to an undetected attack. We consider both random and strategic attackers. A random attacker chooses a location to attack according to a probability distribution, while a strategic attacker plays a two-person zero-sum game with the patrollers. In some cases, we can compute the optimal solution using linear programming. This method, however, becomes computationally intractable as the problem size grows. Therefore, we focus on developing efficient heuristics, based on aggregate index values, fictitious play, and shortest paths. Numerical experiments demonstrate that our heuristics produce excellent results with computation time orders of magnitude less than what is required to compute the optimal solution.
Sep 03Optimal Future Sensor Allocation Problem Prof. Christopher Griffin Penn State University Time: 03:45 PM
View AbstractIn this talk we consider the problem of sensing a finite set of (moving) objects over a finite planning horizon using a set of sensors in prefixed locations that vary with respect to time over a discretized space. We formulate an integer programming problem that maximizes a quality of sensor return given either deterministic or probabilistic (i.e., forecasted) object routes. We examine the computational complexity of the problem and show it is NP-Hard. We analyze a representative data set of potential sensor collects and show, surprisingly, a near linear growth in computation time. We explain this discrepancy by identifying a class of sub-problems (to which our data set belongs) that can be solved by a greedy heuristic. We then construct an artificial data set and illustrate non-linear solution time growth. Finally, we define an alternate strongly polynomial (greedy) heuristic for solving the problem and investigate quality bounds.
Aug 21Finite Time and Aperiodically Time Dependent Dynamics: The Research Landscape---Past, Present, and Future Prof. Stephen Wiggins University of Bristol (UK) Time: 12:00 PM Abstract