Frequency permutation arrays

Motivated by recent interest in permutation arrays, we introduce and investigate the more general concept of frequency permutation arrays (FPAs). An FPA of length n=m lambda and distance d is a set T of multipermutations on a multiset of m symbols, each repeated with frequency lambda, such that the Hamming distance between any distinct x,y in T is at least d. Such arrays have potential applications in powerline communication. In this paper, we establish basic properties of FPAs, and provide direct constructions for FPAs using a range of combinatorial objects, including polynomials over finite fields, combinatorial designs, and codes. We also provide recursive constructions, and give bounds for the maximum size of such arrays.Comment: To appear in Journal of Combinatorial Design

Towards Ryser\u27s Conjecture: Bounds on the Cardinality of Partitioned Intersecting Hypergraphs

This work is motivated by the open conjecture concerning the size of a minimum vertex cover in a partitioned hypergraph. In an r-uniform r-partite hypergraph, the size of the minimum vertex cover C is conjectured to be related to the size of its maximum matching M by the relation (|C|\u3c= (r-1)|M|). In fact it is not known whether this conjecture holds when |M| = 1. We consider r-partite hypergraphs with maximal matching size |M| = 1, and pose a novel algorithmic approach to finding a vertex cover of size (r - 1) in this case. We define a reactive hypergraph to be a back-and-forth algorithm for a hypergraph which chooses new edges in response to a choice of vertex cover, and prove that this algorithm terminates for all hypergraphs of orders r = 3 and 4. We introduce the idea of optimizing the size of the reactive hypergraph and find that the reactive hypergraph terminates for r = 5...20. We then consider the case where the intersection of any two edges is exactly 1. We prove bounds on the size of this 1-intersecting hypergraph and relate the 1-intersecting hypergraph maximization problem to mutually orthogonal Latin squares. We propose a generative algorithm for 1-intersecting hypergraphs of maximal size for prime powers r-1 = pd under the constraint pd+1 is also a prime power of the same form, and therefore pose a new generating algorithm for MOLS based upon intersecting hypergraphs. We prove this algorithm generates a valid set of mutually orthogonal Latin squares and prove the construction guarantees certain symmetric properties. We conclude that a conjecture by Lovasz, that the inequality in Ryser\u27s Conjecture cannot be improved when (r-1) is a prime power, is correct for the 1-intersecting hypergraph of prime power orders

Neuroprotective tissue adaptation induced by IL-12 attenuates CNS inflammation

IL-12 is a well-established driver of type 1 immune responses. Paradoxically, in several autoimmune conditions including neuroinflammation, IL-12 reduces pathology and exhibits regulatory properties. Yet, the mechanism and the involved cellular players behind this immune regulation remain elusive. To identify the IL-12-responsive elements which prevent immunopathology, we generated mouse models lacking a functional IL-12 receptor either in all cells or in specific populations within the immune or central nervous system (CNS) compartments, and induced experimental autoimmune encephalomyelitis (EAE), which models human Multiple Sclerosis (MS). This revealed that the CNS tissue-protective features of IL-12 are mediated by cells of the neuroectoderm, and not immune cells. Importantly, sections of brain from patients with MS show comparable patterns of expression, indicating parallel mechanisms in humans. By combining spectral flow cytometry, bulk and single-nucleus RNA sequencing, we uncovered an IL-12-induced neuroprotective adaption of the neuroectoderm critically involved in maintaining CNS tissue integrity during inflammation

Quantum multipartite entangled states, classical and quantum error correction

Studying entanglement is essential for our understanding of such diverse areas as high-energy physics, condensed matter physics, and quantum optics. Moreover, entanglement allows us to surpass classical physics and technologies enabling better information processing, computation, and improved metrology. Recently, entanglement also played a prominent role in characterizing and simulating quantum many-body states and in this way deepened our understanding of quantum matter. While bipartite entanglement is well understood, multipartite entanglement is much richer and leads to stronger contradictions with classical physics. Among all possible entangled states, a special class of states has attracted attention for a wide range of tasks. These states are called k-uniform states and are pure multipartite quantum states of n parties and local dimension q with the property that all of their reductions to k parties are maximally mixed. Operationally, in a k-uniform state any subset of at most k parties is maximally entangled with the rest. The k = bn/2c-uniform states are called absolutely maximally entangled because they are maximally entangled along any splitting of the n parties into two groups. These states find applications in several protocols and, in particular, are the building blocks of quantum error correcting codes with a holographic geometry, which has provided valuable insight into the connections between quantum information theory and conformal field theory. Their properties and the applications are however intriguing, as we know little about them: when they exist, how to construct them, how they relate to other multipartite entangled states, such as graph states, or how they connect under local operations and classical communication. With this motivation in mind, in this thesis we first study the properties of k-uniform states and then present systematic methods to construct closed-form expressions of them. The structure of our methods proves to be particularly fruitful in understanding the structure of these quantum states, their graph-state representation and classification under local operations and classical communication. We also construct several examples of absolutely maximally entangled states whose existence was open so far. Finally, we explore a new family of quantum error correcting codes that generalize and improve the link between classical error correcting codes, multipartite entangled states, and the stabilizer formalism. The results of this thesis can have a role in characterizing and studying the following three topics: multipartite entanglement, classical error correcting codes and quantum error correcting codes. The multipartite entangled states can provide a link to find different resources for quantum information processing tasks and quantify entanglement. Constructing two sets of highly entangled multipartite states, it is important to know if they are equivalent under local operations and classical communication. By understanding which states belong to the same class of quantum resource, one may discuss the role they play in some certain quantum information tasks like quantum key distribution, teleportation and constructing optimum quantum error correcting codes. They can also be used to explore the connection between the Antide Sitter/Conformal Field Theory holographic correspondence and quantum error correction, which will then allow us to construct better quantum error correcting codes. At the same time, their roles in the characterization of quantum networks will be essential to design functional networks, robust against losses and local noise.El estudio del entrelazamiento cuántico es esencial para la comprensión de diversas áreas como la óptica cuántica, la materia condensada e incluso la física de altas energías. Además, el entrelazamiento nos permite superar la física y tecnologías clásicas llevando a una mejora en el procesado de la información, la computación y la metrología. Recientemente se ha descubierto que el entrelazamiento desarrolla un papel central en la caracterización y simulación de sistemas cuánticos de muchos cuerpos, de esta manera facilitando nuestra comprensión de la materia cuántica. Mientras que se tiene un buen conocimiento del entrelazamiento en estados puros bipartitos, nuestra comprensión del caso de muchas partes es mucho más limitada, a pesar de que sea un escenario más rico y que presenta un contraste más fuerte con la física clásica. De entre todos los posibles estados entrelazados, una clase especial ha llamado la atención por su amplia gama de aplicaciones. Estos estados se llaman k-uniformes y son los estados multipartitos de n cuerpos con dimensión local q con la propiedad de que todas las reducciones a k cuerpos son máximamente desordenadas. Operacionalmente, en un estado k-uniforme cualquier subconjunto de hasta k cuerpos está máximamente entrelazado con el resto. Los estados k = n/2 -uniformes se llaman estados absolutamente máximamente entrelazados porque son máximamente entrelazados respecto a cualquier partición de los n cuerpos en dos grupos. Estos estados encuentran aplicaciones en varios protocolos y, en particular, forman los elementos de base para la construcción de los códigos de corrección de errores cuánticos con geometría holográfica, los cuales han aportado intuición importante sobre la conexión entre la teoría de la información cuántica y la teoría conforme de campos. Las propiedades y aplicaciones de estos estados son intrigantes porque conocemos poco sobre las mismas: cuándo existen, cómo construirlos, cómo se relacionan con otros estados con entrelazamiento multipartito, cómo los estados grafo, o como se relacionan mediante operaciones locales y comunicación clásica. Con esta motivación en mente, en esta tesis primero estudiamos las propiedades de los estados k-uniformes y luego presentamos métodos sistemáticos para construir expresiones cerradas de los mismos. La naturaleza de nuestros métodos resulta ser muy útil para entender la estructura de estos estados cuánticos, su representación como estados grafo y su clasificación bajo operaciones locales y comunicación clásica. También construimos varios ejemplos de estados absolutamente máximamente entrelazados, cuya existencia era desconocida. Finalmente, exploramos una nueva familia de códigos de corrección de errores cuánticos que generalizan y mejoran la conexión entre los códigos de corrección de errores clásicos, los estados entrelazados multipartitos y el formalismo de estabilizadores. Los resultados de esta tesis pueden desarrollar un papel importante en la caracterización y el estudio de las tres siguientes áreas: entrelazamiento multipartito, códigos de corrección de errores clásicos y códigos de corrección de errores cuánticos. Los estados de entrelazamiento multipartito pueden aportar una conexión para encontrar diferentes recursos para tareas de procesamiento de la información cuántica y cuantificación del entrelazamiento. Al construir dos conjuntos de estados multipartitos altamente entrelazados, es importante saber si son equivalentes entre operaciones locales y comunicación clásica. Entendiendo qué estados pertenecen a la misma clase de recurso cuántico, se puede discutir qué papel desempeñan en ciertas tareas de información cuántica, como la distribución de claves criptográficas cuánticas, la teleportación y la construcción de códigos de corrección de errores cuánticos óptimos. También se pueden usar para explorar la conexión entre la correspondencia holográfica Anti-de Sitter/Conformal Field Theory y códigos de corrección de errores cuánticos, que nos permitiría construir mejores códigos de corrección de errores. A la vez, su papel en la caracterización de redes cuánticas será esencial en el diseño de redes funcionales, robustas ante pérdidas y ruidos locales

OpenCFU, a New Free and Open-Source Software to Count Cell Colonies and Other Circular Objects

Counting circular objects such as cell colonies is an important source of information for biologists. Although this task is often time-consuming and subjective, it is still predominantly performed manually. The aim of the present work is to provide a new tool to enumerate circular objects from digital pictures and video streams. Here, I demonstrate that the created program, OpenCFU, is very robust, accurate and fast. In addition, it provides control over the processing parameters and is implemented in an in- tuitive and modern interface. OpenCFU is a cross-platform and open-source software freely available at http://opencfu.sourceforge.net