No description available.

No description available.

No description available.

No description available.

We define the affinization of an arbitrary monoidal category C, corresponding to the category of C-diagrams on the cylinder. We also give an alternative characterization in terms of adjoining dot generators to C. The affinization formalizes and unifies many constructions appearing in the literature. In particular, we describe a large number of examples coming from Hecke-type algebras, braids, tangles, and knot invariants. When C is rigid, its affinization is isomorphic to its horizontal trace, although the two definitions look quite different. In general, the affinization and the horizontal trace are not isomorphic. We then use the affinization to show our main result, which is an explicit isomorphism between the central charge k reduction of the universal central extension of the elliptic Hall algebra and the trace, or zeroth Hochschild homology, of the quantum Heisenberg category of central charge k. We use this isomorphism to construct large families of representations of the universal extension of the elliptic Hall algebra.

<p>As stressed by the Society for Industrial and Applied Mathematics (SIAM): Applied mathematics, in partnership with computational science, is essential in solving many real-world problems. Combinatorial optimization focuses on problems arising from discrete structures such as graphs and polyhedra. This thesis deals with extremal graphs and strings and focuses on two problems: the Erdos' problem on multiplicities of complete subgraphs and the maximum number of distinct squares in a string.<br />The first part of the thesis deals with strengthening the bounds for the minimum proportion of monochromatic t cliques and t cocliques for all 2-colourings of the edges of the complete graph on n vertices. Denote by k_t(G) the number of cliques of order t in a graph G. Let k_t(n) = min{k_t(G)+k_t(\overline{G})} where \overline{G} denotes the complement of G of order n. Let c_t(n) = {k_t(n)} / {\tbinom{n}{t}} and c_t be the limit of c_t(n) for n going to infinity. A 1962 conjecture of Erdos stating that c_t = 2^{1-\tbinom{t}{2}} was disproved by Thomason in 1989 for all t > 3. Tighter counterexamples have been constructed by Jagger, Stovicek and Thomason in 1996, by Thomason for t < 7 in 1997, and by Franek for t=6 in 2002. We present a computational framework to investigate tighter upper bounds for small t yielding the following improved upper bounds for t=6,7 and 8: c_6 \leq 0.7445 \times 2^{1- \tbinom{6}{2}}, c_7\leq 0.6869\times 2^{1- \tbinom{7}{2}}, and c_8 \leq 0.7002\times 2^{1- \tbinom{8}{2}}. The constructions are based on a large but highly regular variant of Cayley graphs for which the number of cliques and cocliques can be expressed in closed form. Considering the quantity e_t=2^{\tbinom{t}{2}-1} c_t, the new upper bound of 0.687 for e_7 is the first bound for any e_t smaller than the lower bound of 0.695 for e_4 due to Giraud in 1979.<br />The second part of the thesis deals with extremal periodicities in strings: we consider the problem of the maximum number of distinct squares in a string. The importance of considering as key variables both the length n and the size d of the alphabet is stressed. Let (d,n)-string denote a string of length n with exactly d distinct symbols. We investigate the function \sigma_d(n) = max {s(x) | x} where s(x) denotes the number of distinct primitively rooted squares in a (d,n)-string x. We discuss a computational framework for computing \sigma_d(n) based on the notion of density and exploiting the tightness of the available lower bound. The obtained computational results substantiate the hypothesized upper bound of n-d for \sigma_d(n). The structural similarities with the approach used for investigating the Hirsch bound for the diameter of a polytope of dimension d having n facets is underlined. For example, the role played by (d,2d)-polytope was presented in 1967 by Klee and Walkup who showed the equivalency between the Hirsch conjecture and the d-step conjecture.</p> / Doctor of Philosophy (PhD)

<p>We investigate the problem of the maximum number of distinct primitively rooted squares in a string. In comparison to considering general strings, the number of distinct symbols in the string is introduced as an additional parameter of the problem. Let S(d,n) = max {s(x) | x is a (d,n)-string}, where s(x) denotes the number of distinct primitively rooted squares in a string x and a (d,n)-string denotes a string of length n with exactly d distinct symbols.</p> <p>Inspired by the d-step approach which was instrumental in Santos' tackling of the Hirsch conjecture, we introduce a (d,n-d) table with entries S(d,n) where d is the index for the rows and n-d is the index for the columns. We examine the properties of the S(d,n) function in the context of (d,n-d) table and conjecture that the value of S(d,n) is no more than n-d. We present several equivalent properties with the conjecture. We discuss the significance of the main diagonal of the (d,n-d) table, i.e. the square-maximal (d, 2d)-strings for their relevance to the conjectured bound for all strings. We explore their structural properties under both assumptions, complying or not complying with the conjecture, with the intention to derive a contradiction. The result yields novel properties and statements equivalent with the conjecture with computational application to the determination of the values S(d,n).</p> <p>To further populate the (d,n-d) table, we design and implement an efficient computational framework for computing S(d,n). Instead of generating all possible (d,n)-strings as the brute-force approach needs to do, the computational effort is significantly reduced by narrowing down the search space for square-maximal strings. With an easily accessible lower bound obtained either from the previously computed values inductively or by an effective heuristic search, only a relatively small set of candidate strings that might possibly exceed the lower bound is generated. To this end, the notions of s-cover and the density of a string are introduced and utilized. In special circumstances, the computational efficiency can be further improved by starting the s-cover with a double square structure. In addition, we present an auxiliary algorithm that returns the required information including the number of distinct squares for each generated candidate string. This algorithm is a modified version of FJW algorithm, an implementation based on Crochemore's partition algorithm, developed by Franek, Jiang and Weng. As of writing of this thesis, we have been able to obtain the maximum number of distinct squares in binary strings till the length of 70.</p> / Doctor of Philosophy (PhD)

We present a method of quantum renormalization group, which makes it possible to construct a bulk theory for a general conformal field theory in the context of anti-de Sitter/conformal field theory correspondence. We demonstrate that within this method it is possible to construct scalar field theory in anti-de Sitter space. We also demonstrate that from a conformal field theory possessing global symmetry, it is possible to construct non-abelian gauge theory in anti-de Sitter space. / Thesis / Master of Science (MSc)

There are at least two reasons to have an efficient algorithm for identifying all maximal Lyndon substrings in a string: first, in 2015, Bannai et al. introduced a linear algorithm to compute all runs in a string that relies on knowing all maximal Lyndon substrings of the input string, and second, in 2017, Franek et al. showed a linear co-equivalence of sorting suffixes and sorting maximal Lyndon substrings of a string (inspired by a novel suffix sorting algorithm of Baier). In 2016, Franek et al. presented a brief overview of algorithms for com- puting the Lyndon array that encodes the knowledge of maximal Lyndon substrings of the input string. It discussed four different algorithms. Two known algorithms for computing the Lyndon array: a quadratic in-place algorithm based on iterated Duval’s algorithm for Lyndon factorization and a linear algorithmic scheme based on linear suffix sorting, computing the inverse suffix array, and applying the NSV (Next Smaller Value) algorithm. The overview also discusses a recursive version of Duval’s algorithm with a quadratic complexity and an algorithm emulating the NSV approach with a possible O(n log(n)) complexity. The authors at that time did not know of Baier’s algorithm. In 2017, Paracha proposed in her Ph.D. thesis an algorithm for the Lyndon array. The proposed algorithm was interesting as it emulated Farach’s recursive approach for computing suffix trees in linear time and introduced τ-reduction; which might be of independent interest. This was the starting point of this Ph.D. thesis. The primary aim is: (a) developing, analyzing, proving correct, and implementing in C++ a linear algorithm for computing the Lyndon array based on Baier’s suffix sorting; (b) analyzing, proving correct, and implementing in C++ the algorithm proposed by Paracha; and (c) empirically comparing the performance of these two algorithms with the iterative version of Duval’s algorithm. / Dissertation / Doctor of Philosophy (PhD)

In the first part of this thesis, we investigate a way to find the complex structure moduli, for a given background of type IIB string theory in the presence of flux in special cases. We introduce a way to compute the complex structure and axion dilaton moduli explicitly. In the second part, we discuss $(0,2)$ supersymmetric versions of some recent exotic $mathcal{N}=(2,2)$ supersymmetric gauged linear sigma models, describing intersections of Grassmannians. In the next part, we consider mirror symmetry for certain gauge theories with gauge groups $F_4$, $E_6$, and $E_7$. In the last part of this thesis, we study whether certain branched-double-cover constructions in Landau-Ginzburg models can be extended to higher covers. / Doctor of Philosophy / This thesis concerns string theory, a proposal for unification of general relativity and quantum field theory. In string theory, the building block of all the particles are strings, such that different vibrations of them generate particles. String theory predicts that spacetime is 10-dimensional. In string theorist's intuition, the extra six-dimensional internal space is so small that we haven't detected it yet. The physics that string theory predicts we should observe, is governed by the shape of this six-dimensional space called a `compactification manifold.' In particular, the possible ways in which this geometry can be deformed give rise to light degrees of freedom in the associated observable physical theory. In the first part of this thesis, we determine these degrees of freedom, called moduli, for a large class of solutions of the so-called type IIB string theory. In the second part, we focus on constructing such spaces explicitly. We also show that there can be different equivalent ways of constructing the same internal space. The third part of the thesis concerns mirror symmetry. Two compactification manifolds are called mirror to each other, when they both give the same four-dimensional effective theory. In this part, we describe the mirror of two-dimensional gauge theories with $F_4$, $E_6$, and $E_7$ gauge group, using the Gu-Sharpe proposal.