-
Privacy-Preserving Collaborative Genomic Research: A Real-Life Deployment and Vision
Authors:
Zahra Rahmani,
Nahal Shahini,
Nadav Gat,
Zebin Yun,
Yuzhou Jiang,
Ofir Farchy,
Yaniv Harel,
Vipin Chaudhary,
Mahmood Sharif,
Erman Ayday
Abstract:
The data revolution holds significant promise for the health sector. Vast amounts of data collected from individuals will be transformed into knowledge, AI models, predictive systems, and best practices. One area of health that stands to benefit greatly is the genomic domain. Progress in AI, machine learning, and data science has opened new opportunities for genomic research, promising breakthroug…
▽ More
The data revolution holds significant promise for the health sector. Vast amounts of data collected from individuals will be transformed into knowledge, AI models, predictive systems, and best practices. One area of health that stands to benefit greatly is the genomic domain. Progress in AI, machine learning, and data science has opened new opportunities for genomic research, promising breakthroughs in personalized medicine. However, increasing awareness of privacy and cybersecurity necessitates robust solutions to protect sensitive data in collaborative research. This paper presents a practical deployment of a privacy-preserving framework for genomic research, developed in collaboration with Lynx$.$MD, a platform for secure health data collaboration. The framework addresses critical cybersecurity and privacy challenges, enabling the privacy-preserving sharing and analysis of genomic data while mitigating risks associated with data breaches. By integrating advanced privacy-preserving algorithms, the solution ensures the protection of individual privacy without compromising data utility. A unique feature of the system is its ability to balance trade-offs between data sharing and privacy, providing stakeholders tools to quantify privacy risks and make informed decisions. Implementing the framework within Lynx$.$MD involves encoding genomic data into binary formats and applying noise through controlled perturbation techniques. This approach preserves essential statistical properties of the data, facilitating effective research and analysis. Moreover, the system incorporates real-time data monitoring and advanced visualization tools, enhancing user experience and decision-making. The paper highlights the need for tailored privacy attacks and defenses specific to genomic data. Addressing these challenges fosters collaboration in genomic research, advancing personalized medicine and public health.
△ Less
Submitted 12 July, 2024;
originally announced July 2024.
-
Normalized solutions to Schrödinger systems with potentials
Authors:
Zhaoyang Yun
Abstract:
In this paper, we study the normalized solutions of the Schrödinger system with trapping potentials \begin{equation}\label{eq:diricichlet} \begin{cases} -Δu_1+V_1(x)u_1-λ_1 u_1=μ_1 u_1^3+βu_1u_2^{2}+κu_2~\hbox{in}~ \mathbb{R}^3,\\ -Δu_2+V_2(x)u_2-λ_2 u_2=μ_2 u_2^3+βu_1^2u_2+κu_1~\hbox{in}~ \mathbb{R}^3,
u_1\in H^1(\mathbb{R}^3), u_2\in H^1(\mathbb{R}^3),\nonumber \end{cases} \end{equation} under…
▽ More
In this paper, we study the normalized solutions of the Schrödinger system with trapping potentials \begin{equation}\label{eq:diricichlet} \begin{cases} -Δu_1+V_1(x)u_1-λ_1 u_1=μ_1 u_1^3+βu_1u_2^{2}+κu_2~\hbox{in}~ \mathbb{R}^3,\\ -Δu_2+V_2(x)u_2-λ_2 u_2=μ_2 u_2^3+βu_1^2u_2+κu_1~\hbox{in}~ \mathbb{R}^3,
u_1\in H^1(\mathbb{R}^3), u_2\in H^1(\mathbb{R}^3),\nonumber \end{cases} \end{equation} under the constraint \begin{equation} \int_{\mathbb{R}^3} u_1^2=a_1^2,~\int_{\mathbb{R}^3} u_2^2=a_2^2\nonumber, \end{equation} where $μ_1,μ_2,a_1,a_2,β>0$, $κ\in\mathbb{R}$, $V_1(x)$ and $V_2(x)$ are trapping potentials, and $λ_1,λ_2$ are lagrangian multipliers, this is a typical $L^2$-supercritical case in $\mathbb{R}^3$. We obtain the existence of solutions to this system by minimax theory on the manifold for $κ=0$ and $κ\neq 0$ respectively.
△ Less
Submitted 19 June, 2024;
originally announced June 2024.
-
A Survey on Industrial Internet of Things (IIoT) Testbeds for Connectivity Research
Authors:
Tianyu Zhang,
Chuanyu Xue,
Jiachen Wang,
Zelin Yun,
Natong Lin,
Song Han
Abstract:
Industrial Internet of Things (IIoT) technologies have revolutionized industrial processes, enabling smart automation, real-time data analytics, and improved operational efficiency across diverse industry sectors. IIoT testbeds play a critical role in advancing IIoT research and development (R&D) to provide controlled environments for technology evaluation before their real-world deployment. In th…
▽ More
Industrial Internet of Things (IIoT) technologies have revolutionized industrial processes, enabling smart automation, real-time data analytics, and improved operational efficiency across diverse industry sectors. IIoT testbeds play a critical role in advancing IIoT research and development (R&D) to provide controlled environments for technology evaluation before their real-world deployment. In this article, we conduct a comprehensive literature review on existing IIoT testbeds, aiming to identify benchmark performance, research gaps and explore emerging trends in IIoT systems. We first review the state-of-the-art resource management solutions proposed for IIoT applications. We then categorize the reviewed testbeds according to their deployed communication protocols (including TSN, IEEE 802.15.4, IEEE 802.11 and 5G) and discuss the design and usage of each testbed. Driven by the knowledge gained during this study, we present suggestions and good practices for researchers and practitioners who are planning to design and develop IIoT testbeds for connectivity research.
△ Less
Submitted 30 June, 2024; v1 submitted 26 April, 2024;
originally announced April 2024.
-
The Ultimate Combo: Boosting Adversarial Example Transferability by Composing Data Augmentations
Authors:
Zebin Yun,
Achi-Or Weingarten,
Eyal Ronen,
Mahmood Sharif
Abstract:
Transferring adversarial examples (AEs) from surrogate machine-learning (ML) models to target models is commonly used in black-box adversarial robustness evaluation. Attacks leveraging certain data augmentation, such as random resizing, have been found to help AEs generalize from surrogates to targets. Yet, prior work has explored limited augmentations and their composition. To fill the gap, we sy…
▽ More
Transferring adversarial examples (AEs) from surrogate machine-learning (ML) models to target models is commonly used in black-box adversarial robustness evaluation. Attacks leveraging certain data augmentation, such as random resizing, have been found to help AEs generalize from surrogates to targets. Yet, prior work has explored limited augmentations and their composition. To fill the gap, we systematically studied how data augmentation affects transferability. Particularly, we explored 46 augmentation techniques of seven categories originally proposed to help ML models generalize to unseen benign samples, and assessed how they impact transferability, when applied individually or composed. Performing exhaustive search on a small subset of augmentation techniques and genetic search on all techniques, we identified augmentation combinations that can help promote transferability. Extensive experiments with the ImageNet and CIFAR-10 datasets and 18 models showed that simple color-space augmentations (e.g., color to greyscale) outperform the state of the art when combined with standard augmentations, such as translation and scaling. Additionally, we discovered that composing augmentations impacts transferability mostly monotonically (i.e., more methods composed $\rightarrow$ $\ge$ transferability). We also found that the best composition significantly outperformed the state of the art (e.g., 93.7% vs. $\le$ 82.7% average transferability on ImageNet from normally trained surrogates to adversarially trained targets). Lastly, our theoretical analysis, backed up by empirical evidence, intuitively explain why certain augmentations help improve transferability.
△ Less
Submitted 18 December, 2023;
originally announced December 2023.
-
URLOST: Unsupervised Representation Learning without Stationarity or Topology
Authors:
Zeyu Yun,
Juexiao Zhang,
Bruno Olshausen,
Yann LeCun,
Yubei Chen
Abstract:
Unsupervised representation learning has seen tremendous progress but is constrained by its reliance on data modality-specific stationarity and topology, a limitation not found in biological intelligence systems. For instance, human vision processes visual signals derived from irregular and non-stationary sampling lattices yet accurately perceives the geometry of the world. We introduce a novel fr…
▽ More
Unsupervised representation learning has seen tremendous progress but is constrained by its reliance on data modality-specific stationarity and topology, a limitation not found in biological intelligence systems. For instance, human vision processes visual signals derived from irregular and non-stationary sampling lattices yet accurately perceives the geometry of the world. We introduce a novel framework that learns from high-dimensional data lacking stationarity and topology. Our model combines a learnable self-organizing layer, density adjusted spectral clustering, and masked autoencoders. We evaluate its effectiveness on simulated biological vision data, neural recordings from the primary visual cortex, and gene expression datasets. Compared to state-of-the-art unsupervised learning methods like SimCLR and MAE, our model excels at learning meaningful representations across diverse modalities without depending on stationarity or topology. It also outperforms other methods not dependent on these factors, setting a new benchmark in the field. This work represents a step toward unsupervised learning methods that can generalize across diverse high-dimensional data modalities.
△ Less
Submitted 6 October, 2023;
originally announced October 2023.
-
Probing Inelastic Signatures of Dark Matter Detection via Polarized Nucleus
Authors:
Zai Yun,
Junwei Sun,
Bin Zhu,
Xuewen Liu
Abstract:
We investigate the inelastic signatures of dark matter-nucleus interactions, explicitly focusing on the ramifications of polarization, dark matter splitting, and the Migdal effect. Direct detection experiments, crucial for testing the existence of dark matter, encounter formidable obstacles such as indomitable neutrino backgrounds and the elusive determination of dark matter spin. To overcome thes…
▽ More
We investigate the inelastic signatures of dark matter-nucleus interactions, explicitly focusing on the ramifications of polarization, dark matter splitting, and the Migdal effect. Direct detection experiments, crucial for testing the existence of dark matter, encounter formidable obstacles such as indomitable neutrino backgrounds and the elusive determination of dark matter spin. To overcome these challenges, we explore the potential of polarized-target dark matter scattering, examining the impact of nonvanishing mass splitting and the role of the Migdal effect in detecting light dark matter. Our analysis demonstrates the valuable utility of the polarized triple-differential event rate as an effective tool for studying inelastic dark matter. It enables us to investigate both angular and energy dependencies, providing valuable insights into the scattering process.
△ Less
Submitted 18 March, 2024; v1 submitted 3 September, 2023;
originally announced September 2023.
-
Modularity of higher theta series I: cohomology of the generic fiber
Authors:
Tony Feng,
Zhiwei Yun,
Wei Zhang
Abstract:
In a previous paper we constructed $\textit{higher}$ theta series for unitary groups over function fields, and conjectured their modularity properties. Here we prove the generic modularity of the $\ell$-adic realization of higher theta series in cohomology. The proof debuts a new type of Fourier transform, occurring on the Borel-Moore homology of moduli spaces for shtuka-type objects, that we call…
▽ More
In a previous paper we constructed $\textit{higher}$ theta series for unitary groups over function fields, and conjectured their modularity properties. Here we prove the generic modularity of the $\ell$-adic realization of higher theta series in cohomology. The proof debuts a new type of Fourier transform, occurring on the Borel-Moore homology of moduli spaces for shtuka-type objects, that we call the $\textit{arithmetic Fourier transform}$. Another novelty in the argument is a $\textit{sheaf-cycle correspondence}$ extending the classical sheaf-function correspondence, which facilitates the deployment of sheaf-theoretic methods to analyze algebraic cycles. Although the modularity property is a statement within classical algebraic geometry, the proof relies on derived algebraic geometry, especially a nascent theory of $\textit{derived Fourier analysis}$ on derived vector bundles, which we develop.
△ Less
Submitted 29 November, 2023; v1 submitted 21 August, 2023;
originally announced August 2023.
-
A Deligne-Simpson problem for irregular $G$-connections over $\mathbb{P}^{1}$
Authors:
Konstantin Jakob,
Zhiwei Yun
Abstract:
We give an algebraic and a geometric criterion for the existence of $G$-connections on $\mathbb{P}^{1}$ with prescribed irregular type with equal slope at $\infty$ (isoclinic) and with regular singularity of prescribed residue at $0$. The algebraic criterion is in terms of an irreducible module of the rational Cherednik algebra, and the geometric criterion is in terms of affine Springer fibers. We…
▽ More
We give an algebraic and a geometric criterion for the existence of $G$-connections on $\mathbb{P}^{1}$ with prescribed irregular type with equal slope at $\infty$ (isoclinic) and with regular singularity of prescribed residue at $0$. The algebraic criterion is in terms of an irreducible module of the rational Cherednik algebra, and the geometric criterion is in terms of affine Springer fibers. We use these criteria to give complete solutions to the isoclinic Deligne-Simpson problem for classical groups, and for arbitrary $G$ when the slope at $\infty$ has Coxeter number as the denominator. Among our solutions, we classify the cohomologically rigid connections, and obtain new cases in types $B,C$ and $F_4$.
△ Less
Submitted 1 March, 2023; v1 submitted 26 January, 2023;
originally announced January 2023.
-
Tilting sheaves for real groups and Koszul duality
Authors:
Andrei Ionov,
Zhiwei Yun
Abstract:
For a certain class of real analytic varieties with Lie group actions we develop a theory of (free-monodromic) tilting sheaves, and apply it to flag varieties stratified by real group orbits. For quasi-split real groups, we construct a fully faithful embedding of the category of tilting sheaves to a real analog of the category of Soergel bimodules, establishing real group analogs of Soergel's Stru…
▽ More
For a certain class of real analytic varieties with Lie group actions we develop a theory of (free-monodromic) tilting sheaves, and apply it to flag varieties stratified by real group orbits. For quasi-split real groups, we construct a fully faithful embedding of the category of tilting sheaves to a real analog of the category of Soergel bimodules, establishing real group analogs of Soergel's Structure Theorem and Endomorphism Theorem. We apply these results to give a purely geometric proof of the theorem of Bezrukavnikov and Vilonen which proves Soergel's conjecture for quasi-split groups.
△ Less
Submitted 8 June, 2023; v1 submitted 13 January, 2023;
originally announced January 2023.
-
Functions on the commuting stack via Langlands duality
Authors:
Penghui Li,
David Nadler,
Zhiwei Yun
Abstract:
We calculate the dg algebra of global functions on commuting stacks of complex reductive groups using tools from Betti Geometric Langlands. In particular, we prove that the ring of invariant functions on the commuting scheme is reduced. Our main technical results include: a semi-orthogonal decomposition of the cocenter of the affine Hecke category; and the calculation of endomorphisms of a Whittak…
▽ More
We calculate the dg algebra of global functions on commuting stacks of complex reductive groups using tools from Betti Geometric Langlands. In particular, we prove that the ring of invariant functions on the commuting scheme is reduced. Our main technical results include: a semi-orthogonal decomposition of the cocenter of the affine Hecke category; and the calculation of endomorphisms of a Whittaker sheaf in a diagram organizing parabolic induction of character sheaves.
△ Less
Submitted 13 April, 2024; v1 submitted 6 January, 2023;
originally announced January 2023.
-
Minimalistic Unsupervised Learning with the Sparse Manifold Transform
Authors:
Yubei Chen,
Zeyu Yun,
Yi Ma,
Bruno Olshausen,
Yann LeCun
Abstract:
We describe a minimalistic and interpretable method for unsupervised learning, without resorting to data augmentation, hyperparameter tuning, or other engineering designs, that achieves performance close to the SOTA SSL methods. Our approach leverages the sparse manifold transform, which unifies sparse coding, manifold learning, and slow feature analysis. With a one-layer deterministic sparse mani…
▽ More
We describe a minimalistic and interpretable method for unsupervised learning, without resorting to data augmentation, hyperparameter tuning, or other engineering designs, that achieves performance close to the SOTA SSL methods. Our approach leverages the sparse manifold transform, which unifies sparse coding, manifold learning, and slow feature analysis. With a one-layer deterministic sparse manifold transform, one can achieve 99.3% KNN top-1 accuracy on MNIST, 81.1% KNN top-1 accuracy on CIFAR-10 and 53.2% on CIFAR-100. With a simple gray-scale augmentation, the model gets 83.2% KNN top-1 accuracy on CIFAR-10 and 57% on CIFAR-100. These results significantly close the gap between simplistic "white-box" methods and the SOTA methods. Additionally, we provide visualization to explain how an unsupervised representation transform is formed. The proposed method is closely connected to latent-embedding self-supervised methods and can be treated as the simplest form of VICReg. Though there remains a small performance gap between our simple constructive model and SOTA methods, the evidence points to this as a promising direction for achieving a principled and white-box approach to unsupervised learning.
△ Less
Submitted 27 April, 2023; v1 submitted 30 September, 2022;
originally announced September 2022.
-
Non-abelian Hodge moduli spaces and homogeneous affine Springer fibers
Authors:
Roman Bezrukavnikov,
Pablo Boixeda Alvarez,
Michael McBreen,
Zhiwei Yun
Abstract:
Starting from a homogeneous affine Springer fiber $Fl_ψ$, we construct three moduli spaces that correspond to the Dolbeault, de Rham and Betti aspects of a hypothetical Simpson correspondence with wild ramifications. We show that $Fl_ψ$ is homeomorphic to the central Lagrangian fiber in the Dolbeault space, prove that the Dolbeaut and de Rham spaces both have the same cohomology as $Fl_ψ$, and con…
▽ More
Starting from a homogeneous affine Springer fiber $Fl_ψ$, we construct three moduli spaces that correspond to the Dolbeault, de Rham and Betti aspects of a hypothetical Simpson correspondence with wild ramifications. We show that $Fl_ψ$ is homeomorphic to the central Lagrangian fiber in the Dolbeault space, prove that the Dolbeaut and de Rham spaces both have the same cohomology as $Fl_ψ$, and construct a map from the de Rham space to the Betti space which we conjecture to be an analytic isomorphism.
△ Less
Submitted 29 September, 2022;
originally announced September 2022.
-
Special cycles for Shtukas are closed
Authors:
Zhiwei Yun
Abstract:
In this paper we give a different proof of a theorem of Paul Breutmann: for a Bruhat-Tits group scheme $\mathcal{H}$ over a smooth projective curve $X$ and a closed embedding into another smooth affine group scheme $\mathcal{G}$, the induced map on the moduli of Shtukas $Sht^{r}_{\mathcal{H}}\to Sht^{r}_{\mathcal{G}}$ is schematic, finite and unramified. This result enables one to define special c…
▽ More
In this paper we give a different proof of a theorem of Paul Breutmann: for a Bruhat-Tits group scheme $\mathcal{H}$ over a smooth projective curve $X$ and a closed embedding into another smooth affine group scheme $\mathcal{G}$, the induced map on the moduli of Shtukas $Sht^{r}_{\mathcal{H}}\to Sht^{r}_{\mathcal{G}}$ is schematic, finite and unramified. This result enables one to define special cycles on the moduli stack of Shtukas.
△ Less
Submitted 22 April, 2022;
originally announced April 2022.
-
Rigidity method for automorphic forms over function fields
Authors:
Zhiwei Yun
Abstract:
These are lectures given at the 2022 Arizona Winter School. It gives an introduction to the rigidity method for constructing automorphic forms for semisimple groups over function fields. The rigidity method leads to explicit constructions of local systems that are Langlands parameters of automorphic forms. The examples of local systems produced in this way have applications to algebraic geometry a…
▽ More
These are lectures given at the 2022 Arizona Winter School. It gives an introduction to the rigidity method for constructing automorphic forms for semisimple groups over function fields. The rigidity method leads to explicit constructions of local systems that are Langlands parameters of automorphic forms. The examples of local systems produced in this way have applications to algebraic geometry and number theory.
△ Less
Submitted 22 April, 2022;
originally announced April 2022.
-
RT-WiFi on Software-Defined Radio: Design and Implementation
Authors:
Zelin Yun,
Peng Wu,
Shengli Zhou,
Aloysius K. Mok,
Mark Nixon,
Song Han
Abstract:
Applying high-speed real-time wireless technologies in industrial applications has the great potential to reduce the deployment and maintenance costs compared to their wired counterparts. Wireless technologies enhance the mobility and reduce the communication jitter and delay for mobile industrial equipment, such as mobile collaborative robots. Unfortunately, most existing wireless solutions emplo…
▽ More
Applying high-speed real-time wireless technologies in industrial applications has the great potential to reduce the deployment and maintenance costs compared to their wired counterparts. Wireless technologies enhance the mobility and reduce the communication jitter and delay for mobile industrial equipment, such as mobile collaborative robots. Unfortunately, most existing wireless solutions employed in industrial fields either cannot support the desired high-speed communications or cannot guarantee deterministic, real-time performance. A more recent wireless technology, RT-WiFi, achieves a good balance between high-speed data rates and deterministic communication performance. It is however developed on commercial-of-the-shelf (COTS) hardware, and takes considerable effort and hardware expertise to maintain and upgrade. To address these problems, this paper introduces the software-defined radio (SDR)-based RT-WiFi solution which we call SRT-WiFi. SRT-WiFi provides full-stack configurability for high-speed real-time wireless communications. We present the overall system architecture of SRT-WiFi and discuss its key functions which achieve better timing performance and solve the queue management and rate adaptation issues compared to COTS hardware-based RT-WiFi. To achieve effective network management with rate adaptation in multi-cluster SRT-WiFi, a novel scheduling problem is formulated and an effective algorithm is proposed to solve the problem. A multi-cluster SRT-WiFi testbed is developed to validate the design, and extensive experiments are performed to evaluate the performance at both device and system levels.
△ Less
Submitted 19 March, 2022;
originally announced March 2022.
-
Effect of surface treatment on vibration energy transfer of ultrasonic sonotrode
Authors:
Zhang Xiaoyu,
Zhang Lihua,
Dong Fang,
Jiang Ripeng,
Zhang Yun
Abstract:
In this paper, two kinds of ultrasonic radiation rod with surface treatment (ion nitriding and vacuum carburizing) are selected to carry out finite element analysis on ultrasonic vibration system and casting system, and explore the influence of surface treatment on vibration energy transmission of radiation rod. The cavitation field of radiation rod with different surface treatment in water was ob…
▽ More
In this paper, two kinds of ultrasonic radiation rod with surface treatment (ion nitriding and vacuum carburizing) are selected to carry out finite element analysis on ultrasonic vibration system and casting system, and explore the influence of surface treatment on vibration energy transmission of radiation rod. The cavitation field of radiation rod with different surface treatment in water was obtained through the cavitation erosion area of aluminum foil in water by using the aluminum foil cavitation experiment, so as to verify the simulation results of sound pressure field in aluminum melt. The results show that the surface treatment weakens the vibration response of the radiating rod, reduces the longitudinal amplitude of the radiating rod, and reduces the amplitude of sound pressure transmitted into the aluminum melt.
△ Less
Submitted 7 October, 2021;
originally announced October 2021.
-
Higher theta series for unitary groups over function fields
Authors:
Tony Feng,
Zhiwei Yun,
Wei Zhang
Abstract:
In previous work, we defined certain virtual fundamental classes for special cycles on the moduli stack of Hermitian shtukas, and related them to the higher derivatives of non-singular Fourier coefficients of Siegel-Eisenstein series. In the present article, we construct virtual fundamental classes in greater generality, including those expected to relate to the higher derivatives of singular Four…
▽ More
In previous work, we defined certain virtual fundamental classes for special cycles on the moduli stack of Hermitian shtukas, and related them to the higher derivatives of non-singular Fourier coefficients of Siegel-Eisenstein series. In the present article, we construct virtual fundamental classes in greater generality, including those expected to relate to the higher derivatives of singular Fourier coefficients. We assemble these classes into "higher" theta series, which we conjecture to be modular. Two types of evidence are presented: structural properties affirming that the cycle classes behave as conjectured under certain natural operations such as intersection products, and verification of modularity in several special situations. One innovation underlying these results is a new approach to special cycles in terms of derived algebraic geometry.
△ Less
Submitted 2 January, 2024; v1 submitted 13 October, 2021;
originally announced October 2021.
-
Automorphic gluing functor in Betti Geometric Langlands
Authors:
David Nadler,
Zhiwei Yun
Abstract:
We study automorphic categories of nilpotent sheaves under degenerations of smooth curves to nodal Deligne-Mumford curves. Our constructions realize affine Hecke operators as the result of bubbling projective lines from marked points. We use this to construct a "gluing functor" from the automorphic category of a nodal Deligne-Mumford curve to the automorphic category of a smoothing.
We study automorphic categories of nilpotent sheaves under degenerations of smooth curves to nodal Deligne-Mumford curves. Our constructions realize affine Hecke operators as the result of bubbling projective lines from marked points. We use this to construct a "gluing functor" from the automorphic category of a nodal Deligne-Mumford curve to the automorphic category of a smoothing.
△ Less
Submitted 5 June, 2023; v1 submitted 26 May, 2021;
originally announced May 2021.
-
Normalized solutions to Schrödinger systems with linear and nonlinear couplings
Authors:
Zhaoyang Yun,
Zhitao Zhang
Abstract:
In this paper, we study important Schrödinger systems with linear and nonlinear couplings \begin{equation}\label{eq:diricichlet} \begin{cases} -Δu_1-λ_1 u_1=μ_1 |u_1|^{p_1-2}u_1+r_1β|u_1|^{r_1-2}u_1|u_2|^{r_2}+κ(x)u_2~\hbox{in}~\mathbb{R}^N,\\ -Δu_2-λ_2 u_2=μ_2 |u_2|^{p_2-2}u_2+r_2β|u_1|^{r_1}|u_2|^{r_2-2}u_2+κ(x)u_1~ \hbox{in}~\mathbb{R}^N,\\ u_1\in H^1(\mathbb{R}^N), u_2\in H^1(\mathbb{R}^N),\no…
▽ More
In this paper, we study important Schrödinger systems with linear and nonlinear couplings \begin{equation}\label{eq:diricichlet} \begin{cases} -Δu_1-λ_1 u_1=μ_1 |u_1|^{p_1-2}u_1+r_1β|u_1|^{r_1-2}u_1|u_2|^{r_2}+κ(x)u_2~\hbox{in}~\mathbb{R}^N,\\ -Δu_2-λ_2 u_2=μ_2 |u_2|^{p_2-2}u_2+r_2β|u_1|^{r_1}|u_2|^{r_2-2}u_2+κ(x)u_1~ \hbox{in}~\mathbb{R}^N,\\ u_1\in H^1(\mathbb{R}^N), u_2\in H^1(\mathbb{R}^N),\nonumber \end{cases} \end{equation} with the condition $$\int_{\mathbb{R}^N} u_1^2=a_1^2, \int_{\mathbb{R}^N} u_2^2=a_2^2,$$ where $N\geq 2$, $μ_1,μ_2,a_1,a_2>0$, $β\in\mathbb{R}$, $2<p_1,p_2<2^*$, $2<r_1+r_2<2^*$, $κ(x)\in L^{\infty}(\mathbb{R}^N)$ with fixed sign and $λ_1,λ_2$ are Lagrangian multipliers. We use Ekland variational principle to prove this system has a normalized radially symmetric solution for $L^2-$subcritical case when $N\geq 2$, and use minimax method to prove this system has a normalized radially symmetric positive solution for $L^2-$supercritical case when $N=3$, $p_1=p_2=4,\ r_1=r_2=2$.
△ Less
Submitted 8 April, 2021;
originally announced April 2021.
-
Transformer visualization via dictionary learning: contextualized embedding as a linear superposition of transformer factors
Authors:
Zeyu Yun,
Yubei Chen,
Bruno A Olshausen,
Yann LeCun
Abstract:
Transformer networks have revolutionized NLP representation learning since they were introduced. Though a great effort has been made to explain the representation in transformers, it is widely recognized that our understanding is not sufficient. One important reason is that there lack enough visualization tools for detailed analysis. In this paper, we propose to use dictionary learning to open up…
▽ More
Transformer networks have revolutionized NLP representation learning since they were introduced. Though a great effort has been made to explain the representation in transformers, it is widely recognized that our understanding is not sufficient. One important reason is that there lack enough visualization tools for detailed analysis. In this paper, we propose to use dictionary learning to open up these "black boxes" as linear superpositions of transformer factors. Through visualization, we demonstrate the hierarchical semantic structures captured by the transformer factors, e.g., word-level polysemy disambiguation, sentence-level pattern formation, and long-range dependency. While some of these patterns confirm the conventional prior linguistic knowledge, the rest are relatively unexpected, which may provide new insights. We hope this visualization tool can bring further knowledge and a better understanding of how transformer networks work. The code is available at https://github.com/zeyuyun1/TransformerVis
△ Less
Submitted 4 April, 2023; v1 submitted 29 March, 2021;
originally announced March 2021.
-
Higher Siegel--Weil formula for unitary groups: the non-singular terms
Authors:
Tony Feng,
Zhiwei Yun,
Wei Zhang
Abstract:
We construct special cycles on the moduli stack of unitary shtukas. We prove an identity between (1) the r-th central derivative of non-singular Fourier coefficients of a normalized Siegel--Eisenstein series, and (2) the degree of special cycles of "virtual dimension 0" on the moduli stack of unitary shtukas with r legs. This may be viewed as a function-field analogue of the Kudla-Rapoport Conject…
▽ More
We construct special cycles on the moduli stack of unitary shtukas. We prove an identity between (1) the r-th central derivative of non-singular Fourier coefficients of a normalized Siegel--Eisenstein series, and (2) the degree of special cycles of "virtual dimension 0" on the moduli stack of unitary shtukas with r legs. This may be viewed as a function-field analogue of the Kudla-Rapoport Conjecture, that has the additional feature of encompassing all higher derivatives of the Eisenstein series.
△ Less
Submitted 29 November, 2023; v1 submitted 21 March, 2021;
originally announced March 2021.
-
Minimal reduction type and the Kazhdan-Lusztig map
Authors:
Zhiwei Yun
Abstract:
We introduce the notion of minimal reduction type of an affine Springer fiber, and use it to define a map from the set of conjugacy classes in the Weyl group to the set of nilpotent orbits. We show that this map is the same as the one defined by Lusztig, and that the Kazhdan-Lusztig map is a section of our map. This settles several conjectures in the literature. For classical groups, we prove more…
▽ More
We introduce the notion of minimal reduction type of an affine Springer fiber, and use it to define a map from the set of conjugacy classes in the Weyl group to the set of nilpotent orbits. We show that this map is the same as the one defined by Lusztig, and that the Kazhdan-Lusztig map is a section of our map. This settles several conjectures in the literature. For classical groups, we prove more refined results by introducing and studying the "skeleta" of affine Springer fibers.
△ Less
Submitted 22 April, 2022; v1 submitted 26 October, 2020;
originally announced October 2020.
-
Euphotic representations and rigid automorphic data
Authors:
Konstantin Jakob,
Zhiwei Yun
Abstract:
We propose a new method to construct rigid $G$-automorphic representations and rigid $\widehat{G}$-local systems for reductive groups $G$. The construction involves the notion of euphotic representations, and the proof for rigidity involves the geometry of certain Hessenberg varieties.
We propose a new method to construct rigid $G$-automorphic representations and rigid $\widehat{G}$-local systems for reductive groups $G$. The construction involves the notion of euphotic representations, and the proof for rigidity involves the geometry of certain Hessenberg varieties.
△ Less
Submitted 23 January, 2023; v1 submitted 10 August, 2020;
originally announced August 2020.
-
Towards Label-Free 3D Segmentation of Optical Coherence Tomography Images of the Optic Nerve Head Using Deep Learning
Authors:
Sripad Krishna Devalla,
Tan Hung Pham,
Satish Kumar Panda,
Liang Zhang,
Giridhar Subramanian,
Anirudh Swaminathan,
Chin Zhi Yun,
Mohan Rajan,
Sujatha Mohan,
Ramaswami Krishnadas,
Vijayalakshmi Senthil,
John Mark S. de Leon,
Tin A. Tun,
Ching-Yu Cheng,
Leopold Schmetterer,
Shamira Perera,
Tin Aung,
Alexandre H. Thiery,
Michael J. A. Girard
Abstract:
Since the introduction of optical coherence tomography (OCT), it has been possible to study the complex 3D morphological changes of the optic nerve head (ONH) tissues that occur along with the progression of glaucoma. Although several deep learning (DL) techniques have been recently proposed for the automated extraction (segmentation) and quantification of these morphological changes, the device s…
▽ More
Since the introduction of optical coherence tomography (OCT), it has been possible to study the complex 3D morphological changes of the optic nerve head (ONH) tissues that occur along with the progression of glaucoma. Although several deep learning (DL) techniques have been recently proposed for the automated extraction (segmentation) and quantification of these morphological changes, the device specific nature and the difficulty in preparing manual segmentations (training data) limit their clinical adoption. With several new manufacturers and next-generation OCT devices entering the market, the complexity in deploying DL algorithms clinically is only increasing. To address this, we propose a DL based 3D segmentation framework that is easily translatable across OCT devices in a label-free manner (i.e. without the need to manually re-segment data for each device). Specifically, we developed 2 sets of DL networks. The first (referred to as the enhancer) was able to enhance OCT image quality from 3 OCT devices, and harmonized image-characteristics across these devices. The second performed 3D segmentation of 6 important ONH tissue layers. We found that the use of the enhancer was critical for our segmentation network to achieve device independency. In other words, our 3D segmentation network trained on any of 3 devices successfully segmented ONH tissue layers from the other two devices with high performance (Dice coefficients > 0.92). With such an approach, we could automatically segment images from new OCT devices without ever needing manual segmentation data from such devices.
△ Less
Submitted 22 February, 2020;
originally announced February 2020.
-
From conjugacy classes in the Weyl group to representations
Authors:
George Lusztig,
Zhiwei Yun
Abstract:
We define a map from the set of conjugacy classes of a Weyl group W to the representation ring of W tensored with the ring of polynomials in one variable.
We define a map from the set of conjugacy classes of a Weyl group W to the representation ring of W tensored with the ring of polynomials in one variable.
△ Less
Submitted 27 May, 2021; v1 submitted 3 December, 2019;
originally announced December 2019.
-
Semilinear automorphisms of classical groups and quivers
Authors:
Jinwei Yang,
Zhiwei Yun
Abstract:
For a classical group $G$ over a field $F$ together with a finite-order automorphism $θ$ that acts compatibly on $F$, we describe the fixed point subgroup of $θ$ on $G$ and the eigenspaces of $θ$ on the Lie algebra $\mathfrak{g}$ in terms of cyclic quivers with involution. More precise classification is given when $\mathfrak{g}$ is a loop Lie algebra, i.e., when $F=\mathbb{C}((t))$.
For a classical group $G$ over a field $F$ together with a finite-order automorphism $θ$ that acts compatibly on $F$, we describe the fixed point subgroup of $θ$ on $G$ and the eigenspaces of $θ$ on the Lie algebra $\mathfrak{g}$ in terms of cyclic quivers with involution. More precise classification is given when $\mathfrak{g}$ is a loop Lie algebra, i.e., when $F=\mathbb{C}((t))$.
△ Less
Submitted 14 October, 2019;
originally announced October 2019.
-
Higher signs for Coxeter groups
Authors:
Zhiwei Yun
Abstract:
We define and study cocycles on a Coxeter group in each degree generalizing the sign function. When the Coxeter group is a Weyl group, we explain how the degree three cocycle arises naturally from geometry representation theory.
We define and study cocycles on a Coxeter group in each degree generalizing the sign function. When the Coxeter group is a Weyl group, we explain how the degree three cocycle arises naturally from geometry representation theory.
△ Less
Submitted 9 August, 2019;
originally announced August 2019.
-
Endoscopy for Hecke categories, character sheaves and representations
Authors:
George Lusztig,
Zhiwei Yun
Abstract:
For a split reductive group $G$ over a finite field, we show that the neutral block of its mixed Hecke category with a fixed monodromy under the torus action is monoidally equivalent to the mixed Hecke category of the corresponding endoscopic group $H$ with trivial monodromy. We also extend this equivalence to all blocks. We give two applications. One is a relationship between character sheaves on…
▽ More
For a split reductive group $G$ over a finite field, we show that the neutral block of its mixed Hecke category with a fixed monodromy under the torus action is monoidally equivalent to the mixed Hecke category of the corresponding endoscopic group $H$ with trivial monodromy. We also extend this equivalence to all blocks. We give two applications. One is a relationship between character sheaves on $G$ with a fixed semisimple parameter and unipotent character sheaves on the endoscopic group $H$, after passing to asymptotic versions. The other is a similar relationship between representations of $G(\mathbb{F}_q)$ with a fixed semisimple parameter and unipotent representations of $H(\mathbb{F}_{q})$.
△ Less
Submitted 22 August, 2021; v1 submitted 1 April, 2019;
originally announced April 2019.
-
Hitchin type moduli stacks in automorphic representation theory
Authors:
Zhiwei Yun
Abstract:
In the study of automorphic representations over a function field, Hitchin moduli stack and its variants naturally appear and their geometry helps the comparison of trace formulae. We give a survey on applications of this observation to a relative fundamental lemma, the arithmetic fundamental lemma and to the higher Gross-Zagier formula.
In the study of automorphic representations over a function field, Hitchin moduli stack and its variants naturally appear and their geometry helps the comparison of trace formulae. We give a survey on applications of this observation to a relative fundamental lemma, the arithmetic fundamental lemma and to the higher Gross-Zagier formula.
△ Less
Submitted 6 September, 2018;
originally announced September 2018.
-
Z/m-graded Lie algebras and perverse sheaves, IV
Authors:
George Lusztig,
Zhiwei Yun
Abstract:
Let G be a reductive group over C. Assume that the Lie algebra g of G has a given grading (g_j) indexed by a cyclic group Z/m such that g_0 contains a Cartan subalgebra of g. The subgroup G_0 of G corresponding to g_0 acts on the variety of nilpotent elements in g_1 with finitely many orbits. We are interested in computing the local intersection cohomology of the closures of these orbits with coef…
▽ More
Let G be a reductive group over C. Assume that the Lie algebra g of G has a given grading (g_j) indexed by a cyclic group Z/m such that g_0 contains a Cartan subalgebra of g. The subgroup G_0 of G corresponding to g_0 acts on the variety of nilpotent elements in g_1 with finitely many orbits. We are interested in computing the local intersection cohomology of the closures of these orbits with coefficients in irreducible G-equivariant local systems which are in the "principal block". We show that these can be computed by a purely combinatorial algorithm.
△ Less
Submitted 26 May, 2018;
originally announced May 2018.
-
Shtukas and the Taylor expansion of $L$-functions (II)
Authors:
Zhiwei Yun,
Wei Zhang
Abstract:
For arithmetic applications, we extend and refine our results in \cite{YZ} to allow ramifications in a minimal way. Starting with a possibly ramified quadratic extension $F'/F$ of function fields over a finite field in odd characteristic, and a finite set of places $Σ$ of $F$ that are unramified in $F'$, we define a collection of Heegner--Drinfeld cycles on the moduli stack of $\mathrm{PGL}_{2}$-S…
▽ More
For arithmetic applications, we extend and refine our results in \cite{YZ} to allow ramifications in a minimal way. Starting with a possibly ramified quadratic extension $F'/F$ of function fields over a finite field in odd characteristic, and a finite set of places $Σ$ of $F$ that are unramified in $F'$, we define a collection of Heegner--Drinfeld cycles on the moduli stack of $\mathrm{PGL}_{2}$-Shtukas with $r$-modifications and Iwahori level structures at places of $Σ$. For a cuspidal automorphic representation $π$ of $\mathrm{PGL}_{2}(\mathbb{A}_{F})$ with square-free level $Σ$, and $r\in\mathbb{Z}_{\ge0}$ whose parity matches the root number of $π_{F'}$, we prove a series of identities between: (1) The product of the central derivatives of the normalized $L$-functions $\mathcal{L}^{(a)}(π, 1/2)\mathcal{L}^{(r-a)}(π\otimesη, 1/2)$, where $η$ is the quadratic idèle class character attached to $F'/F$, and $0\le a\le r$; (2) The self intersection number of a linear combination of Heegner--Drinfeld cycles. In particular, we can now obtain global $L$-functions with odd vanishing orders. These identities are function-field analogues of the formulas of Waldspurger and Gross--Zagier for higher derivatives of $L$-functions.
△ Less
Submitted 12 June, 2020; v1 submitted 21 December, 2017;
originally announced December 2017.
-
The cohomology ring of certain compactified Jacobians
Authors:
Alexei Oblomkov,
Zhiwei Yun
Abstract:
We provide an explicit presentation of the equivariant cohomology ring of the compactified Jacobian $J_{q/p}$ of the rational curve $C_{q/p}$ with planar equation $x^{q}=y^{p}$ for $(p,q)=1$. We also prove analogous results for the closely related affine Springer fiber $Sp_{q/p}$ in the affine flag variety of $SL_{p}$. We show that the perverse filtration on the cohomology of $J_{q/p}$ is multipli…
▽ More
We provide an explicit presentation of the equivariant cohomology ring of the compactified Jacobian $J_{q/p}$ of the rational curve $C_{q/p}$ with planar equation $x^{q}=y^{p}$ for $(p,q)=1$. We also prove analogous results for the closely related affine Springer fiber $Sp_{q/p}$ in the affine flag variety of $SL_{p}$. We show that the perverse filtration on the cohomology of $J_{q/p}$ is multiplicative, and the associated graded ring under the perverse filtration is a degeneration of the ring of functions on a moduli space of maps $\mathbb{P}^{1}\to C_{q/p}$. We also propose several conjectures about $J_{q/p}$ and more general compactified Jacobians.
△ Less
Submitted 15 October, 2017;
originally announced October 2017.
-
Spectral action in Betti Geometric Langlands
Authors:
David Nadler,
Zhiwei Yun
Abstract:
Let $X$ be a smooth projective curve, $G$ a reductive group, and $Bun_G(X)$ the moduli of $G$-bundles on $X$. For each point of $X$, the Satake category acts by Hecke modifications on sheaves on $Bun_G(X)$. We show that, for sheaves with nilpotent singular support, the action is locally constant with respect to the point of $X$. This equips sheaves with nilpotent singular support with a module str…
▽ More
Let $X$ be a smooth projective curve, $G$ a reductive group, and $Bun_G(X)$ the moduli of $G$-bundles on $X$. For each point of $X$, the Satake category acts by Hecke modifications on sheaves on $Bun_G(X)$. We show that, for sheaves with nilpotent singular support, the action is locally constant with respect to the point of $X$. This equips sheaves with nilpotent singular support with a module structure over perfect complexes on the Betti moduli $Loc_{G^\vee}(X)$ of dual group local systems. In particular, we establish the "automorphic to Galois" direction in the Betti Geometric Langlands correspondence -- to each indecomposable automorphic sheaf, we attach a dual group local system -- and define the Betti version of V. Lafforgue's excursion operators.
△ Less
Submitted 10 May, 2019; v1 submitted 12 November, 2016;
originally announced November 2016.
-
Geometric Langlands correspondence for SL(2), PGL(2) over the pair of pants
Authors:
David Nadler,
Zhiwei Yun
Abstract:
We establish the Geometric Langlands correspondence for rank one groups over the projective line with three points of tame ramification.
We establish the Geometric Langlands correspondence for rank one groups over the projective line with three points of tame ramification.
△ Less
Submitted 28 August, 2017; v1 submitted 26 October, 2016;
originally announced October 2016.
-
$\mathbb{Z}/m\mathbb{Z}$-graded Lie algebras and perverse sheaves, III: graded double affine Hecke algebra
Authors:
George Lusztig,
Zhiwei Yun
Abstract:
In this paper we construct representations of certain graded double affine Hecke algebras (DAHA) with possibly unequal parameters from geometry. More precisely, starting with a simple Lie algebra $\mathfrak{g}$ together with a $\mathbb{Z}/m\mathbb{Z}$-grading $\oplus_{i}\mathfrak{g}_{i}$ and a block of $G_{\underline{0}}$-equivariant complexes on the nilpotent cone of…
▽ More
In this paper we construct representations of certain graded double affine Hecke algebras (DAHA) with possibly unequal parameters from geometry. More precisely, starting with a simple Lie algebra $\mathfrak{g}$ together with a $\mathbb{Z}/m\mathbb{Z}$-grading $\oplus_{i}\mathfrak{g}_{i}$ and a block of $G_{\underline{0}}$-equivariant complexes on the nilpotent cone of $\mathfrak{g}_{\underline{1}}$ as introduced in \cite{LY1}, we attach a graded DAHA and construct its action on the direct sum of spiral inductions in that block. This generalizes results of Vasserot \cite{V} and Oblomkov-Yun \cite{OY} which correspond to the case of the principal block.
△ Less
Submitted 25 October, 2016; v1 submitted 26 July, 2016;
originally announced July 2016.
-
$Z/m$-graded Lie algebras and perverse sheaves, II
Authors:
George Lusztig,
Zhiwei Yun
Abstract:
We consider a fixed block for the equivariant perverse sheaves with nilpotent support in the $1$-graded ccomponent of a semisimple cyclically graded Lie algebra. We give a combinatorial parametrization of the simple objects in that block.
We consider a fixed block for the equivariant perverse sheaves with nilpotent support in the $1$-graded ccomponent of a semisimple cyclically graded Lie algebra. We give a combinatorial parametrization of the simple objects in that block.
△ Less
Submitted 30 September, 2016; v1 submitted 3 April, 2016;
originally announced April 2016.
-
Z/m-graded Lie algebras and perverse sheaves, I
Authors:
George Lusztig,
Zhiwei Yun
Abstract:
We give a block decomposition of the equivariant derived category arising from a cyclically graded Lie algebra. This generalizes certain aspects of the generalized Springer correspondence to the graded setting.
We give a block decomposition of the equivariant derived category arising from a cyclically graded Lie algebra. This generalizes certain aspects of the generalized Springer correspondence to the graded setting.
△ Less
Submitted 30 September, 2016; v1 submitted 16 February, 2016;
originally announced February 2016.
-
Lectures on Springer theories and orbital integrals
Authors:
Zhiwei Yun
Abstract:
These are the expanded lecture notes from the author's mini-course during the graduate summer school of the Park City Math Institute in 2015. The main topics covered are: geometry of Springer fibers, affine Springer fibers and Hitchin fibers; representations of (affine) Weyl groups arising from these objects; relation between affine Springer fibers and orbital integrals.
These are the expanded lecture notes from the author's mini-course during the graduate summer school of the Park City Math Institute in 2015. The main topics covered are: geometry of Springer fibers, affine Springer fibers and Hitchin fibers; representations of (affine) Weyl groups arising from these objects; relation between affine Springer fibers and orbital integrals.
△ Less
Submitted 3 February, 2016;
originally announced February 2016.
-
Shtukas and the Taylor expansion of $L$-functions
Authors:
Zhiwei Yun,
Wei Zhang
Abstract:
We define the Heegner--Drinfeld cycle on the moduli stack of Drinfeld Shtukas of rank two with $r$-modifications for an even integer $r$. We prove an identity between (1) The $r$-th central derivative of the quadratic base change $L$-function associated to an everywhere unramified cuspidal automorphic representation $π$ of $PGL_{2}$; (2) The self-intersection number of the $π$-isotypic component o…
▽ More
We define the Heegner--Drinfeld cycle on the moduli stack of Drinfeld Shtukas of rank two with $r$-modifications for an even integer $r$. We prove an identity between (1) The $r$-th central derivative of the quadratic base change $L$-function associated to an everywhere unramified cuspidal automorphic representation $π$ of $PGL_{2}$; (2) The self-intersection number of the $π$-isotypic component of the Heegner--Drinfeld cycle. This identity can be viewed as a function-field analog of the Waldspurger and Gross--Zagier formula for higher derivatives of $L$-functions.
△ Less
Submitted 11 April, 2017; v1 submitted 8 December, 2015;
originally announced December 2015.
-
Geometric representations of graded and rational Cherednik algebras
Authors:
Alexei Oblomkov,
Zhiwei Yun
Abstract:
We provide geometric constructions of modules over the graded Cherednik algebra $\mathfrak{H}^{gr}_ν$ and the rational Cherednik algebra $\mathfrak{H}^{rat}_ν$ attached to a simple algebraic group $\mathbb{G}$ together with a pinned automorphism $θ$. These modules are realized on the cohomology of affine Springer fibers (of finite type) that admit $\mathbb{C}^*$-actions. In the rational Cherednik…
▽ More
We provide geometric constructions of modules over the graded Cherednik algebra $\mathfrak{H}^{gr}_ν$ and the rational Cherednik algebra $\mathfrak{H}^{rat}_ν$ attached to a simple algebraic group $\mathbb{G}$ together with a pinned automorphism $θ$. These modules are realized on the cohomology of affine Springer fibers (of finite type) that admit $\mathbb{C}^*$-actions. In the rational Cherednik algebra case, the standard grading on these modules is derived from the perverse filtration on the cohomology of affine Springer fibers coming from its global analog: Hitchin fibers. When $θ$ is trivial, we show that our construction gives the irreducible finite-dimensional spherical modules $\mathfrak{L}_ν(triv)$ of $\mathfrak{H}^{gr}_ν$ and of $\mathfrak{H}^{rat}_ν$. We give a formula for the dimension of $\mathfrak{L}_ν(triv)$ and give a geometric interpretation of its Frobenius algebra structure. The rank two cases are studied in further details.
△ Less
Submitted 18 February, 2016; v1 submitted 21 July, 2014;
originally announced July 2014.
-
Many worlds interpretation for double slit experiment
Authors:
Zinkoo Yun
Abstract:
As is well known, the double slit experiment contains every key concepts of quantum mechanics such as phase effect, probability wave, quantum interference, quantum superposition. In this article, I will clarify the meaning of quantum superposition in terms of phase effect between states. After applying standard quantum theory, it leads to serious questions about the unitary process of an isolated…
▽ More
As is well known, the double slit experiment contains every key concepts of quantum mechanics such as phase effect, probability wave, quantum interference, quantum superposition. In this article, I will clarify the meaning of quantum superposition in terms of phase effect between states. After applying standard quantum theory, it leads to serious questions about the unitary process of an isolated system. It implies that non collapsing interpretations including many worlds may not be justified. This also could explain that there is no such boundary between classical and quantum domains.
△ Less
Submitted 29 May, 2014;
originally announced May 2014.
-
Rigidity in automorphic representations and local systems
Authors:
Zhiwei Yun
Abstract:
We introduce the notion of rigidity for automorphic representations of groups over global function fields. We construct the Langlands parameters of rigid automorphic representations explicitly as local systems over open curves. We expect these local systems to be rigid. Examples of rigid automorphic representations from previous work are reviewed and more examples for $GL_{2}$ are discussed in det…
▽ More
We introduce the notion of rigidity for automorphic representations of groups over global function fields. We construct the Langlands parameters of rigid automorphic representations explicitly as local systems over open curves. We expect these local systems to be rigid. Examples of rigid automorphic representations from previous work are reviewed and more examples for $GL_{2}$ are discussed in details.
△ Less
Submitted 13 May, 2014;
originally announced May 2014.
-
Meaning of delayed choice experiment and quantum uncertainty
Authors:
Zinkoo Yun
Abstract:
By slight modifying of the delayed-choice experiment, it is argued that the quantum wave function must be interpreted as real physical entity; With this interpretation in mind, multiple least action paths due to uncertainty leads us to new perspective on the Compton wavelength and the uncertainty principle itself.
By slight modifying of the delayed-choice experiment, it is argued that the quantum wave function must be interpreted as real physical entity; With this interpretation in mind, multiple least action paths due to uncertainty leads us to new perspective on the Compton wavelength and the uncertainty principle itself.
△ Less
Submitted 22 April, 2014;
originally announced April 2014.
-
Three Dimensional Edwards-Anderson Spin Glass Model in an External Field
Authors:
Sheng Feng,
Ye Fang,
Ka-Ming Tam,
Zhifeng Yun,
J. Ramanujam,
Juana Moreno,
Mark Jarrell
Abstract:
We study the Edwards-Anderson model on a simple cubic lattice with a finite constant external field. We employ an indicator composed of a ratio of susceptibilities at finite wavenumbers, which was recently proposed to avoid the difficulties of a zero momentum quantity, for capturing the spin glass phase transition. Unfortunately, this new indicator is fairly noisy, so a large pool of samples at lo…
▽ More
We study the Edwards-Anderson model on a simple cubic lattice with a finite constant external field. We employ an indicator composed of a ratio of susceptibilities at finite wavenumbers, which was recently proposed to avoid the difficulties of a zero momentum quantity, for capturing the spin glass phase transition. Unfortunately, this new indicator is fairly noisy, so a large pool of samples at low temperature and small external field are needed to generate results with sufficiently small statistical error for analysis. We thus implement the Monte Carlo method using graphics processing units to drastically speedup the simulation. We confirm previous findings that conventional indicators for the spin glass transition, including the Binder ratio and the correlation length do not show any indication of a transition for rather low temperatures. However, the ratio of spin glass susceptibilities do show crossing behavior, albeit a systematic analysis is beyond the reach of the present data. This calls for a more thorough study of the three-dimension Edwards-Anderson model in an external field.
△ Less
Submitted 18 March, 2014;
originally announced March 2014.
-
Space time symmetry in quantum mechanics
Authors:
Zinkoo Yun
Abstract:
New prescription to treat position and time equally in quantum mechanics is presented. Using this prescription, we could successfully derive some interesting formulae such as time-of-arrival for a free particle and quantum tunneling formula. The physical interpretation will be discussed.
New prescription to treat position and time equally in quantum mechanics is presented. Using this prescription, we could successfully derive some interesting formulae such as time-of-arrival for a free particle and quantum tunneling formula. The physical interpretation will be discussed.
△ Less
Submitted 11 March, 2014; v1 submitted 26 February, 2014;
originally announced March 2014.
-
Epipelagic representations and rigid local systems
Authors:
Zhiwei Yun
Abstract:
We construct automorphic representations for quasi-split groups $G$ over the function field $F=k(t)$ one of whose local components is an epipelagic representation in the sense of Reeder and Yu. We also construct the attached Galois representations under the Langlands correspondence. These Galois representations give new classes of conjecturally rigid, wildly ramified $^{L}G$-local systems over…
▽ More
We construct automorphic representations for quasi-split groups $G$ over the function field $F=k(t)$ one of whose local components is an epipelagic representation in the sense of Reeder and Yu. We also construct the attached Galois representations under the Langlands correspondence. These Galois representations give new classes of conjecturally rigid, wildly ramified $^{L}G$-local systems over $\mathbb{P}^{1}-\{0,\infty\}$ that generalize the Kloosterman sheaves constructed earlier by Heinloth, Ngô and the author. We study the monodromy of these local systems and compute all examples when $G$ is a classical group.
△ Less
Submitted 29 January, 2014;
originally announced January 2014.
-
Parallel Tempering Simulation of the three-dimensional Edwards-Anderson Model with Compact Asynchronous Multispin Coding on GPU
Authors:
Ye Fang,
Sheng Feng,
Ka-Ming Tam,
Zhifeng Yun,
Juana Moreno,
J. Ramanujam,
Mark Jarrell
Abstract:
Monte Carlo simulations of the Ising model play an important role in the field of computational statistical physics, and they have revealed many properties of the model over the past few decades. However, the effect of frustration due to random disorder, in particular the possible spin glass phase, remains a crucial but poorly understood problem. One of the obstacles in the Monte Carlo simulation…
▽ More
Monte Carlo simulations of the Ising model play an important role in the field of computational statistical physics, and they have revealed many properties of the model over the past few decades. However, the effect of frustration due to random disorder, in particular the possible spin glass phase, remains a crucial but poorly understood problem. One of the obstacles in the Monte Carlo simulation of random frustrated systems is their long relaxation time making an efficient parallel implementation on state-of-the-art computation platforms highly desirable. The Graphics Processing Unit (GPU) is such a platform that provides an opportunity to significantly enhance the computational performance and thus gain new insight into this problem. In this paper, we present optimization and tuning approaches for the CUDA implementation of the spin glass simulation on GPUs. We discuss the integration of various design alternatives, such as GPU kernel construction with minimal communication, memory tiling, and look-up tables. We present a binary data format, Compact Asynchronous Multispin Coding (CAMSC), which provides an additional $28.4\%$ speedup compared with the traditionally used Asynchronous Multispin Coding (AMSC). Our overall design sustains a performance of 33.5 picoseconds per spin flip attempt for simulating the three-dimensional Edwards-Anderson model with parallel tempering, which significantly improves the performance over existing GPU implementations.
△ Less
Submitted 21 November, 2013;
originally announced November 2013.
-
Path integral approach on Schrodinger's cat
Authors:
Zinkoo Yun
Abstract:
From the following thought experiments, it is demonstrated that the collapse of wave function of an isolated system is possible without external observer. It will be shown that the analysis by Feynman path integral method supports this conclusion. The argument is based on two assumptions: 1. The condition of Schrodinger's cat experiment 2. Feynman path integral; This could explain Schrodinger's ca…
▽ More
From the following thought experiments, it is demonstrated that the collapse of wave function of an isolated system is possible without external observer. It will be shown that the analysis by Feynman path integral method supports this conclusion. The argument is based on two assumptions: 1. The condition of Schrodinger's cat experiment 2. Feynman path integral; This could explain Schrodinger's cat paradox and its implication on the black hole information paradox will be discussed.
△ Less
Submitted 24 January, 2014; v1 submitted 30 October, 2013;
originally announced October 2013.
-
Description of the shape evolution in the yrast states of 186Pt
Authors:
He Chuang-Ye,
Wu Xiao-Guang,
Zheng Yun,
Li Cong-Bo
Abstract:
186Pt was tested in the framework of IBM-1 and the X(3) model. The results show that 186Pt is located close to the shape phase transition point, but the B(E2) values little agree with the X(3) model. The shape evolution in the yrast states of 186Pt is also discussed in detail. TRS calculation exhibits a at bottomed potential at low spin states, but a relatively deep minimum at high spin states. It…
▽ More
186Pt was tested in the framework of IBM-1 and the X(3) model. The results show that 186Pt is located close to the shape phase transition point, but the B(E2) values little agree with the X(3) model. The shape evolution in the yrast states of 186Pt is also discussed in detail. TRS calculation exhibits a at bottomed potential at low spin states, but a relatively deep minimum at high spin states. It suggests that a shape evolution from vibrational mode to rotational mode happens in 186Pt. The result is in agreement with the E-GOS calculation.
△ Less
Submitted 25 September, 2013;
originally announced September 2013.
-
Galois representations attached to moments of Kloosterman sums and conjectures of Evans
Authors:
Zhiwei Yun
Abstract:
Kloosterman sums for a finite field arise as Frobenius trace functions of certain local systems defined over $\Gm$. The moments of Kloosterman sums calculate the Frobenius traces on the cohomology of tensor powers (or symmetric powers, exterior powers, etc.) of these local systems. We show that when $p$ ranges over all primes, the moments of the corresponding Kloosterman sums for $\mathbb{F}_{p}$…
▽ More
Kloosterman sums for a finite field arise as Frobenius trace functions of certain local systems defined over $\Gm$. The moments of Kloosterman sums calculate the Frobenius traces on the cohomology of tensor powers (or symmetric powers, exterior powers, etc.) of these local systems. We show that when $p$ ranges over all primes, the moments of the corresponding Kloosterman sums for $\mathbb{F}_{p}$ arise as Frobenius traces on a continuous $\ell$-adic Galois representation that comes from geometry. We also give bounds on the ramification of these Galois representations. All this is done in the generality of Kloosterman sheaves attached to reductive groups introduced in \cite{HNY}. As an application, we give proofs of conjectures of R. Evans (\cite{Evans0}, \cite{Evans}) expressing the seventh and eighth symmetric power moments of the classical Kloosterman sum in terms of Fourier coefficients of explicit modular forms. The proof for the eighth symmetric power moment conjecture relies on the computation done in Appendix B by C.Vincent.
△ Less
Submitted 7 September, 2013; v1 submitted 18 August, 2013;
originally announced August 2013.