-
A diagrammatic computation of abelian link invariants
Authors:
David Cimasoni,
Livio Ferretti,
Jessica Liu
Abstract:
We show how the multivariable signature and Alexander polynomial of a colored link can be computed from a single symmetric matrix naturally defined from a colored link diagram. In the case of a single variable, it coincides with the matrix introduced by Kashaev in [arXiv:1801.04632], which was recently proven to compute the Levine-Tristram signature and the Alexander polynomial of oriented links […
▽ More
We show how the multivariable signature and Alexander polynomial of a colored link can be computed from a single symmetric matrix naturally defined from a colored link diagram. In the case of a single variable, it coincides with the matrix introduced by Kashaev in [arXiv:1801.04632], which was recently proven to compute the Levine-Tristram signature and the Alexander polynomial of oriented links [arXiv:2311.01923, arXiv:2310.16729]. As a corollary, we obtain a multivariable extension of Kauffman's determinantal model of the Alexander polynomial, recovering a result of Zibrowius [arXiv:1601.04915v1].
△ Less
Submitted 27 May, 2024;
originally announced May 2024.
-
SAT-based Exact Modulo Scheduling Map** for Resource-Constrained CGRAs
Authors:
Cristian Tirelli,
Juan Sapriza,
Rubén Rodríguez Álvarez,
Lorenzo Ferretti,
Benoît Denkinger,
Giovanni Ansaloni,
José Miranda Calero,
David Atienza,
Laura Pozzi
Abstract:
Coarse-Grain Reconfigurable Arrays (CGRAs) represent emerging low-power architectures designed to accelerate Compute-Intensive Loops (CILs). The effectiveness of CGRAs in providing acceleration relies on the quality of map**: how efficiently the CIL is compiled onto the platform. State of the Art (SoA) compilation techniques utilize modulo scheduling to minimize the Iteration Interval (II) and u…
▽ More
Coarse-Grain Reconfigurable Arrays (CGRAs) represent emerging low-power architectures designed to accelerate Compute-Intensive Loops (CILs). The effectiveness of CGRAs in providing acceleration relies on the quality of map**: how efficiently the CIL is compiled onto the platform. State of the Art (SoA) compilation techniques utilize modulo scheduling to minimize the Iteration Interval (II) and use graph algorithms like Max-Clique Enumeration to address map** challenges. Our work approaches the map** problem through a satisfiability (SAT) formulation. We introduce the Kernel Mobility Schedule (KMS), an ad-hoc schedule used with the Data Flow Graph and CGRA architectural information to generate Boolean statements that, when satisfied, yield a valid map**. Experimental results demonstrate SAT-MapIt outperforming SoA alternatives in almost 50\% of explored benchmarks. Additionally, we evaluated the map** results in a synthesizable CGRA design and emphasized the run-time metrics trends, i.e. energy efficiency and latency, across different CILs and CGRA sizes. We show that a hardware-agnostic analysis performed on compiler-level metrics can optimally prune the architectural design space, while still retaining Pareto-optimal configurations. Moreover, by exploring how implementation details impact cost and performance on real hardware, we highlight the importance of holistic software-to-hardware map** flows, as the one presented herein.
△ Less
Submitted 29 May, 2024; v1 submitted 20 February, 2024;
originally announced February 2024.
-
On the Kashaev signature conjecture
Authors:
David Cimasoni,
Livio Ferretti
Abstract:
In 2018, Kashaev introduced a square matrix indexed by the regions of a link diagram, and conjectured that it provides a novel way of computing the Levine-Tristram signature and Alexander polynomial of the corresponding oriented link. In this article, we show that for the classical signature (i.e. the Levine-Tristram signature at -1), this conjecture follows from the seminal work of Gordon-Litherl…
▽ More
In 2018, Kashaev introduced a square matrix indexed by the regions of a link diagram, and conjectured that it provides a novel way of computing the Levine-Tristram signature and Alexander polynomial of the corresponding oriented link. In this article, we show that for the classical signature (i.e. the Levine-Tristram signature at -1), this conjecture follows from the seminal work of Gordon-Litherland. We also relate Kashaev's matrix to Kauffman's "Formal Knot Theory" model of the Alexander polynomial. As a consequence, we establish the Alexander polynomial and classical signature parts of the conjecture for arbitrary links, as well as the full conjecture for definite knots.
△ Less
Submitted 25 October, 2023;
originally announced October 2023.
-
Two strand twisting
Authors:
Lambert A'Campo,
Sebastian Baader,
Livio Ferretti,
Levi Ryffel
Abstract:
We prove that fibred knots cannot be untied with $\bar{t}_{2k}$-moves, for all $k \geq 2$. More generally, we give an upper bound on the number of two strand twist operations that allow to untie a knot with non-trivial HOMFLY polynomial, in terms of the minimal crossing number, and the braid index. As a by-product, we prove that the braid index of a two-bridge knot cannot be lowered by applying…
▽ More
We prove that fibred knots cannot be untied with $\bar{t}_{2k}$-moves, for all $k \geq 2$. More generally, we give an upper bound on the number of two strand twist operations that allow to untie a knot with non-trivial HOMFLY polynomial, in terms of the minimal crossing number, and the braid index. As a by-product, we prove that the braid index of a two-bridge knot cannot be lowered by applying $t_{2k}$-moves, for all but finitely many $k \in \mathbb{N}$.
△ Less
Submitted 14 September, 2022;
originally announced September 2022.
-
On the Jones polynomial modulo primes
Authors:
Valeriano Aiello,
Sebastian Baader,
Livio Ferretti
Abstract:
We derive an upper bound on the density of Jones polynomials of knots modulo a prime number $p$, within a sufficiently large degree range: $4/p^7$. As an application, we classify knot Jones polynomials modulo two of span up to eight.
We derive an upper bound on the density of Jones polynomials of knots modulo a prime number $p$, within a sufficiently large degree range: $4/p^7$. As an application, we classify knot Jones polynomials modulo two of span up to eight.
△ Less
Submitted 26 April, 2022;
originally announced April 2022.
-
A Graph Deep Learning Framework for High-Level Synthesis Design Space Exploration
Authors:
Lorenzo Ferretti,
Andrea Cini,
Georgios Zacharopoulos,
Cesare Alippi,
Laura Pozzi
Abstract:
The design of efficient hardware accelerators for high-throughput data-processing applications, e.g., deep neural networks, is a challenging task in computer architecture design. In this regard, High-Level Synthesis (HLS) emerges as a solution for fast prototy** application-specific hardware starting from a behavioural description of the application computational flow. This Design-Space Explorat…
▽ More
The design of efficient hardware accelerators for high-throughput data-processing applications, e.g., deep neural networks, is a challenging task in computer architecture design. In this regard, High-Level Synthesis (HLS) emerges as a solution for fast prototy** application-specific hardware starting from a behavioural description of the application computational flow. This Design-Space Exploration (DSE) aims at identifying Pareto optimal synthesis configurations whose exhaustive search is often unfeasible due to the design-space dimensionality and the prohibitive computational cost of the synthesis process. Within this framework, we effectively and efficiently address the design problem by proposing, for the first time in the literature, graph neural networks that jointly predict acceleration performance and hardware costs of a synthesized behavioral specification given optimization directives. The learned model can be used to rapidly approach the Pareto curve by guiding the DSE, taking into account performance and cost estimates. The proposed method outperforms traditional HLS-driven DSE approaches, by accounting for arbitrary length of computer programs and the invariant properties of the input. We propose a novel hybrid control and data flow graph representation that enables training the graph neural network on specifications of different hardware accelerators; the methodology naturally transfers to unseen data-processing applications too. Moreover, we show that our approach achieves prediction accuracy comparable with that of commonly used simulators without having access to analytical models of the HLS compiler and the target FPGA, while being orders of magnitude faster. Finally, the learned representation can be exploited for DSE in unexplored configuration spaces by fine-tuning on a small number of samples from the new target domain.
△ Less
Submitted 29 November, 2021;
originally announced November 2021.
-
On Positive Braids, Monodromy Groups and Framings
Authors:
Livio Ferretti
Abstract:
We associate to every positive braid a braid monodromy group, generalizing the geometric monodromy group of an isolated plane curve singularity. If the closure of the braid is a knot, we identify the corresponding group with a framed map** class group. In particular, this gives a well defined knot invariant. As an application, we obtain that the geometric monodromy group of an irreducible singul…
▽ More
We associate to every positive braid a braid monodromy group, generalizing the geometric monodromy group of an isolated plane curve singularity. If the closure of the braid is a knot, we identify the corresponding group with a framed map** class group. In particular, this gives a well defined knot invariant. As an application, we obtain that the geometric monodromy group of an irreducible singularity is determined by the genus and the Arf invariant of the associated knot.
△ Less
Submitted 13 September, 2023; v1 submitted 15 November, 2021;
originally announced November 2021.
-
Modeling Realistic Adversarial Attacks against Network Intrusion Detection Systems
Authors:
Giovanni Apruzzese,
Mauro Andreolini,
Luca Ferretti,
Mirco Marchetti,
Michele Colajanni
Abstract:
The incremental diffusion of machine learning algorithms in supporting cybersecurity is creating novel defensive opportunities but also new types of risks. Multiple researches have shown that machine learning methods are vulnerable to adversarial attacks that create tiny perturbations aimed at decreasing the effectiveness of detecting threats. We observe that existing literature assumes threat mod…
▽ More
The incremental diffusion of machine learning algorithms in supporting cybersecurity is creating novel defensive opportunities but also new types of risks. Multiple researches have shown that machine learning methods are vulnerable to adversarial attacks that create tiny perturbations aimed at decreasing the effectiveness of detecting threats. We observe that existing literature assumes threat models that are inappropriate for realistic cybersecurity scenarios because they consider opponents with complete knowledge about the cyber detector or that can freely interact with the target systems. By focusing on Network Intrusion Detection Systems based on machine learning, we identify and model the real capabilities and circumstances required by attackers to carry out feasible and successful adversarial attacks. We then apply our model to several adversarial attacks proposed in literature and highlight the limits and merits that can result in actual adversarial attacks. The contributions of this paper can help hardening defensive systems by letting cyber defenders address the most critical and real issues, and can benefit researchers by allowing them to devise novel forms of adversarial attacks based on realistic threat models.
△ Less
Submitted 17 June, 2021;
originally announced June 2021.
-
Epidemiological and public health requirements for COVID-19 contact tracing apps and their evaluation
Authors:
Vittoria Colizza,
Eva Grill,
Rafael Mikolajczyk,
Ciro Cattuto,
Adam Kucharski,
Steven Riley,
Michelle Kendall,
Katrina Lythgoe,
Lucie Abeler-Dörner,
Chris Wymant,
David Bonsall,
Luca Ferretti,
Christophe Fraser
Abstract:
Digital contact tracing is a public health intervention. It should be integrated with local health policy, provide rapid and accurate notifications to exposed individuals, and encourage high app uptake and adherence to quarantine. Real-time monitoring and evaluation of effectiveness of app-based contact tracing is key for improvement and public trust.
Digital contact tracing is a public health intervention. It should be integrated with local health policy, provide rapid and accurate notifications to exposed individuals, and encourage high app uptake and adherence to quarantine. Real-time monitoring and evaluation of effectiveness of app-based contact tracing is key for improvement and public trust.
△ Less
Submitted 10 February, 2021;
originally announced February 2021.
-
DB4HLS: A Database of High-Level Synthesis Design Space Explorations
Authors:
Lorenzo Ferretti,
Jihye Kwon,
Giovanni Ansaloni,
Giuseppe Di Guglielmo,
Luca Carloni,
Laura Pozzi
Abstract:
High-Level Synthesis (HLS) frameworks allow to easily specify a large number of variants of the same hardware design by only acting on optimization directives. Nonetheless, the hardware synthesis of implementations for all possible combinations of directive values is impractical even for simple designs. Addressing this shortcoming, many HLS Design Space Exploration (DSE) strategies have been propo…
▽ More
High-Level Synthesis (HLS) frameworks allow to easily specify a large number of variants of the same hardware design by only acting on optimization directives. Nonetheless, the hardware synthesis of implementations for all possible combinations of directive values is impractical even for simple designs. Addressing this shortcoming, many HLS Design Space Exploration (DSE) strategies have been proposed to devise directive settings leading to high-quality implementations while limiting the number of synthesis runs. All these works require considerable efforts to validate the proposed strategies and/or to build the knowledge base employed to tune abstract models, as both tasks mandate the syntheses of large collections of implementations. Currently, such data gathering is performed ad-hoc, a) leading to a lack of standardization, hampering comparisons between DSE alternatives, and b) posing a very high burden to researchers willing to develop novel DSE strategies. Against this backdrop, we here introduce DB4HLS, a database of exhaustive HLS explorations comprising more than 100000 design points collected over 4 years of synthesis time. The open structure of DB4HLS allows the incremental integration of new DSEs, which can be easily defined with a dedicated domain-specific language. We think that of our database, available at https://www.db4hls.inf.usi.ch/, will be a valuable tool for the research community investigating automated strategies for the optimization of HLS-based hardware designs.
△ Less
Submitted 3 January, 2021;
originally announced January 2021.
-
Universality classes of interaction structures for NK fitness landscapes
Authors:
Sungmin Hwang,
Benjamin Schmiegelt,
Luca Ferretti,
Joachim Krug
Abstract:
Kauffman's NK-model is a paradigmatic example of a class of stochastic models of genotypic fitness landscapes that aim to capture generic features of epistatic interactions in multilocus systems. Genotypes are represented as sequences of $L$ binary loci. The fitness assigned to a genotype is a sum of contributions, each of which is a random function defined on a subset of $k \le L$ loci. These sub…
▽ More
Kauffman's NK-model is a paradigmatic example of a class of stochastic models of genotypic fitness landscapes that aim to capture generic features of epistatic interactions in multilocus systems. Genotypes are represented as sequences of $L$ binary loci. The fitness assigned to a genotype is a sum of contributions, each of which is a random function defined on a subset of $k \le L$ loci. These subsets or neighborhoods determine the genetic interactions of the model. Whereas earlier work on the NK model suggested that most of its properties are robust with regard to the choice of neighborhoods, recent work has revealed an important and sometimes counter-intuitive influence of the interaction structure on the properties of NK fitness landscapes. Here we review these developments and present new results concerning the number of local fitness maxima and the statistics of selectively accessible (that is, fitness-monotonic) mutational pathways. In particular, we develop a unified framework for computing the exponential growth rate of the expected number of local fitness maxima as a function of $L$, and identify two different universality classes of interaction structures that display different asymptotics of this quantity for large $k$. Moreover, we show that the probability that the fitness landscape can be traversed along an accessible path decreases exponentially in $L$ for a large class of interaction structures that we characterize as locally bounded. Finally, we discuss the impact of the NK interaction structures on the dynamics of evolution using adaptive walk models.
△ Less
Submitted 1 March, 2018; v1 submitted 22 August, 2017;
originally announced August 2017.
-
The expected neutral frequency spectrum of linked sites
Authors:
Luca Ferretti,
Alexander Klassmann,
Emanuele Raineri,
Thomas Wiehe,
Sebastian E. Ramos-Onsins,
Guillaume Achaz
Abstract:
We present an exact, closed expression for the expected neutral Site Frequency Spectrum for two neutral sites, 2-SFS, without recombination. This spectrum is the immediate extension of the well known single site $θ/f$ neutral SFS. Similar formulae are also provided for the case of the expected SFS of sites that are linked to a focal neutral mutation of known frequency. Formulae for finite samples…
▽ More
We present an exact, closed expression for the expected neutral Site Frequency Spectrum for two neutral sites, 2-SFS, without recombination. This spectrum is the immediate extension of the well known single site $θ/f$ neutral SFS. Similar formulae are also provided for the case of the expected SFS of sites that are linked to a focal neutral mutation of known frequency. Formulae for finite samples are obtained by coalescent methods and remarkably simple expressions are derived for the SFS of a large population, which are also solutions of the multi-allelic Kolmogorov equations. Besides the general interest of these new spectra, they relate to interesting biological cases such as structural variants and introgressions. As an example, we present the expected neutral frequency spectrum of regions with a chromosomal inversion.
△ Less
Submitted 9 January, 2017; v1 submitted 22 April, 2016;
originally announced April 2016.
-
Decomposing the site frequency spectrum: the impact of tree topology on neutrality tests
Authors:
Luca Ferretti,
Alice Ledda,
Guillaume Achaz,
Thomas Wiehe,
Sebastian E. Ramos-Onsins
Abstract:
We investigate the dependence of the site frequency spectrum (SFS) on the topological structure of genealogical trees. We show that basic population genetic statistics - for instance estimators of $θ$ or neutrality tests such as Tajima's $D$ - can be decomposed into components of waiting times between coalescent events and of tree topology. Our results clarify the relative impact of the two compon…
▽ More
We investigate the dependence of the site frequency spectrum (SFS) on the topological structure of genealogical trees. We show that basic population genetic statistics - for instance estimators of $θ$ or neutrality tests such as Tajima's $D$ - can be decomposed into components of waiting times between coalescent events and of tree topology. Our results clarify the relative impact of the two components on these statistics. We provide a rigorous interpretation of positive or negative values of an important class of neutrality tests in terms of the underlying tree shape. In particular, we show that values of Tajima's $D$ and Fay and Wu's $H$ depend in a direct way on a peculiar measure of tree balance which is mostly determined by the root balance of the tree. We present a new test for selection in the same class as Fay and Wu's $H$ and discuss its interpretation and power. Finally, we determine the trees corresponding to extreme expected values of these neutrality tests and present formulae for these extreme values as a function of sample size and number of segregating sites.
△ Less
Submitted 12 January, 2017; v1 submitted 22 October, 2015;
originally announced October 2015.
-
Epistasis and constraints in fitness landscapes
Authors:
Luca Ferretti,
Daniel Weinreich,
Benjamin Schmiegelt,
Atsushi Yamauchi,
Yutaka Kobayashi,
Fumio Tajima,
Guillaume Achaz
Abstract:
Genotypic fitness landscapes are constructed by assessing the fitness of all possible combinations of a given number of mutations. In the last years, several experimental fitness landscapes have been completely resolved. As fitness landscapes are high-dimensional, their characterization relies on simple measures of their structure, which can be used as statistics in empirical applications. Here we…
▽ More
Genotypic fitness landscapes are constructed by assessing the fitness of all possible combinations of a given number of mutations. In the last years, several experimental fitness landscapes have been completely resolved. As fitness landscapes are high-dimensional, their characterization relies on simple measures of their structure, which can be used as statistics in empirical applications. Here we propose two new sets of measures that explicitly capture two relevant features of fitness landscapes: epistasis and constraints. The first set contains new measures for epistasis based on the correlation of fitness effects of mutations. They have a natural interpretation, capture well the interaction between mutations, can be obtained analytically for most landscape models and can therefore be used to discriminate between different models. The second set contains measures of evolutionary constraints based on "chains" of forced mutations along fitness-increasing paths. Some of these measures are non-monotonic in the amount of epistatic interactions, but have instead a maximum for intermediate values. We further characterize the relationships of these measures to the ones that were previous proposed (e.g. number of peaks, roughness/slope, fraction of non-additive components, etc). Finally, we show how these measures can help uncovering the amount and the nature of epistatic interactions in two experimental landscapes.
△ Less
Submitted 30 June, 2015;
originally announced July 2015.
-
A simple model for the distribution of plasmid lengths
Authors:
Alice Ledda,
Luca Ferretti
Abstract:
Plasmids are major players in Horizontal Gene Transfer mechanisms, hence they are highly variable in their gene content and length. We propose a model for the fitness of a plasmid as a function of its length, which predicts diminishing returns. We infer the distribution of plasmid lengths by a simple evolutionary model and we show that there is a positive correlation between the presence and effic…
▽ More
Plasmids are major players in Horizontal Gene Transfer mechanisms, hence they are highly variable in their gene content and length. We propose a model for the fitness of a plasmid as a function of its length, which predicts diminishing returns. We infer the distribution of plasmid lengths by a simple evolutionary model and we show that there is a positive correlation between the presence and efficiency of the conjugation machinery and the length of the plasmid. The model predicts an "insertion load" on plasmids, which could explain also the fact that plasmids are widespread in bacterial populations but rarely established. Finally we discuss how the typical length of plasmids increases with the amount of stress in the environment, focusing on the recent human-driven increase in antibiotic concentrations.
△ Less
Submitted 2 November, 2014;
originally announced November 2014.
-
Duality between preferential attachment and static random networks on hyperbolic spaces
Authors:
Luca Ferretti,
Michele Cortelezzi,
Marcello Mamino
Abstract:
There is a complex relation between the mechanism of preferential attachment, scale-free degree distributions and hyperbolicity in complex networks. In fact, both preferential attachment and hidden hyperbolic spaces often generate scale-free networks. We show that there is actually a duality between a class of growing spatial networks based on preferential attachment on the sphere and a class of s…
▽ More
There is a complex relation between the mechanism of preferential attachment, scale-free degree distributions and hyperbolicity in complex networks. In fact, both preferential attachment and hidden hyperbolic spaces often generate scale-free networks. We show that there is actually a duality between a class of growing spatial networks based on preferential attachment on the sphere and a class of static random networks on the hyperbolic plane. Both classes of networks have the same scale-free degree distribution as the Barabasi-Albert model. As a limit of this correspondence, the Barabasi-Albert model is equivalent to a static random network on an hyperbolic space with infinite curvature.
△ Less
Submitted 25 February, 2014; v1 submitted 30 October, 2013;
originally announced October 2013.
-
Condensation and topological phase transitions in a dynamical network model with rewiring of the links
Authors:
Luca Ferretti,
Marcello Mamino,
Ginestra Bianconi
Abstract:
Growing network models with both heterogeneity of the nodes and topological constraints can give rise to a rich phase structure. We present a simple model based on preferential attachment with rewiring of the links. Rewiring probabilities are modulated by the negative fitness of the nodes and by the constraint for the network to be a simple graph. At low temperatures and high rewiring rates, this…
▽ More
Growing network models with both heterogeneity of the nodes and topological constraints can give rise to a rich phase structure. We present a simple model based on preferential attachment with rewiring of the links. Rewiring probabilities are modulated by the negative fitness of the nodes and by the constraint for the network to be a simple graph. At low temperatures and high rewiring rates, this constraint induces a Bose-Einstein condensation of paths of length 2, i.e. a new phase transition with an extended condensate of links. The phase space of the model includes further transitions in the scaling of the connected component and the degeneracy of the network.
△ Less
Submitted 31 March, 2014; v1 submitted 14 October, 2013;
originally announced October 2013.
-
Watterson estimators for Next Generation Sequencing: from trios to autopolyploids
Authors:
Luca Ferretti,
Sebástian E. Ramos-Onsins
Abstract:
Several variations of the Watterson estimator of variability for Next Generation Sequencing (NGS) data have been proposed in the literature. We present a unified framework for generalized Watterson estimators based on Maximum Composite Likelihood, which encompasses most of the existing estimators. We propose this class of unbiased estimators as generalized Watterson estimators for a large class of…
▽ More
Several variations of the Watterson estimator of variability for Next Generation Sequencing (NGS) data have been proposed in the literature. We present a unified framework for generalized Watterson estimators based on Maximum Composite Likelihood, which encompasses most of the existing estimators. We propose this class of unbiased estimators as generalized Watterson estimators for a large class of NGS data, including pools and trios. We also discuss the relation with the estimators that have been proposed in the literature and show that they admit two equivalent but seemingly different forms, deriving a set of combinatorial identities as a byproduct. Finally, we give a detailed treatment of Watterson estimators for single or multiple autopolyploid individuals.
△ Less
Submitted 21 September, 2015; v1 submitted 17 September, 2013;
originally announced September 2013.
-
Phase diagram of the Bose-Hubbard Model on Complex Networks
Authors:
Arda Halu,
Luca Ferretti,
Alessandro Vezzani,
Ginestra Bianconi
Abstract:
Critical phenomena can show unusual phase diagrams when defined in complex network topologies. The case of classical phase transitions such as the classical Ising model and the percolation transition has been studied extensively in the last decade. Here we show that the phase diagram of the Bose-Hubbard model, an exclusively quantum mechanical phase transition, also changes significantly when defi…
▽ More
Critical phenomena can show unusual phase diagrams when defined in complex network topologies. The case of classical phase transitions such as the classical Ising model and the percolation transition has been studied extensively in the last decade. Here we show that the phase diagram of the Bose-Hubbard model, an exclusively quantum mechanical phase transition, also changes significantly when defined on random scale-free networks. We present a mean-field calculation of the model in annealed networks and we show that when the second moment of the average degree diverges the Mott-insulator phase disappears in the thermodynamic limit. Moreover we study the model on quenched networks and we show that the Mott-insulator phase disappears in the thermodynamic limit as long as the maximal eigenvalue of the adjacency matrix diverges. Finally we study the phase diagram of the model on Apollonian scale-free networks that can be embedded in 2 dimensions showing the extension of the results also to this case.
△ Less
Submitted 18 June, 2012; v1 submitted 7 March, 2012;
originally announced March 2012.
-
Features and heterogeneities in growing network models
Authors:
Luca Ferretti,
Michele Cortelezzi,
Bin Yang,
Giacomo Marmorini,
Ginestra Bianconi
Abstract:
Many complex networks from the World-Wide-Web to biological networks are growing taking into account the heterogeneous features of the nodes. The feature of a node might be a discrete quantity such as a classification of a URL document as personal page, thematic website, news, blog, search engine, social network, ect. or the classification of a gene in a functional module. Moreover the feature of…
▽ More
Many complex networks from the World-Wide-Web to biological networks are growing taking into account the heterogeneous features of the nodes. The feature of a node might be a discrete quantity such as a classification of a URL document as personal page, thematic website, news, blog, search engine, social network, ect. or the classification of a gene in a functional module. Moreover the feature of a node can be a continuous variable such as the position of a node in the embedding space. In order to account for these properties, in this paper we provide a generalization of growing network models with preferential attachment that includes the effect of heterogeneous features of the nodes. The main effect of heterogeneity is the emergence of an "effective fitness" for each class of nodes, determining the rate at which nodes acquire new links. The degree distribution exhibits a multiscaling behaviour analogous to the the fitness model. This property is robust with respect to variations in the model, as long as links are assigned through effective preferential attachment. Beyond the degree distribution, in this paper we give a full characterization of the other relevant properties of the model. We evaluate the clustering coefficient and show that it disappears for large network size, a property shared with the Barabási-Albert model. Negative degree correlations are also present in the studied class of models, along with non-trivial mixing patterns among features. We therefore conclude that both small clustering coefficients and disassortative mixing are outcomes of the preferential attachment mechanism in general growing networks.
△ Less
Submitted 2 May, 2012; v1 submitted 15 November, 2011;
originally announced November 2011.
-
Preferential attachment in growing spatial networks
Authors:
Luca Ferretti,
Michele Cortelezzi
Abstract:
We obtain the degree distribution for a class of growing network models on flat and curved spaces. These models evolve by preferential attachment weighted by a function of the distance between nodes. The degree distribution of these models is similar to the one of the fitness model of Bianconi and Barabasi, with a fitness distribution dependent on the metric and the density of nodes. We show that…
▽ More
We obtain the degree distribution for a class of growing network models on flat and curved spaces. These models evolve by preferential attachment weighted by a function of the distance between nodes. The degree distribution of these models is similar to the one of the fitness model of Bianconi and Barabasi, with a fitness distribution dependent on the metric and the density of nodes. We show that curvature singularities in these spaces can give rise to asymptotic Bose-Einstein condensation, but transient condensation can be observed also in smooth hyperbolic spaces with strong curvature. We provide numerical results for spaces of constant curvature (sphere, flat and hyperbolic space) and we discuss the conditions for the breakdown of this approach and the critical points of the transition to distance-dominated attachment. Finally we discuss the distribution of link lengths.
△ Less
Submitted 15 November, 2011; v1 submitted 23 November, 2010;
originally announced November 2010.
-
Properties of neutrality tests based on allele frequency spectrum
Authors:
Luca Ferretti,
Giacomo Marmorini,
Sebastian Ramos-Onsins
Abstract:
One of the main necessities for population geneticists is the availability of statistical tools that enable to accept or reject the neutral Wright-Fisher model with high power. A number of statistical tests have been developed to detect specific deviations from the null frequency spectrum in different directions (i.e., Tajima's D, Fu and Li's F and D test, Fay and Wu's H). Recently, a general fram…
▽ More
One of the main necessities for population geneticists is the availability of statistical tools that enable to accept or reject the neutral Wright-Fisher model with high power. A number of statistical tests have been developed to detect specific deviations from the null frequency spectrum in different directions (i.e., Tajima's D, Fu and Li's F and D test, Fay and Wu's H). Recently, a general framework was proposed to generate all neutrality tests that are linear functions of the frequency spectrum. In this framework, a family of optimal tests was developed to have almost maximum power against a specific alternative evolutionary scenario. Following these developments, in this paper we provide a thorough discussion of linear and nonlinear neutrality tests. First, we present the general framework for linear tests and emphasize the importance of the property of scalability with the sample size (that is, the results of the tests should not depend on the sample size), which, if missing, can guide to errors in data interpretation. The motivation and structure of linear optimal tests are discussed. In a further generalization, we develop a general framework for nonlinear neutrality tests and we derive nonlinear optimal tests for polynomials of any degree in the frequency spectrum.
△ Less
Submitted 5 November, 2010;
originally announced November 2010.
-
Non-neutral theory of biodiversity
Authors:
Ginestra Bianconi,
Luca Ferretti,
Silvio Franz
Abstract:
We present a non-neutral stochastic model for the dynamics taking place in a meta-community ecosystems in presence of migration. The model provides a framework for describing the emergence of multiple ecological scenarios and behaves in two extreme limits either as the unified neutral theory of biodiversity or as the Bak-Sneppen model. Interestingly, the model shows a condensation phase transiti…
▽ More
We present a non-neutral stochastic model for the dynamics taking place in a meta-community ecosystems in presence of migration. The model provides a framework for describing the emergence of multiple ecological scenarios and behaves in two extreme limits either as the unified neutral theory of biodiversity or as the Bak-Sneppen model. Interestingly, the model shows a condensation phase transition where one species becomes the dominant one, the diversity in the ecosystems is strongly reduced and the ecosystem is non-stationary. This phase transition extend the principle of competitive exclusion to open ecosystems and might be relevant for the study of the impact of invasive species in native ecologies.
△ Less
Submitted 16 October, 2009; v1 submitted 10 March, 2009;
originally announced March 2009.
-
Gauge coupling unification, the GUT scale, and magic fields
Authors:
L. Calibbi,
L. Ferretti,
A. Romanino,
R. Ziegler
Abstract:
We consider field sets that do not form complete SU(5) multiplets, but exactly preserve the one-loop MSSM prediction for $α_3(M_Z)$ independently of the value of their mass. Such fields can raise the unification scale in different ways, through a delayed convergence of the gauge couplings, a fake unified running below the GUT scale, or a postponed unification after a hoax crossing at a lower sca…
▽ More
We consider field sets that do not form complete SU(5) multiplets, but exactly preserve the one-loop MSSM prediction for $α_3(M_Z)$ independently of the value of their mass. Such fields can raise the unification scale in different ways, through a delayed convergence of the gauge couplings, a fake unified running below the GUT scale, or a postponed unification after a hoax crossing at a lower scale. The $α_3(M_Z)$ prediction is independent of the mass of the new fields, while the GUT scale often is not, which allows to vary the GUT scale. Such "magic" fields represent a useful tool in GUT model building. For example, they can be used to fix gauge coupling unification in certain two step breakings of the unified group, to suppress large KK thresholds in models with extra dimensions, or they can be interpreted as messengers of supersymmetry breaking in GMSB models.
△ Less
Submitted 13 January, 2009; v1 submitted 1 December, 2008;
originally announced December 2008.
-
Consequences of a unified, anarchical model of fermion masses and mixings
Authors:
L. Calibbi,
L. Ferretti,
A. Romanino,
R. Ziegler
Abstract:
We show that most features of the mass and mixing pattern of the second and third SM fermion families can be accounted for without making use of flavour symmetries or other types of flavour dynamics. We discuss the implications for flavour phenomenology, in particular for the $τ\toμγ$ decay rate, and comment on LFV effects at colliders. We show that the model can be embedded in a full SO(10) sup…
▽ More
We show that most features of the mass and mixing pattern of the second and third SM fermion families can be accounted for without making use of flavour symmetries or other types of flavour dynamics. We discuss the implications for flavour phenomenology, in particular for the $τ\toμγ$ decay rate, and comment on LFV effects at colliders. We show that the model can be embedded in a full SO(10) supersymmetric GUT in 5 dimensions that preserves the successful MSSM gauge coupling unification prediction for $α_s$. Interesting features of this embedding are i) the connection of one of the hierarchy parameters with the strong coupling assumption, ii) the absence of KK threshold effects on the $α_s$ prediction at one loop, and iii) the shift of the GUT scale up to about $10^{17}\GeV$. Proton decay is under control, also due to the larger GUT scale. A large atmospheric angle for normal hierarchical neutrinos is obtained in an unusual way.
△ Less
Submitted 6 March, 2009; v1 submitted 1 December, 2008;
originally announced December 2008.
-
Dynamics of condensation in growing complex networks
Authors:
Luca Ferretti,
Ginestra Bianconi
Abstract:
A condensation transition was predicted for growing technological networks evolving by preferential attachment and competing quality of their nodes, as described by the fitness model.
When this condensation occurs a node acquires a finite fraction of all the links of the network. Earlier studies based on steady state degree distribution and on the map** to Bose-Einstein condensation, were ab…
▽ More
A condensation transition was predicted for growing technological networks evolving by preferential attachment and competing quality of their nodes, as described by the fitness model.
When this condensation occurs a node acquires a finite fraction of all the links of the network. Earlier studies based on steady state degree distribution and on the map** to Bose-Einstein condensation, were able to identify the critical point. Here we characterize the dynamics of condensation and we present evidence that below the condensation temperature there is a slow down of the dynamics and that a single node (not necessarily the best node in the network) emerges as the winner for very long times. The characteristic time t* at which this phenomenon occurs diverges both at the critical point and at $T -> 0$ when new links are attached deterministically to the highest quality node of the network.
△ Less
Submitted 16 October, 2009; v1 submitted 10 April, 2008;
originally announced April 2008.
-
O'Raifeartaigh models with spontaneous R-symmetry breaking
Authors:
Luca Ferretti
Abstract:
O'Raifeartaigh models with general R-charge assignments can have vacua where both supersymmetry and R-symmetry are spontaneously broken. Most of these vacua are metastable because the potential shows a runaway behaviour. We explain the relation between runaway directions and R-symmetry.
O'Raifeartaigh models with general R-charge assignments can have vacua where both supersymmetry and R-symmetry are spontaneously broken. Most of these vacua are metastable because the potential shows a runaway behaviour. We explain the relation between runaway directions and R-symmetry.
△ Less
Submitted 12 October, 2007;
originally announced October 2007.
-
Non-Abelian vortices and monopoles in SO(N) theories
Authors:
Luca Ferretti,
Sven Bjarke Gudnason,
Kenichi Konishi
Abstract:
Non-Abelian BPS vortex solutions are constructed in N=2 theories with gauge groups SO(N)\times U(1). The model has N_f flavors of chiral multiplets in the vector representation of SO(N), and we consider a color-flavor locked vacuum in which the gauge symmetry is completely broken, leaving a global SO(N)_{C+F} diagonal symmetry unbroken. Individual vortices break this symmetry, acquiring continuo…
▽ More
Non-Abelian BPS vortex solutions are constructed in N=2 theories with gauge groups SO(N)\times U(1). The model has N_f flavors of chiral multiplets in the vector representation of SO(N), and we consider a color-flavor locked vacuum in which the gauge symmetry is completely broken, leaving a global SO(N)_{C+F} diagonal symmetry unbroken. Individual vortices break this symmetry, acquiring continuous non-Abelian orientational moduli. By embedding this model in high-energy theories with a hierarchical symmetry breaking pattern such as SO(N+2) --> SO(N)\times U(1) --> 1, the correspondence between non-Abelian monopoles and vortices can be established through homotopy maps and flux matching, generalizing the known results in SU(N) theories. We find some interesting hints about the dual (non-Abelian) transformation properties among the monopoles.
△ Less
Submitted 26 June, 2007;
originally announced June 2007.
-
R-symmetry breaking, runaway directions and global symmetries in O'Raifeartaigh models
Authors:
Luca Ferretti
Abstract:
We discuss O'Raifeartaigh models with general R-charge assignments, introduced by Shih to break R-symmetry spontaneously. We argue that most of these models have runaway directions related to the R-symmetry. In addition, we study the simplest model with a U(N) global symmetry and show that in a range of parameters R-symmetry is spontaneously broken in a metastable vacuum.
We discuss O'Raifeartaigh models with general R-charge assignments, introduced by Shih to break R-symmetry spontaneously. We argue that most of these models have runaway directions related to the R-symmetry. In addition, we study the simplest model with a U(N) global symmetry and show that in a range of parameters R-symmetry is spontaneously broken in a metastable vacuum.
△ Less
Submitted 14 May, 2007;
originally announced May 2007.
-
Non-Abelian duality from vortex moduli: a dual model of color-confinement
Authors:
Minoru Eto,
Luca Ferretti,
Kenichi Konishi,
Giacomo Marmorini,
Muneto Nitta,
Keisuke Ohashi,
Walter Vinci,
Naoto Yokoi
Abstract:
It is argued that the dual transformation of non-Abelian monopoles occurring in a system with gauge symmetry breaking G -> H is to be defined by setting the low-energy H system in Higgs phase, so that the dual system is in confinement phase. The transformation law of the monopoles follows from that of monopole-vortex mixed configurations in the system (with a large hierarchy of energy scales, v_…
▽ More
It is argued that the dual transformation of non-Abelian monopoles occurring in a system with gauge symmetry breaking G -> H is to be defined by setting the low-energy H system in Higgs phase, so that the dual system is in confinement phase. The transformation law of the monopoles follows from that of monopole-vortex mixed configurations in the system (with a large hierarchy of energy scales, v_1 >> v_2) G -> H -> 0, under an unbroken, exact color-flavor diagonal symmetry H_{C+F} \sim {\tilde H}. The transformation property among the regular monopoles characterized by π_2(G/H), follows from that among the non-Abelian vortices with flux quantized according to π_1(H), via the isomorphism π_1(G) \sim π_1(H) / π_2(G/H). Our idea is tested against the concrete models -- softly-broken {\cal N}=2 supersymmetric SU(N), SO(N) and USp(2N) theories, with appropriate number of flavors. The results obtained in the semiclassical regime (at v_1 >> v_2 >> Λ) of these models are consistent with those inferred from the fully quantum-mechanical low-energy effective action of the systems (at v_1, v_2 \sim Λ).
△ Less
Submitted 16 May, 2007; v1 submitted 28 November, 2006;
originally announced November 2006.
-
Flavour from accidental symmetries
Authors:
Luca Ferretti,
Stephen F. King,
Andrea Romanino
Abstract:
We consider a new approach to fermion masses and mixings in which no special "horizontal" dynamics is invoked to account for the hierarchical pattern of charged fermion masses and for the peculiar features of neutrino masses. The hierarchy follows from the vertical, family-independent structure of the model, in particular from the breaking pattern of the Pati-Salam group. The lightness of the fi…
▽ More
We consider a new approach to fermion masses and mixings in which no special "horizontal" dynamics is invoked to account for the hierarchical pattern of charged fermion masses and for the peculiar features of neutrino masses. The hierarchy follows from the vertical, family-independent structure of the model, in particular from the breaking pattern of the Pati-Salam group. The lightness of the first two fermion families can be related to two family symmetries emerging in this context as accidental symmetries.
△ Less
Submitted 16 November, 2006; v1 submitted 5 September, 2006;
originally announced September 2006.
-
Duality and confinement in SO(N) gauge theories
Authors:
L. Ferretti,
K. Konishi
Abstract:
The presence of magnetic monopole like excitations of nonabelian varieties is one of the subtlest consequences of spontaneously broken gauge symmetries. Important hints about their quantum mechanical properties, which remained long mysterious, are coming from a detailed knowledge of the dynamics of supersymmetric gauge theories which has become available recently. These developments might shed l…
▽ More
The presence of magnetic monopole like excitations of nonabelian varieties is one of the subtlest consequences of spontaneously broken gauge symmetries. Important hints about their quantum mechanical properties, which remained long mysterious, are coming from a detailed knowledge of the dynamics of supersymmetric gauge theories which has become available recently. These developments might shed light on the problem of confinement and dynamical symmetry breaking in QCD. We discuss here some beautiful features of vortex-monopole systems, in which dual nonabelian transformations among monopoles are generated by the nonabelian vortex moduli.
△ Less
Submitted 23 February, 2006;
originally announced February 2006.