-
Differentially Private Representation Learning via Image Captioning
Authors:
Tom Sander,
Yaodong Yu,
Maziar Sanjabi,
Alain Durmus,
Yi Ma,
Kamalika Chaudhuri,
Chuan Guo
Abstract:
Differentially private (DP) machine learning is considered the gold-standard solution for training a model from sensitive data while still preserving privacy. However, a major barrier to achieving this ideal is its sub-optimal privacy-accuracy trade-off, which is particularly visible in DP representation learning. Specifically, it has been shown that under modest privacy budgets, most models learn…
▽ More
Differentially private (DP) machine learning is considered the gold-standard solution for training a model from sensitive data while still preserving privacy. However, a major barrier to achieving this ideal is its sub-optimal privacy-accuracy trade-off, which is particularly visible in DP representation learning. Specifically, it has been shown that under modest privacy budgets, most models learn representations that are not significantly better than hand-crafted features. In this work, we show that effective DP representation learning can be done via image captioning and scaling up to internet-scale multimodal datasets. Through a series of engineering tricks, we successfully train a DP image captioner (DP-Cap) on a 233M subset of LAION-2B from scratch using a reasonable amount of computation, and obtaining unprecedented high-quality image features that can be used in a variety of downstream vision and vision-language tasks. For example, under a privacy budget of $\varepsilon=8$, a linear classifier trained on top of learned DP-Cap features attains 65.8% accuracy on ImageNet-1K, considerably improving the previous SOTA of 56.5%. Our work challenges the prevailing sentiment that high-utility DP representation learning cannot be achieved by training from scratch.
△ Less
Submitted 4 March, 2024;
originally announced March 2024.
-
Watermarking Makes Language Models Radioactive
Authors:
Tom Sander,
Pierre Fernandez,
Alain Durmus,
Matthijs Douze,
Teddy Furon
Abstract:
This paper investigates the radioactivity of LLM-generated texts, i.e. whether it is possible to detect that such input was used as training data. Conventional methods like membership inference can carry out this detection with some level of accuracy. We show that watermarked training data leaves traces easier to detect and much more reliable than membership inference. We link the contamination le…
▽ More
This paper investigates the radioactivity of LLM-generated texts, i.e. whether it is possible to detect that such input was used as training data. Conventional methods like membership inference can carry out this detection with some level of accuracy. We show that watermarked training data leaves traces easier to detect and much more reliable than membership inference. We link the contamination level to the watermark robustness, its proportion in the training set, and the fine-tuning process. We notably demonstrate that training on watermarked synthetic instructions can be detected with high confidence (p-value < 1e-5) even when as little as 5% of training text is watermarked. Thus, LLM watermarking, originally designed for detecting machine-generated text, gives the ability to easily identify if the outputs of a watermarked LLM were used to fine-tune another LLM.
△ Less
Submitted 22 February, 2024;
originally announced February 2024.
-
Implicit Bias in Noisy-SGD: With Applications to Differentially Private Training
Authors:
Tom Sander,
Maxime Sylvestre,
Alain Durmus
Abstract:
Training Deep Neural Networks (DNNs) with small batches using Stochastic Gradient Descent (SGD) yields superior test performance compared to larger batches. The specific noise structure inherent to SGD is known to be responsible for this implicit bias. DP-SGD, used to ensure differential privacy (DP) in DNNs' training, adds Gaussian noise to the clipped gradients. Surprisingly, large-batch trainin…
▽ More
Training Deep Neural Networks (DNNs) with small batches using Stochastic Gradient Descent (SGD) yields superior test performance compared to larger batches. The specific noise structure inherent to SGD is known to be responsible for this implicit bias. DP-SGD, used to ensure differential privacy (DP) in DNNs' training, adds Gaussian noise to the clipped gradients. Surprisingly, large-batch training still results in a significant decrease in performance, which poses an important challenge because strong DP guarantees necessitate the use of massive batches. We first show that the phenomenon extends to Noisy-SGD (DP-SGD without clipping), suggesting that the stochasticity (and not the clipping) is the cause of this implicit bias, even with additional isotropic Gaussian noise. We theoretically analyse the solutions obtained with continuous versions of Noisy-SGD for the Linear Least Square and Diagonal Linear Network settings, and reveal that the implicit bias is indeed amplified by the additional noise. Thus, the performance issues of large-batch DP-SGD training are rooted in the same underlying principles as SGD, offering hope for potential improvements in large batch training strategies.
△ Less
Submitted 13 February, 2024;
originally announced February 2024.
-
Robust Railway Network Design based on Strategic Timetables
Authors:
Tim Sander,
Nadine Friesen,
Karl Nachtigall,
Nils Nießen
Abstract:
Using strategic timetables as input for railway network design has become increasingly popular among western European railway infrastructure operators. Although both railway timetabling and railway network design on their own are well covered by academic research, there is still a gap in the literature concerning timetable-based network design. Therefore, we propose a mixed-integer linear program…
▽ More
Using strategic timetables as input for railway network design has become increasingly popular among western European railway infrastructure operators. Although both railway timetabling and railway network design on their own are well covered by academic research, there is still a gap in the literature concerning timetable-based network design. Therefore, we propose a mixed-integer linear program to design railway infrastructure so that the demand derived from a strategic timetable can be satisfied with minimal infrastructure costs. The demand is given by a list of trains, each featuring start and destination nodes as well as time bounds and a set of frequency and transfer constraints that capture the strategic timetable's main characteristics. During the optimization, the solver decides which railway lines need to be built or expanded and whether travel or headway times must be shortened to meet the demand. Since strategic timetables are subject to uncertainty, we expand the optimization model to a robust version. Uncertain timetables are modelled as discrete scenarios, while uncertain freight train demand is modelled using optional trains, which can be inserted into the resulting timetable if they do not require additional infrastructure. We present computational results for both the deterministic and the robust case and give an outlook on further research.
△ Less
Submitted 1 August, 2023;
originally announced August 2023.
-
The complexity of the Timetable-Based Railway Network Design Problem
Authors:
Nadine Friesen,
Tim Sander,
Karl Nachtigall,
Nils Nießen
Abstract:
Because of the long planning periods and their long life cycle, railway infrastructure has to be outlined long ahead. At the present, the infrastructure is designed while only little about the intended operation is known. Hence, the timetable and the operation are adjusted to the infrastructure. Since space, time and money for extension measures of railway infrastructure are limited, each modifica…
▽ More
Because of the long planning periods and their long life cycle, railway infrastructure has to be outlined long ahead. At the present, the infrastructure is designed while only little about the intended operation is known. Hence, the timetable and the operation are adjusted to the infrastructure. Since space, time and money for extension measures of railway infrastructure are limited, each modification has to be done carefully and long lasting and should be appropriate for the future unknown demand.
To take this into account, we present the robust network design problem for railway infrastructure under capacity constraints and uncertain timetables. Here, we plan the required expansion measures for an uncertain long-term timetable. We show that this problem is NP-hard even when restricted to bipartite graphs and very simple timetables and present easier solvable special cases.
This problem corresponds to the fixed-charge network design problem where the expansion costs are minimized such that the timetable is conductible. We model this problem by an integer linear program using time expanded networks.
To incorporate the uncertainty of the future timetable, we use a scenario-based approach. We define scenarios with individual departure and arrival times and optional trains. The network is then optimized such that a given percentage of the scenarios can be operated while minimizing the expansion costs and potential penalty costs for not scheduled optional trains.
△ Less
Submitted 1 August, 2023;
originally announced August 2023.
-
TAN Without a Burn: Scaling Laws of DP-SGD
Authors:
Tom Sander,
Pierre Stock,
Alexandre Sablayrolles
Abstract:
Differentially Private methods for training Deep Neural Networks (DNNs) have progressed recently, in particular with the use of massive batches and aggregated data augmentations for a large number of training steps. These techniques require much more computing resources than their non-private counterparts, shifting the traditional privacy-accuracy trade-off to a privacy-accuracy-compute trade-off…
▽ More
Differentially Private methods for training Deep Neural Networks (DNNs) have progressed recently, in particular with the use of massive batches and aggregated data augmentations for a large number of training steps. These techniques require much more computing resources than their non-private counterparts, shifting the traditional privacy-accuracy trade-off to a privacy-accuracy-compute trade-off and making hyper-parameter search virtually impossible for realistic scenarios. In this work, we decouple privacy analysis and experimental behavior of noisy training to explore the trade-off with minimal computational requirements. We first use the tools of Rényi Differential Privacy (RDP) to highlight that the privacy budget, when not overcharged, only depends on the total amount of noise (TAN) injected throughout training. We then derive scaling laws for training models with DP-SGD to optimize hyper-parameters with more than a $100\times$ reduction in computational budget. We apply the proposed method on CIFAR-10 and ImageNet and, in particular, strongly improve the state-of-the-art on ImageNet with a +9 points gain in top-1 accuracy for a privacy budget epsilon=8.
△ Less
Submitted 24 May, 2023; v1 submitted 7 October, 2022;
originally announced October 2022.
-
A tabletop Optically Pumped Magnetometer setup for the monitoring of magnetic nanoparticle clustering and immobilization using Thermal Noise Magnetometry
Authors:
Katrijn Everaert,
Tilmann Sander,
Rainer Körber,
Norbert Loewa,
Bartel Van Waeyenberge,
Jonathan Leliaert,
Frank Wiekhorst
Abstract:
Many characterization techniques for magnetic nanoparticles depend on the usage of external fields. This is not the case in Thermal Noise Magnetometry (TNM), where thermal fluctuations in the magnetic signal of magnetic nanoparticle ensembles are measured without any external excitation. This can provide valuable information about the fundamental dynamical properties of the particles, due to the p…
▽ More
Many characterization techniques for magnetic nanoparticles depend on the usage of external fields. This is not the case in Thermal Noise Magnetometry (TNM), where thermal fluctuations in the magnetic signal of magnetic nanoparticle ensembles are measured without any external excitation. This can provide valuable information about the fundamental dynamical properties of the particles, due to the purely observative experiments of this relatively new technique. Until now, TNM signals have been detected only by a superconducting quantum interference device (SQUID) sensor. We present a tabletop setup using Optically Pumped Magnetometers (OPMs) in a small magnetic shield, offering a flexible and accessible alternative and show the agreement between both measurement systems for two different commercially available nanoparticle samples. We argue that the OPM setup with high accessibility complements the SQUID setup with high sensitivity and bandwidth. Furthermore, because of its excellent sensitivity in the lower frequencies, the OPM tabletop setup is well suited to monitor aggregation processes where the magnetization dynamics of the particles tend to slow down, e.g. in biological processes. As a proof of concept, we show for three different immobilization and clustering processes the changes in the noise spectrum measured in the tabletop setup: 1) the aggregation of particles due to the addition of ethanol, 2) the formation of polymer structures in the sample due to UV exposure, and 3) the cellular uptake of the particles by THP-1 cells. From our results we conclude that the tabletop setup offers a flexible and widely adoptable sensor measurement unit to monitor the immobilization and clustering of magnetic nanoparticles over time for different applications.
△ Less
Submitted 30 September, 2022;
originally announced September 2022.
-
Incidence matrices and line graphs of mixed graphs
Authors:
Mohammad Abudayah,
Omar Alomari,
Torsten Sander
Abstract:
In the theory of line graphs of undirected graphs there exists an important theorem linking the incidence matrix of the root graph to the adjacency matrix of its line graph. For directed or mixed graphs, however, the exists no analogous result. The goal of this article is to present aligned definitions of the adjacency matrix, the incidence matrix and line graph of a mixed graph such that the ment…
▽ More
In the theory of line graphs of undirected graphs there exists an important theorem linking the incidence matrix of the root graph to the adjacency matrix of its line graph. For directed or mixed graphs, however, the exists no analogous result. The goal of this article is to present aligned definitions of the adjacency matrix, the incidence matrix and line graph of a mixed graph such that the mentioned theorem is valid for mixed graphs.
△ Less
Submitted 11 May, 2022;
originally announced May 2022.
-
Hermitian Adjacency Matrices of Mixed Graphs
Authors:
Mohammad Abudayah,
Omar Alomari,
Torsten Sander
Abstract:
The traditional adjacency matrix of a mixed graph is not symmetric in general, hence its eigenvalues may be not real. To overcome this obstacle, several authors have recently defined and studied various Hermitian adjacency matrices of digraphs or mixed graphs. In this work we unify previous work and offer a new perspective on the subject by introducing the concept of monographs. Moreover, we consi…
▽ More
The traditional adjacency matrix of a mixed graph is not symmetric in general, hence its eigenvalues may be not real. To overcome this obstacle, several authors have recently defined and studied various Hermitian adjacency matrices of digraphs or mixed graphs. In this work we unify previous work and offer a new perspective on the subject by introducing the concept of monographs. Moreover, we consider questions of cospectrality.
△ Less
Submitted 11 May, 2022; v1 submitted 31 March, 2021;
originally announced March 2021.
-
Biomagnetic signals recorded during transcranial magnetic stimulation (TMS)-evoked peripheral muscular activity
Authors:
Geoffrey Z. Iwata,
Yinan Hu,
Tilmann Sander,
Muthuraman Muthuraman,
Venkata Chaitanya Chirumamilla,
Sergiu Groppa,
Dmitry Budker,
Arne Wickenbrock
Abstract:
Objective: We present magnetomyograms (MMG) of TMS-evoked movement in a human hand, together with a simultaneous surface electromyograph (EMG) and electroencephalograph (EEG) data. Approach: We combined TMS with non-contact magnetic detection of TMS-evoked muscle activity in peripheral limbs to explore a new diagnostic modality that enhances the utility of TMS as a clinical tool by leveraging tech…
▽ More
Objective: We present magnetomyograms (MMG) of TMS-evoked movement in a human hand, together with a simultaneous surface electromyograph (EMG) and electroencephalograph (EEG) data. Approach: We combined TMS with non-contact magnetic detection of TMS-evoked muscle activity in peripheral limbs to explore a new diagnostic modality that enhances the utility of TMS as a clinical tool by leveraging technological advances in magnetometry. We recorded measurements in a regular hospital room using an array of optically pumped magnetometers (OPM) inside a portable shield that encompasses only the forearm and hand of the subject. Main Results: The biomagnetic signals recorded in the MMG provide detailed spatial and temporal information that is complementary to that of the electric signal channels. Moreover, we identify features in the magnetic recording beyond those of the EMG. Significance: These results validate the viability of MMG recording with a compact OPM based setup in small-sized magnetic shielding, and provide proof-of-principle for a non-contact data channel for detection and analysis of TMS-evoked muscle activity from peripheral limbs.
△ Less
Submitted 19 May, 2020; v1 submitted 25 September, 2019;
originally announced September 2019.
-
Spectrum of free-form Sudoku graphs
Authors:
Mohammad Abudayah,
Omar Alomari,
Torsten Sander
Abstract:
A free-form Sudoku puzzle is a square arrangement of m times m cells such that the cells are partitioned into m subsets (called blocks) of equal cardinality. The goal of the puzzle is to place integers 1,...,m in the cells such that the numbers in every row, column and block are distinct. Represent each cell by a vertex and add edges between two vertices exactly when the corresponding cells, accor…
▽ More
A free-form Sudoku puzzle is a square arrangement of m times m cells such that the cells are partitioned into m subsets (called blocks) of equal cardinality. The goal of the puzzle is to place integers 1,...,m in the cells such that the numbers in every row, column and block are distinct. Represent each cell by a vertex and add edges between two vertices exactly when the corresponding cells, according to the rules, must contain different numbers. This yields the associated free-form Sudoku graph. This article studies the eigenvalues of free-form Sudoku graphs, most notably integrality. Further, we analyze the evolution of eigenvalues and eigenspaces of such graphs when the associated puzzle is subjected to a "blow up" operation, scaling the cell grid including its block partition.
△ Less
Submitted 20 August, 2018;
originally announced August 2018.
-
Role of Polar Phonons in the Photo Excited State of Metal Halide Perovskites
Authors:
Menno Bokdam,
Tobias Sander,
Alessandro Stroppa,
Silvia Picozzi,
D. D. Sarma,
Cesare Franchini,
Georg Kresse
Abstract:
The development of high efficiency perovskite solar cells has sparked a multitude of measurements on the optical properties of these materials. For the most studied methylammonium(MA)PbI$_3$ perovskite, a large range (6-55 meV) of exciton binding energies has been reported by various experiments. The existence of excitons at room temperature is unclear. For the MAPb$X_3$ perovskites we report on r…
▽ More
The development of high efficiency perovskite solar cells has sparked a multitude of measurements on the optical properties of these materials. For the most studied methylammonium(MA)PbI$_3$ perovskite, a large range (6-55 meV) of exciton binding energies has been reported by various experiments. The existence of excitons at room temperature is unclear. For the MAPb$X_3$ perovskites we report on relativistic $GW$-BSE calculations. This method is capable to directly calculate excitonic properties from first-principles. At low temperatures it predicts exciton binding energies in agreement with the reported 'large' values. For MAPbI$_3$, phonon modes present in this frequency range have a negligible contribution to the ionic screening. By calculating the polarisation in time from finite temperature molecular dynamics, we show that at room temperature this does not change. We therefore exclude ionic screening as an explanation for the experimentally observed reduction of the exciton binding energy at room temperature.
△ Less
Submitted 29 June, 2016; v1 submitted 17 December, 2015;
originally announced December 2015.
-
Adding generators in cyclic groups
Authors:
J. W. Sander,
T. Sander
Abstract:
For a cyclic group $a$, define the atom of $a$ as the set of all elements generating $a$. Given any two elements $a,b$ of a finite cyclic group $G$, we study the sumset of the atom of $a$ and the atom of $b$. It is known that such a sumset is a disjoint union of atoms. The goal of this paper is to offer a deeper understanding of this phenomenon, by determining which atoms make up the sum of two gi…
▽ More
For a cyclic group $a$, define the atom of $a$ as the set of all elements generating $a$. Given any two elements $a,b$ of a finite cyclic group $G$, we study the sumset of the atom of $a$ and the atom of $b$. It is known that such a sumset is a disjoint union of atoms. The goal of this paper is to offer a deeper understanding of this phenomenon, by determining which atoms make up the sum of two given atoms and by computing the exact number of representations of each element of the sumset.
△ Less
Submitted 20 November, 2012;
originally announced November 2012.
-
Distance Powers and Distance Matrices of Integral Cayley Graphs over Abelian Groups
Authors:
W. Klotz,
T. Sander
Abstract:
It is shown that distance powers of an integral Cayley graph over an abelian group are again integral Cayley graphs over that group. Moreover, it is proved that distance matrices of integral Cayley graphs over abelian groups have integral spectrum.
It is shown that distance powers of an integral Cayley graph over an abelian group are again integral Cayley graphs over that group. Moreover, it is proved that distance matrices of integral Cayley graphs over abelian groups have integral spectrum.
△ Less
Submitted 20 June, 2012;
originally announced June 2012.
-
The maximal energy of classes of integral circulant graphs
Authors:
Jürgen W. Sander,
Torsten Sander
Abstract:
The energy of a graph is the sum of the moduli of the eigenvalues of its adjacency matrix. We study the energy of integral circulant graphs, also called gcd graphs, which can be characterized by their vertex count $n$ and a set $\cal D$ of divisors of $n$ in such a way that they have vertex set $\mathbb{Z}_n$ and edge set ${{a,b}: a,b\in\mathbb{Z}_n, \gcd(a-b,n)\in {\cal D}}$. For a fixed prime po…
▽ More
The energy of a graph is the sum of the moduli of the eigenvalues of its adjacency matrix. We study the energy of integral circulant graphs, also called gcd graphs, which can be characterized by their vertex count $n$ and a set $\cal D$ of divisors of $n$ in such a way that they have vertex set $\mathbb{Z}_n$ and edge set ${{a,b}: a,b\in\mathbb{Z}_n, \gcd(a-b,n)\in {\cal D}}$. For a fixed prime power $n=p^s$ and a fixed divisor set size $|{\cal D}| =r$, we analyze the maximal energy among all matching integral circulant graphs. Let $p^{a_1} < p^{a_2} < ... < p^{a_r}$ be the elements of ${\cal D}$. It turns out that the differences $d_i=a_{i+1}-a_{i}$ between the exponents of an energy maximal divisor set must satisfy certain balance conditions: (i) either all $d_i$ equal $q:=\frac{s-1}{r-1}$, or at most the two differences $[q]$ and $[q+1]$ may occur; %(for a certain $d$ depending on $r$ and $s$) (ii) there are rules governing the sequence $d_1,...,d_{r-1}$ of consecutive differences. For particular choices of $s$ and $r$ these conditions already guarantee maximal energy and its value can be computed explicitly.
△ Less
Submitted 21 May, 2012;
originally announced May 2012.
-
Integral circulant graphs of prime power order with maximal energy
Authors:
Jürgen W. Sander,
Torsten Sander
Abstract:
The energy of a graph is the sum of the moduli of the eigenvalues of its adjacency matrix. We study the energy of integral circulant graphs, also called gcd graphs, which can be characterized by their vertex count n and a set D of divisors of n in such a way that they have vertex set Zn and edge set {{a, b} : a, b in Zn; gcd(a - b, n) in D}. Using tools from convex optimization, we study the maxim…
▽ More
The energy of a graph is the sum of the moduli of the eigenvalues of its adjacency matrix. We study the energy of integral circulant graphs, also called gcd graphs, which can be characterized by their vertex count n and a set D of divisors of n in such a way that they have vertex set Zn and edge set {{a, b} : a, b in Zn; gcd(a - b, n) in D}. Using tools from convex optimization, we study the maximal energy among all integral circulant graphs of prime power order ps and varying divisor sets D. Our main result states that this maximal energy approximately lies between s(p - 1)p^(s-1) and twice this value. We construct suitable divisor sets for which the energy lies in this interval. We also characterize hyperenergetic integral circulant graphs of prime power order and exhibit an interesting topological property of their divisor sets.
△ Less
Submitted 14 December, 2011;
originally announced December 2011.
-
On the eigenvalues of distance powers of circuits
Authors:
Jürgen W. Sander,
Torsten Sander
Abstract:
Taking the d-th distance power of a graph, one adds edges between all pairs of vertices of that graph whose distance is at most d. It is shown that only the numbers -3, -2, -1, 0, 1, 2d can be integer eigenvalues of a circuit distance power. Moreover, their respective multiplicities are determined and explicit constructions for corresponding eigenspace bases containing only vectors with entries -1…
▽ More
Taking the d-th distance power of a graph, one adds edges between all pairs of vertices of that graph whose distance is at most d. It is shown that only the numbers -3, -2, -1, 0, 1, 2d can be integer eigenvalues of a circuit distance power. Moreover, their respective multiplicities are determined and explicit constructions for corresponding eigenspace bases containing only vectors with entries -1, 0, 1 are given.
△ Less
Submitted 14 December, 2011;
originally announced December 2011.
-
Tree Decomposition By Eigenvectors
Authors:
Torsten Sander,
Jürgen W. Sander
Abstract:
In this work a composition-decomposition technique is presented that correlates tree eigenvectors with certain eigenvectors of an associated so-called skeleton forest. In particular, the matching properties of a skeleton determine the multiplicity of the corresponding tree eigenvalue. As an application a characterization of trees that admit eigenspace bases with entries only from the set {0, 1,-1}…
▽ More
In this work a composition-decomposition technique is presented that correlates tree eigenvectors with certain eigenvectors of an associated so-called skeleton forest. In particular, the matching properties of a skeleton determine the multiplicity of the corresponding tree eigenvalue. As an application a characterization of trees that admit eigenspace bases with entries only from the set {0, 1,-1} is presented. Moreover, a result due to Nylen concerned with partitioning eigenvectors of tree pattern matrices is generalized.
△ Less
Submitted 14 December, 2011;
originally announced December 2011.
-
The exact maximal energy of integral circulant graphs with prime power order
Authors:
J. W. Sander,
T. Sander
Abstract:
The energy of a graph was introduced by {\sc Gutman} in 1978 as the sum of the absolute values of the eigenvalues of its adjacency matrix. We study the energy of integral circulant graphs, also called gcd graphs, which can be characterized by their vertex count $n$ and a set $\cal D$ of divisors of $n$ in such a way that they have vertex set $\mathbb{Z}/n\mathbb{Z}$ and edge set…
▽ More
The energy of a graph was introduced by {\sc Gutman} in 1978 as the sum of the absolute values of the eigenvalues of its adjacency matrix. We study the energy of integral circulant graphs, also called gcd graphs, which can be characterized by their vertex count $n$ and a set $\cal D$ of divisors of $n$ in such a way that they have vertex set $\mathbb{Z}/n\mathbb{Z}$ and edge set $\{\{a,b\}:\, a,b\in\mathbb{Z}/n\mathbb{Z},\, \gcd(a-b,n)\in {\cal D}\}$.
Given an arbitrary prime power $p^s$, we determine all divisor sets maximising the energy of an integral circulant graph of order $p^s$. This enables us to compute the maximal energy $\Emax{p^s}$ among all integral circulant graphs of order $p^s$.
△ Less
Submitted 16 September, 2011;
originally announced September 2011.
-
Torsion and Supersymmetry Breaking
Authors:
Albion Lawrence,
Tobias Sander,
Michael B. Schulz,
Brian Wecht
Abstract:
We identify the auxiliary fields in the hypermultiplets of type IIB string theory compactified on a Calabi-Yau manifold, using a combination of worldsheet and supergravity techniques. The SUSY-breaking squark and gaugino masses in type IIB models depend on these auxiliary fields, which parametrize deformations away from a pure Calabi-Yau compactification to one with NS-NS 3-form flux and SU(3) x…
▽ More
We identify the auxiliary fields in the hypermultiplets of type IIB string theory compactified on a Calabi-Yau manifold, using a combination of worldsheet and supergravity techniques. The SUSY-breaking squark and gaugino masses in type IIB models depend on these auxiliary fields, which parametrize deformations away from a pure Calabi-Yau compactification to one with NS-NS 3-form flux and SU(3) x SU(3) structure. Worldsheet arguments show that such compactifications are generically globally nongeometric. Our results, combined with earlier results for type IIA compactifications, imply that these deformations are the mirrors of NS-NS 3-form flux, in accord with work from the supergravity point of view. Using the worldsheet current algebra, we explain why mirror symmetry may continue to hold in the presence of fluxes breaking the symmetries (e.g., (2,2) SUSY) on which mirror symmetry is typically taken to depend. Finally, we give evidence that nonperturbative worldsheet effects (such as worldsheet instantons) provide important corrections to the supergravity picture in the presence of auxiliary fields for Kahler moduli.
△ Less
Submitted 24 June, 2008; v1 submitted 29 November, 2007;
originally announced November 2007.