Pages
מרץ 17, 2016
-
Date:24שנייוני 2024הרצאה
Midrasha on Groups Seminar
More information שעה 14:15 - 16:00כותרת Good locally testable codesמיקום בניין יעקב זיסקינדמרצה Alex Lubotzky
Weizmannמארגן המחלקה למתמטיקהצרו קשר תקציר Show full text abstract about An error-correcting code is locally testable (LTC) if there ...» An error-correcting code is locally testable (LTC) if there is a random tester that reads only a small number of bits of a given word and decides whether the word is in the code, or at least close to it. A long-standing problem asks if there exists such a code that also satisfies the golden standards of coding theory: constant rate and constant distance. Unlike the classical situation in coding theory, random codes are not LTC, so this problem is a challenge of a new kind.
We construct such codes based on what we call (Ramanujan) Left/Right Cayley square complexes. These objects seem to be of independent group-theoretic interest. The codes built on them are 2-dimensional versions of the expander codes constructed by Sipser and Spielman (1996).
The main result and lecture will be self-contained. But we hope also to explain how the seminal work of Howard Garland (1972) on the cohomology of quotients of the Bruhat–Tits buildings of p-adic Lie group has led to this construction (even though it is not used at the end).
Based on joint work with I. Dinur, S. Evra, R. Livne, and S. Mozes.
-
Date:25שלישייוני 2024הרצאה
Mechano-regulation of gene expression in striated muscle
More information שעה 10:00 - 11:30מיקום בניין לביוכימיה על שם נלה וליאון בנוזיומרצה Dr. Daria Amiad-Pavlov
Perelman School of Medicine, University of Pennsylvaniaמארגן המחלקה למדעים ביומולקולרייםצרו קשר תקציר Show full text abstract about In recent years the cell nucleus emerged as a dynamic mechan...» In recent years the cell nucleus emerged as a dynamic mechanosensor capable of sensing and transducing mechanical signals into cellular responses to facilitate homeostasis and adaptation to changing environmental conditions. The constantly beating heart has a remarkable ability to adapt its structure and contractility in response to changes in mechanical load. I am introducing unique, live, and dynamic imaging approaches to investigate how nuclei in the mature heart can provide such mechano-protection and mechano-regulation of the genome. I will present a novel assay to couple cytoskeletal to nuclear strain transfer in the beating cardiomyocyte, and its further application to decipher mechanisms of nuclear damage in dilated cardiomyopathy caused by mutations in the LMNA gene (LMNA-DCM). This work pinpoints localized microtubule-dependent forces, but surprisingly not actomyosin contractility, as drivers of nuclear damage in LMNA-DCM, highlighting new therapeutic avenues. I will further discuss the role of mechanical signaling in spatial organization of the genome within the nucleus, to regulate transcriptionally active and repressed hubs, and downstream gene expression. -
Date:25שלישייוני 2024הרצאה
Molecular Manipulation of Heterogeneous Electrocatalysis Using Metal-Organic Frameworks
More information שעה 11:00 - 12:00מיקום אולם הרצאות ע"ש גרהרד שמידטמרצה Prof. Idan Hod
Department of Chemistry at Ben-Gurion University of the Negev, BGUמארגן המחלקה לכימיה מולקולרית ולמדע חומריםצרו קשר תקציר Show full text abstract about Electrocatalytically driven reactions that produce alternati...» Electrocatalytically driven reactions that produce alternative fuels and chemicals are considered as a useful means to store renewable
energy in the form of chemical bonds. in recent years there has been a significant increase in research efforts aiming to develop highly
efficient electrocatalysts that are able to drive those reactions. Yet, despite having made significant progress in this field, there is still a
need for developing new materials that could function both as active and selective electrocatalysts.
In that respect, Metal–Organic Frameworks (MOFs), are an emerging class of hybrid materials with immense potential in electrochemical
catalysis. Yet, to reach a further leap in our understanding of electrocatalytic MOF-based systems, one also needs to consider the welldefined
structure and chemical modularity of MOFs as another important virtue for efficient electrocatalysis, as it can be used to fine-tune
the immediate chemical environment of the active site, and thus affect its overall catalytic performance. Our group utilizes Metal-Organic
Frameworks (MOFs) based materials as a platform for imposing molecular approaches to control and manipulate heterogenous
electrocatalytic systems. In this talk, I will present our recent study on electrocatalytic schemes involving MOFs, acting as: a) electroactive
unit that incorporates molecular electrocatalysts, or b) non-electroactive MOF-based membranes coated on solid heterogenous catalysts. -
Date:25שלישייוני 2024הרצאה
Reading Minds & Machines-AND-The Wisdom of a Crowd of Brains
More information שעה 12:30 - 12:30מיקום אולם הרצאות ע"ש גרהרד שמידטמרצה Prof. Michal Irani
Dept of Computer Science & Applied Mathematics, WISמארגן המחלקה למדעי המוחצרו קשר תקציר Show full text abstract about 1. Can we reconstruct images that a person saw, directly fr...» 1. Can we reconstruct images that a person saw, directly from his/her fMRI brain recordings?
2. Can we reconstruct the training data that a deep-network trained on, directly from the parameters of the network?
The answer to both of these intriguing questions is “Yes!”
In this talk I will show how these can be done. I will then show how exploring the two domains in tandem can potentially lead to significant breakthroughs in both fields. More specifically:
(i) I will show how combining the power of Brains & Machines can potentially be used to bridge the gap between those two domains.
(ii) Combining the power of Multiple Brains (scanned on different fMRI scanners with NO shared stimuli) can lead to new breakthroughs and discoveries in Brain-Science. We refer to this as “the Wisdom of a Crowd of Brains”. In particular, we show that a Universal Encoder can be trained on multiple brains with no shared data, and that information can be functionally mapped between different brains.
-
Date:26רביעייוני 2024הרצאה
זרקור על מדע
More information שעה 13:00 - 14:00כותרת TBAמיקום בניין ע"ש מקס ולילאן קנדיוטימרצה Ehud Funio
Dr.מארגן יחידת שוהם במכון דוידסוןצרו קשר -
Date:27חמישייוני 2024הרצאה
Geometric Functional Analysis and Probability Seminar
More information שעה 13:30 - 14:30כותרת Tightness for Branching random walk in a space-inhomogeneous random environmentמיקום בניין יעקב זיסקינדמארגן המחלקה למתמטיקהצרו קשר תקציר Show full text abstract about In this talk we will prove tightness for the maximum in a mo...» In this talk we will prove tightness for the maximum in a model of branching random walk in space-inhomogeneous environment. In the first part of the talk we relate this to barrier estimates for random walks. In the second part we sketch how to prove these barrier estimates.
-
Date:27חמישייוני 2024הרצאה
Immunological aspects of immune checkpoint blockade
More information שעה 14:00 - 15:00מיקום בניין ע"ש מקס ולילאן קנדיוטימרצה Prof. Yuval Shaked
Rappaport Faculty of Medicine, Technionמארגן המכון לחקר הטיפול בסרטן עש דואקצרו קשר -
Date:27חמישייוני 2024הרצאה
Geometric Functional Analysis and Probability Seminar
More information שעה 14:30 - 15:30כותרת Diffusion of knowledge and the state lottery societyמיקום בניין יעקב זיסקינדמרצה Lenya Ryzhik
Stanfordמארגן המחלקה למתמטיקהצרו קשר תקציר Show full text abstract about Diffusion of knowledge models in macroeconomics describe the...» Diffusion of knowledge models in macroeconomics describe the evolution of an interacting system of agents who perform individual Brownian motions (this is internal innovation) but also can jump on top of each other (this is an agent or a company acquiring knowledge from another agent or company). The learning strategy of the individual agents (jump probabilities) are obtained from an additional optimization problem that involves the current configuration of particles and is a solution to a forward-backwards in time mean-field game. We will discuss some preliminary results on the basic properties of this system.
-
Date:30ראשוןיוני 2024הרצאה
Data synthesis to assess the effects of climate change on agricultural production and food security
More information שעה 11:00 - 11:00מיקום בניין משפחת זוסמןמרצה David Makowski
INRAe & University Paris-Saclayמארגן המחלקה למדעי כדור הארץ וכוכבי הלכתצרו קשר תקציר Show full text abstract about Climate change is having an impact on agricultural productio...» Climate change is having an impact on agricultural production and food
security. Rising temperatures, changes in rainfall patterns and extreme
weather events can reduce crop yields, sometimes dramatically. However,
climate change can also offer new opportunities, by generating more
favorable climatic conditions for agricultural production in certain regions
that were previously less productive. In order to assess the positive and
negative impacts of climate change on agriculture and identify effective
adaptation strategies, scientists have produced massive amounts of data
during the last two decades, conducting local experiments in agricultural
plots and using models to simulate the effect of climate on crop yields. In
most cases, these data are not pooled together and are analyzed separately
by different groups of scientists to assess the effects of climate change at a
local level, without any attempt to upscale the results at a larger scale. Yet, if
brought together, these data represent a rich source of information that are
relevant to analyze the effect of climate across diverse environmental
conditions. The wealth of data available has led to the emergence of a new
type of scientific activity, involving the retrieval of all available data on a
given subject and their synthesis into more robust and generic results. In this
talk, I review the statistical methods available to synthesize data generated
in studies quantifying the effect of climate change on agriculture. I discuss
both the most classic methods - such as meta-analysis - and more recent
methods based on machine learning. In particular, I show how this approach
can be used to map the impact of climate change on a large scale (national,
continental and global) from local data. I illustrate these methods in several
case studies and present several research perspectives in this area. -
Date:30ראשוןיוני 2024הרצאה
AI Hub Projects Day - Food, drinks and AI solutions!
More information שעה 12:00 - 14:00מיקום אולם ע"ש דולפי ולולה אבנרמרצה The Institute for Artificial Intelligence, Ana Naamat מארגן המחלקה למדעי המחשב ומתמטיקה שימושיתצרו קשר -
Date:30ראשוןיוני 2024הרצאה
Special Guest Seminar
More information שעה 14:00 - 18:30כותרת A Pre-SAAC Symposium on Mathematicsמיקום בניין יעקב זיסקינדמרצה A Pre-SAAC מארגן המחלקה למתמטיקהצרו קשר תקציר Show full text abstract about Alex Furman (University of Illinois) Title: Picking out a...» Alex Furman (University of Illinois)
Title: Picking out arithmetic rank-one locally symmetric manifolds among negatively curved ones
Abstract: The definition of an arithmetic locally symmetric manifold uses the language of algebraic groups and number theory. It turns out that in the world of negatively curved manifolds the arithmetic locally symmetric ones can be detected using abstract commensurators and coarse-geometry. Based on a joint work with Yanlong Hao.
-------
Balint Virag (University of Toronto)
Title: Random plane geometry: a gentle introduction
Abstract: Assign a random length of 1 or 2 to each edge of the square grid based on independent fair coin tosses. The resulting random geometry, first passage percloation, is conjectured to have a scaling limit. Most random plane geometric models (including hidden geometries) should have the same scaling limit. I will explain the basics of the limiting geometry, the "directed landscape", the central object in the class of models named after
Kardar, Parisi and Zhang.
------
Emmanuel Breuillard (University of Oxford)
Title: Undecidable problems in linear groups.
Abstract: The Skolem problem asks to determine whether or not a linear recurrence sequence over the integers has a zero. No algorithm is known to answer this simple question. In this talk I will discuss recent joint work with G. Kocharyan, where we consider a wider class of problems, dealing with finitely generated subgroups of matrices, and show their undecidability.
-------
Omer Angel (University of British Columbia)
Title: Interacting Polya urns.
Abstract: The classical Polya urn has counters X_t,Y_t that are incremented with probability proportional to their current value. I will discuss some of the many generalizations possible when multiple
Polya urns are coupled.
-------
Shmuel Weinberger (University of Chicago)
Title: How existential is topology?
Abstract: Topology proves many things exist -
Date:01שנייולי 2024הרצאה
Midrasha on Groups Seminar
More information שעה 11:15 - 13:00כותרת Random walks on Cayley graphs for finite groupsמיקום בניין יעקב זיסקינדמרצה Dan Rockmore
Dartmouth Collegeמארגן המחלקה למתמטיקהצרו קשר תקציר Show full text abstract about In this talk we introduce the problem of random walks on the...» In this talk we introduce the problem of random walks on the Cayley graph of a finite group, some techniques for its study, and some of the basic results, including numerical experiments. This is a mixture of basic group theory, representation theory, probability theory, and graph theory.
-
Date:01שנייולי 2024הרצאה
Foundations of Computer Science Seminar
More information שעה 11:15 - 12:15כותרת Incompressibility and Next-Block Pseudoentropyמיקום בניין יעקב זיסקינדמרצה Noam Mazor
Cornell Techמארגן המחלקה למדעי המחשב ומתמטיקה שימושיתצרו קשר תקציר Show full text abstract about A distribution is k-incompressible, Yao [FOCS ’82], if no ef...» A distribution is k-incompressible, Yao [FOCS ’82], if no efficient compression scheme compresses it to less than k bits. While being a natural measure, its relation to other computational analogs of entropy such as pseudoentropy (Hastad, Impagliazzo, Levin, and Luby [SICOMP 99]), and to other cryptographic hardness assumptions, was unclear.
We advance towards a better understating of this notion, showing that a k-incompressible distribution has (k-2) bits of next-block pseudoentropy, a refinement of pseudoentropy introduced by Haitner, Reingold, and Vadhan [SICOMP ’13]. We deduce that a samplable distribution X that is (H(X) 2)-incompressible, implies the existence of one-way functions.
Joint work with Iftach Haitner and Jad Silbak.
-
Date:01שנייולי 2024הרצאה
Midrasha on Groups Seminar
More information שעה 14:15 - 16:00כותרת Constructing groups with desired properties using small cancellation methodsמיקום בניין יעקב זיסקינדמרצה Gil Goffer
UCSDמארגן המחלקה למתמטיקהדף בית צרו קשר תקציר Show full text abstract about I’ll discuss various ways to use small cancellation methods ...» I’ll discuss various ways to use small cancellation methods to produce groups with desired properties. In particular, I’ll demonstrate how to construct groups whose semigroup Zariski topology is strictly coarser than their group Zariski topology (answering a question by Elliott, Jonusas, Mesyan, Mitchell, Morayne, and Peresse) -
Date:04חמישייולי 2024הרצאה
MSc Thesis Defense (Direct PhD Track) Lior Peretz (Stelzer Lab)
More information שעה 11:00 - 11:00כותרת Unraveling the Role of the Polycomb Repressive Complex in Gene Regulation During Early Mammalian Embryogenesisמיקום בניין אולמן למדעי החייםמרצה Ms. Lior Peretz
(Dr. Yonatan Stelzer Lab)מארגן המחלקה לביולוגיה מולקולרית של התאצרו קשר -
Date:04חמישייולי 2024הרצאה
Vision and AI
More information שעה 12:15 - 13:15כותרת Recovering the Pre-Fine-Tuning Weights of Generative Modelsמיקום בניין יעקב זיסקינדמרצה Eliahu Horwitz
HUJIמארגן המחלקה למדעי המחשב ומתמטיקה שימושיתצרו קשר תקציר Show full text abstract about The dominant paradigm in generative modeling consists of two...» The dominant paradigm in generative modeling consists of two steps: i) pre-training on a large-scale but unsafe dataset, ii) aligning the pre-trained model with human values via fine-tuning. This practice is considered safe, as no current method can recover the unsafe, pre-fine-tuning model weights. In this paper, we demonstrate that this assumption is often false. Concretely, we present Spectral DeTuning, a method that can recover the weights of the pre-fine-tuning model using a few low-rank (LoRA) fine-tuned models. In contrast to previous attacks that attempt to recover pre-fine-tuning capabilities, our method aims to recover the exact pre-fine-tuning weights. Our approach exploits this new vulnerability against large-scale models such as a personalized Stable Diffusion and an aligned Mistral.
Bio:
Eliahu Horwitz is a PhD candidate in Computer Science at the Hebrew University of Jerusalem, working under the supervision of Prof. Yedid Hoshen. His research area is computer vision, with a focus on representation learning and generative models. Currently, his work revolves around reversing the training trajectories of neural networks.
A recipient of the KLA Scholarship for Outstanding Graduate Students and a CIDR (Center for Interdisciplinary Data Science Research) fellow, Eliahu’s academic achievements are complemented by his practical experience. Before transitioning to research, he honed his skills as a self-taught software developer, working with diverse technologies across the tech stack at both startups and large-scale companies. His latest research can be found on his website: pages.cs.huji.ac.il/eliahu-horwitz.
-
Date:07ראשוןיולי 2024הרצאה
The Clore Center for Biological Physics
More information שעה 13:15 - 14:30כותרת What does the system “care about”? Empirical approaches to identifying biological regulationמיקום ספרית הפיסיקה על שם נלה וליאון בנוזיומרצה Prof. Naama Brenner
Dept. of Chemical Engineering & Network Biology Research Lab, Technionמארגן מרכז לפיזיקה ביולוגית עש קלורצרו קשר תקציר Show full text abstract about Biological systems regulate their action at multiple levels ...» Biological systems regulate their action at multiple levels of organization, from molecular circuits to physiological function. This “homeostasis” maintains stability of the system in the face of external and internal perturbation. How exactly this is achieved remains a topic of ongoing investigation; challenges are high dimensionality, many coupled positive and negative feedback loops, conflicting regulation demands and interaction with the environment.
Here I will introduce an empirical approach to the fundamental question – how do we know what it is that the system really “cares about”? What variable, or combination of variables, is under regulation? Two data-driven methods will be presented. one based on statistical analysis and applied to bacterial growth and division, revealing a hierarchy of regulation – from tightly regulated to sloppy variables. The second is based on a machine-learning algorithm we developed to identify regulation with minimal assumptions. This provides a different angle on the problem and highlights directions for future research.
FOR THE LATEST UPDATES AND CONTENT ON SOFT MATTER AND BIOLOGICAL PHYSICS AT THE WEIZMANN, VISIT OUR WEBSITE: https://www.biosoftweizmann.com/
-
Date:08שנייולי 2024הרצאה
Midrasha on Groups Seminar
More information שעה 11:15 - 13:00כותרת Property testing for group equations and relations to group approximationsמיקום בניין יעקב זיסקינדמרצה Alon Dogon
Weizmannמארגן המחלקה למתמטיקהצרו קשר תקציר Show full text abstract about In this talk we will give an introduction to property testin...» In this talk we will give an introduction to property testing questions in group theory. Property testing problems were mentioned in Alex’s talk, and come up naturally in various branches of theoretical computer science, as well as mathematics and physics. For example, the question of cocycle expansion, “are almost cocycles close to actual cocycles”, is a typical property testing problem. Another example is the following: Given two permutations that commute with high probability on randomly sampled entries, are they close to actual commuting permutations? For groups, here are key notions: Given a group G, it is said to be permutation stable if approximate actions of G on finite sets by permutations are close to actual finite actions of G. G is said to be Hilbert Schmidt stable if the same can be said about approximate finite dimensional representations of G. We will introduce these properties, give a lot of examples and mention connections with the study of characters and invariant random subgroups, as well as the questions of soficity and Connes embeddability of groups.
-
Date:08שנייולי 2024הרצאה
Foundations of Computer Science Seminar
More information שעה 11:15 - 12:15כותרת Quantum Algorithms in a Superposition of Spacetimesמיקום בניין יעקב זיסקינדמרצה Omri Shmueli
Tel-Aviv Universityמארגן המחלקה למדעי המחשב ומתמטיקה שימושיתצרו קשר תקציר Show full text abstract about Quantum computers are expected to revolutionize our ability ...» Quantum computers are expected to revolutionize our ability to process information. The advancement from classical to quantum computing is a product of our advancement from classical to quantum physics -- the more our understanding of the universe grows, so does our ability to use it for computation. A natural question that arises is, what will physics allow in the future? Can more advanced theories of physics increase our computational power, beyond quantum computing?
An active field of research in physics studies theoretical phenomena outside the scope of explainable quantum mechanics, that form when attempting to combine Quantum Mechanics (QM) with General Relativity (GR) into a unified theory of Quantum Gravity (QG). QG is known to present the possibility of a quantum superposition of causal structure and event orderings. In the literature of quantum information theory, this translates to a superposition of unitary evolution orders.
In this talk we will show a first example of a computational model based on models of QG, that provides an exponential speedup over standard quantum computation (under standard hardness assumptions). We define a model and complexity measure for a quantum computer that has the ability to generate a superposition of unitary evolution orders, and show that such computer is able to solve in polynomial time two well-studied problems in computer science: The Graph Isomorphism Problem and the Gap Closest Vector Problem, with gap O( n^{1.5} ).
The talk is based on https://arxiv.org/abs/2403.02937 .
-
Date:08שנייולי 2024הרצאה
Midrasha on Groups Seminar
More information שעה 14:15 - 16:00כותרת Stability, testability, approximation, coboundry expansion and (non)sofic groupsמיקום בניין יעקב זיסקינדמרצה Alex Lubotzky
Weizmannמארגן המחלקה למתמטיקהצרו קשר תקציר Show full text abstract about In this last talk of the seminar, we will pack together all ...» In this last talk of the seminar, we will pack together all the topics discussed over the semester. In particular, we will suggest a path toward finding a non sofic group.
