title: Random generation of associative algebras

abstract: There has been considerable interest in recent decades in questions of random generation of finite and profinite groups, and finite simple groups in particular. In this paper we study similar notions for finite and profinite associative algebras. Let $k=F_q$ be a finite field. Let $A$ be a finite dimensional, associative, unital algebra over $k$. Let $P(A)$ be the probability that two elements of $A$ chosen (uniformly and independently) at random will generate $A$ as a unital $k$-algebra. It is known that, if $A$ is simple, then $P(A) \to 1$ as $|A| \to \infty$. We extend this result to a large class of finite associative algebras. For $A$ simple, we find the optimal lower bound for $P(A)$ and we estimate the growth rate of $P(A)$ in terms of the minimal index $m(A)$ of any proper subalgebra of $A$. We also study the random generation of simple algebras $A$ by two elements that have a given characteristic polynomial (resp. a given rank). In addition, we bound above and below the minimal number of generators of general finite algebras. Finally, we let $A$ be a profinite algebra over $k$. We show that $A$ is positively finitely generated if and only if $A$ has polynomial maximal subalgebra growth. Related quantitative results are also established.


title: Global Well-posedness for the focusing cubic NLS on the product space $\mathbb{R} \times \mathbb{T}^3$

abstract: In this paper, we prove the global well-posedness for the focusing, cubic nonlinear Schr\"odinger equation on the product space $\mathbb{R} \times \mathbb{T}^3$ with initial data below the threshold that arises from the the ground state in the Euclidean setting. The defocusing analogue was discussed and proved in Ionescu-Pausader \cite{IPRT3} (Comm. Math. Phys. 312 (2012), no. 3, 781-831).


title: Opportunities and Challenges in MOCVD of \beta-Ga2O3 for Power Electronic Devices

abstract: Recent breakthroughs in bulk crystal growth of beta-Ga2O3 by the edge-defined film-fed technique has led to the commercialization of large-area beta-Ga2O3 substrates. Standard epitaxy approaches are being utilized to develop various thin-film beta-Ga2O3 based devices including lateral transistors. This article will discuss the challenges for metal organic chemical vapor deposition (MOCVD) of beta-Ga2O3 and the design criteria for use of this material system in power electronic device structures.


title: Equivariant Cerf theory and perturbative $SU(n)$ Casson invariants

abstract: We develop an equivariant Cerf theory for Morse functions on finite-dimensional manifolds with group actions, and adapt the technique to the infinite-dimensional setting to study the moduli space of perturbed flat $SU(n)$-connections. As a consequence, we prove the existence of perturbative $SU(n)$ Casson invariants on integer homology spheres for all $n\ge 3$, and write down an explicit formula when $n=4$. This generalizes the previous works of Boden and Herald.


title: Self-driving car safety quantification via component-level analysis

abstract: In this paper, we present a rigorous modular statistical approach for arguing safety or its insufficiency of an autonomous vehicle through a concrete illustrative example. The methodology relies on making appropriate quantitative studies of the performance of constituent components. We explain the importance of sufficient and necessary conditions at the component level for the overall safety of the vehicle as well as the cost-saving benefits of the approach. A simple concrete automated braking example studied illustrates how separate perception system and operational design domain statistical analyses can be used to prove or disprove safety at the vehicle level.


title: Magma: A Ground-Truth Fuzzing Benchmark

abstract: High scalability and low running costs have made fuzz testing the de facto standard for discovering software bugs. Fuzzing techniques are constantly being improved in a race to build the ultimate bug-finding tool. However, while fuzzing excels at finding bugs in the wild, evaluating and comparing fuzzer performance is challenging due to the lack of metrics and benchmarks. For example, crash count, perhaps the most commonly-used performance metric, is inaccurate due to imperfections in deduplication techniques. Additionally, the lack of a unified set of targets results in ad hoc evaluations that hinder fair comparison. We tackle these problems by developing Magma, a ground-truth fuzzing benchmark that enables uniform fuzzer evaluation and comparison. By introducing real bugs into real software, Magma allows for the realistic evaluation of fuzzers against a broad set of targets. By instrumenting these bugs, Magma also enables the collection of bug-centric performance metrics independent of the fuzzer. Magma is an open benchmark consisting of seven targets that perform a variety of input manipulations and complex computations, presenting a challenge to state-of-the-art fuzzers. We evaluate seven widely-used mutation-based fuzzers (AFL, AFLFast, AFL++, FairFuzz, MOpt-AFL, honggfuzz, and SymCC-AFL) against Magma over 200,000 CPU-hours. Based on the number of bugs reached, triggered, and detected, we draw conclusions about the fuzzers' exploration and detection capabilities. This provides insight into fuzzer performance evaluation, highlighting the importance of ground truth in performing more accurate and meaningful evaluations.


title: Uncertain Spatial Data Management:An Overview

abstract: Both the current trends in technology such as smartphones, general mobile devices, stationary sensors, and satellites as well as a new user mentality of using this technology to voluntarily share enriched location information produces a flood of geo-spatial and geo-spatiotemporal data. This data flood provides tremendous potential for discovering new and useful knowledge. But in addition to the fact that measurements are imprecise, spatial data is often interpolated between discrete observations. To reduce communication and bandwidth utilization, data is often subjected to a reduction, thereby eliminating some of the known/recorded values. These issues introduce the notion of uncertainty in spatial data management, an aspect raising the imminent need for scalable and flexible solutions. The main scope of this chapter is to survey existing techniques for managing, querying, and mining uncertain spatial data. First, this chapter surveys common data representations for uncertain data, explains the commonly used possible worlds semantics to interpret an uncertain database, and surveys existing system to process uncertain data. Then, this chapter defines the notion of probabilistic result semantics to distinguish the task of computing individual object probabilities versus computing entire result probabilities. This is important, as, for many queries, the problem of computing object-level probabilities can be solved efficiently, whereas result-level probabilities are hard to compute. Finally, this chapter introduces a novel paradigm to efficiently answer any kind of query on uncertain data: the Paradigm of Equivalent Worlds, which groups the exponential set of possible database worlds into a polynomial number of sets of equivalent worlds that can be processed efficiently. Examples and use-cases of querying uncertain spatial data are provided using the example of uncertain range queries.


title: Flow-based detection and proxy-based evasion of encrypted malware C2 traffic

abstract: State of the art deep learning techniques are known to be vulnerable to evasion attacks where an adversarial sample is generated from a malign sample and misclassified as benign. Detection of encrypted malware command and control traffic based on TCP/IP flow features can be framed as a learning task and is thus vulnerable to evasion attacks. However, unlike e.g. in image processing where generated adversarial samples can be directly mapped to images, going from flow features to actual TCP/IP packets requires crafting the sequence of packets, with no established approach for such crafting and a limitation on the set of modifiable features that such crafting allows. In this paper we discuss learning and evasion consequences of the gap between generated and crafted adversarial samples. We exemplify with a deep neural network detector trained on a public C2 traffic dataset, white-box adversarial learning, and a proxy-based approach for crafting longer flows. Our results show 1) the high evasion rate obtained by using generated adversarial samples on the detector can be significantly reduced when using crafted adversarial samples; 2) robustness against adversarial samples by model hardening varies according to the crafting approach and corresponding set of modifiable features that the attack allows for; 3) incrementally training hardened models with adversarial samples can produce a level playing field where no detector is best against all attacks and no attack is best against all detectors, in a given set of attacks and detectors. To the best of our knowledge this is the first time that level playing field feature set- and iteration-hardening are analyzed in encrypted C2 malware traffic detection.


title: Holographic Fisher Information Metric in Schr\"odinger Spacetime

abstract: In this paper we study the Fisher information metric on the space of the coupling constants on both sides of the duality between non-relativistic dipole field theories and string theory in Schr\"odinger spacetime. We consider the following setup. In the gauge theory side one can deform a given conformal field theory by a proper scalar operator and compute the quantum information metric via the two-point correlation function between two such operators. On the string side the deformation corresponds to a scalar field probing the background. In the large $N$ limit of the theory the probing can be done without backreaction on the original spacetime, thus one can construct a perturbative scheme for the calculation of the dual holographic Fisher information metric as shown by \cite{Trivella:2016brw}. Considering the asymptotic behaviour of the holographic Fisher information metric close to the boundary of the Schr\"odinger spacetime we show that its divergence structure exactly matches its dual quantum counterpart up to the leading order, thus extending the holographic setup up to the non-relativistic case. One should note that the existence of other terms are not seen from the boundary theory to this level of approximation. Their behaviour near the boundary however, is pointing what kind of information from the boundary theory is missing to be able to reconstruct the bulk. Obviously more work is needed to refine and elucidate their meaning and interrelations in holographic setup.


title: Counting $k$-Naples parking functions through permutations and the $k$-Naples area statistic

abstract: We recall that the $k$-Naples parking functions of length $n$ (a generalization of parking functions) are defined by requiring that a car which finds its preferred spot occupied must first back up a spot at a time (up to $k$ spots) before proceeding forward down the street. Note that the parking functions are the specialization of $k$ to $0$. For a fixed $0\leq k\leq n-1$, we define a function $\varphi_k$ which maps a $k$-Naples parking function to the permutation denoting the order in which its cars park. By enumerating the sizes of the fibers of the map $\varphi_k$ we give a new formula for the number of $k$-Naples parking functions as a sum over the permutations of length $n$. We remark that our formula for enumerating $k$-Naples parking functions is not recursive, in contrast to the previously known formula of Christensen et al [CHJ+20]. It can be expressed as the product of the lengths of particular subsequences of permutations, and its specialization to $k=0$ gives a new way to describe the number of parking functions of length $n$. We give a formula for the sizes of the fibers of the map $\varphi_0$, and we provide a recurrence relation for its corresponding logarithmic generating function. Furthermore, we relate the $q$-analog of our formula to a new statistic that we denote $\texttt{area}_k$ and call the $k$-Naples area statistic, the specialization of which to $k=0$ gives the $\texttt{area}$ statistic on parking functions.


title: Twisted Geometries Coherent States for Loop Quantum Gravity

abstract: We introduce a new family of coherent states for loop quantum gravity, inspired by the twisted geometry parametrization. We compute their peakedness properties and compare them with the heat-kernel coherent states. They show similar features for the area and the holonomy operators, but improved peakedness in the direction of the flux. At the gauge-invariant level, the new family is built from tensor products of coherent intertwiners. To study the peakedness of the holonomy operator, we introduce a new shift operator based on the harmonic oscillator representation associated with the twisted geometry parametrization. The new shift operator captures the components of the holonomy relevant to disentangle its action into a simple positive shift of the spins.


title: Too good to be true? Predicting author profiles from abusive language

abstract: The problem of online threats and abuse could potentially be mitigated with a computational approach, where sources of abuse are better understood or identified through author profiling. However, abusive language constitutes a specific domain of language for which it has not yet been tested whether differences emerge based on a text author's personality, age, or gender. This study examines statistical relationships between author demographics and abusive vs normal language, and performs prediction experiments for personality, age, and gender. Although some statistical relationships were established between author characteristics and language use, these patterns did not translate to high prediction performance. Personality traits were predicted within 15% of their actual value, age was predicted with an error margin of 10 years, and gender was classified correctly in 70% of the cases. These results are poor when compared to previous research on author profiling, therefore we urge caution in applying this within the context of abusive language and threat assessment.


title: Taking Reinhardt's Power Away

abstract: We study the notion of non-trivial elementary embeddings $j : V \rightarrow V$ under the assumption that $V$ satisfies $ZFC$ without Power Set but with the Collection Scheme. We show that no such embedding can exist under the additional assumption that it is cofinal and either $V_{\textrm{crit}(j)}$ is a set or that the Dependent Choice Schemes holds. We then study failures of instances of collection in symmetric submodels of class forcings.


title: Shimura Varieties, Kummer Varieties, and Rational Curves

abstract: For a very general product $A$ of seven or more elliptic curves, every rational curve on the Kummer variety of $A$ projects trivially onto the Kummer variety of at least one of its factors. As a consequence, a very general member of certain families of abelian varieties parametrized by connected Shimura varieties of unitary type has the property that its Kummer variety has no rational curves.


title: Lifelong Object Detection

abstract: Recent advances in object detection have benefited significantly from rapid developments in deep neural networks. However, neural networks suffer from the well-known issue of catastrophic forgetting, which makes continual or lifelong learning problematic. In this paper, we leverage the fact that new training classes arrive in a sequential manner and incrementally refine the model so that it additionally detects new object classes in the absence of previous training data. Specifically, we consider the representative object detector, Faster R-CNN, for both accurate and efficient prediction. To prevent abrupt performance degradation due to catastrophic forgetting, we propose to apply knowledge distillation on both the region proposal network and the region classification network, to retain the detection of previously trained classes. A pseudo-positive-aware sampling strategy is also introduced for distillation sample selection. We evaluate the proposed method on PASCAL VOC 2007 and MS COCO benchmarks and show competitive mAP and 6x inference speed improvement, which makes the approach more suitable for real-time applications. Our implementation will be publicly available.


title: Population Analysis with Wannier Orbitals

abstract: We formulate Wannier orbital overlap population and Wannier orbital Hamilton population to describe the contribution of different orbitals to electron distribution and their interactions. These methods, which are analogous to the well known crystal orbital overlap population and crystal orbital Hamilton population, provide insight into the distribution of electrons at various atom centres and their bonding nature. We apply this formalism in the context of a plane-wave density functional theory calculation. This method provides a means to connect the non-local plane-wave basis to a localised basis by projecting the wave functions from a plane-wave density functional theory calculation on to localized Wannier orbital basis. The main advantage of this formulation is that the spilling factor is strictly zero for insulators and can systematically be made small for metals. We use our proposed method to study and obtain bonding and electron localization insights in five different materials.


title: Off-shell higher-spin gauge supermultiplets and conserved supercurrents

abstract: This thesis presents the general structure of non-conformal higher-spin supercurrent multiplets in three and four spacetime dimensions. Such supercurrents are in one-to-one correspondence with off-shell massless higher-spin gauge supermultiplets, some of which are constructed in this thesis for the first time. In the first part of the thesis, we propose a new off-shell formulation for a massless integer superspin multiplet, whose gauge-invariant action involves an unconstrained complex superconformal prepotential, in conjunction with two types of compensators. Next, we deduce the structure of consistent non-conformal higher-spin ${\cal N}=1$ supercurrents. Explicit expressions for such supercurrents are derived for various theories in 4D ${\cal N}=1$ Minkowski and AdS superspaces. These include a model of $N$ massive chiral superfields with an arbitrary mass matrix, along with free theories of tensor and complex linear superfields. The second part of the thesis is devoted to ${\cal N}=1$ and ${\cal N}=2$ supersymmetric higher-spin theories in 3D AdS space. Two dually equivalent off-shell Lagrangian formulations for the massless multiplets of arbitrary superspin in (1,1) AdS superspace and their corresponding supercurrents are derived. With regards to (2,0) AdS supersymmetry, we identify a multiplet of conserved higher-spin currents in models for a chiral superfield, which is then used to construct two series of a massless half-integer superspin multiplet. Finally, our (2,0) AdS supermultiplets are reduced to (1,0) AdS superspace, yielding four series of ${\cal N}=1$ supersymmetric higher-spin models. Further applications of these massless models are discussed, one of which is related to the construction of two new off-shell formulations for the massive ${\cal N}=1$ gravitino supermultiplet in AdS.


title: Fr\'{e}chet and (LB) sequence spaces induced by dual Banach spaces of discrete Ces\`{a}ro spaces

abstract: The Fr\'{e}chet (resp.\ (LB)) sequence spaces $ces(p+) := \cap_{r > p} ces(r), 1 \leq p < \infty $ (resp.\ $ ces (p-) := \cup_{ 1 < r < p} ces (r), 1 < p \leq \infty),$ are known to be very different to the classical sequence spaces $ \ell_ {p+} $ (resp., $ \ell_{p_{-}}).$ Both of these classes of non-normable spaces $ ces (p+), ces (p-)$ are defined via the family of reflexive Banach sequence spaces $ ces (p), 1 < p < \infty .$ The dual Banach spaces $ d (q), 1 < q < \infty ,$ of the discrete Ces\`{a}ro spaces $ ces (p), 1 < p < \infty,$ were studied by G.\ Bennett, A.\ Jagers and others. Our aim is to investigate in detail the corresponding sequence spaces $ d (p+) $ and $ d (p-),$ which have not been considered before. Some of their properties have similarities with those of $ ces (p+), ces (p-)$ but, they also exhibit differences. For instance, $ ces (p+)$ is isomorphic to a power series Fr\'{e}chet space of order 1, whereas $ d (p+) $ is isomorphic to such a space of infinite order. Every space $ ces (p+), ces (p-) $ admits an absolute basis but, none of the spaces $ d (p+), d (p-)$ have any absolute basis.


title: Bound-preserving flux limiting for high-order explicit Runge-Kutta time discretizations of hyperbolic conservation laws

abstract: We introduce a general framework for enforcing local or global maximum principles in high-order space-time discretizations of a scalar hyperbolic conservation law. We begin with sufficient conditions for a space discretization to be bound preserving (BP) and satisfy a semi-discrete maximum principle. Next, we propose a global monolithic convex (GMC) flux limiter which has the structure of a flux-corrected transport (FCT) algorithm but is applicable to spatial semi-discretizations and ensures the BP property of the fully discrete scheme for strong stability preserving (SSP) Runge-Kutta time discretizations. To circumvent the order barrier for SSP time integrators, we constrain the intermediate stages and/or the final stage of a general high-order RK method using GMC-type limiters. In this work, our theoretical and numerical studies are restricted to explicit schemes which are provably BP for sufficiently small time steps. The new GMC limiting framework offers the possibility of relaxing the bounds of inequality constraints to achieve higher accuracy at the cost of more stringent time step restrictions. The ability of the presented limiters to preserve global bounds and recognize well-resolved smooth solutions is verified numerically for three representative RK methods combined with weighted essentially nonoscillatory (WENO) finite volume space discretizations of linear and nonlinear test problems in 1D.


title: An exploratory study of L1-specific non-words

abstract: In this paper, we explore L1-specific non-words, i.e. non-words in a target language (in this case Swedish) that are re-ranked by a different-language language model. We surmise that speakers of a certain L1 will react different to L1-specific non-words than to general non-words. We present the results from two small case studies exploring whether re-ranking non-words with different language models leads to a perceived difference in `Swedishness' (pilot study 1) and whether German and English native speakers have longer reaction times in a lexical decision task when presented with their respective L1-specific non-words (pilot study 2). Tentative results seem to indicate that L1-specific non-words are processed second-slowest, after purely Swedish-looking non-words.


title: Interplay of Probabilistic Shaping and Carrier Phase Recovery for Nonlinearity Mitigation

abstract: The interaction between carrier phase recovery and probabilistic amplitude shaping (PAS) in the nonlinear regime is investigated. We show that, for sufficiently high signal-to-noise ratio, the first provides the same inter-channel nonlinearity mitigation achieved by short block-length PAS.


title: Structured eigenvalue problems in electronic structure methods from a unified perspective

abstract: In (relativistic) electronic structure methods, the quaternion matrix eigenvalue problem and the linear response (Bethe-Salpeter) eigenvalue problem for excitation energies are two frequently encountered structured eigenvalue problems. While the former problem was thoroughly studied, the later problem in its most general form, namely, the complex case without assuming the positive definiteness of the electronic Hessian, is not fully understood. In view of their very similar mathematical structures, we examined these two problems from a unified point of view. We showed that the identification of Lie group structures for their eigenvectors provides a framework to design diagonalization algorithms as well as numerical optimizations techniques on the corresponding manifolds. By using the same reduction algorithm for the quaternion matrix eigenvalue problem, we provided a necessary and sufficient condition to characterize the different scenarios, where the eigenvalues of the original linear response eigenvalue problem are real, purely imaginary, or complex. The result can be viewed as a natural generalization of the well-known condition for the real matrix case.


title: Phase meter based on zero-crossing counting of digitized signals

abstract: We developed a compact and easy-to-use phase meter based on a zero-crossing counting algorithm for digitized signals. Owing to the algorithm, the phase meter has low-noise and wide dynamic range. Low-noise differential phase measurements can be done for square waves (-204 $\mathrm{dBrad^{2}/Hz}$ for a 1-kHz, 1-$\mathrm{V_{p-p}}$ signal, 10 Hz-1 kHz offset, with cross-correlation) as well as sinusoidal waves, with a measurement error of $<1 \times 10^{-4}$ rad. We also demonstrated a direct phase measurement of an optical-beat note from a free-running laser over 10 decades (0.25 mHz-10 MHz) with a wide dynamic range of ~280 dB at 0.25 mHz. The phase meter can be an alternative for conventional phase meters and frequency counters in wide range of experiments.


title: Holography in Quark-Gluon Plasma and Neutron Stars

abstract: In this thesis, QCD is studied from three different directions, with one overarching theme: holography. The holographic duality allows certain strongly coupled QFTs to be described in terms of much simpler classical gravity in one dimension more. The first direction from which QCD is studied in this thesis is by examining the effects of an external magnetic field on a particular holographic model of QCD, yielding interesting qualitative insight. The second approach examines how, in the same model, one can describe dense baryonic configurations, providing a new way to study the matter composing neutron stars. Indeed, the equation of state produced in this way is subsequently used to compute several neutron star properties which are observable, or will be in the near future. The last direction contains no holographic computations per se, but does incorporate several qualitative insights from holography into a new heavy ion code called Trajectum. This will in the near future be used to perform a Bayesian analysis, whereby it is hoped that these qualitative insights from holography can be tested on experimental data, to see how well the ideas coming from holography match up with experiment.


title: Circuit Satisfiability Problem for circuits of small complexity

abstract: The following problem is considered. A Turing machine $M$, that accepts a string of fixed length $t$ as input, runs for a time not exceeding a fixed value $n$ and is guaranteed to produce a binary output, is given. It's required to find a string $X$ such that $M(X) = 1$ effectively in terms of $t$, $n$, the size of the alphabet of $M$ and the number of states of $M$. The problem is close to the well-known Circuit Satisfiability Problem. The difference from Circuit Satisfiability Problem is that when reduced to Circuit Satisfiability Problem, we get circuits with a rich internal structure (in particular, these are circuits of small Kolmogorov complexity). The proof system, operating with potential proofs of the fact that, for a given machine $M$, the string $X$ does not exist, is provided, its completeness is proved and the algorithm guaranteed to find a proof of the absence of the string $X$ in the case of its actual absence is presented (in the worst case, the algorithm is exponential, but in a wide class of interesting cases it works in polynomial time). We present an algorithm searching for the string $X$, for which its efficiency was neither tested, nor proven, and it may require serious improvement in the future, so it can be regarded as an idea. We also discuss first steps towards solving a more complex problem similar to this one: a Turing machine $M$, that accepts two strings $X$ and $Y$ of fixed length and running for a time that does not exceed a fixed value, is given; it is required to build an algorithm $N$ that builds a string $Y = N(X)$ for any string $X$, such that $M(X, Y) = 1$ (details in the introduction).


title: Kinetic models for epidemic dynamics with social heterogeneity

abstract: We introduce a mathematical description of the impact of sociality in the spread of infectious diseases by integrating an epidemiological dynamics with a kinetic modeling of population-based contacts. The kinetic description leads to study the evolution over time of Boltzmann-type equations describing the number densities of social contacts of susceptible, infected and recovered individuals, whose proportions are driven by a classical SIR-type compartmental model in epidemiology. Explicit calculations show that the spread of the disease is closely related to moments of the contact distribution. Furthermore, the kinetic model allows to clarify how a selective control can be assumed to achieve a minimal lockdown strategy by only reducing individuals undergoing a very large number of daily contacts. We conduct numerical simulations which confirm the ability of the model to describe different phenomena characteristic of the rapid spread of an epidemic. Motivated by the COVID-19 pandemic, a last part is dedicated to fit numerical solutions of the proposed model with infection data coming from different European countries.


title: Strange quark mass turns magnetic domain walls into multi-winding flux tubes

abstract: Dense quark matter is expected to behave as a type-II superconductor at strong coupling. It was previously shown that if the strange quark mass $m_s$ is neglected, magnetic domain walls in the so-called 2SC phase are the energetically preferred magnetic defects in a certain parameter region. Computing the flux tube profiles and associated free energies within a Ginzburg-Landau approach, we find a cascade of multi-winding flux tubes as "remnants" of the domain wall when $m_s$ is increased. These flux tubes exhibit an unconventional ring-like structure of the magnetic field. We show that flux tubes with winding numbers larger than one survive for values of $m_s$ up to about 20% of the quark chemical potential. This makes them unlikely to play a significant role in compact stars, but they may appear in the QCD phase diagram in the presence of an external magnetic field.


title: Long-Term Anticipation of Activities with Cycle Consistency

abstract: With the success of deep learning methods in analyzing activities in videos, more attention has recently been focused towards anticipating future activities. However, most of the work on anticipation either analyzes a partially observed activity or predicts the next action class. Recently, new approaches have been proposed to extend the prediction horizon up to several minutes in the future and that anticipate a sequence of future activities including their durations. While these works decouple the semantic interpretation of the observed sequence from the anticipation task, we propose a framework for anticipating future activities directly from the features of the observed frames and train it in an end-to-end fashion. Furthermore, we introduce a cycle consistency loss over time by predicting the past activities given the predicted future. Our framework achieves state-of-the-art results on two datasets: the Breakfast dataset and 50Salads.


title: Super tau-covers of bihamiltonian integrable hierarchies

abstract: We consider a certain super extension, called the super tau-cover, of a bihamiltonian integrable hierarchy which contains the Hamiltonian structures including both the local and non-local ones as odd flows. In particular, we construct the super tau-cover of the principal hierarchy associated with an arbitrary Frobenius manifold, and the super tau-cover of the Korteweg-de Vries (KdV) hierarchy. We also show that the Virasoro symmetries of these bihamiltonan integrable hierarchies can be extended to symmetries of the associated super tau-covers.


title: Binary Compatibility For SGX Enclaves

abstract: Enclaves, such as those enabled by Intel SGX, offer a powerful hardware isolation primitive for application partitioning. To become universally usable on future commodity OSes, enclave designs should offer compatibility with existing software. In this paper, we draw attention to 5 design decisions in SGX that create incompatibility with existing software. These represent concrete starting points, we hope, for improvements in future TEEs. Further, while many prior works have offered partial forms of compatibility, we present the first attempt to offer binary compatibility with existing software on SGX. We present Ratel, a system that enables a dynamic binary translation engine inside SGX enclaves on Linux. Through the lens of Ratel, we expose the fundamental trade-offs between performance and complete mediation on the OS-enclave interface, which are rooted in the aforementioned 5 SGX design restrictions. We report on an extensive evaluation of Ratel on over 200 programs, including micro-benchmarks and real applications such as Linux utilities.


title: On the existence of hidden machines in computational time hierarchies

abstract: Challenging the standard notion of totality in computable functions, one has that, given any sufficiently expressive formal axiomatic system, there are total functions that, although computable and "intuitively" understood as being total, cannot be proved to be total. In this article we show that this implies the existence of an infinite hierarchy of time complexity classes whose representative members are hidden from (or unknown by) the respective formal axiomatic systems. Although these classes contain total computable functions, there are some of these functions for which the formal axiomatic system cannot recognize as belonging to a time complexity class. This leads to incompleteness results regarding formalizations of computational complexity.


title: Deformations of Lagrangian submanifolds in log-symplectic manifolds

abstract: This paper is devoted to deformations of Lagrangian submanifolds contained in the singular locus of a log-symplectic manifold. We prove a normal form result for the log-symplectic structure around such a Lagrangian, which we use to extract algebraic and geometric information about the Lagrangian deformations. We show that the deformation problem is governed by a DGLA, we discuss whether the Lagrangian admits deformations not contained in the singular locus, and we give precise criteria for unobstructedness of first order deformations. We also address equivalences of deformations, showing that the gauge equivalence relation of the DGLA corresponds with the geometric notion of equivalence by Hamiltonian isotopies. We discuss the corresponding moduli space, and we prove a rigidity statement for the more flexible equivalence relation by Poisson isotopies.


title: A comprehensive comparison of total-order estimators for global sensitivity analysis

abstract: Sensitivity analysis helps identify which model inputs convey the most uncertainty to the model output. One of the most authoritative measures in global sensitivity analysis is the Sobol' total-order index, which can be computed with several different estimators. Although previous comparisons exist, it is hard to know which estimator performs best since the results are contingent on the benchmark setting defined by the analyst (the sampling method, the distribution of the model inputs, the number of model runs, the test function or model and its dimensionality, the weight of higher order effects or the performance measure selected). Here we compare several total-order estimators in an eight-dimension hypercube where these benchmark parameters are treated as random parameters. This arrangement significantly relaxes the dependency of the results on the benchmark design. We observe that the most accurate estimators are Razavi and Gupta's, Jansen's or Janon/Monod's for factor prioritization, and Jansen's, Janon/Monod's or Azzini and Rosati's for approaching the "true" total-order indices. The rest lag considerably behind. Our work helps analysts navigate the myriad of total-order formulae by reducing the uncertainty in the selection of the most appropriate estimator.


title: Enhanced Harmonic Generation in Gases Using an All-Dielectric Metasurface

abstract: Strong field-confinement, long-lifetime resonances, and slow-light effects suggest that meta surfaces are a promising tool for nonlinear optical applications. These nanostructured devices have been utilized for relatively high efficiency solid-state high-harmonic generation platforms, four-wave mixing, and Raman scattering experiments, among others. Here we report the first all-dielectric metasurface to enhance harmonic generation from a surrounding gas, achieving as much as a factor of 45 increase in the overall yield for Argon atoms. When compared to metal nanostructures, dielectrics are more robust against damage for high power applications such as those using atomic gases. We employ dimerized high-contrast gratings fabricated in silicon-on-insulator that support bound states in the continuum, a resonance feature accessible in broken-symmetry planar devices. Our 1D gratings maintain large mode volumes, overcoming one of the more severe limitations of earlier device designs and greatly contributing to enhanced third- and fifth- harmonic generation. The interaction lengths that can be achieved are also significantly greater than the 10's of nm to which earlier solid-state designs were restricted. We perform finite-difference time-domain simulations to fully characterize the wavelength, linewidth, mode profile, and polarization dependence of the resonances. Our experiments confirm these predictions and are consistent with other nonlinear optical properties. The tunable wavelength dependence and quality-factor control we demonstrate in these devices make them an attractive tool for the next generation of high-harmonic sources, which are anticipated to be pumped at longer wavelengths and with lower peak power, higher repetition rate lasers.


title: Spectator dark matter in non-standard cosmologies

abstract: It has been shown that the observed dark matter (DM) abundance can be produced by amplification of quantum fluctuations of an energetically subdominant scalar field during inflation. In this paper, we study the robustness of this "spectator dark matter" scenario to changes in the expansion rate of the early Universe. Compared to the standard radiation-dominated (RD) scenario, two aspects will change: the DM energy density evolves differently as a function of time, and also the DM isocurvature perturbation spectrum will be different from the result in the RD case. These can impose sizeable changes to the values of model parameters which allow the field to constitute all DM while simultaneously satisfying all observational constraints. We study both free and self-interacting DM in scenarios with non-standard expansion and quantify the changes to the cases with a standard cosmological history. We also discuss testability of the scenario through primordial DM isocurvature and non-Gaussianity.


title: On the lower central series of Baumslag-Solitar groups

abstract: We find the lower central series for residually nilpotent Baumslag-Solitar groups, and find the intersection of all terms of the lower central series. Also, we find non-abelian Bauslag-Solitar groups for which the lower central series has length 2. For some Baumslag-Solitar groups a connection is found between the intersection of all subgroups of finite index and the intersection of all terms of the lower central series.


title: Accessing the Single-Particle Structure of the Pygmy Dipole Resonance in $^{208}$Pb

abstract: New experimental data on the neutron single-particle character of the Pygmy Dipole Resonance (PDR) in $^{208}$Pb are presented. They were obtained from $(d,p)$ and resonant proton scattering experiments performed at the Q3D spectrograph of the Maier-Leibnitz Laboratory in Garching, Germany. The new data are compared to the large suite of complementary, experimental data available for $^{208}$Pb and establish $(d,p)$ as an additional, valuable, experimental probe to study the PDR and its collectivity. Besides the single-particle character of the states, different features of the strength distributions are discussed and compared to Large-Scale-Shell-Model (LSSM) and energy-density functional (EDF) plus Quasiparticle-Phonon Model (QPM) theoretical approaches to elucidate the microscopic structure of the PDR in $^{208}$Pb.


title: Local-HDP: Interactive Open-Ended 3D Object Categorization in Real-Time Robotic Scenarios

abstract: We introduce a non-parametric hierarchical Bayesian approach for open-ended 3D object categorization, named the Local Hierarchical Dirichlet Process (Local-HDP). This method allows an agent to learn independent topics for each category incrementally and to adapt to the environment in time. Hierarchical Bayesian approaches like Latent Dirichlet Allocation (LDA) can transform low-level features to high-level conceptual topics for 3D object categorization. However, the efficiency and accuracy of LDA-based approaches depend on the number of topics that is chosen manually. Moreover, fixing the number of topics for all categories can lead to overfitting or underfitting of the model. In contrast, the proposed Local-HDP can autonomously determine the number of topics for each category. Furthermore, the online variational inference method has been adapted for fast posterior approximation in the Local-HDP model. Experiments show that the proposed Local-HDP method outperforms other state-of-the-art approaches in terms of accuracy, scalability, and memory efficiency by a large margin. Moreover, two robotic experiments have been conducted to show the applicability of the proposed approach in real-time applications.


title: Bulk Fermi surfaces of the Dirac type-II semimetallic candidate NiTe2

abstract: Here, we present a study on the Fermi-surface of the Dirac type-II semi-metallic candidate NiTe$_2$ via the temperature and angular dependence of the de Haas-van Alphen (dHvA) effect measured in single-crystals grown through Te flux. In contrast to its isostructural compounds like PtSe$_2$, band structure calculations predict NiTe$_2$ to display a tilted Dirac node very close to its Fermi level that is located along the $\Gamma$ to A high symmetry direction within its first Brillouin zone (FBZ). The angular dependence of the dHvA frequencies is found to be in agreement with the first-principle calculations when the electronic bands are slightly shifted with respect to the Fermi level ($\varepsilon_F$), and therefore provide support for the existence of a Dirac type-II node in NiTe$_2$. Nevertheless, we observed mild disagreements between experimental observations and density Functional theory calculations as, for example, nearly isotropic and light experimental effective masses. This indicates that the dispersion of the bands is not well captured by DFT. Despite the coexistence of Dirac-like fermions with topologically trivial carriers, samples of the highest quality display an anomalous and large, either linear or sub-linear magnetoresistivity. This suggests that Lorentz invariance breaking Dirac-like quasiparticles dominate the carrier transport in this compound.


title: Specific heat of thin $^4$He films on graphite

abstract: The specific heat of a two-layer He-4 film adsorbed on a graphite substrate is estimated as a function of temperature by Quantum Monte Carlo simulations. The results are consistent with recent experimental observations, in that they broadly reproduce their most important features. However, neither the "supersolid" nor the "superfluid hexatic" phases, of which experimental data are claimed to be evidence, are observed. It is contended that heat capacity measurements alone may not be a good predictor of structural and superfluid transitions in this system, as their interpretation is often ambiguous.


title: Zinc Sulphide Overlayer Two-Dimensional Photonic Crystal for Enhanced Extraction of Light from a Micro Cavity Light-Emitting Diode

abstract: A two-dimensional (2D) ZnS photonic crystal was deposited on the surface of a one-dimensional (1D) III-nitride micro cavity light-emitting diode (LED), to intermix the light extraction features of both structures (1D+2D). The deposition of an ideal micro-cavity optical thickness of lambda/2 is impractical for III-nitride LEDs, and in realistic multi-mode devices a large fraction of the light is lost to internal refraction as guided light. Therefore, a 2D photonic crystal on the surface of the LED was used to diffract and thus redirect this guided light out of the semiconductor over several hundred microns. Additionally, the employment of a post-epitaxy ZnS 2D photonic crystal avoided the typical etching into the GaN:Mg contact layer, a procedure which can cause damage to the near surface.


title: Ultraviolet Stability for QED in d=3

abstract: We continue the study of the ultraviolet problem for QED in d=3 using Balaban's formulation of the renormalization group. The model is defined on a fine toroidal lattice and we seek control as the lattice spacing goes to zero. Drawing on earlier papers in the series the renormalization group flow is completely controlled for weak coupling. The main result is an ultraviolet stability bound in a fixed finite volume.


title: 3D modeling from the onset of the SN to the full-fledged SNR: Role of an initial ejecta anisotropy on matter mixing

abstract: The aim of this work is to bridge the gap between CC SNe and their remnants by investigating how post-explosion anisotropies in the ejecta influence the structure and chemical properties of the remnant at later times. We performed three-dimensional magneto-hydrodynamical simulations starting soon after the SN event and following the evolution of the system in the circumstellar medium (consisting of the wind of the stellar progenitor), for 5000 years, obtaining the physical scenario of a SNR. Here we focused the analysis on the case of a progenitor red supergiant of 19.8 M_sun. We also investigated how a post-explosion large-scale anisotropy in the SN affects the ejecta distribution and the matter mixing of heavy elements in the remnant, during the first 5000 years of evolution. In the case of a spherically symmetric SN explosion without large-scale anisotropies, the remnant roughly keeps memory of the original onion-like layering of ejecta soon after the SN event. Nevertheless, as the reverse shock hits the ejecta, the element distribution departs from a homologous expansion, because of the slowing down of the outermost ejecta layers due to interaction with the reverse shock. In the case of a large-scale anisotropy developed after the SN, we found that the chemical stratification in the ejecta can be strongly modified and the original onion-like layering is not preserved. The anisotropy may cause spatial inversion of ejecta layers, for instance leading to Fe/Si-rich ejecta outside the O shell, and may determine the formation of Fe/Si-rich jet-like features that may protrude the remnant outline. The level of matter mixing and the properties of the jet-like feature are sensitive to the initial physical (density and velocity) and geometrical (size and position) initial characteristics of the anisotropy.


title: The short-period S-stars S4711, S62, S4714 and the Lense-Thirring effect due to the spin of Sgr A$^\ast$

abstract: Recently, some S-stars (S4711, S62, S4714) orbiting the supermassive black hole (SMBH) in Sgr A$^\ast$ with short orbital periods ($7.6\,\mathrm{yr}\leq P_\mathrm{b}\leq 12\,\mathrm{yr}$) were discovered. It was suggested that they may be used to measure the general relativistic Lense-Thirring (LT) precessions of their longitudes of ascending node $\mathit{\Omega}$ induced by the SMBH's angular momentum $\boldsymbol{J}_\bullet$. In fact, the proposed numerical estimates hold only in the particular case of a perfect alignment of $\boldsymbol{J}_\bullet$ with the line of sight, which does not seem to be the case. Moreover, also the inclination $I$ and the argument of perinigricon $\omega$ undergo LT precessions for an arbitrary orientation of $\boldsymbol{J}_\bullet$ in space. We explicitly show the analytical expressions of $\dot I^\mathrm{LT},\,\dot{\mathit{\Omega}}^\mathrm{LT},\,\omega^\mathrm{LT}$ in terms of the SMBH's spin polar angles $i^\bullet,\,\varepsilon^\bullet$ by finding the range of values for each of them in arcseconds per year ($^{\prime\prime}\,\mathrm{yr}^{-1}$). For each star, the corresponding values of $i^\bullet_\mathrm{max},\,\varepsilon^\bullet_\mathrm{max}$ and $i^\bullet_\mathrm{min},\,\varepsilon^\bullet_\mathrm{min}$ are determined as well, along with those $i_0^\bullet,\,\varepsilon_0^\bullet$ that cancel the LT precessions. The LT perinigricon precessions $\dot\omega^\mathrm{LT}$ are overwhelmed by the systematic uncertainties in the Schwarzschild ones due to the current errors in the stars' orbital parameters and the mass of Sgr A$^\ast$ itself. [Abridged]


title: Role of continuum in nuclear direct reactions with one-neutron halo nuclei: a one-dimensional model

abstract: We study the evolution of a single-particle wave function during the collision of a one dimensional potential well by another well, which can be regarded as a simple model for the problem of the scattering of a one-neutron halo nucleus by another nucleus. This constitutes an effective three-body problem, whose solution in three dimensions can be extremely complicated, particularly when breakup and rearrangement channels are to be considered. Our one-dimensional model provides the essential three-body nature of this problem, and allows for a much simpler application and assessment of different methods of solution. To simplify further the problem, we assume that the potential well representing the projectile moves according to a predetermined classical trajectory, although the internal motion of the "valence" particle is treated fully quantum-mechanically. This corresponds to a semiclassical approach of the scattering problem. Different approaches are investigated to understand the dynamics involving one-body halo-like systems: the "exact" time-dependent solution of the Schr\"odinger equation is compared to a numerical continuum-discretized coupled-channels (CC) calculation presenting various model cases including different reaction channels. This framework allows us to discuss the reaction mechanism and the role of continuum, whose inclusion in the CC calculation results to be crucial to reproduce the "exact" solution, even when the initial and final states are well bound. We also link each dynamical situation with analogous problem solved in a three dimensional (3D) CC framework, discussing the main challenges experienced in the usual 3D models.


title: Non-local spin Seebeck effect in the bulk easy-plane antiferromagnet NiO

abstract: We report the observation of magnon spin currents generated by the Spin Seebeck effect (SSE) in a bulk single crystal of the easy-plane antiferromagnet NiO. A magnetic field induces a non-degeneracy and thereby an imbalance in the population of magnon modes with opposite spin. A temperature gradient then gives rise to a non-zero magnon spin current. This SSE is measured both in a local and a non-local geometry at 5$\,$K in bulk NiO. The magnetic field dependence of the obtained signal is modelled by magnetic field splitting of the low energy magnon modes, affecting the spin Seebeck coefficient. The relevant magnon modes at this temperature are linked to cubic anisotropy and magnetic dipole-dipole interactions. The non-local signal deviates from the expected quadratic Joule heating by saturating at a current from around 75$\,\mu A$ in the injector. The magnon chemical potential does not decay exponentially with distance and inhomogeneities may be the result of local magnon accumulations.


title: Near-Quadratic Lower Bounds for Two-Pass Graph Streaming Algorithms

abstract: We prove that any two-pass graph streaming algorithm for the $s$-$t$ reachability problem in $n$-vertex directed graphs requires near-quadratic space of $n^{2-o(1)}$ bits. As a corollary, we also obtain near-quadratic space lower bounds for several other fundamental problems including maximum bipartite matching and (approximate) shortest path in undirected graphs. Our results collectively imply that a wide range of graph problems admit essentially no non-trivial streaming algorithm even when two passes over the input is allowed. Prior to our work, such impossibility results were only known for single-pass streaming algorithms, and the best two-pass lower bounds only ruled out $o(n^{7/6})$ space algorithms, leaving open a large gap between (trivial) upper bounds and lower bounds.


title: On modelling bicycle power for velodromes: Part II Formulation for individual pursuits

abstract: We model the instantaneous power on a velodrome--as applied to individual pursuits and other individual time trials--taking into account its straights, circular arcs, and connecting transition curves. The forces opposing the motion are air resistance, rolling resistance, lateral friction and drivetrain resistance. We examine the constant-cadence and constant-power cases, and discuss their results, including an examination of an empirical adequacy of the model. We also examine changes in the kinetic and potential energy.


title: Critical Phenomena in Plasma Membrane Organization and Function

abstract: Lateral organization in the plane of the plasma membrane is an important driver of biological processes. The past dozen years have seen increasing experimental support for the notion that lipid organization plays an important role in modulating this heterogeneity. Various biophysical mechanisms rooted in the concept of liquid-liquid phase separation have been proposed to explain diverse experimental observations of heterogeneity in model and cell membranes, with distinct but overlapping applicability. In this review, we focus on evidence for and consequences of the hypothesis that the plasma membrane is poised near an equilibrium miscibility critical point. Critical phenomena explain certain features of the heterogeneity observed in cells and model systems, but also go beyond heterogeneity to predict other interesting phenomena, including responses to composition perturbations.


title: Real-time measurements of solar $pp$ neutrinos using $^{131}$Xe

abstract: Various large-scale experiments for double beta decay or dark matter are based on xenon. Current experiments are on the tonne scale but there are also ideas to aim for even larger sizes in the future. Here we study the potential of the isotope $^{131}$Xe to allow to make real-time measurements of solar $pp$ neutrinos, besides classical neutrino-electron scattering. Improved nuclear models are used to determine the cross-section of neutrinos on $^{131}$Xe. The present calculations deviate significantly from the previous ones due to updated estimates for the excited-state contributions. The updated capture-rate estimate for $pp$ neutrinos is $(4.47\pm 0.09)\ \rm SNU$ and for all solar neutrinos $(80\pm 21)\ \rm SNU$, with neutrino survival probabilities taken into account. Depending on the amount of Xe, solar $pp$ neutrinos might be measured with rates of 100 per day, thus allowing to monitor them in real time for a long period.


title: Topology controlled phase coherence and quantum fluctuations in superconducting nanowires

abstract: Superconducting properties of metallic nano-wires may strongly depend on specific experimental conditions. Here we consider a setup where superconducting phase fluctuations are restricted at one point inside the wire and equilibrium supercurrent flows along the wire segment of an arbitrary length $L$. Low temperature physics of this structure is essentially determined, on one hand, by smooth phase fluctuations and, on the other hand, by quantum phase slips. The zero temperature phase diagram is controlled by the wire cross section and consists of a truly superconducting phase and two different phases where superconductivity can be observed only at shorter length scales. One of the latter phases exhibits more robust short-scale superconductivity whereas another one demonstrates a power-law decay of the supercurrent with increasing $L$ already at relatively short scales.


title: Semantically Adaptive Image-to-image Translation for Domain Adaptation of Semantic Segmentation

abstract: Domain shift is a very challenging problem for semantic segmentation. Any model can be easily trained on synthetic data, where images and labels are artificially generated, but it will perform poorly when deployed on real environments. In this paper, we address the problem of domain adaptation for semantic segmentation of street scenes. Many state-of-the-art approaches focus on translating the source image while imposing that the result should be semantically consistent with the input. However, we advocate that the image semantics can also be exploited to guide the translation algorithm. To this end, we rethink the generative model to enforce this assumption and strengthen the connection between pixel-level and feature-level domain alignment. We conduct extensive experiments by training common semantic segmentation models with our method and show that the results we obtain on the synthetic-to-real benchmarks surpass the state-of-the-art.


title: Control and readout of a superconducting qubit using a photonic link

abstract: Delivering on the revolutionary promise of a universal quantum computer will require processors with millions of quantum bits (qubits). In superconducting quantum processors, each qubit is individually addressed with microwave signal lines that connect room temperature electronics to the cryogenic environment of the quantum circuit. The complexity and heat load associated with the multiple coaxial lines per qubit limits the possible size of a processor to a few thousand qubits. Here we introduce a photonic link employing an optical fiber to guide modulated laser light from room temperature to a cryogenic photodetector, capable of delivering shot-noise limited microwave signals directly at millikelvin temperatures. By demonstrating high-fidelity control and readout of a superconducting qubit, we show that this photonic link can meet the stringent requirements of superconducting quantum information processing. Leveraging the low thermal conductivity and large intrinsic bandwidth of optical fiber enables efficient and massively multiplexed delivery of coherent microwave control pulses, providing a path towards a million-qubit universal quantum computer.

categories: quant-ph physics.app-ph physics.ins-det physics.optics


title: An Information-Theoretic Approach to Persistent Environment Monitoring Through Low Rank Model Based Planning and Prediction

abstract: Robots can be used to collect environmental data in regions that are difficult for humans to traverse. However, limitations remain in the size of region that a robot can directly observe per unit time. We introduce a method for selecting a limited number of observation points in a large region, from which we can predict the state of unobserved points in the region. We combine a low rank model of a target attribute with an information-maximizing path planner to predict the state of the attribute throughout a region. Our approach is agnostic to the choice of target attribute and robot monitoring platform. We evaluate our method in simulation on two real-world environment datasets, each containing observations from one to two million possible sampling locations. We compare against a random sampler and four variations of a baseline sampler from the ecology literature. Our method outperforms the baselines in terms of average Fisher information gain per samples taken and performs comparably for average reconstruction error in most trials.


title: Equilibrium to off-equilibrium crossover in homogeneous active matter

abstract: We study the crossover between equilibrium and off-equilibrium dynamical universality classes in the Vicsek model near its ordering transition. Starting from the incompressible hydrodynamic theory of Chen et al \cite{chen2015critical}, we show that increasing the activity leads to a renormalization group (RG) crossover between the equilibrium ferromagnetic fixed point, with dynamical critical exponent $z = 2$, and the off-equilibrium active fixed point, with $z = 1.7$ (in $d=3$). We run simulations of the classic Vicsek model in the near-ordering regime and find that critical slowing down indeed changes with activity, displaying two exponents that are in remarkable agreement with the RG prediction. The equilibrium-to-off-equilibrium crossover is ruled by a characteristic length scale beyond which active dynamics takes over. Such length scale is smaller the larger the activity, suggesting the existence of a general trade-off between activity and system's size in determining the dynamical universality class of active matter.


title: Accurate localization microscopy by intrinsic aberration calibration

abstract: A standard paradigm of localization microscopy involves extension from two to three dimensions by engineering information into emitter images, and approximation of errors resulting from the field dependence of optical aberrations. We invert this standard paradigm, introducing the concept of fully exploiting the latent information of intrinsic aberrations by comprehensive calibration of an ordinary microscope, enabling accurate localization of single emitters in three dimensions throughout an ultrawide and deep field. To complete the extraction of spatial information from microscale bodies ranging from imaging substrates to microsystem technologies, we introduce a synergistic concept of the rigid transformation of the positions of multiple emitters in three dimensions, improving precision, testing accuracy, and yielding measurements in six degrees of freedom. Our study illuminates the challenge of aberration effects in localization microscopy, redefines the challenge as an opportunity for accurate, precise, and complete localization, and elucidates the performance and reliability of a complex microelectromechanical system.


title: Weather regimes linked to daily precipitation anomalies in Northern Chile

abstract: Northern Chile is one of the most arid regions in the world, with precipitation mainly occurring during austral summer, between December and April 1966-2015. The aim of this study is to classify the main weather regimes derived from sea level pressure, surface wind speed, 500 or 250 hPa geopotential heights, in order to measure their influence on precipitation anomalies and determine if they can be considered sources of predictability of rainfall in this region. Four weather regimes were found to optimally describe atmospheric circulation in the study area and for each of the four levels described above. Using daily precipitation data from a network of 161 meteorological stations across the region, the rainfall anomalies associated with each weather regime were quantified. They are coherent with the direction of flow derived from pressure and geopotential anomalies, bringing humid air masses from the Amazon Basin or the Pacific. The transitions between the different regimes are also coherent, representing transitions to and from similar regimes. A few negative and significant trends in the persistence of different regimes were detected, most likely linked to the absence of anthropogenic warming in the Antarctic as opposed to the Arctic. Finally, two of the regimes derived from surface wind speed exhibit a negative and significant trend in its frequency of occurrence, determining a precipitation decrease in the south of the study area (28-30 S), which can be compared with the Megadrought experienced in central Chile.


title: Refinement and modularity of immortal dyons

abstract: Extending recent results in ${\cal N}=2$ string compactifications, we propose that the holomorphic anomaly equation satisfied by the modular completions of the generating functions of refined BPS indices has a universal structure independent of the number ${\cal N}$ of supersymmetries. We show that this equation allows to recover all known results about modularity (under $SL(2,\mathbb{Z})$ duality group) of BPS states in ${\cal N}=4$ string theory. In particular, we reproduce the holomorphic anomaly characterizing the mock modular behavior of quarter-BPS dyons and generalize it to the case of non-trivial torsion invariant.


title: Curvature positivity of invariant direct images of Hermitian vector bundles

abstract: We prove that the invariant part, with respect to a compact group action satisfying certain condition, of the direct image of a Nakano positive Hermitian holomorphic vector bundle over a bounded pseudoconvex domain is Nakano positive. We also consider the action of the noncompact group $\mathbb{R}^m$ and get the same result for a family of tube domains, which leads to a new method to the matrix-valued Prekopa's theorem originally proved by Raufi. The two main ingredients in our method are H\"ormander's $L^2$ theory of $\bar\partial$ and the recent work of Deng-Ning-Zhang-Zhou on characterization of Nakano positivity of Hermitian holomorphic vector bundles.


title: Transform Quantization for CNN (Convolutional Neural Network) Compression

abstract: In this paper, we compress convolutional neural network (CNN) weights post-training via transform quantization. Previous CNN quantization techniques tend to ignore the joint statistics of weights and activations, producing sub-optimal CNN performance at a given quantization bit-rate, or consider their joint statistics during training only and do not facilitate efficient compression of already trained CNN models. We optimally transform (decorrelate) and quantize the weights post-training using a rate-distortion framework to improve compression at any given quantization bit-rate. Transform quantization unifies quantization and dimensionality reduction (decorrelation) techniques in a single framework to facilitate low bit-rate compression of CNNs and efficient inference in the transform domain. We first introduce a theory of rate and distortion for CNN quantization, and pose optimum quantization as a rate-distortion optimization problem. We then show that this problem can be solved using optimal bit-depth allocation following decorrelation by the optimal End-to-end Learned Transform (ELT) we derive in this paper. Experiments demonstrate that transform quantization advances the state of the art in CNN compression in both retrained and non-retrained quantization scenarios. In particular, we find that transform quantization with retraining is able to compress CNN models such as AlexNet, ResNet and DenseNet to very low bit-rates (1-2 bits).


title: Canonical Tensor Scaling

abstract: In this paper we generalize the canonical positive scaling of rows and columns of a matrix to the scaling of selected-rank subtensors of an arbitrary tensor. We expect our results and framework will prove useful for sparse-tensor completion required for generalizations of the recommender system problem beyond a matrix of user-product ratings to multidimensional arrays involving coordinates based both on user attributes (e.g., age, gender, geographical location, etc.) and product/item attributes (e.g., price, size, weight, etc.).


title: The LoRa Modulation Over Rapidly-Varying Channels: Are the Higher Spreading Factors Necessarily More Robust?

abstract: The chirp spread spectrum (CSS) modulation scheme is employed by the physical layer of the Long Range (LoRa) communication technology. In this paper, we examine the performance of CSS over time-varying channels whose gain may change during the reception of a LoRa frame. This is in contrast to the usually employed model in the literature, which assumes the channel gain to be constant throughout a frame. Specifically, we investigate the effects of exponentially correlated Rayleigh fading on the frame-error rate of a CSS receiver in which the channel gain is estimated at the beginning of each frame. Our primary observation is that over rapidly-varying channels, the robustness benefits of the larger spreading factors tend to disappear as the payload size grows. This observation, which is contrary to the common perception that higher spreading factors necessarily provide greater immunity against noise, highlights the need to consider channel characteristics and payload sizes in allocating the spreading factor for reliable and energy-efficient LoRa communications.


title: Benchmarking 50-Photon Gaussian Boson Sampling on the Sunway TaihuLight

abstract: Boson sampling is expected to be one of an important milestones that will demonstrate quantum supremacy. The present work establishes the benchmarking of Gaussian boson sampling (GBS) with threshold detection based on the Sunway TaihuLight supercomputer. To achieve the best performance and provide a competitive scenario for future quantum computing studies, the selected simulation algorithm is fully optimized based on a set of innovative approaches, including a parallel scheme and instruction-level optimizing method. Furthermore, data precision and instruction scheduling are handled in a sophisticated manner by an adaptive precision optimization scheme and a DAG-based heuristic search algorithm, respectively. Based on these methods, a highly efficient and parallel quantum sampling algorithm is designed. The largest run enables us to obtain one Torontonian function of a 100 x 100 submatrix from 50-photon GBS within 20 hours in 128-bit precision and 2 days in 256-bit precision.


title: Agile SoC Development with Open ESP

abstract: ESP is an open-source research platform for heterogeneous SoC design. The platform combines a modular tile-based architecture with a variety of application-oriented flows for the design and optimization of accelerators. The ESP architecture is highly scalable and strikes a balance between regularity and specialization. The companion methodology raises the level of abstraction to system-level design and enables an automated flow from software and hardware development to full-system prototyping on FPGA. For application developers, ESP offers domain-specific automated solutions to synthesize new accelerators for their software and to map complex workloads onto the SoC architecture. For hardware engineers, ESP offers automated solutions to integrate their accelerator designs into the complete SoC. Conceived as a heterogeneous integration platform and tested through years of teaching at Columbia University, ESP supports the open-source hardware community by providing a flexible platform for agile SoC development.


title: SURF-SVM Based Identification and Classification of Gastrointestinal Diseases in Wireless Capsule Endoscopy

abstract: Endoscopy provides a major contribution to the diagnosis of the Gastrointestinal Tract (GIT) diseases. With Colon Endoscopy having its certain limitations, Wireless Capsule Endoscopy is gradually taking over it in the terms of ease and efficiency. WCE is performed with a miniature optical endoscope which is swallowed by the patient and transmits colour images wirelessly during its journey through the GIT, inside the body of the patient. These images are used to implement an effective and computationally efficient approach which aims to detect the abnormal and normal tissues in the GIT automatically, and thus helps in reducing the manual work of the reviewers. The algorithm further aims to classify the diseased tissues into various GIT diseases that are commonly known to be affecting the tract. In this manuscript, the descriptor used for the detection of the interest points is Speeded Up Robust Features (SURF), which uses the colour information contained in the images which is converted to CIELAB space colours for better identification. The features extracted at the interest points are then used to train and test a Support Vector Machine (SVM), so that it automatically classifies the images into normal or abnormal and further detects the specific abnormalities. SVM, along with a few parameters, gives a very high accuracy of 94.58% while classifying normal and abnormal images and an accuracy of 82.91% while classifying into multi-class. The present work is an improvement on the previously reported analyses which were only limited to the bi-class classification using this approach.


title: A General Framework for RIS-Aided mmWave Communication Networks: Channel Estimation and Mobile User Tracking

abstract: Reconfigurable intelligent surface (RIS) has been widely discussed as new technology to improve wireless communication performance. Based on the unique design of RIS, its elements can reflect, refract, absorb, or focus the incoming waves toward any desired direction. These functionalities turned out to be a major solution to overcome millimeter-wave (mmWave)'s high propagation conditions including path attenuation and blockage. However, channel estimation in RIS-aided communication is still a major concern due to the passive nature of RIS elements, and estimation overhead that arises with multiple-input multiple-output (MIMO) system. As a consequence, user tracking has not been analyzed yet. This paper is the first work that addresses channel estimation, beamforming, and user tracking under practical mmWave RIS-MIMO systems. By providing the mathematical relation of RIS design with a MIMO system, a three-stage framework is presented. Starting with estimating the channel between a base station (BS) and RIS using hierarchical beam searching, followed by estimating the channel between RIS and user using an iterative resolution algorithm. Lastly, a popular tracking algorithm is employed to track channel parameters between the RIS and the user. System analysis demonstrates the robustness and the effectiveness of the proposed framework in real-time scenarios.


title: Evaluation of Deep Convolutional Generative Adversarial Networks for data augmentation of chest X-ray images

abstract: Medical image datasets are usually imbalanced, due to the high costs of obtaining the data and time-consuming annotations. Training deep neural network models on such datasets to accurately classify the medical condition does not yield desired results and often over-fits the data on majority class samples. In order to address this issue, data augmentation is often performed on training data by position augmentation techniques such as scaling, cropping, flipping, padding, rotation, translation, affine transformation, and color augmentation techniques such as brightness, contrast, saturation, and hue to increase the dataset sizes. These augmentation techniques are not guaranteed to be advantageous in domains with limited data, especially medical image data, and could lead to further overfitting. In this work, we performed data augmentation on the Chest X-rays dataset through generative modeling (deep convolutional generative adversarial network) which creates artificial instances retaining similar characteristics to the original data and evaluation of the model resulted in Fr\'echet Distance of Inception (FID) score of 1.289.


title: Branching fractions of $B^-\to D^-X_{0,1}(2900)$ and their implications

abstract: The exotic states $X_{0,1}(2900)$ with the quark flavor of $cs\bar{u}\bar{d}$ are recently observed in the mass spectrum of $D^+K^-$ in $B^-\to D^-D^+K^-$ by the LHCb collaboration. To explore the nature of $X_{0,1}(2900)$, except for analyzing their masses and decay widths as usually did in literatures, the study of their production mechanism in $B$-meson weak decays would provide another important information. The amplitude of $B^-\to D^- X_{0,1}$ is non-factorizable. We consider the final-state-interaction effects and calculate them via the rescattering mechanism. The measured branching fractions of $B^-\to D^- X_{0,1}$ are revealed. It is manifested by ${B}^-\to \Lambda_c^-\Xi_c^{(\prime)0}$ and $\Lambda_b^0\to P_c^+K^-$ that the rescattering mechanism can result in the relatively large branching fractions. The similar processes of $B^-\to \pi^-X_{0,1}$ are also analyzed. The isospins of $X_{0,1}$ can be investigated by $B\to DX_{0,1}^{\pm,0}$ decays.


title: Infrared resonant vibrationally induced restructuring of amorphous solid water

abstract: Amorphous solid water (ASW) is abundantly present in the interstellar medium, where it forms a mantle on interstellar dust particles and it is the precursor for cometary ices. In space, ASW acts as substrate for interstellar surface chemistry leading to complex molecules and it is postulated to play a critical role in proton-transfer reactions. Although ASW is widely studied and is generally well characterized by different techniques, energetically-induced structural changes, such as ion, electron and photon irradiation, in these materials are less well understood. Selective pumping of specific infrared (IR) vibrational modes can aid in understanding the role of vibrations in restructuring of hydrogen bonding networks. Here we present the first experimental results on hydrogen bonding changes in ASW induced by the intense, nearly monochromatic mid-IR free-electron laser (FEL) radiation of the FELIX-2 beamline at the FELIX Laboratory at the Radboud University in Nijmegen, the Netherlands. The changes are monitored by reflection-absorption infrared spectroscopy. Upon resonant irradiation, a modification in IR absorption band profile of ASW is observed in agreement with a growing crystalline-like contribution and a decreasing amorphous contribution. This phenomenon saturates within a few minutes of FEL irradiation, modifying upwards of 94~\% of the irradiated ice. The effect is further analysed in terms of hydrogen bonding donors and acceptors and the experiments are complimented with Molecular Dynamics simulations to constrain the effect at the molecular level.

categories: cond-mat.mtrl-sci astro-ph.EP astro-ph.GA physics.chem-ph


title: Luminosity Performance of the Compact Linear Collider at 380 GeV with Static and Dynamic Imperfections

abstract: The Compact Linear Collider is one of the two main European options for a collider in a post Large Hadron Collider era. This is a linear $e^+e^-$ collider with three centre-of-mass energy stages: 380 GeV, 1.5 TeV and 3 TeV. The luminosity performance of the first stage at 380 GeV is presented including the impact of static and dynamic imperfections. These calculations are performed with fully realistic tracking simulations from the exit of the damping rings to the interaction point and including beam-beam effects in the collisions. A luminosity of $4.3\times10^{34}\,\text{cm}^{-2}\text{s}^{-1}$ can be achieved with a perfect collider, which is almost three times the nominal luminosity target of $1.5\times10^{34}\,\text{cm}^{-2}\text{s}^{-1}$. In simulations with static imperfections, a luminosity of $2.35\times10^{34}\,\text{cm}^{-2}\text{s}^{-1}$ or greater is achieved by 90% of randomly misaligned colliders. Expressed as a percentage of the nominal luminosity target, this is a surplus of approximately 57%. Including the impact of ground motion, a luminosity surplus of 53% or greater can be expected for 90% of colliders. The average expected luminosity is $2.8\times10^{34}~\text{cm}^{-2}\text{s}^{-1}$, which is almost twice the nominal luminosity target.


title: Exact Recovery of Community Detection in k-Community Gaussian Mixture Model

abstract: We study the community detection problem on a Gaussian mixture model, in which vertices are divided into $k\geq 2$ distinct communities. The major difference in our model is that the intensities for Gaussian perturbations are different for different entries in the observation matrix, and we do not assume that every community has the same number of vertices. We explicitly find the threshold for the exact recovery of the maximum likelihood estimation. Applications include the community detection on hypergraphs.


title: Measurements of pp $\to$ ZZ production cross sections and constraints on anomalous triple gauge couplings at $\sqrt{s} =$ 13 TeV

abstract: The production of Z boson pairs in proton-proton (pp) collisions, pp $\to$ (Z/$\gamma^*$)(Z/$\gamma^*$) $\to$ 2$\ell$ 2$\ell'$, where $\ell,\ell'$ = e or $\mu$, is studied at a center-of-mass energy of 13 TeV with the CMS detector at the CERN LHC. The data sample corresponds to an integrated luminosity of 137 fb$^{-1}$, collected during 2016-2018. The ZZ production cross section, $\sigma_{\text{tot}}$ (pp $\to$ ZZ) = 17.2 $\pm$ 0.3 (stat) $\pm$ 0.5 (syst) $\pm$ 0.4 (theo) $\pm$ 0.3 (lumi) pb, measured for events with two pairs of opposite-sign, same-flavor leptons produced in the mass region 60 $\lt$ $m_{\ell^+\ell^-}$ $\lt $ 120 GeV is consistent with standard model predictions. Differential cross sections are also measured and agree with theoretical predictions. The invariant mass distribution of the four-lepton system is used to set limits on anomalous ZZZ and ZZ$\gamma$ couplings.


title: A single inverse-designed photonic structure that performs parallel computing

abstract: In the search for improved computational capabilities, conventional microelectronic computers are facing various problems arising from the miniaturization and concentration of active electronics devices (1-2). Therefore, researchers have been exploring several paths for the next generation of computing platforms, which could exploit various physical phenomena for solving mathematical problems at higher speeds and larger capacities. Among others, physical systems described by waves, such as photonic and quantum devices, have been utilized to compute the solution of mathematical problems (1-18). However, previous devices have not fully exploited the linearity of the wave equation, which as we show here, allows for the simultaneous parallel solution of several independent mathematical problems within the same device. In this Letter, we demonstrate, theoretically and experimentally, that a transmissive cavity filled with a judiciously tailored dielectric distribution and embedded in a multi-frequency feedback loop can calculate the solutions of an arbitrary number of mathematical problems simultaneously. We design, build, and test a computing structure at microwave frequencies that solves two independent integral equations with any two arbitrary inputs. We offer another design that can invert four arbitrary 5x5 matrices, confirming its functionality with numerical simulations. We believe our results presented here can provide "coincident computing" and pave the way for the design of low-power, ultrafast, parallel photonic analog computing devices for sensing and signal processing in embedded computing applications.


title: A Stance Data Set on Polarized Conversations on Twitter about the Efficacy of Hydroxychloroquine as a Treatment for COVID-19

abstract: At the time of this study, the SARS-CoV-2 virus that caused the COVID-19 pandemic has spread significantly across the world. Considering the uncertainty about policies, health risks, financial difficulties, etc. the online media, specially the Twitter platform, is experiencing a high volume of activity related to this pandemic. Among the hot topics, the polarized debates about unconfirmed medicines for the treatment and prevention of the disease have attracted significant attention from online media users. In this work, we present a stance data set, COVID-CQ, of user-generated content on Twitter in the context of COVID-19. We investigated more than 14 thousand tweets and manually annotated the opinions of the tweet initiators regarding the use of "chloroquine" and "hydroxychloroquine" for the treatment or prevention of COVID-19. To the best of our knowledge, COVID-CQ is the first data set of Twitter users' stances in the context of the COVID-19 pandemic, and the largest Twitter data set on users' stances towards a claim, in any domain. We have made this data set available to the research community via GitHub. We expect this data set to be useful for many research purposes, including stance detection, evolution and dynamics of opinions regarding this outbreak, and changes in opinions in response to the exogenous shocks such as policy decisions and events.


title: Singling out modified gravity parameters and datasets reveals a dichotomy between Planck and lensing

abstract: An important route to testing General Relativity (GR) at cosmological scales is usually done by constraining modified gravity (MG) parameters added to the Einstein perturbed equations. Most studies have analyzed so far constraints on pairs of MG parameters, but here, we explore constraints on one parameter at a time while fixing the other at its GR value. This allows us to analyze various models while benefiting from a stronger constraining power from the data. We also explore which specific datasets are in tension with GR. We find that models with ($\mu=1$, $\eta$) and ($\mu$, $\eta=1$) exhibit a 3.9-$\sigma$ and 3.8-$\sigma$ departure from GR when using Planck18+SNe+BAO, while ($\mu$, $\eta$) shows a tension of 3.4-$\sigma$. We find no tension with GR for models with the MG parameter $\Sigma$ fixed to its GR value. Using a Bayesian model selection analysis, we find that some one-parameter MG models are moderately favored over $\Lambda$CDM when using all dataset combinations except Planck CMB Lensing and DES data. Namely, Planck18 shows a moderate tension with GR that only increases when adding any combination of RSD, SNe, or BAO. However, adding lensing diminishes or removes these tensions, which can be attributed to the ability of lensing in constraining the MG parameter $\Sigma$. The two overall groups of datasets are found to have a dichotomy when performing consistency tests with GR, which may be due to systematic effects, lack of constraining power, or modelling. These findings warrant further investigation using more precise data from ongoing and future surveys.


title: Properties and astrophysical implications of the 150 Msun binary black hole merger GW190521

abstract: The gravitational-wave signal GW190521 is consistent with a binary black hole merger source at redshift 0.8 with unusually high component masses, $85^{+21}_{-14}\,M_{\odot}$ and $66^{+17}_{-18}\,M_{\odot}$, compared to previously reported events, and shows mild evidence for spin-induced orbital precession. The primary falls in the mass gap predicted by (pulsational) pair-instability supernova theory, in the approximate range $65 - 120\,M_{\odot}$. The probability that at least one of the black holes in GW190521 is in that range is 99.0%. The final mass of the merger $(142^{+28}_{-16}\,M_{\odot})$ classifies it as an intermediate-mass black hole. Under the assumption of a quasi-circular binary black hole coalescence, we detail the physical properties of GW190521's source binary and its post-merger remnant, including component masses and spin vectors. Three different waveform models, as well as direct comparison to numerical solutions of general relativity, yield consistent estimates of these properties. Tests of strong-field general relativity targeting the merger-ringdown stages of coalescence indicate consistency of the observed signal with theoretical predictions. We estimate the merger rate of similar systems to be $0.13^{+0.30}_{-0.11}\,{\rm Gpc}^{-3}\,\rm{yr}^{-1}$. We discuss the astrophysical implications of GW190521 for stellar collapse, and for the possible formation of black holes in the pair-instability mass gap through various channels: via (multiple) stellar coalescence, or via hierarchical merger of lower-mass black holes in star clusters or in active galactic nuclei. We find it to be unlikely that GW190521 is a strongly lensed signal of a lower-mass black hole binary merger. We also discuss more exotic possible sources for GW190521, including a highly eccentric black hole binary, or a primordial black hole binary.


title: A generalization of Beilinson's geometric height pairing

abstract: In the first section of his seminal paper on height pairings, Beilinson constructed an $\ell$-adic height pairing for rational Chow groups of homologically trivial cycles of complementary codimension on smooth projective varieties over the function field of a curve over an algebraically closed field, and asked about an generalization to higher dimensional bases. In this paper we answer Beilinson's question by constructing a pairing for varieties defined over the function field of a smooth variety $B$ over an algebraically closed field, with values in the second $\ell$-adic cohomology group of $B$. Over $\Bbb C$ our pairing is in fact $\Bbb Q$-valued, and in general we speculate about its geometric origin.


title: The Effect of Various Strengths of Noises and Data Augmentations on Classification of Short Single-Lead ECG Signals Using Deep Neural Networks

abstract: Due to the multiple imperfections during the signal acquisition, Electrocardiogram (ECG) datasets are typically contaminated with numerous types of noise, like salt and pepper and baseline drift. These datasets may contain different recordings with various types of noise [1] and thus, denoising may not be the easiest task. Furthermore, usually, the number of labeled bio-signals is very limited for a proper classification task.


title: Comprehensive Semantic Segmentation on High Resolution UAV Imagery for Natural Disaster Damage Assessment

abstract: In this paper, we present a large-scale hurricane Michael dataset for visual perception in disaster scenarios, and analyze state-of-the-art deep neural network models for semantic segmentation. The dataset consists of around 2000 high-resolution aerial images, with annotated ground-truth data for semantic segmentation. We discuss the challenges of the dataset and train the state-of-the-art methods on this dataset to evaluate how well these methods can recognize the disaster situations. Finally, we discuss challenges for future research.


title: Accelerated reactive transport simulations in heterogeneous porous media using Reaktoro and Firedrake

abstract: This work investigates the performance of the on-demand machine learning (ODML) algorithm introduced in Leal et al. (2020) when applied to different reactive transport problems in heterogeneous porous media. ODML was devised to accelerate the computationally expensive geochemical reaction calculations in reactive transport simulations. We demonstrate that the ODML algorithm speeds up these calculations by one to three orders of magnitude. Such acceleration, in turn, significantly accelerates the entire reactive transport simulation. The numerical experiments are performed by implementing the coupling of two open-source software packages: Reaktoro (Leal, 2015) and Firedrake (Rathgeber et al., 2016).


title: Garain at SemEval-2020 Task 12: Sequence based Deep Learning for Categorizing Offensive Language in Social Media

abstract: SemEval-2020 Task 12 was OffenseEval: Multilingual Offensive Language Identification in Social Media (Zampieri et al., 2020). The task was subdivided into multiple languages and datasets were provided for each one. The task was further divided into three sub-tasks: offensive language identification, automatic categorization of offense types, and offense target identification. I have participated in the task-C, that is, offense target identification. For preparing the proposed system, I have made use of Deep Learning networks like LSTMs and frameworks like Keras which combine the bag of words model with automatically generated sequence based features and manually extracted features from the given dataset. My system on training on 25% of the whole dataset achieves macro averaged f1 score of 47.763%.


title: Safe Optimal Control Using Stochastic Barrier Functions and Deep Forward-Backward SDEs

abstract: This paper introduces a new formulation for stochastic optimal control and stochastic dynamic optimization that ensures safety with respect to state and control constraints. The proposed methodology brings together concepts such as Forward-Backward Stochastic Differential Equations, Stochastic Barrier Functions, Differentiable Convex Optimization and Deep Learning. Using the aforementioned concepts, a Neural Network architecture is designed for safe trajectory optimization in which learning can be performed in an end-to-end fashion. Simulations are performed on three systems to show the efficacy of the proposed methodology.


title: An enhanced simulation-based iterated local search metaheuristic for gravity fed water distribution network design optimization

abstract: The gravity fed water distribution network design (WDND) optimization problem consists in determining the pipe diameters of a water network such that hydraulic constraints are satisfied and the total cost is minimized. Traditionally, such design decisions are made on the basis of expert experience. When networks increase in size, however, rules of thumb will rarely lead to near optimal decisions. Over the past thirty years, a large number of techniques have been developed to tackle the problem of optimally designing a water distribution network. In this paper, we tackle the NP-hard water distribution network design (WDND) optimization problem in a multi-period setting where time varying demand patterns occur. We propose a new simulation-based iterated local search metaheuristic which further explores the structure of the problem in an attempt to obtain high quality solutions. Computational experiments show that our approach is very competitive as it is able to improve over a state-of-the-art metaheuristic for most of the performed tests. Furthermore, it converges much faster to low cost solutions and demonstrates a more robust performance in that it obtains smaller deviations from the best known solutions.


title: Wurtzite III-nitride distributed Bragg reflectors on Si (100) substrates

abstract: Distributed Bragg reflectors (DBRs) composed of an AlN/GaN superlattice were demonstrated for the first time on Si (100) substrates. Single-crystal wurtzite superlattice structures were achieved on this cubic substrate by employing offcut Si (100) wafers with the surface normal pointing 4{\deg} towards the [110] direction. This misorientation introduced an additional epitaxial constraint that prevented the growth of a two-domain GaN surface as well as cubic GaN inclusions. A crack-free 600 nm GaN cap / 5x AlN / GaN DBR structure on Si (100) was demonstrated. This accomplishment of a wurtzite III-nitride DBRs on Si (100) opens the possibility to integrate novel optical and optoelectronic devices with established Si microelectronics technology.


title: Determining the Number of Sinusoids Measured with Errors

abstract: This paper describes how a priori information about the signal parameters can influence the accuracy of estimating the number of these signals. This study considers sinusoidal signals and it is supposed that the parameters (amplitudes, frequencies and phases) of the received signals are known up to a certain error. The error probability of the maximum likelihood estimation of the number of sinusoids is calculated under this condition.


title: Precise Calibration of the One-Loop Bispectrum in the Effective Field Theory of Large Scale Structure

abstract: The bispectrum is the leading non-Gaussian statistic in Large-Scale Structure (LSS) clustering and encodes the interactions in the underlying field. It is thus an important diagnostic for primordial non-Gaussianity and higher order galaxy biasing. In this paper we present a detailed test and calibration of the matter bispectrum counterterms in the Effective Field Theory of LSS against a suite of $N$-body simulations. We are going beyond previous studies in employing realisation based perturbation theory that allows for a significant reduction in cosmic variance error bars. This enables the measurement of the low-energy constants on large scales before two-loop corrections become relevant, around $k<0.09 h\mathrm{Mpc}^{-1}$ at $z=0$. We also go beyond previous work in using bispectrum propagator terms, i.e. correlators with linear and second order fields, to quantify the two new counterterms in isolation and to establish consistency with the power spectrum counterterm. By investigating the fully non-linear bispectrum, $B_{\mathrm{nnn}}$, as well as the terms $B_{\mathrm{n}11}$ and $B_{\mathrm{n}21}$, we find evidence for the new counterterms deviating from the shape suggested by the UV-limit of the relevant bispectrum contributions. We also show that the commonly used Einstein-de Sitter approximation for the time dependence of the tree-level bispectrum is insufficient for precise studies of the one-loop bispectrum and that it is necessary to use $\Lambda$CDM growth factors in order to obtain meaningful one-loop counterterm constraints. Finally, we also find evidence for small deviations in the growth factors that arise from time integration inaccuracies in the $N$-body simulations.


title: On the Minimal Displacement Vector of the Douglas-Rachford Operator

abstract: The Douglas-Rachford algorithm can be represented as the fixed point iteration of a firmly nonexpansive operator. When the operator has no fixed points, the algorithm's iterates diverge, but the difference between consecutive iterates converges to the so-called minimal displacement vector, which can be used to certify infeasibility of an optimization problem. In this paper, we establish new properties of the minimal displacement vector, which allow us to generalize some existing results.