Applied Math Seminar

Usual Time
Thursday, 12:00-13:00
Place
Building 216, Room 201
Upcoming Lectures
סמינרים | המחלקה למתמטיקה
Previous Lectures
Ishy Zagdoun (Bar Ilan)
-
Place: Building 201 (computer center) room 132

 This paper establishes a closed-form expression for projecting onto a capped rotated second-order cone. This special object is a convex set that arises as a part of the feasible region of the perspective relaxation of mixed-integer nonlinear programs (MINLP) with binary indicator variables. The rapid computation of the projection onto this convex set enables the development of effective methods for solving the continuous relaxation of MINLPs whose feasible region may involve a Cartesian product of a large number of such sets. As a proof of concept for the applicability of our projection method, we develop
a projected gradient method and specialize a general form of FISTA to use our projection technique in order to effectively solve the continuous perspective relaxation of a sparse regression problem with L0 and L2 penalties. We also generalize the basic sparse regression formulation and solution method to support group sparsity. In experiments we first demonstrate that the projection problem is solved faster and more accurately with our closed-form than with an interior-point solver, and also when solving sparse regression problems our methods that applies our projection formula can outperform a state-of-the-art interior point solver while nearly matching its solution accuracy.

 

- , Prof. Nathalie Q. Balaban - TBA, Prof. Nathalie Q. Balaban
Prof. Nathalie Q. Balaban
-
Place: Bldg. 216, Room 201

TBA

- , Prof. Yachin Ivry - TBA, Prof. Yachin Ivry
Prof. Yachin Ivry
-
Place: Bldg. 216, Room 201

TBA

- , Prof. Michael Golosovsky - 12.3.20, Prof. Michael Golosovsky
Prof. Michael Golosovsky
-
Place: Bldg. 216, Room 201

TBA

Citations of scientific papers - a paradigmatic complex network

Dr. Michael Golosovsky

Racah Institute of Physics, Hebrew University of Jerusalem

 

The interdisciplinary field of complex networks has been actively developing since 1999. Many models of network growth have been proposed by theoretical physicists, mathematicians, and computer scientists but none of them was validated against the measurements according to accepted physical standards.  We consider here one well-documented complex network -citations to scientific papers -and establish its dynamics through modeling and model-inspired measurements.

I will present a stochastic model of citation dynamics and will use it to uncover inner working of the networks of Physics, Economics, and Mathematics papers. Contrary to common belief that citation dynamics is determined by the linear preferential attachment (Markov process), we found that it follows the nonlinear autocatalytic growth (Hawkes process). The nonlinearity stems from a synergistic effect in propagation of citation cascades and is intricately related to local network topology and network motifs. The nonlinearity is the reason why the ideas advocated in highly-cited papers undergo viral propagation in scientific community, and it results in non-stationary citation distributions, diverging citation trajectories of papers, and runaways or "immortal papers".  I will also consider forecasting of the future citation behavior of  papers. I will not discuss Hirsch index and other estimators of scientific activity. 

- , Prof. Eran Bouchbinder - 5.3.20, Prof. Eran Bouchbinder
Prof. Eran Bouchbinder
-
Place: Bldg. 216, Room 201

Title:  Soft excitations in glasses: Universality, localization and structural relaxation

Abstract:
Glasses are frustrated systems characterized by structural disorder, which endows them with unique properties compared to their crystalline counterparts. In this talk, we show that glassy disorder gives rise to low-frequency (soft) non-phononic excitations, which are quasi-localized in space and which follow a universal density of states proportional to 

- , TBA - Prof. Agnieszka Wiszniewska-Matyszkie, Prof. Agnieszka Wiszniewska-Matyszkie
Prof. Agnieszka Wiszniewska-Matyszkie
-
Place: Bldg. 901, Room 101 (Brain science building)
Title: Dynamic optimization problems appearing while considering responsivity to consumers' expectations. Anstract: I'm going to present a dynamic optimization model for the optimal behaviour of a service provider whose consumers have some prior expectations about service quality, which adjust over time and they have discontinuous reaction to satisfying or dissatisfying experiences, which influences the goodwill of the firm. We analyse the dynamic optimization problem of the company with costly responsivity to customers' expectations, decreasing the strength of those experiences, as a control parameter. with best regards
- , Interfacial dynamics of dissolving objects in fluid flow, Prof. Chris Rycroft- Harvard
Prof. Chris Rycroft- Harvard
-
Place: Bldg. 216, Room 201

An advection–diffusion-limited dissolution model of an object being eroded by a two-dimensional potential flow will be presented. By taking advantage of conformal invariance of the model, a numerical method will be introduced that tracks the evolution of the object boundary in terms of a time-dependent Laurent series. Simulations of several dissolving objects will be shown, all of which show collapse to a single point in finite time. The simulations reveal a surprising connection between the position of the collapse point and the initial Laurent coefficients, which was subsequently derived analytically.‏

    - , Applied math seminar - Dr. Shay Deutsch, Dr. Shay Deutsch
    Dr. Shay Deutsch
    -
    Place: Bldg. 216, Room 201

    Title: Robust Methods for Topology Estimation in Unsupervised Learning

    Abstract:

    Learning graph connectivity has broad-ranging applications from 3D reconstruction to unsupervised learning. In this talk I will introduce a new method to learn the graph structure underlying noisy point set observations assumed to lie near a complex manifold. Rather than assuming regularity of the manifold itself, as customary, we assume regularity of the geodesic flow through the boundary of arbitrary regions on the graph. The idea is to exploit this more flexible notion of regularity, captured by the discrete equivalent of the isoperimetric inequality for closed manifolds, to infer the graph structure..

    In a broader perspective, when studying the topology of the graph networks, we would like to learn new representations that capture not
    only local connectivity, i.e., nodes that belong to the same local structure, but also similarity which is based on their structural role in the graph. I will discuss a new approach and vision towards learning a good trade-off between these local and structural types of similarities that includes diverse possible applications including point clouds, biological networks and social networks.

    - , Applied math seminar - Prof. Alfred M. Bruckstein, Prof. Alfred M. Bruckstein
    Prof. Alfred M. Bruckstein
    -
    Place: Bldg. 216, Room 201

    :Title

    From Ants to A(ge)nts

    The wonderfully Weird World of Multi-Agent Swarms

    :Abstract

    An ant colony is a marvel of cooperation and coordinated, purposeful

    work carried out by simple a(ge)nts with very limited capabilities. Ants

    do not have GPS systems, have no compasses nor odometers,  do not

    use laser range finders , nor do they have good memories or extraordinary

    computational resources, and employ no sophisticated long-range sensing or

    communication equipment. Yet they are ruling the earth, by numbers and

    by resilience, and by some evolution-developed local response algorithms,

    that rely on pheromone-mediated myopic interactions. The environment

    becomes a huge, shared resource covered with "chemical memory" signals.

     

    The paradigm of swarm robotics is an attempt to mimic this phenomenal

    success of nature. In the attempt to analyze the capabilities of colonies

    of small and limited robots to perform a variety of tasks one encounters

    formidable mathematical difficulties. The direct problem of analyzing  the

    emergent global behavior that results from a set of rules of local interaction

    is tractable in a few interesting cases, like for example in gathering and

    region covering or patrolling missions, The inverse problem of deriving

    local rules of behavior, based on the ant-like robots' limited sensing and

    communication capabilities, is far less approachable. Several examples

    illustrating the mathematical tools available for analyzing the behavior

    of swarms of myopic agents will be discussed in my presentation.

     

    - , Mathematical Modeling of Cyclic Population Dynamics, Alexander Nepomnyashchy
    Alexander Nepomnyashchy
    -
    Place: Bldg. 216, Room 201

    :abstract
     

    We consider deterministic models for three-species ecological systems
    exhibiting cyclic (rock-paper-scissors) dynamics, which account for delay
    or/and spatial nonlocality in interspecies competition. The biological
    origin of the temporal and spatial nonlocalities is the secretion of a
    toxin lethal to another species in the environment. The dynamics of
    spatially homogeneous states is described by ODE models, which allow for
    three classes of stable limit solution: (i) steady coexistence solutions;
    (ii) limit cycles; (iii) stable heteroclinic cycles. PDE models allow to
    describe the nontrivial spatial structure and dynamics of fronts between
    domains occupied by homogeneous states, as well as regular and irregular
    spatio-temporal dynamical regimes. Generalizations for multispecies
    systems are discussed.

    - , Quasicrystals as steady-state solutions to PDEs, Ron Lifshitz, School of Physics & Astronomy, Tel aviv University
    Ron Lifshitz, School of Physics & Astronomy, Tel aviv University
    -
    Place: Building 216, room 201

    :Abstract

    For many years, quasicrystals were observed only as solid-state metallic alloys, yet current research is actively exploring their formation
    in a variety of soft materials, including systems of macromolecules, nanoparticles, and colloids. Much effort is being invested in
    understanding the thermodynamic properties of these soft-matter quasicrystals in order to predict and possibly control the structures
    that form, and hopefully to shed light on the broader, yet unresolved, general questions of quasicrystal formation and stability. I shall give
    an explanation for the stability of certain soft-matter quasicrystals, inspired by the physics of a different phenomenon known as Faraday
    waves, and using surprisingly simple classical field theories, giving rise to PDEs whose steady-state solutions are quasicrystalline. In doing so, I shall provide a recipe for designing pair potentials that yield crystals -- or solutions to PDEs -- with symmetries ranging from square and hexagonal to decagonal and dodecagonal.

    - , Spatial properties of congestion in street networks: a geometric version of Braess's paradox, Prof. Gourab Ghoshal
    Prof. Gourab Ghoshal
    -
    Place: מרכז בר-אילן לערים חכמות

    Abstract: Streets networks are the primary facilitators of movement in urban systems, allowing residents to navigate the different functional components of a city. Since navigability is a key ingredient of socioeconomic activity, roads represent one of its most important infrastructural components and a large body of work has elucidated its structural properties.  One such important metric, intricately related to the flow of people and goods and services, is the betweenness centrality. The betweenness centrality, a path-based global measure of flow, is a static predictor of congestion and load on networks. We demonstrate that its statistical distribution is invariant for any street network in any city irrespective of topography, geography or urban planning choices. This invariance is a consequence of spatial embedding of the street network in a 2D plane leading to an underlying tree structure for high betweenness nodes that controls the majority of the flow. Furthermore, these high congestion streets display increasing spatial correlation as a function of the increasing density of streets. Counterintuitively building more streets does not alleviate congestion but diverts it further to the city center. This hints at a geometric flavor for the well-known Braess's paradox from transportation theory. Urban policy planners are thus better served in investing in multimodal transportation systems and innovative policies such as congestion pricing, than merely building more “traditional” connectivity. We confirm our analysis through empirical results on street networks from 97 cities worldwide as well as 200 years of street data for Paris.

    Time permitting, I shall also discuss our ongoing collaboration with Google AI where we study global mobility flows at high resolution. Initial results include a surprisingly rich signature of urban indicators such as pollution, health, and transportation as a function of the spatial structure of intra-city flows. 

     

     

    - , TBA, פרופ' יורם לוזון
    פרופ' יורם לוזון
    -
    Place: Building 216, Room 201

    TBA

    - , Some problems of tropical optimization, Sergey Sergeev, University of Birmingham
    Sergey Sergeev, University of Birmingham
    -
    Place: room 216/201


     Tropical mathematics is an area of mathematics developed over the tropical semi-ring, where the usual arithmetic operations are replaced with max (playing the role of addition) and plus (playing the role of multiplication). In this talk we will consider some optimization problems that can be formulated and solved in the framework of tropical mathematics, such as: tropical analogue of linear-fractional programming, tropical pseudo-quadratic programming and tropical analogues of bi-level linear programming problems

    - , Prediction of random and chaotic dynamics in nonlinear optics, Amir Sagiv, TAU
    Amir Sagiv, TAU
    -
    Place: Building 216, Room 201

    The prediction of interactions between multiple high-power laser beams is a longstanding open problem in physics. One traditional assumption in this area is that these interactions are deterministic. We show, however, that a single beam may lose its initial phase information in the presence of input noise. This "loss of phase", obtained in the classical description of nonlinear laser propagation, the Nonlinear Schrodinger equation (NLS), renders the multiple-beams interactions unpredictable.

    Computationally, the study of the NLS or other differential equations with random inputs is made possible by a novel algorithm which efficiently estimates probability density functions (PDF) that arise in these settings. This task leads to a general question in numerical uncertainty-quantification (UQ): given a function and its approximation, are the two PDFs they induce similar? The analysis of this question leads through an interesting path, which lies at the intersections of probability, approximation, and optimal transport theory. 

     

    - , Single-Cell RNA sequencing - statistical challenges and its application to uncovering cancer heterogeneity, Idan Alter from the Weizmann institute
    Idan Alter from the Weizmann institute
    -
    Place: Building 216, Room 201

    Single-Cell RNA sequencing (scRNA-seq) is an emerging technology with the promise to uncover the transcriptome at the ultimate resolution of single cells. However, in order to make sense of the data, one must overcome the technical and biological noise inherent in the process. In this introductory talk which assumes no biological background, I will present the the concept of RNA sequencing and its ability to identify different cell types, the obfuscating factors encountered in such experiments and the bioinformatical tools we use to counter them. Finally I will present an application of these methods to samples derived from ovarian cancer patients, emphasizing the unique insights attained with scRNA-seq.

    - , Modeling flocks of birds and plagues of locusts  , Leah Edelstein-Keshet, University of British Columbia
    Leah Edelstein-Keshet, University of British Columbia
    -
    Place: Building 216, Room 201

    Groups of animals display fascinating patterns of collective behavior. But how does group behavior emerge from the underlying actions of individuals and their interactions with one another? I will describe mathematical modeling research in my group that addresses such questions. 

    What social forces makes for a cohesive flock of birds? Can we infer such rules from observing flocks in nature? I will describe a project carried out in downtown Vancouver (BC, Canada) were flocks of aquatic birds (surf scoters) "cooperated" to help us understand their spacing behaviors.

    Of practical importance is the swarming of locusts, which causes huge economic and social burden in North Africa and Israel. I will describe joint with Andy Bernoff (Harvey Mudd) and Chad Topaz (Williams College) on models of locust swarms and hopper bands.   

     

    - , A Framework for Collective Behavior in Growth-Driven Systems , Yasmine Meroz, The School of Plant Sciences and Food Security at Tel Aviv University
    Yasmine Meroz, The School of Plant Sciences and Food Security at Tel Aviv University
    -
    Place: Building 216, Room 201

    A variety of biological systems are not motile, but sessile in nature, relying on growth as the main driver of their movement. Groups of such growing organisms can form complex structures, such as the functional architecture of growing axons, or the adaptive structure of plant root systems. These processes are not yet understood, however the decentralized growth dynamics bear similarities to the collective behavior observed in groups of motile organisms, such as flocks of birds or schools of fish. Equivalent growth mechanisms make these systems amenable to a theoretical framework inspired by tropic responses of plants, where growth is considered implicitly as the driver of the observed bending towards a stimulus. We introduce two new concepts related to plant tropisms: point tropism, the response of a plant to a nearby point signal source, and allotropism, the growth-driven response of plant organs to neighboring plants. We first analytically and numerically investigate the 2D dynamics of single organs responding to point signals fixed in space. Building on this we study pairs of organs interacting via allotropism, i.e.each organ senses signals emitted at the tip of their neighbor and responds accordingly. In the case of local sensing we find a rich phase space. We describe the different phases, as well as the sharp transitions between them. We also find that the form of the phase space depends on initial conditions. This work sets the stage towards a theoretical framework for the investigation and understanding of systems of interacting growth-driven individuals.

     

    - , Intra- vs. inter-group variance in collective behavir, Daniel Knebel
    Daniel Knebel
    -
    Place: Building 216, Room 200

    Collective motion is the synchronized spatial translation of many individuals concurrently. Its evolutionary importance is emphasized by the wide variety of organisms performing it, ranging from bacteria colonies, to insect swarms, schools of fish, flocks of birds and even human crowds. Thus, collective motion constitutes a key feature in explaining macro-ecological phenomena. In the case of pests such as locusts, understanding the emergence of swarms is also of utmost importance for agricultural planning and assuring food security.

     

    Collective motion is the product of an efficient compromise between individual variability and group homogeneity that enables generating inter-individual synchronization and maintaining coherence. Therefore, deciphering the bi-directional interactions between the individual and the group is essential for understanding the swarm phenomenon, and for predicting large-scale swarm behaviors. 

     

    Using locust nymphs marching in controlled laboratory settings, we have explored these individual-group interrelations. To this end, we compared single animals, locust groups, and virtual (computerized randomly-shuffled) groups, composed of the trajectories of real, though non-interacting, members. These experiments revealed two types of behavioral characteristics: those homogenized by the group, and those retaining individual heterogeneity. The latter were also found to generate distinctive group characteristics. Comparison with Markov-chain models exemplified an interplay between variance at the individual level and the emergence of inter-group variance. This suggests that the unique combination of individuals within a given group plays a critical role in the formation of collective behavior.

     

    - , Three grand quantum challenges, Emanuele Dalla Torre, physics department BIU
    Emanuele Dalla Torre, physics department BIU
    -
    Place: Building 216, Room 200

    In this talk I will describe three computational challenges posed by recent experiments with quantum materials, ultracold atoms, superconducting qubits. The challenges go under the name of "Hubbard model", "Many-body localization", and " Noisy Intermediate-Scale Quantum computers".

     

    - , An alternate route to complexity: Trade-off between transcriptome plasticity and genome evolution in cephalopods, Prof. Eli Eisenberg, department of physics, TAU
    Prof. Eli Eisenberg, department of physics, TAU
    -
    Place: Building 216, Room 201

    RNA editing is a post-transcriptional process that allows for diversification of proteomes beyond the genomic blueprint, a phenomenon called "recoding". However, it is infrequently used among animals for this purpose. I will review the state-of-the-art understanding of recoding by editing, and discuss at length recent results showing that recoding is particularly common in behaviorally sophisticated coleoid cephalopods. In particular, the trade-off between genome evolution and transcriptome plasticity will be suggested as a partial explanation for the rarity of recoding in most animal species.

     

    - , Stability of some super-resolution problems, Dmitry Batenkov from MIT
    Dmitry Batenkov from MIT
    -
    Place: Building 216, Room 201

    The problem of computational super-resolution asks to recover fine

    features of a signal from inaccurate and bandlimited data, using an

     a-priori model as a regularization.  I will describe several

    situations for which sharp bounds for stable reconstruction are known,

    depending on signal complexity, noise/uncertainty level, and available

    data bandwidth.  I will also discuss optimal recovery algorithms, and

    some open questions.

    - , Interfacial dynamics of dissolving objects in fluid flow, (Chris H. Rycroft (Harvard
    (Chris H. Rycroft (Harvard
    -
    Place: Bldg. 216, Room 201

    Title: Interfacial dynamics of dissolving objects in fluid flow
    Abstract:
    An advection–diffusion-limited dissolution model of an object being eroded by a two-dimensional potential flow will be presented. By taking advantage of conformal invariance of the model, a numerical method will be introduced that tracks the evolution of the object boundary in terms of a time-dependent Laurent series. Simulations of several dissolving objects will be shown, all of which show collapse to a single point in finite time. The simulations reveal a surprising connection between the position of the collapse point and the initial Laurent coefficients, which was subsequently derived analytically.

     

    Guy Landsman, BIU
    -
    Place: Math building 216, Seminar room 201

     

    In our research we consider the  linear second order differential equation with delay and impulses. We build Green's functions for the two-point boundary conditions problem. Using Green's functions we find necessary and sufficient conditions of positivity of Green's functions for this impulsive equation coupled with two-point boundary conditions in the form of theorems about differential inequalities.

    - , A Stable Algorithm for Matrix Exponent Calculation, Teddy Lezebnik - BIU
    Teddy Lezebnik - BIU
    -
    Place: Math building 216, Seminar room 201

     

    We propose a numerical algorithm for calculation of the matrix exponential, which is stable for every matrix and any number of required signficiant digits. The algorithm is based on the Lanczos method of eigenvalue calculation. Theoretical analysis and proof of stability of the algorithm is given. 

    Joint work with Shlomo Yanetz and Gregory Agranovich (Ariel) 

    - , Increase of collision probability by flow delay, Itzhak Fouxon - Hebrew University
    Itzhak Fouxon - Hebrew University
    -
    Place: Building 216 Room 201

    We consider motion of inertial particles in random (turbulent) flow. Inertia of particles causes delay:
    the particle's velocity is not the local flow but the flow at the trajectory some time ago. We demonstrate that this causes particles' clustering on fractal set. This has uses in rain prediction problem and industry.
     

    - , Universal Dynamics of Human Microbial Ecosystems, Dr. Amir Bashan - Harvard Medical School
    Dr. Amir Bashan - Harvard Medical School
    -
    Place: Math seminar room - building 216, room 201

     

    Our body is colonized by trillions of microbes, known as the human microbiome, living with us in a complex ecological system. Those micro-organisms play a crucial role in determining our health and well-being, and there are ongoing efforts to develop tools and strategies to control these ecosystems. In this talk I address a simple but fundamental question: are the microbial ecosystems in different people governed by the same host-independent ecological principles, represented by a characteristic (i.e. €œuniversal) mathematical model? Answering this question determines the feasibility of general therapies and control strategies for the human microbiome. I will introduce our novel methodology that distinguishes between two scenarios: host-independent and host-specific underlying dynamics. This methodology has been applied to study different body sites across healthy subjects. We also analyzed the gut microbial dynamics of subjects with recurrent Clostridium difficile infection (rCDI) and the same set of subjects after fecal microbiota transplantation (FMT). The results can fundamentally improve our understanding of forces and processes shaping human microbial ecosystems, paving the way to design general microbiome-based therapies.

    - , Using Lanczos for nuclear corrections in muonic atoms and the proton radius puzzle, Nir Nevo Dinur - Racah Institute of Physics, Hebrew U
    Nir Nevo Dinur - Racah Institute of Physics, Hebrew U
    -
    Place: Math seminar room - building 216, room 201

    The most precise determination of the proton charge radius, from a novel muonic hydrogen spectroscopy experiment, disagrees with previous spectroscopy and scattering experiments done with electrons. 

    This 7-sigma discrepancy is known as "proton radius puzzle", and may be the result of hitherto unknown physics. 

    In order to investigate it, experiments with other muonic atoms have been conducted. 

    These experiments rely on accurate theoretical predictions. 

    In particular, their precision is limited by the nuclear corrections. 

    We have calculated these corrections for muonic atoms with A=3,4 nucleons, for the first time using ab-initio methods and state-of-the-art nuclear potentials, significantly improving previous estimates, and contributed also to the A=2 case. 

    This was achieved using a newly developed method, based on the Lanczos algorithm, for the calculation of energy-dependent sum-rules. 

    Our new method and our results will be presented and discussed.

    - , Node-weighted minimal Steiner trees logarithmic approximation, Tomer Davidor and Ido Spector - BIU
    Tomer Davidor and Ido Spector - BIU
    -
    Place: Math seminar room - building 216, room 201

    In this lecture we present an improvement to the running time of the Philip Klein and R.Ravi approximation algorithm. The Philip-Klein algorithm produces a Steiner Tree that is close to the minimal one, by preforming iterations repeatedly. The iteration implementation is based on the distances between the nodes of the graph. The main hypothesis that led to our improvement is that there is no need to find all the distances in the graph but only a part of them. In addition, an example of the algorithm's implementation will be shown. 

    Joint work with Eli Packer, IBM, and Shlomo Yanetz 

    - , Statistical modelling of neuronal assemblies underneath a recording electrode, Lilach Avitan - University of Queensland
    Lilach Avitan - University of Queensland
    -
    Place: Math seminar room, building 216 room 208

    The brain contains billions of neurons each connected to several thousand other neurons. The voltage recorded over the scalp/skull is generated by activity of large population of neurons. Different recorded amplitudes at different states of vigilance are attributed to differences in synchrony level among neurons and different statistical structures of the population; however the relation between the signals and the statistical characteristics of the underlying neural activity is still an open question. We developed a model based on multidimensional stationary stochastic processes to resolve the statistical organization properties of neural assemblies. We showed that despite the many possible options for statistical organizations only very few are mathematically plausible.

    Avner Peleg - Afeka College
    -
    Place: Math seminar room - building 216, room 201

     

    Transmission rates in broadband optical waveguide systems are enhanced by launching
    many pulse sequences through the same waveguide. Since pulses from different sequences
    propagate with different group velocities, intersequence pulse collisions are frequent, and can lead
    to severe transmission degradation. On the other hand, the energy exchange in pulse collisions can
    be beneficially used for controlling the transmission.


    In this work we show that collision-induced amplitude dynamics of soliton sequences of N
    perturbed coupled nonlinear Schrödinger (NLS) equations can be described by N-dimensional
    Lotka-Volterra (LV) models, where the model's form depends on the perturbation. To derive the LV
    models, we first carry out single-collision analysis, which is based on the method of eigenmode
    expansion with the eigenmodes of the linear operator describing small perturbations about the
    fundamental NLS soliton. We use stability and bifurcation analysis for the equilibrium points of the
    LV models to develop methods for achieving robust transmission stabilization and switching that
    work well for a variety of waveguides. Further enhancement of transmission stability is obtained in
    waveguides with a narrowband Ginzburg-Landau gain-loss profile. We also discuss the possibility
    to use the relation between NLS and LV models to realize transition to spatio-temporal chaos with
    NLS solitons.

     

     

    - , Asymptotic Properties and Stability of Delay Differential Equations, Alexander Domoshnitsky - Ariel
    Alexander Domoshnitsky - Ariel
    -
    Place: Math seminar room - building 216, room 201

    Delays, arising in nonoscillatory and stable ordinary differential equations, can induce oscillation and instability of their solutions. That is why the traditional direction in the study of nonoscillation and stability of delay equations is to establish a smallness of delay, allowing delay differential equations to preserve these convenient properties of ordinary differential equations with the same coefficients. In this talk, we find cases in which delays, arising in oscillatory and asymptotically unstable ordinary differential equations, induce nonoscillation and stability of delay equations. We demonstrate that, although the ordinary differential equation x"(t)+c(t)x(t)=0 can be oscillating and asymptoticaly unstable, the delay equation x"(t)+a(t)x(t-h(t))-b(t)x(t-g(t))=0, where c(t)=a(t)-b(t), can be nonoscillating and exponentially stable. Results on nonoscillation and exponential stability of delay differential equations are obtained. On the basis of these results on nonoscillation and stability, the new possibilities of non-invasive (non-evasive) control, which allow us to stabilize a motion of single mass point, are proposed. Stabilization of this sort, according to common belief requires damping term in the second order differential equation. Results obtained in this paper refute this delusion.

    - , Asymptotic Properties and Stability of Delay Differential Equations, Alexander Domoshnitsky - Ariel
    Alexander Domoshnitsky - Ariel
    -
    Place: Math seminar room - building 216, room 201

    Delays, arising in nonoscillatory and stable ordinary differential equations, can induce oscillation and instability of their solutions. That is why the traditional direction in the study of nonoscillation and stability of delay equations is to establish a smallness of delay, allowing delay differential equations to preserve these convenient properties of ordinary differential equations with the same coefficients. In this talk, we find cases in which delays, arising in oscillatory and asymptotically unstable ordinary differential equations, induce nonoscillation and stability of delay equations. We demonstrate that, although the ordinary differential equation x"(t)+c(t)x(t)=0 can be oscillating and asymptoticaly unstable, the delay equation x"(t)+a(t)x(t-h(t))-b(t)x(t-g(t))=0, where c(t)=a(t)-b(t), can be nonoscillating and exponentially stable. Results on nonoscillation and exponential stability of delay differential equations are obtained. On the basis of these results on nonoscillation and stability, the new possibilities of non-invasive (non-evasive) control, which allow us to stabilize a motion of single mass point, are proposed. Stabilization of this sort, according to common belief requires damping term in the second order differential equation. Results obtained in this paper refute this delusion.

    - , On the Trade-off Between Equivalence Constraints and Labels, Liat Ein-Dor - IBM Research
    Liat Ein-Dor - IBM Research
    -
    Place: Department Seminar Room, Building 216 Room 201

    Supervised learning is based predominantly on labeled examples which are often expensive and scarce. An alternative form of supervision is equivalence constraints, i.e. two examples which are known to be from the same/different classes, yet their class labels are unknown. Equivalence constraints are often easier and cheaper to obtain, but the theoretical underpinnings of their learning utility relative to labels is still lacking. In this work we develop novel framework for analyzing the learning utility of equivalence constraints. Specifically, we extend the statistical mechanics Perceptron capacity calculations, used thus far only for labeled data, to supervised learning from equivalence constraints. We then derive generalization bounds for training with equivalence constraints, using a link between Perceptron capacity and Rademacher complexity. We prove that for large sample sizes, a sample with EC supervision becomes as powerful as a fully labeled sample of the same size. We also prove that this result holds even when the examples in the constraints are highly correlated.

    - , Discovering biological functions of RNA structures in silico: new answers to old questions, Alex Schneider, CureLab
    Alex Schneider, CureLab
    -
    Place: Building 216, Room 201

    RNA is a two-level language. The first level is the language of RNA sequence. The second level is the RNA structures and their biological roles. The seminar will discuss new computational approaches to study the roles RNA structures may play controlling gene expression level, temperature adaptation, bacterial and viral evolution.

    - , Analysis of Regenerative Heat Exchanger for Microturbine, Gad Pinhasi - Ariel
    Gad Pinhasi - Ariel
    -
    Place: Seminar Room, Room 201, Building 216

    A “regenerator” is a special purpose counter-flow heat exchanger used to recover waste heat from exhaust gases. In such heat exchangers the energy storage medium is alternately heated by hot combustion products and cooled by the air supplied to the combustion chamber. This type of heat exchanger can have a thermal efficiency of over 90%, transferring almost all the relative heat energy from one flow direction to the other. The study is aimed at the development of an efficient regenerative system for gas turbine engines. The proposed design is based on static chambers regenerator with porous ceramic foam as heat transfer/storage media. A numerical model was developed for theoretical analysis and identification of the parameters controlling the performance of a regenerator. The pressure drop and the heat transfer efficiency were calculated and compared for two porous media types: foam type and squared honeycomb. 

    - , A new analysis of two proximal forward-backward algorithms with and without errors, Daniel Reem - ICMC, University of Sao Paulo
    Daniel Reem - ICMC, University of Sao Paulo
    -
    Place: Building 216, Room 201

    Many problems in science and engineering involve, as part of their solution process, the consideration of a minimization of a composite function F=f+g where f is smooth, g possibly not, and both are convex. The talk will discuss, in generalized settings, two proximal forward-backward algorithms aiming at solving this task. The first is FISTA, a popular accelerated method suggested by Beck-Teboulle. We consider it in Hilbert spaces and allow error terms  which satisfy a certain decay rate. The notion of inexactness we discuss seems to be simpler than the ones discussed in related works  but, interestingly, very similar  decay rates of the error terms yield very similar non-asymptotic convergence rates (in the function values). Our derivation also sheds some light on the somewhat mysterious origin of some relevant parameters. In the second method, which is non-accelerated, the setting is closed and convex subsets of reflexive Banach spaces where the proximal operation is based on a (strongly convex) Bregman divergence. Now, in contrast to previous works, the gradient of f may not be globally Lipschitz continuous. Under certain assumptions a non-asymptotic rate of convergence is established, as well as weak convergence of the whole sequence.

    This is a joint work with Alvaro De Pierro

    - , The Positive Mass Theorem for Multiple Rotating Charged Black Holes, Gilbert Weinstein - Ariel
    Gilbert Weinstein - Ariel
    -
    Place: Building 216, Room 201

    In this talk I will present a lower bound for the ADM mass given in terms
    of the angular momenta and charges of black holes present in axisymmetric
    initial data sets for the Einstein-Maxwell equations. This generalizes the
    mass-angular momentum-charge inequality obtained by Chrusciel and Costa to
    the case of multiple black holes. We also weaken the hypotheses used in the
    proof of this result for single black holes, and establish the associated
    rigidity statement. The proof uses an existence result for harmonic maps
    with prescribed singularities.

    This is joint work with Marcus Khuri

    http://arxiv.org/abs/1502.06290
     

    - , Covering in the Plane, Shai Gul - BIU
    Shai Gul - BIU
    -
    Place: Building 216, Room 201

    We consider the problem of efficiently covering a domain by unit discs. This problem has applications in optimal cellular antennae placement, facility location any many other similar problems. Our main interest is a result by W. Blaschke, which determines an upper bound to the number of unit discs which are needed to cover a given convex domain . Blaschke showed that a domain can be covered with  2A/3 sqrt(3) + 2L/ pi sqrt(3) + 1  (1)  unit circles, where A is the area of the given domain and L the perimeter. This result is due to the properties of the hexagonal lattice. This talk will be composed of three main results. First, we will show that in special cases Blaschke's result can be improved and then show how to locate the hexagonal lattice in these cases. Second, we will give a sufficient condition under which (1) can be improved. Third, we will give an algorithmic approach which determines the exact position of the hexagonal lattice, such that the number of unit hexagons (in the hexagonal lattice) which hit the domain is minimized.

    - , Folding Mathematics into Origami, Ethan Berkove - Lafayette
    Ethan Berkove - Lafayette
    -
    Place:

    Origami is the traditional Japanese art of paper folding.  In the past 30 years investigations into folding properties have not only resulted in many stunning models, but also a surprising number of applications.  In this talk we will provide an introduction to some of the mathematics of folding, including various theoretical notions of what sorts of folds are possible.

     

     

    - , High Spectral Efficiency OFDM Based on Complex Wavelet Packets, Yosef Ben Ezra - Holon
    Yosef Ben Ezra - Holon
    -
    Place:

    (OFDM = Orthogonal frequency-division multiplexing

     

    We propose a novel type of CO-OFDM based on the recently developed dual-tree complex WPT (DT-CWPT). In particular, polarization mode dispersion (PMD) can be compensated by digital signal processing using a DT-CWPT which is characterized by a single-side band. Numerical simulations show that the 1 Tb/s single-channel CO-OFDM transmission over the distance of 1800 km with the spectral efficiency (SE) of 7.88 bit/s/Hz can be realized.

     Joint work with D. Brodeski, B.I. Lembrikov

    - , Interdependencies in the financial global village, Dror Kenett - Boston U
    Dror Kenett - Boston U
    -
    Place:

    This talk will present a new framework for quantification of the coupling and interdependences between different financial markets. The employment of ideas and techniques from complexity science and the proposed theory of coupled and interdependent networks to understand and quantify the role of connections and dependencies within a system and between different ones opens the possibility to manage the complexity, optimize the systems and reduce their vulnerability to failures. More specifically, we investigate the stock-stock correlations in individual markets as local market dynamics, and the correlation of correlations, meta-correlations, which represents global market dynamics. Furthermore, we make use of the recently introduced dependency network methodology, which enables a quantification of the influence relationships between the different markets. The methodologies presented provide the means to track the flow of information between different markets, and can be used to identify changes in correlations in strongly coupled markets. Finally, we will discuss different applications of network science in finance and economics, which demonstrate who one can use empirical financial data to construct a network that represents the financial system, and then use it to study different aspects such as structure, dynamics and stability.

    The world has become a global village, and this village is becoming smaller and smaller, with the continuous introduction of ways to interact and connect to other people. Thus, the methodology outlined in this talk will provide new tools and means to quantify, characterize and manage the complexity of the world’s economy. The methodologies presented here can be used as the basis for quantitative early warning tool, a “financial seismograph”, which will provide policy makers the necessary precursors for significant local and global economic events.

    , A Robust Shadow Matching Algorithm for GNSS Positioning, Boaz Ben Moshe - Ariel
    Boaz Ben Moshe - Ariel
    Place:

     Commercial GNSS devices tend to perform poorly in urban canyon environments. The dense and tall buildings block the signals from many of the satellites. In this talk, we present a particle filter algorithm for Shadow Matching framework to face this problem. Given a 3D city map and given the
    satellites' signal properties, the algorithm calculates in real-time invalid regions inside the Region Of Interest (ROI). This approach reduces the ROI to a fraction of its original size. We present a general framework for Shadow Matching positioning algorithm based on a modified particle filter. Using simulation experiments we have shown that the suggested method can improve the accuracy of existing GNSS devices in urban regions. Moreover, the proposed algorithm can be efficiently extended to 3D positioning in high sampling rate, inherently applicable for UAVs and Drones.

    Baruch Barzel, BIU
    Place:

    The recent years have seen spectacular advances in our understanding of the structure of complex networks, providing detailed maps of social and technological systems, cellular networks and food webs. The ultimate goal of these efforts is to be able to translate these topological findings into dynamical predictions on the system's observable behavior. However, our progress in this direction is hindered by a crucial lacuna: *the absence of microscopic models that describe the dynamics of many of the relevant complex systems*. The challenge is that these systems are, in effect, a black box. We can observe their macroscopic behavior, e.g., track the spread of an epidemic, but we have no direct access to the microscopic exchanges taking place between the nodes, i.e. the dynamical model that most accurately describes the processes of infection and recovery. Metaphorically, the task of unveiling these microscopic dynamics, is equivalent with an attempt to recover the structure of a car's engine directly from observations of its macro-scale behavior, having no direct access to what is under the hood. Hence we developed a reverse engineering method to infer the microscopic dynamics of a complex system directly from observations of its response to external perturbations. The formalism allows us to construct the most general class of continuum models that are consistent with the observed behavior.

    Guy Lendesman - BIU
    Place:

    We consider a second order delay differential equation with impulses. In this paper we find necessary and sufficient conditions of positivity of Green's functions for this impulsive equation coupled with one or two-point boundary conditions in the form of theorems about differential inequalities. By choosing the test function in these theorems, we obtain simple sufficient conditions.

    , Social Choice: A Dynamical Consensus Model, Boris Brodsky - State University of Moscow
    Boris Brodsky - State University of Moscow
    Place:

    The main conclusion of more than 50 years of evolution of the theory of social choice (Mueller, 2000) is as follows: in the world constructed according to Arrow’s model of social choice only different forms of collective oppression can exist. Weale (Theory of Choice, 1992) gives the following vision of an alternative model of social choice: "An alternative model of collective choice would be most likely to present it not as a process of preference aggregation, in which there is a mapping from a set of individual orderings to a social ordering, but as a process of dialog in which reasons are exchanged between participants in a process that is perceived to be a joint search for a consensus".

    In this report I aim at construction of this alternative model of social choice based on the value-powered exchange of economic or symbolic goods. I demonstrate below that under some natural hypotheses about individual demand and supply functions of goods, the social consensus is possible, i.e. there exist stable stationary points in multivariate systems of social exchange of economic or symbolic goods. These stable stationary points are interpreted as the social consensus points in dialogic (or poly-logic) processes of social choice.

    Hila Brot, BIU
    Place:

    Real world networks are characterized by common features, including among others a scale free degree distribution, a high clustering coefficient and a short typical distance between nodes. These properties are usually explained by the dynamics of edge and node addition and deletion.

    We here propose to combine the dynamics of the nodes content and of the edges addition and deletion, using a threshold automata framework. Within this framework, we show that the typical properties of real world networks can be reproduced with a Hebbian approach, in which nodes with similar internal dynamics have a high probability of being connected. The proper network properties emerge only if an imbalance exists between excitatory and inhibitory connections, as is indeed observed in real networks.

    We further check the plausibility of the suggested mechanism by observing an evolving social network and measuring the probability of edge addition as a function of similarity between contents of the corresponding nodes. We indeed find that similarity between nodes increases the emergence probability of a new link between them.

    Avigdor Eldar - TAU
    Place:

    Microbial communication by ‘quorum sensing’ (QS) systems, where microbes produce and respond to a signaling molecule, enable cells to sense their local density and coordinate a cooperative response to their environment. Many QS systems show intraspecific divergence in terms of specificity, where a signaling molecule from one strain activates its cognate receptor but fails to activate those of other strains in the same species. It is unclear how can a signaling molecule and its receptor co-evolve and what evolutionary forces maintain this divergence. In this lecture I will present a mathematical model and experimental results that explain how such divergence can occur based on social grounds. Briefly, if QS regulates the secretion of public goods, which benefit the community at a cost to the producer, then divergent QS receptor mutants will invade their ancestral population by exploitation, but will subsequently be invaded by a fully divergent signal-receptor mutant through social manipulation. Experimentally, we utilized both natural and synthetic QS-dependent social traits to establish a social selection system in the QS-divergent model bacterium Bacillus subtilis. Using competition assays we find that the predicted scheme of divergence is verified in both well mixed and structured environments. These results demonstrate the complexity of social interactions and their evolutionary outcomes in the simplest organisms.

    Einat Fuchs - Princeton
    Place:

    Animals' ability to demonstrate both stereotyped and adaptive locomotor behavior is largely dependent on the interplay between centrally-generated motor patterns and the sensory inputs that shape them. Theoretical predictions suggest that the degree to which sensory feedback is used for coordinating movement depends on the specific properties of the movement and the environment; i.e when animals navigate slowly  through a complex environment where great precision is required, motor activity is expected to be mostly modulated by neural reflexes and sensory information. In contrast, during fast running or under noisy conditions, the relatively slow neural processing makes feedback-based coordination unlikely.

    Our research attempts focus on studying the relative importance of central coupling of pattern generating networks vs. intersegmental afferents for locomotion in the cockroach, an animal that is renowned for rapid and stable running. In order to do so, we combine neurophysiological and behavioral experiments with simulations of stochastic models of coupled oscillators. Specifically, we record neural activity patterns and monitor behavior of preparations whose legs movements are controlled and manipulated. The recorded traces are then compared with model generated activity to estimate underlying physiological parameters using maximum likelihood techniques. Our findings suggest segmental hierarchies, speed-dependent control and provide insights to how sensory information from a moving leg dynamically modulates centrally generated patterns. I will discuss these and suggest movement-based feedback in cockroach locomotion as a model system to study the bidirectional interactions between motor control and sensory processing in general.

    Avraham I Kudish - Ben Gurion
    Place:

    The Dead Sea basin offers a unique site to study the attenuation of solar ultraviolet radiation, as it is situated at the lowest terrestrial point on the earth, about 400 m below sea level. In view of its being an internationally recognized center for photoclimatherapy of various skin diseases, it is of interest to study both its UV intensity and attenuation as a function of wavelength relative to other sites. In order to provide a basis for inter-comparison of the solar radiation intensity parameters measured at the Dead Sea, a second set of identical parameters are measured simultaneously at a second site (Beer Sheva), located at a distance of ca. 65 km to the west and situated above sea level. The existing database consists of measurements from January 1995 to the present. The results of this on-going research project will be presented and the relevance of these findings with regard to the success of photoclimatherapy at the Dead Sea medical spas.

    In addition, the broad-band normal incidence UVB beam irradiance has been measured at Neve Zohar, Dead Sea basin, using a prototype tracking instrument composed of a Model 501A UV-Biometer mounted on an Eppley Solar Tracker Model St-1. The application of the results of these measurements to the photoclimatherapy protocol for psoriasis patients at the Dead Sea medical spas is now under investigation. The suggested revision would take advantage of the very high diffuse fraction by allowing the patient to receive the daily dose of UVB irradiance without direct exposure to the sun, viz., receive the diffuse UVB irradiance under a sunshade. This would require an increase in sun-exposure time intervals, since the UVB irradiance intensity beneath a sunshade is less than that on an exposed surface.

    , Local Topological Stability Bounds of Magentohydrodynamics, Asher Yahalom - Ariel
    Asher Yahalom - Ariel
    Place:

    It is shown that an Aharonov-Bohm (AB) effect exists in magnetohydrodynamics (MHD). This effect is best described in terms of the MHD variational variables [1, 2]. If a MHD flow has a non trivial topology some of the functions appearing in the MHD Lagrangian are non-single valued. These functions have properties similar to the phases in the AB celebrated effect. While the manifestation of the quantum AB effect is in interference fringe patterns, the manifestation of the MHD Aharonov-Bohm effects are through new dynamical conservation laws which also serve as local stability bounds.

    Eli Packer - IBM Research
    Place:

    We propose a novel approach of distance-based spatial clustering and contribute a heuristic computation of input parameters for guiding users in the search of interesting cluster constellations. Our approach entails displaying the results of the heuristics to users, providing a setting to start the exploration from. We provide in addition interaction capabilities with visual feedback for exploring further clustering options and the ability to cope with noise in the data. We
    evaluate our approach on a sophisticated artificial dataset and demonstrate its usefulness on real-world data. Our evaluations reveal the performance and behavior of our approach under different conditions and prove beneficial for exploring complex clusters in sets of data.

    Joint work with Peter Bak, Mikko Nikkila, Valentin Polishchuk, and Harold J. Ship

    Milana Frenkel-Morgenstern - Spanish National Cancer Research Centre
    Place:

    Early identification of cancer is key to preventing metastasis and improving patient survival. The more sensitive a diagnostic tool, and the more information it provides on the potential susceptibility of disease cells to specific therapies, the better the chances of delivering a successful treatment regimen to individual patients. The phenomenon of chimeric RNA transcripts (i.e., fusion of two separate transcripts) in both normal and disease tissues has been well established, however, in only a few exceptions has abnormal function been associated. To identify fusion transcripts that contribute to pathogenesis or that can aid in diagnosis, I have built mathematical tools for analyzing the enormous amount of data deriving from new RNA sequencing technologies that have been applied to cancer analysis. I have found that transcript fusion events are common events in cancer, and may be useful in diagnosing cancer and selecting the most effective therapeutic strategy for individual patients. Chimeric transcripts often give rise to the expression of fusion proteins, which now can interact with a novel combination of protein partners, often combining many of the partner proteins of the two parent polypetides, as well as making new interactions with as yet unidentified partners. I have developed a systematic method based on computer algorithms and mathematical modeling for identifying significant changes to the Protein Protein Interaction (PPI) Network that occurs upon the appearance of a novel fusion protein. My goal is to map the PPI networks of cancer-associated fusion proteins and their association with cancer-related metabolic profiles using the graph theory and stochastic models, in order to uncover novel onco-genes, signaling pathways, and up- stream or downstream kinases that could be inhibited as a part of a personalized anti-cancer therapeutic regimen.

    , Computational Chemistry –Theory and Examples, Dr. Haya Kornweitz - Ariel
    Dr. Haya Kornweitz - Ariel
    Place:

    A brief introduction to computational chemistry.

    Results of combined experimental and computational research, using G09 program, are shown:

    1.The mechanism of the reaction between hydrogen peroxide and Co(II).

    2.The partial charge on Cu(III) in Cu(CO3)2

     

     

     

     

    , Local Topological Stability Bounds of Magentohydrodynamics, Asher Yahalom - Ariel
    Asher Yahalom - Ariel
    Place:

    It is shown that an Aharonov-Bohm (AB) effect exists in magnetohydrodynamics (MHD). This effect is best described in terms of the MHD variational variables. If a MHD flow has a non trivial topology some of the functions appearing in the MHD Lagrangian are non-single valued. These functions have properties similar to the phases in the AB celebrated effect. While the manifestation of the quantum AB effect is in interference fringe patterns, the manifestation of the MHD Aharonov-Bohm effects are through new dynamical conservation laws which also serve as local stability bounds.

    Ilan Gronau - Cornell
    Place:

    High throughput DNA sequencing has transformed the landscape of genomic data and is expected to revolutionize our knowledge of evolution and genomic function. However, the abundant sequence data also poses serious computational challenges, and realizing its full potential requires developing efficient and reliable computational and statistical inference methods. This talk will cover work that I have done as part of my postdoctoral research, utilizing newly emerging genomic
    data sets and population genetic models to examine several open questions in evolution. I will start by describing a study I conducted of ancient human population demography in Africa, focusing on one of the deepest population divergence events in human history, dating roughly 130 thousand years ago. I will then present work I did as part of a large-scale collaborative effort to study the early evolution of dogs using the complete genome sequences of two dogs and three gray wolves. I will show how we were able to settle several longstanding debates revolving around the origins of dogs using these genomes and an innovative computational approach I developed. Lastly, I will describe a parallel line of research I have been recently conducting, trying to understand the evolutionary roles of non coding regulatory elements in the human genome. The talk will describe the computational challenges involved in these three studies. I will outline the methods developed to address these challenges, and present the main findings and their significance. I will conclude with a short survey of my ongoing research, and a map of the opportunities and challenges we face in the study of evolution in a world of rapidly evolving genomic data sets.

    Note: the talk does not require any prior biological knowledge.

    , Averaging of ordinary differential equations and averaged optimization, Ido Bright, University of Washington
    Ido Bright, University of Washington
    Place:
    Averaging ordinary differential equations provides a method of approximating the solutions of highly oscillatory equations, or equations with coupled fast and slow variables. Modern methods of averaging fast-slow control systems, introduced in works of Artstein, Gaitsgory and Leizarowitz, employ occupational/empirical measures to provide a variational limit, whose solution approximates the slow variable. Occupational measures are probability measures that provide statistical information of a curve in space, and we study the structure of the set of occupational measures through infinite-horizon optimal control, with an averaged cost.

    Both averaging and infinite horizon optimization have many applications in physics, engineering and operations research, we present new results in both fields, as well as in averaged shape optimization.
     
    , Matter-wave solitons in ultracold quantum gases, Lev Khaykovich - Physics, BIU
    Lev Khaykovich - Physics, BIU
    Place:

    I will overview the on-going research of matter-wave solitons in dilute atomic gases. After a brief discussion of the experimental status and basic theory, I shall concentrate on quantum mechanical properties of these objects, namely on creation of quantum superposition and entangled states via scattering of solitons off the potential barrier. I will compare between quantum and mean-field descriptions of the system and will consider the possibility to distinguish these states from the classical statisitical mixtures. 

    V.Maksimov - Perm State University
    Place:

    The following questions will be considered and discussed:
    Brief description of the principal facts from the theory of linear functional differential equations (FDE).
    Boundary  value problems (BVP) and control problems(CP) for FDE: setting up and conditions of the solvability.
    Computer-assisted study of the solvability of BVP and CP.
    Classes of control actions: L_2 - , impulsive, mixed controls.
    Applications to dynamic models of economics

    Daniel Solarz - BIU math
    Place:

    In this talk we will introduce a discrete version of the Vekua equation in elliptic complex numbers. For the case of constants coefficients we will show a discrete version of the Principle of Similarity, in which a solution can be expressed as a product in which one factor is a discrete holomorphic fuction in elliptic complex numbers.

    , Analytical methods in numerical ODEs, Yaakov Krasnov - BIU
    Yaakov Krasnov - BIU
    Place:

    The development of new topological and algebraic tools related to the non-linear spectral theory and generalization of complex structures in commutative non-associative algebras for solution to polynomial ODEs is proposed.

    The obtained methods will be used to study qualitative behavior of homogeneous polynomial systems (including the existence of bounded/periodic solutions, existence of an algebraic first integrals, etc.).

    The results may be applied to studying classical quadratic systems arising in chemistry, solid body physics and engineering.

    , An Overview of Ocean Modeling in the Eastern Mediterranean Sea, Steve Brenner - Geography and Environment, BIU
    Steve Brenner - Geography and Environment, BIU
    Place:

    During the past thirty years renewed interest in investigating the circulation of the Mediterranean Sea in general and specifically the eastern Mediterranean, has led to the rapid development and application of ocean models to this area. The models are used to improve our scientific understanding of the system as well as for forecasting and assessing potential environmental impacts of anthropogenic activities such as the recent exploration and exploitation of offshore gas and oil reserves. At the center of these modeling systems is the circulation model which is based on the primitive equations form of the Navier-Stokes equation. The numerical schemes are generally based on second order accurate finite differencing the Eulerian form of the equations. In this lecture a general overview will be given of ocean modeling in the eastern Mediterranean. Examples will be shown for climate scenario simulations, for an operational ocean forecasting system, and for recent downstream applications such as an ecosystem model and for an oil spill model.

    , Waves in Random Media: Diffusion, Localization and more, V. Freilikher - Physics, BIU
    V. Freilikher - Physics, BIU
    Place:

    The talk is a short introduction to the physics of wave processes in inhomogeneous media with fluctuating parameters. I will present the mathematical approaches commonly used in this area, and the most interesting physical results, with emphasis on the recent investigations of Anderson localization and its applications in optics and radiophysics.

    , A Rigorous Proof of the Maxwell-Claussius-Mossotti Formula, Yaniv Almog - Louisiana State University
    Yaniv Almog - Louisiana State University
    Place:

    We consider a large number of identical inclusions (say spherical), in a bounded domain, with conductivity different than that of the matrix. In the dilute limit, with some mild assumption on the first few marginal probability distribution (no periodicity or stationarity are assumed), we prove convergence in H1 norm of the expectation of the solution of the steady state heat equation, to the solution of an effective medium problem, which for spherical inclusions is obtained through the
    Maxwell-Clausius-Mossotti formula. Error estimates are provided as well.

    , On the Positive Solutions of Functional Differential and Discrete Equations, Roman Koplatadze - Tbilisi State Univ
    Roman Koplatadze - Tbilisi State Univ
    Place:

    see attached file

    Daniel Solarz, Math BIU
    Place:

    The Cauchy-Kovaleskaya Theorem provides sufficient conditions for an elliptic linear equation on the plane with evolution in time to have solutions with prescribed initial value functions. That these conditions cannot be freely relaxed comes by the celebrated Lewy's example of a system with no solutions. In [3] the technique of associated operators is used to establish conditions for solvability provided the initial pair is holomorphic. This result is further generalized to the case when the initial pair is holomorphic in elliptic complex numbers in [1]. In this talk we will discuss some key aspects of this latter result and how can these be used as a tool to generalize results valid for ordinary holomorphic functions.

    [1] Alayon-Solarz D., Vanegas C.J., "Operators Associated to the Cauchy-Riemann Operator in Elliptic Complex Numbers" Advances in Applied Clifford Algebras, DOI: 10.1007/s00006-011-0306-4, 2011.

    [2] Lewy, H., "An example of a smooth linear partial differential equation without solution", Annals of Mathematics 66 (1): 155-158, doi:10.2307/1970121,1957.

    [3] Son L. H. and Tutschke W., "First Order differential operators associated to the Cauchy-Riemann equations in the plane", Complex Variables and Elliptic Equations, Vol. 48, No. 9, pp 797-801, 2003.

    This is a joint work with C.J. Vanegas

    , Buildup of collective behavior in marching locust nymphs, Gil Ariel - Math Dept, BIU
    Gil Ariel - Math Dept, BIU
    Place:

    Locust swarming is an astounding natural phenomenon. Yet, our understanding of the mechanisms leading to formation of swarms and the complex interactions between the swarm and the environment are still far from complete. In recent years, these questions have been put in the broader context of collective motion, relating to macroscopic synchronization and collective behavior of large numbers of moving individuals.

    I will describe a comprehensive approach for a systematic investigation of the mechanisms and principal animal-animal interactions leading to the emergence of collective behavior in marching locusts swarms from new experimental results using custom-made multiple-target tracking algorithms, a statistical analysis of the dynamics within a swarm revealing the key interactions between individuals to modeling the swarm and a multiscale analysis of its dynamics.

    Joint work with Amir Ayali and Yotam Ofir (TAU Biology) and Sagi Levi (BIUMath).
     

    Yuval Garini - Physics, BIU
    Place:

    The human genome contains tenth of thousands of genes that are organized in chromosomes and packed in the nucleus of the cell. How can the chromosomes and DNA that are highly dynamic stay organized in territories without any compartmentalization?
    We study the organization by following the dynamics of various genetic sites using single particle tracking. The dynamics is analyzed by using diffusion models and was found to be transient anomalous diffusion. This type of diffusion can be explained by assuming that the DNA forms temporal loops through a certain mediator. We identified a candidate protein (Lamin A) and show the effect of this protein deficiency in cells. Single molecule methods that we use for studying protein-DNA interaction will also be demonstrated.

    , Degree Based Attacks and Defense Strategies in Complex Networks, Aviv Yehezkeal - Dept of Mathematics, Bar-Ilan
    Aviv Yehezkeal - Dept of Mathematics, Bar-Ilan
    Place:

    We study the stability of random scale-free networks to degree dependent attacks. We present analytical and numerical results to compute the critical fraction of nodes that need to be removed for destroying the network under this attack for different attack parameters.  We study the effect of different defense strategies, based on the addition of a constant number of links on network robustness. We test defense strategies based on adding links to either low degree, mid degree or high degree nodes. We find using analytical results and simulations that the mid degree nodes defense strategy leads to the largest improvement to the network robustness against degree based attacks. We also test these defense strategies on an Internet AS map and obtain similar results.

    This is a joint work with Reuven Cohen.

    , On the structure polynomial of first order linear systems on the plane, Daniel Alayon-Solarz - Universidad Simon Bolivar, Venezuela
    Daniel Alayon-Solarz - Universidad Simon Bolivar, Venezuela
    Place:

    We consider the hydrodynamics and magnethydrodynamic models from point of view the Vekua's theory of Generalized Analytic Functions. Also, the discrete case has been recently studied. An important result of Vekua's theory of generalized analytic functions is the construction of the canonical form for uniformly and linear elliptic system of equations on the plane by solving an associated Beltrami equation. In this talk we will introduce the concept of structure polynomial of linear first order systems on the plane and show how the induced algebraic structure allows to avoid solving a Beltrami equation for a family of cases even when the system is not uniformly elliptic.

    , Point Location with Slab Decomposition, Ron Yishai - Math Dept, Bar-Ilan
    Ron Yishai - Math Dept, Bar-Ilan
    Place:

    Point Location is a fundamental problem in Computational Geometry. Given a partition of the Euclidean space into disjoint areas, the problem faces the question: "In which area lies a given point?". This problem also reflects to world of data structure, because of the need to create a suitable structure that will keep the data and allow answering the question efficiently for any given point. We will introduce a method called Slab Decomposition which solves the problem in a simple and efficient way by using advanced search trees, called Persistent.  Moreover, we have programmed this method and approved it to be useful.

    , PDE problems arising in mathematical biology, Avner Friedman
    Avner Friedman
    Place:

    Recent years have seen a dramatic increase in mathematical models of biological processes that are described in terms of systems of partial differential equations. In this talk I will give some examples of such models and discuss the mathematical challenges that arise in the analysis of these systems. Examples include cancer models as  free boundary problems for  systems of elliptic-parabolic-hyperbolic equations; a wound healing process modeled by means of Stokes equation with a free boundary, and a reaction-hyperbolic system which arises in the movement of neurofilaments in axons.  Recent results and open questions will be described.

    , Spectral Geometry on Graphs, Ram Band - Math Department, University of Bristol
    Ram Band - Math Department, University of Bristol
    Place:

    The talk's theme is the extraction of geometric information about graphs (metric or combinatorial) from the spectra of the graph's Schroedinger operators (continuous or discrete), and from the distribution of sign changes on the corresponding eigenfunctions. These include questions such as e.g., the ability to "hear the shape of the graph"; the extent to which the spectral sequence and the sequence of the number of sign changes (or number of nodal domains) complement or overlap each other; the derivation of topological information from the study of the response of the spectrum to variation of scalar or magnetic potentials on the graph, etc.

    In the present talk I shall illustrate this research effort by reviewing several results I obtained recently. The first example answers the question "Can one count a tree?" which appears in the following context:  It is known that the number of sign changes of the eigenfunction on tree graphs equals to the position of the corresponding eigenvalue in the spectrum minus one. Is the reverse true? If yes, one can tell a tree just by counting the number of its sign changes. For the proof I shall introduce an auxiliary magnetic field and use a very recent result of Berkolaiko and Colin de Verdiere to connect the spectrum and the number of sign changes.  Next, I will discuss the band spectrum obtained by varying the magnetic phases on the graph. I will prove that the magnetic band-to-gap ratio (quality of conductance) is a universal topological quantity of a graph.  This result highlights the spectral geometric importance of this invariant and sheds a new light on previous works about periodic potentials on graphs.

    The talk contains content of a work in progress with Gregory Berkolaiko.

    , Estimating bond price volatility from yield volatility, Felix Polyakov
    Felix Polyakov
    Place:

     

    Disclaimer: This talk outlines author's personal view

    Derivative pricing is especially challenging in novel and illiquid markets where pricing relies greatly on assumptions and models rather than on known flow of market prices. In the novel market of shekel bond options the estimate of implied volatility could be based on the information about other – more liquid – financial instruments in the market. Here we show relevance but not equivalence of the information from the market of shekel swap rates (volatility of swap rates) to the market of bond
    prices (volatility of bond prices). An approximation of bond price implied volatility based on known yield implied volatility may be potentially useful in pricing shekel bond options. We applied numerical simulations and analyzed historical data to examine the validity of such approximation.

    , Thermal Explosion of Polydisperse Fuel Spray, Vladimir Gol'dshtein - Math, Ben Gurion University
    Vladimir Gol'dshtein - Math, Ben Gurion University
    Place:


    We investigated the effects of polydispersity of fuel droplets on the thermal explosion. The size distribution of combustible fuel droplets is approximated  by  corresponding continuous  probability density functions (PDF). The approach was proposed three years ago in our previous works. Comparatively with the parcel method the PDF-method permits us to obtain simple and compact mathematical models. We obtained an explicit expression for the critical condition for thermal explosion. Numerical simulations demonstrate an essential dependence of the thermal explosion limit on the different probability density function type.

    Yisrael Chaskalovic - Ariel
    Place:

    Classical results analysis of numerical methods is very often limited to the description of tables or graphs of isovalues. This treatment of this "low level" analysis results from the enormous mass of data to be analyzed by inappropriate tools. Our purpose is to suggest a new methodology for numerical data analysis, based on exploratory data mining techniques that have proved in other areas like in biology, medicine, marketing, advertising and communications, all producing "bulimic" data. The principle of the method is based on the constitution of databases of the entire information produced by numerical approximation of mathematical models to assess and to compare the significant differences of performance by the help of techniques like decision trees, Kohonen cards, or neural networks.

    Yaniv Zaks - Math, BIU
    Place:

    Abstract: In this talk we will discuss some optimization problems in insurance. We consider a portfolio containing heterogeneous risks. The premiums of the policyholders might not cover the amount of the payments which an insurance company pays the policyholders. When setting the
    premium, this risk has to be taken into consideration. On the other hand the premium that the insured pays has to be fair. This fairness is measured by a function of the difference between the risk and the premium paid. For a given small probability of insolvency, we find the premium for each class, such that the difference function is minimized. Further results are achieved by doing the calculations in terms of utility instead of money. We find that by choosing the appropriate utilities function it is possible to derive a wide range of premium principles as the optimal solution. Finally, we expand the results to the long-run model by considering a Markov chain in order to calculate the probabilities of insolvency during the years.

    (Continuation of lecture from March 18)

    , Mathematical Model Growth and Treatment of Bladder Cancer, Svetlana Bunimovich-Mendrazitsky
    Svetlana Bunimovich-Mendrazitsky
    Place:

    Bladder cancer (BC) is the most frequently occurring urological cancer and the fifth most common cancer among men, accounting for approximately 200,000 new cases worldwide annually. We developed a multi scale cellular automata (CA) model to study the growth of BC.

    According to existing statistics, 80% of BC patients had occupational exposure to chemical carcinogens (rubber, dye, textile, or plant industry) or/and were smoking regularly during long periods of time. The carcinogens from the bladder lumen affect umbrella cells of the urothelium (epithelial tissue surrounding bladder) and then subsequently penetrate to the deeper layers of the tissue (intermediate and basal cells). It is a years-long process until the carcinogenic substance will accumulate in the tissue in the quantity necessary to trigger DNA mutations leading to the tumor development. We address carcinogen penetration (modeled as a nonlinear diffusion equation with variable coefficient and source term) within the cellular automata (CA) framework of the urothelial cell living cycle. Our approach combines both discrete and continuous models of some of the crucial biological and physical processes inside the urothelium and yields a first theoretical insight on the initial stages of the BC development and growth.

    For the treatment, we present a modeling study of bladder cancer via pulsed immunotherapy with Bacillus Calmette-Gue´rin (BCG) - an attenuated strain of Mycobacterium bovis (M. bovis). Impulsive differential equations are used for studying periodic BCG instillations (pulsed BCG therapy). The mathematical relationships between schedule (pulsing frequency) and dose (therapy strength) are determined through appropriate mathematical analysis. The final goal in all this work is to determine the applicable treatment regime that prevent immune system side effects from BCG and enhance tumor destruction.

    Authors: Svetlana Bunimovich-Mendrazitsky, Helen Byrne, Eliezer Shochat, Eugene Kashdan, Israel Chaskalovic and Lewi Stone

    , The Variance of Standard Options, Adi Ben Meir, Department of Mathematics, Bar-Ilan
    Adi Ben Meir, Department of Mathematics, Bar-Ilan
    Place:

    The most commonly used theory of option pricing is the Black-Scholes PDE model, which is used to obtain the expectation (first moment) of an option's current value. We show that modified Black-Scholes PDEs can be used to obtain the n-th moment of an option's current value. We demonstrate how to find the second moment and the zeroth order moment for  different standard options (European options, barrier options, American options), and use this to find the variances of the option values, and the probabilities to  expire worthless.These latter two quantities give us a perspective of the option's risk, which is important in investment decisions and in pricing theories.

    , Pricing Insurance portfolio related to the risk of insolvency, Yaniv Zaks, Dept of Mathematics, BIU
    Yaniv Zaks, Dept of Mathematics, BIU
    Place:

    In this talk we will discuss some optimization problems in insurance. We consider a portfolio containing heterogeneous risks. The premiums of the policyholders might not cover the amount of the payments which an insurance company pays the policyholders. When setting the premium, this risk has to be taken into consideration. On the other hand the premium that the insured pays has to be fair. This fairness is measured by a function of the difference between the risk and the premium paid. For a given small probability of insolvency, we find the premium for each class, such that the difference function is minimized. Further results are achieved by doing the calculations in terms of utility instead of money. We find that by choosing the appropriate utilities function it is possible to
    derive a wide range of premium principles as the optimal solution. Finally, we expand the results to the long-run model by considering a Markov chain in order to calculate the probabilities of insolvency during the years.

    , Some practical aspects of numerical methods for parabolic equations, David G. Zeitoun - Orot College
    David G. Zeitoun - Orot College
    Place:

    Flow through heterogeneous porous media is well represented by
    parabolic equations. One of the well known practical aspects of this
    theory is groundwater movement through soil.

    The talk  is dedicated to the problem of large scale groundwater
    modeling where the available groundwater level data and pumping tests
    are scarce, and in addition, the spatial distribution of the
    groundwater data is not homogeneous. For a specific pumping area, head
    data are available, while for other large areas of the aquifer limited
    data is available. In such an aquifer the use of the classical
    numerical methods may lead to inaccurate results. This is due to the
    fact that the whole calibration process is validated using limited and
    scarce groundwater data. Thus, in regions where head data are not
    available the calibration is less accurate. Moreover, the head results
    are sensitive to changes of the permeability parameters.

    In the present contribution, we propose a modeling approach based on
    cell model. The present cell model (called the ACM method) is
    currently operating at a regional scale and its goal is to compute the
    groundwater fluxes entering into or leaving a given region using a
    first level calibration model that conserves the mass balance. The
    cell model is derived from the general groundwater flow equations
    using a finite volume approach combined with a mixed formulation.
    Within this advanced cell model, the cells are defined according to
    the hydrogeology of the aquifer and the state variables may be whether
    the water level and/or the flux rate entering or leaving the cells.
    The general software was developed using MATLAB 7 software connected
    via COM technology with a Visual Basic graphical user interface.

    The approach was implemented on a real case study of the Yarkon
    Taninim aquifer in Israel

    The ACM approach allows introducing to the model recharge input and
    boundary conditions at a large scale. This enables getting better
    estimates of the mass balance in the aquifer.

    Also the ACM model may be used as a pre-model for large scale modeling
    and combined with a high resolution model for a specific region where
    the boundary conditions are created by the ACM model.

    - , Self assembling pore networks: high order curvature driven flows, Nir Gavish - Michigan State University
    Nir Gavish - Michigan State University
    -
    Place:

    Energy conversion devices, such as fuel cells, lithium ion batteries,
    and photocatalytic devices operate by selective conduction of charged ions
    through a membrane.  The membranes are created by emerging polymer
    electrolytes in a solvent in which the polymers spontaneously form
    nanoscale pore networks which serve as primitive ion channels.

    I this talk, I present a novel model for the self-assembly of the nanoscale
    pore network as a gradient ן¬ ow along classes of competing interfacial and
    bending energies.  I present a sharp interface analysis of the model, and
    show that the evolution laws for the pores are given by high-order
    Ricci-curvature flows, coupled to interfacial dynamics.

    We use our model, in conjunction with experimental scattering data, to
    study the morphology of Nafion, the industry standard polymer electrolyte
    membrane used in Fuel Cells.

    This is a joint work with Keith Promislow.

    , Alpha-Shape Based Classification with Applications to Optical Character Recognition, Eli Packer - IBM Research Laboratory ,Haifa
    Eli Packer - IBM Research Laboratory ,Haifa
    Place:

    We present a new classification engine based on the concept of alpha-shapes. Our technique is easy to implement and use, time-effective and generates good recognition results. We show how to efficiently use the concept of alpha-shapes of low dimension to support data in arbitrary dimension, thus overcoming the lack of shape algorithms in high dimensions. We further show how to elegantly choose suitable primitives to capture desirable shapes that tightly bound the data. We present experiments showing that our technique generates good results with Optical Character Recognition (OCR) tasks. Based also on strong theoretic properties, we believe that our technique can serve as a desirable classification engine for various domains in addition to OCR.

    , Efficient Regularized Isotonic Regression via Partitioning and Lasso, Ronny Luss - University of Callifornia - Berkeley
    Ronny Luss - University of Callifornia - Berkeley
    Place:

    Isotonic regression is a nonparametric approach for fitting monotonic models to data that has been widely studied from both theoretical and practical perspectives.  However, this approach encounters computational and statistical overfitting issues in higher dimensions. To address both concerns we present an algorithm, which we term Isotonic Recursive Partitioning (IRP), for isotonic regression based on recursively partitioning the covariate space through solution of progressively smaller "best cut'' subproblems. This creates a regularized sequence of isotonic models of increasing model complexity that converges to the global isotonic regression solution. Models along this sequence are often more accurate than the unregularized isotonic regression model because of the complexity control they offer. We quantify this complexity control through estimation of degrees of freedom along the path. Furthermore, we show that IRP for the classic l2 isotonic regression can be generalized to convex differentiable loss functions such as Huber's loss.  In another direction, we use the Lasso framework to develop another isotonic path of solutions that is computationally more expensive but offers even better complexity control. Success of the regularized models in prediction and IRP's favorable computational properties are demonstrated through a series of simulated and real data experiments.

    , Rigidity in the positive mass theorem with charge, Gilbert Weinstein - Mathematics, University of Alabama at Birmingham
    Gilbert Weinstein - Mathematics, University of Alabama at Birmingham
    Place:

    We outline a proof of the rigidity statement in the positive
    mass theorem with charge incorporating the modified Jang equation.
    This is joint work with M. Khuri.

    , Reoccupation of space in system governed by the transition between steady and absorbing states, Hila Bachar and Yoram Louzoun - Math, BIU
    Hila Bachar and Yoram Louzoun - Math, BIU
    Place:

    We here present 3 systems from completely different domains dominated
    by the same basic dynamics: Collapse to an absorbing state accompanied
    by reoccupation of space from neighboring points in space. The
    properties of these systems is dominated by their spatial parameters,
    such as the dimension and the diffusion rate.

    We study the competition between two types of yeast over the usage of
    complex sugars, where a cheater uses existing resources and does not
    contribute to the existence of the population. Another system we study
    is the usage of resources in modern economy. Finally, we study complex
    structure formation in a catalyst induced proliferation. We show that
    these very different systems are dominated by very similar dynamical principle.

    , Scanning paths in 2-dimensional space with polygonal obstacles, Reuven Cohen - Math, BIU
    Reuven Cohen - Math, BIU
    Place:

    A scanning path is a path having a direct line of sight (not
    intersecting any obstacle) to any point in free space. I will present
    the problem of the optimal scanning path as the shortest of all
    scanning paths. I will discuss possible methods of approximating the
    optimal scanning path. (Joint work With Slavic Shamshanov)