Group theory in cryptography

This paper is a guide for the pure mathematician who would like to know more about cryptography based on group theory. The paper gives a brief overview of the subject, and provides pointers to good textbooks, key research papers and recent survey papers in the area.Comment: 25 pages References updated, and a few extra references added. Minor typographical changes. To appear in Proceedings of Groups St Andrews 2009 in Bath, U

Cryptanalysis of three matrix-based key establishment protocols

We cryptanalyse a matrix-based key transport protocol due to Baumslag, Camps, Fine, Rosenberger and Xu from 2006. We also cryptanalyse two recently proposed matrix-based key agreement protocols, due to Habeeb, Kahrobaei and Shpilrain, and due to Romanczuk and Ustimenko.Comment: 9 page

Heavy neutral fermions at the high-luminosity LHC

Long-lived light particles (LLLPs) appear in many extensions of the standard model. LLLPs are usually motivated by the observed small neutrino masses, by dark matter or both. Typical examples for fermionic LLLPs (a.k.a. heavy neutral fermions, HNFs) are sterile neutrinos or the lightest neutralino in R-parity violating supersymmetry. The high luminosity LHC is expected to deliver up to 3/ab of data. Searches for LLLPs in dedicated experiments at the LHC could then probe the parameter space of LLLP models with unprecedented sensitivity. Here, we compare the prospects of several recent experimental proposals, FASER, CODEX-b and MATHUSLA, to search for HNFs and discuss their relative merits.Comment: 21 pages, 6 figures; v2:references and minor comments added, plots update

Community Structure in Industrial SAT Instances

Modern SAT solvers have experienced a remarkable progress on solving industrial instances. Most of the techniques have been developed after an intensive experimental process. It is believed that these techniques exploit the underlying structure of industrial instances. However, there are few works trying to exactly characterize the main features of this structure. The research community on complex networks has developed techniques of analysis and algorithms to study real-world graphs that can be used by the SAT community. Recently, there have been some attempts to analyze the structure of industrial SAT instances in terms of complex networks, with the aim of explaining the success of SAT solving techniques, and possibly improving them. In this paper, inspired by the results on complex networks, we study the community structure, or modularity, of industrial SAT instances. In a graph with clear community structure, or high modularity, we can find a partition of its nodes into communities such that most edges connect variables of the same community. In our analysis, we represent SAT instances as graphs, and we show that most application benchmarks are characterized by a high modularity. On the contrary, random SAT instances are closer to the classical Erd\"os-R\'enyi random graph model, where no structure can be observed. We also analyze how this structure evolves by the effects of the execution of a CDCL SAT solver. In particular, we use the community structure to detect that new clauses learned by the solver during the search contribute to destroy the original structure of the formula. This is, learned clauses tend to contain variables of distinct communities

The population of M-type supergiants in the starburst cluster Stephenson 2

The open cluster Stephenson 2 contains the largest collection of red supergiants known in the Galaxy, and at present is the second most massive young cluster known in the Milky Way. We have obtained multi-epoch, intermediate-resolution spectra around the CaII triplet for more than 30 red supergiants in Stephenson~2 and its surroundings. We find a clear separation between a majority of RSGs having spectral types M0-M2 and the brightest members in the NIR, which have very late spectral types and show strong evidence for heavy mass loss. The distribution of spectral types is similar to that of RSGs in other clusters, such as NGC 7419, or associations, like Per OB1. The cluster data strongly support the idea that heavy mass loss and maser emission is preferentially associated with late-M spectral types, suggesting that they represent an evolutionary phase.Comment: Contribution to the Betelgeuse workshop, November 2012, Paris. To be published in the European Astronomical Society Publications Series, editors: Pierre Kervella, Thibaut Le Bertre & Guy Perri

Community structure in industrial SAT instances

Modern SAT solvers have experienced a remarkable progress on solving industrial instances. It is believed that most of these successful techniques exploit the underlying structure of industrial instances. Recently, there have been some attempts to analyze the structure of industrial SAT instances in terms of complex networks, with the aim of explaining the success of SAT solving techniques, and possibly improving them. In this paper, we study the community structure, or modularity, of industrial SAT instances. In a graph with clear community structure, or high modularity, we can find a partition of its nodes into communities such that most edges connect variables of the same community. Representing SAT instances as graphs, we show that most application benchmarks are characterized by a high modularity. On the contrary, random SAT instances are closer to the classical Erdös-Rényi random graph model, where no structure can be observed. We also analyze how this structure evolves by the effects of the execution of a CDCL SAT solver, and observe that new clauses learned by the solver during the search contribute to destroy the original structure of the formula. Motivated by this observation, we finally present an application that exploits the community structure to detect relevant learned clauses, and we show that detecting these clauses results in an improvement on the performance of the SAT solver. Empirically, we observe that this improves the performance of several SAT solvers on industrial SAT formulas, especially on satisfiable instances.Peer ReviewedPostprint (published version

Corrigendum: hypoxic induced decrease in oxygen consumption in cuttlefish (Sepia officinalis) Is Associated with minor increases in Mantle Octopine but no changes in markers of protein turnover

Corrige o artigo http://hdl.handle.net/10400.1/10858 [This corrects the article DOI: 10.3389/fphys.2017.00344.].info:eu-repo/semantics/publishedVersio

A mixed Hammerstein integral equation

A mixed Hammerstein integral equatio