title: The lure of ice-templating: recent trends and opportunities for porous materials

abstract: Ice-templating is a simple materials processing and shaping route where the growth of crystals from a solvent template the porosity. Although the principles of ice-templating were established a long time ago, it has lured considerable attention over the past 5 years to become a well-established processing route for porous materials of all kinds. In this viewpoint, I summarize the current status and recent trends of ice-templating studies. I then review the unique assets of ice-templating and propose a roadmap of the most promising or pressing questions and opportunities in this domain.


title: Weighted likelihood estimation of multivariate location and scatter

abstract: A novel approach to obtain weighted likelihood estimates of multivariate location and scatter is discussed. A weighting scheme is proposed that is based on the distribution of the Mahalanobis distances rather than the distribution of the data at the assumed model. This strategy allows to avoid the curse of dimensionality affecting non-parametric density estimation, that is involved in the construction of the weights through the Pearson residuals Markatou et al (1998). Then, weighted likelihood based outlier detection rules and robust dimensionality reduction techniques are developed. The effectiveness of the methodology is illustrated through some numerical studies and real data examples.


title: General Equilibrium Under Convex Portfolio Constraints and Heterogeneous Risk Preferences

abstract: This paper characterizes the equilibrium in a continuous time financial market populated by heterogeneous agents who differ in their rate of relative risk aversion and face convex portfolio constraints. The model is studied in an application to margin constraints and found to match real world observations about financial variables and leverage cycles. It is shown how margin constraints increase the market price of risk and decrease the interest rate by forcing more risk averse agents to hold more risky assets, producing a higher equity risk premium. In addition, heterogeneity and margin constraints are shown to produce both pro- and counter-cyclical leverage cycles. Beyond two types, it is shown how constraints can cascade and how leverage can exhibit highly non-linear dynamics. Finally, empirical results are given, documenting a novel stylized fact which is predicted by the model, namely that the leverage cycle is both pro- and counter-cyclical.


title: Many-body localization dynamics from gauge invariance

abstract: We show how lattice gauge theories can display many-body localization dynamics in the absence of disorder. Our starting point is the observation that, for some generic translationally invariant states, Gauss law effectively induces a dynamics which can be described as a disorder average over gauge super-selection sectors. We carry out extensive exact simulations on the real-time dynamics of a lattice Schwinger model, describing the coupling between U(1) gauge fields and staggered fermions. Our results show how memory effects and slow entanglement growth are present in a broad regime of parameters - in particular, for sufficiently large interactions. These findings are immediately relevant to cold atoms and trapped ions experiments realizing dynamical gauge fields, and suggest a new and universal link between confinement and entanglement dynamics in the many-body localized phase of lattice models.


title: Competing Ferromagnetic and Anti-Ferromagnetic interactions in Iron Nitride $\zeta$-Fe$_2$N

abstract: The paper discusses the magnetic state of zeta phase of iron nitride viz. $\zeta$-Fe$_2$N on the basis of spin polarized first principles electronic structure calculations together with a review of already published data. Results of our first principles study suggest that the ground state of $\zeta$-Fe$_2$N is ferromagnetic (FM) with a magnetic moment of 1.528 $\mu_\text{B}$ on the Fe site. The FM ground state is lower than the anti-ferromagnetic (AFM) state by 8.44 meV and non-magnetic(NM) state by 191 meV per formula unit. These results are important in view of reports which claim that $\zeta$-Fe$_2$N undergoes an AFM transition below 10K and others which do not observe any magnetic transition up to 4.2K. We argue that the experimental results of AFM transition below 10K are inconclusive and we propose the presence of competing FM and AFM superexchange interactions between Fe sites mediated by nitrogen atoms, which are consistent with Goodenough-Kanamori-Anderson rules. We find that the anti-ferromagnetically coupled Fe sites are outnumbered by ferromagnetically coupled Fe sites leading to a stable FM ground state. A Stoner analysis of the results also supports our claim of a FM ground state.


title: Large-time behavior of solutions to Vlasov-Poisson-Fokker-Planck equations: from evanescent collisions to diffusive limit

abstract: The present contribution investigates the dynamics generated by the two-dimensional Vlasov-Poisson-Fokker-Planck equation for charged particles in a steady inhomogeneous background of opposite charges. We provide global in time estimates that are uniform with respect to initial data taken in a bounded set of a weighted $L^2$ space, and where dependencies on the mean-free path $\tau$ and the Debye length $\delta$ are made explicit. In our analysis the mean free path covers the full range of possible values: from the regime of evanescent collisions $\tau\to\infty$ to the strongly collisional regime $\tau\to0$. As a counterpart, the largeness of the Debye length, that enforces a weakly nonlinear regime, is used to close our nonlinear estimates. Accordingly we pay a special attention to relax as much as possible the $\tau$-dependent constraint on $\delta$ ensuring exponential decay with explicit $\tau$-dependent rates towards the stationary solution. In the strongly collisional limit $\tau\to0$, we also examine all possible asymptotic regimes selected by a choice of observation time scale. Here also, our emphasis is on strong convergence, uniformity with respect to time and to initial data in bounded sets of a $L^2$ space. Our proofs rely on a detailed study of the nonlinear elliptic equation defining stationary solutions and a careful tracking and optimization of parameter dependencies of hypocoercive/hypoelliptic estimates.


title: Spin order and dynamics in the diamond-lattice Heisenberg antiferromagnets CuRh2O4 and CoRh2O4

abstract: Antiferromagnetic insulators on the diamond lattice are candidate materials to host exotic magnetic phenomena ranging from spin-orbital entanglement to degenerate spiral ground-states and topological paramagnetism. Compared to other three-dimensional networks of magnetic ions, such as the geometrically frustrated pyrochlore lattice, the investigation of diamond-lattice magnetism in real materials is less mature. In this work, we characterize the magnetic properties of model A-site spinels CoRh2O4 (cobalt rhodite) and CuRh2O4 (copper rhodite) by means of thermo-magnetic and neutron scattering measurements and perform group theory analysis, Rietveld refinement, mean-field theory, and spin wave theory calculations to analyze the experimental results. Our investigation reveals that cubic CoRh2O4 is a canonical S=3/2 diamond-lattice Heisenberg antiferromagnet with a nearest neighbor exchange J = 0.63 meV and a Neel ordered ground-state below a temperature of 25 K. In tetragonally distorted CuRh2O4, competiting exchange interactions between up to third nearest-neighbor spins lead to the development of an incommensurate spin helix at 24 K with a magnetic propagation vector k = (0,0,0.79). Strong reduction of the ordered moment is observed for the S=1/2 spins in CuRh2O4 and captured by our 1/S corrections to the staggered magnetization. Our work identifies CoRh2O4 and CuRh2O4 as reference materials to guide future work searching for exotic quantum behavior in diamond-lattice antiferromagnets.


title: Lyapunov Exponents of Two Stochastic Lorenz 63 Systems

abstract: Two different types of perturbations of the Lorenz 63 dynamical system for Rayleigh-Benard convection by multiplicative noise -- called stochastic advection by Lie transport (SALT) noise and fluctuation-dissipation (FD) noise -- are found to produce qualitatively different effects, possibly because the total phase-space volume contraction rates are different. In the process of making this comparison between effects of SALT and FD noise on the Lorenz 63 system, a stochastic version of a robust deterministic numerical algorithm for obtaining the individual numerical Lyapunov exponents was developed. With this stochastic version of the algorithm, the value of the sum of the Lyapunov exponents for the FD noise was found to differ significantly from the value of the deterministic Lorenz 63 system, whereas the SALT noise preserves the Lorenz 63 value with high accuracy. The Lagrangian averaged version of the SALT equations (LA SALT) is found to yield a closed deterministic subsystem for the expected solutions which is found to be isomorphic to the original Lorenz 63 dynamical system. The solutions of the closed chaotic subsystem, in turn, drive a linear stochastic system for the fluctuations of the LA SALT solutions around their expected values.


title: Gaussian Intersymbol Interference Channels With Mismatch

abstract: This paper considers the problem of channel coding over Gaussian intersymbol interference (ISI) channels with a given metric decoding rule. Specifically, it is assumed that the mismatched decoder has an incorrect assumption on the impulse response function. The mismatch capacity is the highest achievable rate for a given decoding rule. Existing lower bounds to the mismatch capacity for channels and decoding metrics with memory (as in our model) are presented only in the form of multi-letter expressions that have not been calculated in practice. Consequently, they provide little insight on the mismatch problem. In this paper, we derive computable single-letter lower bounds to the mismatch capacity, and discuss some implications of our results. Our achievable rates are based on two ensembles, the ensemble of codewords generated by an autoregressive process, and the ensemble of codewords drawn uniformly over a "type class" of real-valued sequences. Computation of our achievable rates demonstrates non-trivial behavior of the achievable rates as a function of the mismatched parameters. As a simple application of our technique, we derive also the random coding exponent associated with a mismatched decoder which assumes that there is no ISI at all. Finally, we compare our results with universal decoders which are designed outside the true class of channels that we consider in this paper.


title: Channels with Cooperation Links that May Be Absent

abstract: It is well known that cooperation between users in a communication network can lead to significant performance gains. A common assumption in past works is that all the users are aware of the resources available for cooperation, and know exactly to what extent these resources can be used. Unfortunately, in many modern communication networks the availability of cooperation links cannot be guaranteed a priori, due to the dynamic nature of the network. In this work a family of models is suggested where the cooperation links may or may not be present. Coding schemes are devised that exploit the cooperation links if they are present, and can still operate (although at reduced rates) if cooperation is not possible.


title: Sequence transferable coarse-grained model of amphiphilic copolymer

abstract: Polymer properties are inherently multi-scale in nature, where delicate local interaction details play a key role in describing their global conformational behavior. In this context, deriving coarse-grained (CG) multi-scale models for polymeric liquids is a non-trivial task. Further complexities arise when dealing with copolymer systems with varying microscopic sequences, especially when they are of an amphiphilic nature. In this work, we derive a segment-based generic CG model for amphiphilic copolymers consisting of repeat units of hydrophobic (methylene) and hydrophilic (ethylene oxide) monomers. The system is a simulation analogue of polyacetal copolymers [Samanta et al., Macromolecules 49, 1858 (2016)]. The CG model is found to be transferable over a wide range of copolymer sequences and also to be consistent with existing experimental data.


title: LiDAR point clouds correction acquired from a moving car based on CAN-bus data

abstract: In this paper, we investigate the impact of different kind of car trajectories on LiDAR scans. In fact, LiDAR scanning speeds are considerably slower than car speeds introducing distortions. We propose a method to overcome this issue as well as new metrics based on CAN bus data. Our results suggest that the vehicle trajectory should be taken into account when building 3D large-scale maps from a LiDAR mounted on a moving vehicle.


title: The existence of $T$-numbers in positive characteristic

abstract: As an analogue of Mahler's classification for real numbers, Bundschuh introduced a classification for Laurent series over a finite field, divided into $A,S,T,U$-numbers.It is known that each of $A,S,U$-numbers is nonempty.On the other hand, the existence of $T$-numbers is open.In this paper, we give an affirmative answer to the problem.


title: Toward uniform random generation in 1-safe Petri nets

abstract: We study the notion of uniform measure on the space of infinite executions of a 1-safe Petri net. Here, executions of 1-safe Petri nets are understood up to commutation of concurrent transitions, which introduces a challenge compared to usual transition systems. We obtain that the random generation of infinite executions reduces to the simulation of a finite state Markov chain. Algorithmic issues are discussed.


title: Computing the channel capacity of a communication system affected by uncertain transition probabilities

abstract: We study the problem of computing the capacity of a discrete memoryless channel under uncertainty affecting the channel law matrix, and possibly with a constraint on the average cost of the input distribution. The problem has been formulated in the literature as a max-min problem. We use the robust optimization methodology to convert the max-min problem to a standard convex optimization problem. For small-sized problems, and for many types of uncertainty, such a problem can be solved in principle using interior point methods (IPM). However, for large-scale problems, IPM are not practical. Here, we suggest an $\mathcal{O}(1/T)$ first-order algorithm based on Nemirovski (2004) which is applied directly to the max-min problem.


title: Bohmian Field Theory on a Shape Dynamics Background and Unruh Effect

abstract: In this paper, we investigate the Unruh radiation in the Bohmian field theory on a shape dynamics background setting. Since metric and metric momentum are real quantities, the integral kernel to invert the Lichnerowicz-York equation for first order deviations due to existence of matter terms turns out to be real. This fact makes the interaction Hamiltonian real. On the other hand, the only contribution to guarantee the existence of Unruh radiation has to come from the imaginary part of the temporal part of the wave functional. We have proved the existence of Unruh radiation in this setting. It is also important that we have found the Unruh radiation via an Unruh-DeWitt detector in a theory where there is no Lorentz symmetry and no conventional space-time structure.


title: Radio Observations of the Region around the Pulsar Wind Nebula HESS J1303-631 with ATCA

abstract: Radio observations of the region surrounding PSR J1301-6305 at 5.5 GHz and 7.5 GHz were conducted with ATCA on September 5th, 2013. They were dedicated to the search of the radio counterpart of the evolved pulsar wind nebula HESS J1303-631, detected in X-rays and GeV-TeV gamma-rays. The collected data do not reveal any significant extended emission associated with PSR J1301-6305. In addition, archival 1.384 GHz and 2.368 GHz data do not show any evidence for a radio counterpart of HESS J1303-631. Archival 1.384 GHz observations reveal a detection of an extended structure centred at an angular distance of 190 from the pulsar. This extended structure might be a Supernova remnant (SNR) and a potential birth place of PSR J1301-6305. The implications of the lack of radio counterpart of HESS J1303-631 on the understanding of the nature of the PWN are discussed.


title: Identification of an Open-loop Plasma Vertical Position Using Fractional Order Dynamic Neural Network

abstract: In order to identify complicated systems, more prominent and promising methods are needed among which we may refer to fractional order differential equations. The aim of this paper is to propose a fractional order nonlinear model to predict the vertical position of a plasma column system in a Tokamak by using real data from Damavand Tokamak. The system is identified based on a newly introduced fractional order dynamic neural network. The proposed fractional order dynamic neural network (FODNN) is an extension of the integer order dynamic neural network that employs the so called fractional-order operators. FODNN is implemented and comparison of the numerical simulation results with experimental results shows that performance of the proposed method by using fractional order neural network is preferred to the integer neural network.


title: Signal Machine And Cellular Automaton Time-Optimal Quasi-Solutions Of The Firing Squad/Mob Synchronisation Problem On Connected Graphs

abstract: We construct a time-optimal quasi-solution of the firing mob synchronisation problem over finite, connected, and undirected multigraphs whose maximum degrees are uniformly bounded by a constant. It is only a quasi-solution because its number of states depends on the graph or, from another perspective, does not depend on the graph but is countably infinite. To construct this quasi-solution we introduce signal machines over continuum representations of such multigraphs and construct a signal machine whose discretisation is a cellular automaton that quasi-solves the problem. This automaton uses a time-optimal solution of the firing squad synchronisation problem in dimension one with one general at one end to synchronise edges, and freezes and thaws the synchronisation of edges in such a way that all edges synchronise at the same time.


title: Exoplanets as probes of the winds of host stars: the case of the M dwarf GJ 436

abstract: Winds of cool dwarfs are difficult to observe, with only a few M dwarfs presenting observationally-derived mass-loss rates (Mdot), which span several orders of magnitude. Close-in exoplanets are conveniently positioned in the inner regions of stellar winds and can, thus, be used to probe the otherwise-unobservable local properties of their host-stars' winds. Here, we use local stellar wind characteristics observationally-derived in the studies of atmospheric evaporation of the warm-neptune GJ436 b to derive the global characteristics of the wind of its M-dwarf host. Using an isothermal wind model, we constrain the stellar wind temperature to be in the range [0.36,0.43] MK, with Mdot=[0.5,2.5] x 10^{-15} Msyn/yr. By computing the pressure balance between the stellar wind and the interstellar medium, we derive the size of the astrophere of GJ436 to be around 25 au, significantly more compact than the heliosphere. We demonstrate in this paper that transmission spectroscopy, coupled to planetary atmospheric evaporation and stellar wind models, can be a useful tool for constraining the large-scale wind structure of planet-hosting stars. Extending our approach to future planetary systems discoveries will open new perspectives for the combined characterisation of planetary exospheres and winds of cool dwarf stars.


title: Tropical Hodge numbers of non-archimedean curves

abstract: We study the tropical Dolbeault cohomology of non-archimedean curves as defined by Chambert-Loir and Ducros. We give a precise condition for when this cohomology satisfies Poincar\'e duality. The condition is always satisfied when the residue field of the non-archimedean base field is the algebraic closure of a finite field. We also show that for curves over fields where the residue field is the field of complex numbers, the tropical (1,1)-Dolbeault cohomology can be infinite dimensional. Our main new ingredient is an exponential type sequence that relates tropical Dolbeault cohomology to the cohomology of the sheaf of harmonic functions. As an application of our Poincar\'e duality result, we calculate the dimensions of the tropical Dolbeault cohomology, called tropical Hodge numbers, for (open subsets of) curves.


title: Cartan's Conjecture for Moving Hypersurfaces

abstract: Let $f$ be a holomorphic curve in $\mathbb{P}^n({\mathbb{C}})$ and let $\mathcal{D}=\{D_1,\ldots,D_q\}$ be a family of moving hypersurfaces defined by a set of homogeneous polynomials $\mathcal{Q}=\{Q_1,\ldots,Q_q\}$. For $j=1,\ldots,q$, denote by $Q_j=\sum\limits_{i_0+\cdots+i_n=d_j}a_{j,I}(z)x_0^{i_0}\cdots x_n^{i_n}$, where $I=(i_0,\ldots,i_n)\in\mathbb{Z}_{\ge 0}^{n+1}$ and $a_{j,I}(z)$ are entire functions on ${\mathbb{C}}$ without common zeros. Let $\mathcal{K}_{\mathcal{Q}}$ be the smallest subfield of meromorphic function field $\mathcal{M}$ which contains ${\mathbb{C}}$ and all $\frac{a_{j,I'}(z)}{a_{j,I''}(z)}$ with $a_{j,I''}(z)\not\equiv 0$, $1\le j\le q$. In previous known second main theorems for $f$ and $\mathcal{D}$, $f$ is usually assumed to be algebraically nondegenerate over $\mathcal{K}_{\mathcal{Q}}$. In this paper, we prove a second main theorem in which $f$ is only assumed to be nonconstant. This result can be regarded as a generalization of Cartan's conjecture for moving hypersurfaces.


title: A Nitsche cut finite element method for the Oseen problem with general Navier boundary conditions

abstract: In this work a Nitsche-based imposition of generalized Navier conditions on cut meshes for the Oseen problem is presented. Other methods from literature dealing with the generalized Navier condition impose this condition by means of substituting the tangential Robin condition in a classical Galerkin way. These methods work fine for a large slip length coefficient but lead to conditioning and stability issues when it approaches zero. We introduce a novel method for the weak imposition of the generalized Navier condition which remains well-posed and stable for arbitrary choice of slip length, including zero. The method proposed here builds on the formulation done by [1]. They impose a Robin condition for the Poisson problem by means of Nitsche's method for an arbitrary combination of the Dirichlet and Neumann parts of the condition. The analysis conducted for the proposed method is done in a similar fashion as in [2], but is done here for a more general type of boundary condition. The analysis proves stability for all flow regimes and all choices of slip lengths. Also an L2-optimal estimate for the velocity error is shown, which was not conducted in the previously mentioned work. A numerical example is carried out for varying slip lengths to verify the robustness and stability of the method with respect to the choice of slip length. Even though proofs and formulations are presented for the more general case of an unfitted grid method, they can easily be reduced to the simpler case of a boundary-fitted grid with the removal of the ghost-penalty stabilization terms.


title: Dynamic induced softening in frictional granular material investigated by DEM simulation

abstract: A granular system composed of frictional glass beads is simulated using the Discrete Element Method. The inter-grain forces are based on the Hertz contact law in the normal direction with frictional tangential force. The damping due to collision is also accounted for. Systems are loaded at various stresses and their quasi-static elastic moduli are characterized. Each system is subjected to an extensive dynamic testing protocol by measuring the resonant response to a broad range of AC drive amplitudes and frequencies via a set of diagnostic strains. The system, linear at small AC drive amplitudes has resonance frequencies that shift downward (i.e., modulus softening) with increased AC drive amplitude. Detailed testing shows that the slipping contact ratio does not contribute significantly to this dynamic modulus softening, but the coordination number is strongly correlated to this reduction. This suggests that the softening arises from the extended structural change via break and remake of contacts during the rearrangement of bead positions driven by the AC amplitude.


title: Chronic neural probe for simultaneous recording of single-unit, multi-unit, and local field potential activity from multiple brain sites

abstract: Drug resistant focal epilepsy can be treated by resecting the epileptic focus requiring a precise focus localization using stereoelectroencephalography (SEEG) probes. As commercial SEEG probes offer only a limited spatial resolution, probes of higher channel count and design freedom enabling the incorporation of macro and microelectrodes would help increasing spatial resolution and thus open new perspectives for investigating mechanisms underlying focal epilepsy and its treatment. This work describes a new fabrication process for SEEG probes with materials and dimensions similar to clinical probes enabling recording single neuron activity at high spatial resolution. Polyimide is used as a biocompatible flexible substrate into which platinum electrodes and leads are... The resulting probe features match those of clinically approved devices. Tests in saline solution confirmed the probe stability and functionality. Probes were implanted into the brain of one monkey (Macaca mulatta), trained to perform different motor tasks. Suitable configurations including up to 128 electrode sites allow the recording of task-related neuronal signals. Probes with 32 and 64 electrode sites were implanted in the posterior parietal cortex. Local field potentials and multi-unit activity were recorded as early as one hour after implantation. Stable single-unit activity was achieved for up to 26 days after implantation of a 64-channel probe. All recorded signals showed modulation during task execution. With the novel probes it is possible to record stable biologically relevant data over a time span exceeding the usual time needed for epileptic focus localization in human patients. This is the first time that single units are recorded along cylindrical polyimide probes chronically implanted 22 mm deep into the brain of a monkey, which suggests the potential usefulness of this probe for human applications.


title: Derivation of a generalized Schr\"odinger equation for dark matter halos from the theory of scale relativity

abstract: Using Nottale's theory of scale relativity, we derive a generalized Schr\"odinger equation applying to dark matter halos. This equation involves a logarithmic nonlinearity associated with an effective temperature and a source of dissipation. Fundamentally, this wave equation arises from the nondifferentiability of the trajectories of the dark matter particles whose origin may be due to ordinary quantum mechanics, classical ergodic (or almost ergodic) chaos, or to the fractal nature of spacetime at the cosmic scale. The generalized Schr\"odinger equation involves a coefficient ${\cal D}$, possibly different from $\hbar/2m$, whose value for dark matter halos is ${\cal D}=1.02\times 10^{23}\, {\rm m^2/s}$. We suggest that the cold dark matter crisis may be solved by the fractal (nondifferentiable) structure of spacetime at the cosmic scale, or by the chaotic motion of the particles on a very long timescale, instead of ordinary quantum mechanics. The equilibrium states of the generalized Schr\"odinger equation correspond to configurations with a core-halo structure. The quantumlike potential generates a solitonic core that solves the cusp problem of the classical cold dark matter model. The logarithmic nonlinearity accounts for the presence of an isothermal halo that leads to flat rotation curves. The damping term ensures that the system relaxes towards an equilibrium state. This property is guaranteed by an $H$-theorem satisfied by a Boltzmann-like free energy functional. In our approach, the temperature and the friction arise from a single formalism. They correspond to the real and imaginary parts of the complex friction coefficient present in the scale covariant equation of dynamics that is at the basis of Nottale's theory of scale relativity.


title: Arithmetical conservation results

abstract: In this paper we present a proof of Goodman's Theorem, a classical result in the metamathematics of constructivism, which states that the addition of the axiom of choice to Heyting arithmetic in finite types does not increase the collection of provable arithmetical sentences. Our proof relies on several ideas from earlier proofs by other authors, but adds some new ones as well. In particular, we show how a recent paper by Jaap van Oosten can be used to simplify a key step in the proof. We have also included an interesting corollary for classical systems pointed out to us by Ulrich Kohlenbach.


title: Time Complexity of Constraint Satisfaction via Universal Algebra

abstract: The exponential-time hypothesis (ETH) states that 3-SAT is not solvable in subexponential time, i.e. not solvable in O(c^n) time for arbitrary c > 1, where n denotes the number of variables. Problems like k-SAT can be viewed as special cases of the constraint satisfaction problem (CSP), which is the problem of determining whether a set of constraints is satisfiable. In this paper we study thef worst-case time complexity of NP-complete CSPs. Our main interest is in the CSP problem parameterized by a constraint language Gamma (CSP(Gamma)), and how the choice of Gamma affects the time complexity. It is believed that CSP(Gamma) is either tractable or NP-complete, and the algebraic CSP dichotomy conjecture gives a sharp delineation of these two classes based on algebraic properties of constraint languages. Under this conjecture and the ETH, we first rule out the existence of subexponential algorithms for finite-domain NP-complete CSP(Gamma) problems. This result also extends to certain infinite-domain CSPs and structurally restricted CSP(Gamma) problems. We then begin a study of the complexity of NP-complete CSPs where one is allowed to arbitrarily restrict the values of individual variables, which is a very well-studied subclass of CSPs. For such CSPs with finite domain D, we identify a relation SD such that (1) CSP({SD}) is NP-complete and (2) if CSP(Gamma) over D is NP-complete and solvable in O(c^n) time, then CSP({SD}) is solvable in O(c^n) time, too. Hence, the time complexity of CSP({SD}) is a lower bound for all CSPs of this particular kind. We also prove that the complexity of CSP({SD}) is decreasing when |D| increases, unless the ETH is false. This implies, for instance, that for every c>1 there exists a finite-domain Gamma such that CSP(Gamma) is NP-complete and solvable in O(c^n) time.


title: Traces on reduced group C*-algebras

abstract: In this short note we prove that the reduced group C*-algebra of a locally compact group admits a non-zero trace if and only if the amenable radical of the group is open. This completely answers a question raised by Forrest, Spronk and Wiersma.


title: Pedestrian Prediction by Planning using Deep Neural Networks

abstract: Accurate traffic participant prediction is the prerequisite for collision avoidance of autonomous vehicles. In this work, we predict pedestrians by emulating their own motion planning. From online observations, we infer a mixture density function for possible destinations. We use this result as the goal states of a planning stage that performs motion prediction based on common behavior patterns. The entire system is modeled as one monolithic neural network and trained via inverse reinforcement learning. Experimental validation on real world data shows the system's ability to predict both, destinations and trajectories accurately.


title: Evidence Logics with Relational Evidence

abstract: Dynamic evidence logics are logics for reasoning about the evidence and evidence-based beliefs of agents in a dynamic environment. In this paper, we introduce a family of logics for reasoning about relational evidence: evidence that involves an orderings of states in terms of their relative plausibility. We provide sound and complete axiomatizations for the logics. We also present several evidential actions and prove soundness and completeness for the associated dynamic logics.


title: Combinatorial Properties and Recognition of Unit Square Visibility Graphs

abstract: Unit square (grid) visibility graphs (USV and USGV, resp.) are described by axis-parallel visibility between unit squares placed (on integer grid coordinates) in the plane. We investigate combinatorial properties of these graph classes and the hardness of variants of the recognition problem, i.e., the problem of representing USGV with fixed visibilities within small area and, for USV, the general recognition problem.


title: Mixed multidimensional integral operators with piecewise constant kernels and their representations

abstract: We consider the algebra of mixed multidimensional integral operators. In particular, Fredholm integral operators of the first and second kind belongs to this algebra. For the piecewise constant kernels we provide an explicit representation of the algebra as a product of simple matrix algebras. This representation allows us to compute the inverse operators (or to solve the corresponding integral equations) and to find the spectrum explicitly. Moreover, explicit traces and determinants are also constructed. So, roughly speaking, the analysis of integral operators is reduced to the analysis of matrices. All the qualitative characteristics of the spectrum are preserved since only the kernels are approximated.


title: Fixed points and entropy of endomorphisms on simple abelian varieties

abstract: In this paper we investigate fixed-point numbers and entropies of endomorphisms on abelian varieties. It was shown quite recently that the number of fixed-points of an iterated endomorphism on a simple complex torus is either periodic or grows exponentially. Criteria to decide whether a given endomorphism is of the one type or the other are still missing. Our first result provides such criteria for simple abelian varieties in terms of the possible types of endomorphism algebras. The number of fixed-points depends on the eigenvalues and we exactly show which analytic eigenvalues occur. This insight is also the starting point to ask for the entropy of an endomorphism. Our second result offers criteria for an endomorphism to be of zero or positive entropy. The entropy is computed as the logarithm of a real number and our third result characterizes the algebraic structure of this number.


title: On the population of remnant FRII radio galaxies and implications for radio source dynamics

abstract: The purpose of this work is two-fold: (1) to quantify the occurrence of ultra-steep spectrum remnant FRII radio galaxies in a 74 MHz flux limited sample, and (2) perform Monte-Carlo simulations of the population of active and remnant FRII radio galaxies to confront models of remnant lobe evolution, and provide guidance for further investigation of remnant radio galaxies. We find that fewer than 2$\%$ of FRII radio galaxies with S$_{ \rm74~MHz} > 1.5$ Jy are candidate ultra-steep spectrum remnants, where we define ultra-steep spectrum as $\alpha_{\rm 74~MHz}^{\rm 1400~MHz} > 1.2$. Our Monte-Carlo simulations demonstrate that models involving Sedov-like expansion in the remnant phase, resulting in rapid adiabatic energy losses, are consistent with this upper limit, and predict the existence of nearly twice as many remnants with normal (not ultra-steep) spectra in the observed frequency range as there are ultra-steep spectrum remnants. This model also predicts an ultra-steep remnant fraction approaching 10$\%$ at redshifts $z < 0.5$. Importantly, this model implies the lobes remain over-pressured with respect to the ambient medium well after their active lifetime, in contrast with existing observational evidence that many FRII radio galaxy lobes reach pressure equilibrium with the external medium whilst still in the active phase. The predicted age distribution of remnants is a steeply decreasing function of age. In other words young remnants are expected to be much more common than old remnants in flux limited samples. For this reason, incorporating higher frequency data $\gtrsim 5$ GHz will be of great benefit to future studies of the remnant population.


title: Towards a Next-to-Next-to-Leading Order analysis of matching in $B^0$-$\bar{B}^0$ mixing

abstract: We compute perturbative corrections to matching coefficients of QCD to HQET for the matrix element of the $\Delta B=2$ operator that determines the mass difference in $B^0-\bar{B}^0$ system of states. This involves the technical point of choosing the operator basis in HQET, separating physical operators from evanescent ones. We obtain an analytical result for some of the two-loop corrections at order $\alpha_s^2$.


title: Food Productivity Trends from Hybrid Corn: Statistical Analysis of Patents and Field-test data

abstract: In this research we study productivity trends of hybrid corn - an important subdomain of food production. We estimate the yearly rate of yield improvement of hybrid corn (measured as bushel per acre) by using both information on yields contained in US patent documents for patented hybrid corn varieties and on field-test data of several hybrid corn varieties performed at US State level. We have used a generalization of Moore's law to fit productivity trends and obtain the performance improvement rate by analyzing time series of hybrid corn performance for a period covering the last thirty years. The linear regressions results obtained from different data sources indicate that the estimated improvement rates per year are between 1.2 and 2.4 percent. In particular, using yields reported in a sample of patents filed between 1985 and 2010, we estimated an improvement rate of 0.015 (R2 = 0.74, Pvalue = 1.37 x 10^-8). Moreover, we apply two predicting models developed by Benson and Magee (2015) and Triulzi and Magee (2016) that only use patent metadata to estimate the rate of improvement. We compare these predicted values to the rate estimated using US States field-test data. We find that, due to a turning point in patenting practices which begun in 2008, only the predicted rate (rate = 0.015) using patents filed before 2008 is consistent with the empirical rate. Finally, we also investigate at the micro level - on the basis of 70 patents (granted between 1986 and 2015) - whether the number of citations received by a patent is correlated with performance achieved by the patented variety. We find that the relative performance (yield ratio) of the patented seed is positively correlated with the total number of citations received by the patent (until December 2015) but not the citations received within 3 years after the granted year, with the patent application year used as control variable.


title: An\'alisis de cointegraci\'on con una aplicaci\'on al mercado de deuda en Estados Unidos, Canad\'a y M\'exico

abstract: Certain theoretical aspects of vector autoregression (VAR) as tools to model economic time series are revised, in particular their capacity to include both short term and long term information. The VAR model, in its error correction form, is derived and the permanent-transitory decomposition of factors proposed by Gonzalo and Granger (1995) studied. An introductory exposition of estimation theory for reduced rank models, necessary to estimate the error correction model, is given. Cointegration analysis using the VAR model is carried out for government bond interest rates (short, medium and long term) of the United States, Mexico and Canada, with the objective of finding the long-term common factors that drive the system. The error correction model of this system is estimated using Johansen's method. Using this estimation the permanent-transitory decomposition of the system is calculated. Hypothesis tests are carried out on permanent factors to determine which of the nine rates studied drive the system.


title: Fusing restricted information

abstract: Information fusion deals with the integration and merging of data and information from multiple (heterogeneous) sources. In many cases, the information that needs to be fused has security classification. The result of the fusion process is then by necessity restricted with the strictest information security classification of the inputs. This has severe drawbacks and limits the possible dissemination of the fusion results. It leads to decreased situational awareness: the organization knows information that would enable a better situation picture, but since parts of the information is restricted, it is not possible to distribute the most correct situational information. In this paper, we take steps towards defining fusion and data mining processes that can be used even when all the underlying data that was used cannot be disseminated. The method we propose here could be used to produce a classifier where all the sensitive information has been removed and where it can be shown that an antagonist cannot even in principle obtain knowledge about the classified information by using the classifier or situation picture.


title: Supersymmetric SYK Model: Bi-local Collective Superfield/Supermatrix Formulation

abstract: We discuss the bi-local collective theory for the $\mathcal{N}=1,2$ supersymmetric Sachdev-Ye-Kitaev (SUSY SYK) models. We construct a bi-local superspace, and formulate the bi-local collective superfield theory of the one-dimensional SUSY vector model. The bi-local collective theory provides systematic analysis of the SUSY SYK models. We find that this bi-local collective theory naturally leads to supermatrix formulation in the bi-local superspace. This supermatrix formulation drastically simplifies the analysis of the SUSY SYK models. We also study $\mathcal{N}=1$ bi-local superconformal generators in the supermatrix formulation, and find the eigenvectors of teh superconformal Casimir. We diagonalize the quadratic action in large $N$ expansion.


title: Entanglement across extended random defects in the XX spin chain

abstract: We study the half-chain entanglement entropy in the ground state of the spin-1/2 XX chain across an extended random defect, where the strength of disorder decays with the distance from the interface algebraically as $\Delta_l\sim l^{-\kappa}$. In the whole regime $\kappa\ge 0$, the average entanglement entropy is found to increase logarithmically with the system size $L$ as $S_L\simeq\frac{c_{\rm eff}(\kappa)}{6}\ln L+const$, where the effective central charge $c_{\rm eff}(\kappa)$ depends on $\kappa$. In the regime $\kappa<1/2$, where the extended defect is a relevant perturbation, the strong-disorder renormalization group method gives $c_{\rm eff}(\kappa)=(1-2\kappa)\ln2$, while, in the regime $\kappa\ge 1/2$, where the extended defect is irrelevant in the bulk, numerical results indicate a non-zero effective central charge, which increases with $\kappa$. The variation of $c_{\rm eff}(\kappa)$ is thus found to be non-monotonic and discontinuous at $\kappa=1/2$.


title: Local Differential Privacy for Physical Sensor Data and Sparse Recovery

abstract: In this work we explore the utility of locally differentially private thermal sensor data. We design a locally differentially private recovery algorithm for the 1-dimensional, discrete heat source location problem and analyse its performance in terms of the Earth Mover Distance error. Our work indicates that it is possible to produce locally private sensor measurements that both keep the exact locations of the heat sources private and permit recovery of the "general geographic vicinity" of the sources. We also discuss the relationship between the property of an inverse problem being ill-conditioned and the amount of noise needed to maintain privacy.


title: Transmission line parameter identification using PMU measurements

abstract: Accurate knowledge of transmission line (TL) impedance parameters helps to improve accuracy in relay settings and power flow modeling. To improve TL parameter estimates, various algorithms have been proposed in the past to identify TL parameters based on measurements from Phasor Measurement Units (PMUs). These methods are based on the positive sequence TL models and can generate accurate positive sequence impedance parameters for a fully-transposed TL when measurement noise is absent; however these methods may generate erroneous parameters when the TLs are not fully transposed or when measurement noise is present. PMU field-measure data are often corrupted with noise and this noise is problematic for all parameter identification algorithms, particularly so when applied to short transmission lines. This paper analyzes the limitations of the positive sequence TL model when used for parameter estimation of TLs that are untransposed and proposes a novel method using linear estimation theory to identify TL parameters more reliably. This method can be used for the most general case: short or long lines that are fully transposed or untransposed and have balanced or unbalance loads. Besides the positive or negative sequence impedance parameters, the proposed method can also be used to estimate the zero sequence parameters and the mutual impedances between different sequences. This paper also examines the influence of noise in the PMU data on the calculation of TL parameters. Several case studies are conducted based on simulated data from ATP to validate the effectiveness of the new method. Through comparison of the results generated by this novel method and several other methods, the effectiveness of the proposed approach is demonstrated.


title: Asymptotic Expansion of Warlimont Functions on Wright Semigroups

abstract: We calculate full asymptotic expansions of prime-independent multiplicative functions on additive arithmetic semigroups that satisfy a strong form of Knopfmacher's axioms. When applied to the semigroup of unlabeled graphs, our method yields detailed asymptotic information on how graphs decompose into connected components. As a second class of examples, we discuss polynomials in several variables over a finite field.


title: Rational Right Triangles of a Given Area

abstract: Starting from any given rational-sided, right triangle, for example the $(3,4,5)$-triangle with area $6$, we use Euclidean geometry to show that there are infinitely many other rational-sided, right triangles of the same area. We show further that the set of all such triangles of a given area is finitely generated under our geometric construction. Such areas are known as "congruent numbers" and have a rich history in which all the results in this article have been proved and far more. Yet, as far as we can tell, this seems to be the first exploration using this kind of geometric technique.


title: Repr\'esentations supercuspidales

abstract: This text is a response to the following question: What are the methods to build supercuspidal complex representations of p-adic reductive groups and are there ties between them ? We will give an overview of the Bushnell-Kutzko and Yu constructions. Then, given a simple maximum tame stratum, a simple character $\theta$ associated to this stratum and a representation of the level zero of a subset of G, we associate a Yu data generic and therefore a representation constructed by Yu, this representation corresponds to a simple type given by a $\beta$ - extension of $\theta$.


title: Unfolding energy spectra of multi-periodicity materials

abstract: We propose a new unfolding scheme to analyze energy spectra of complex large-scale systems which are inherently of multi-periodicity. Considering twisted bilayer graphene (tBLG) as an example, we first show that the conventional unfolding scheme in the past using a single primitive-cell representation causes serious problems in analyses of the energy spectra. We then introduce our multi-space representation scheme in the unfolding method and clarify its validity for tBLG. Velocity renormalization of Dirac electrons in tBLG is elucidated in the present unfolding scheme.


title: Homotopical Algebraic Context over Differential Operators

abstract: Building on previous works, we show that the category of non-negatively graded chain complexes of $D_X$-modules -- where $X$ is a smooth affine algebraic variety over an algebraically closed field of characteristic zero -- fits into a homotopical algebraic context in the sense of Toen and Vezzosi.


title: Molecular dynamics simulations in hybrid particle-continuum schemes: Pitfalls and caveats

abstract: Heterogeneous multiscale methods (HMM) combine molecular accuracy of particle-based simulations with the computational efficiency of continuum descriptions to model flow in soft matter liquids. In these schemes, molecular simulations typically pose a computational bottleneck, which we investigate in detail in this study. We find that it is preferable to simulate many small systems as opposed to a few large systems, and that a choice of a simple isokinetic thermostat is typically sufficient while thermostats such as Lowe-Andersen allow for simulations at elevated viscosity. We discuss suitable choices for time steps and finite-size effects which arise in the limit of very small simulation boxes. We also argue that if colloidal systems are considered as opposed to atomistic systems, the gap between microscopic and macroscopic simulations regarding time and length scales is significantly smaller. We also propose a novel reduced-order technique for the coupling to the macroscopic solver, which allows us to approximate a non-linear stress-strain relation efficiently and thus further reduce computational effort of microscopic simulations.


title: "Everything I Disagree With is #FakeNews": Correlating Political Polarization and Spread of Misinformation

abstract: An important challenge in the process of tracking and detecting the dissemination of misinformation is to understand the political gap between people that engage with the so called "fake news". A possible factor responsible for this gap is opinion polarization, which may prompt the general public to classify content that they disagree or want to discredit as fake. In this work, we study the relationship between political polarization and content reported by Twitter users as related to "fake news". We investigate how polarization may create distinct narratives on what misinformation actually is. We perform our study based on two datasets collected from Twitter. The first dataset contains tweets about US politics in general, from which we compute the degree of polarization of each user towards the Republican and Democratic Party. In the second dataset, we collect tweets and URLs that co-occurred with "fake news" related keywords and hashtags, such as #FakeNews and #AlternativeFact, as well as reactions towards such tweets and URLs. We then analyze the relationship between polarization and what is perceived as misinformation, and whether users are designating information that they disagree as fake. Our results show an increase in the polarization of users and URLs associated with fake-news keywords and hashtags, when compared to information not labeled as "fake news". We discuss the impact of our findings on the challenges of tracking "fake news" in the ongoing battle against misinformation.


title: Electrical and Thermal Transport at the Planckian Bound of Dissipation in the Hydrodynamic Electron Fluid of WP2

abstract: Materials with strongly-correlated electrons exhibit interesting phenomena such as metal-insulator transitions and high-temperature superconductivity. In stark contrast to ordinary metals, electron transport in these materials is thought to resemble the flow of viscous fluids. Despite their differences, it is predicted that transport in both, conventional and correlated materials, is fundamentally limited by the uncertainty principle applied to energy dissipation. Here we discover hydrodynamic electron flow in the Weyl-semimetal tungsten phosphide (WP2). Using thermal and magneto-electric transport experiments, we observe the transition from a conventional metallic state, at higher temperatures, to a hydrodynamic electron fluid below 20 K. The hydrodynamic regime is characterized by a viscosity-induced dependence of the electrical resistivity on the square of the channel width, and by the observation of a strong violation of the Wiedemann-Franz law. From magneto-hydrodynamic experiments and complementary Hall measurements, the relaxation times for momentum and thermal energy dissipating processes are extracted. Following the uncertainty principle, both are limited by the Planckian bound of dissipation, independent of the underlying transport regime.


title: Weierstrass preparation theorem and singularities in the space of non-degenerate arcs

abstract: We study the Weierstrass preparation and division theorems over arbitrary test rings and the local structure of singularities in the space of nondegenerate arcs on algebraic varieties. As an application, we prove a strengthened version of a theorem of Grinberg-Kazhdan and Drinfeld.


title: Reflections of the observer and the observed in quantum gravity

abstract: A broad brush impressionistic view of physics from the vantage point of she living on a nearby dark-planet Zimpok is presented so as to argue that the observed and the observer are reflected in quantum gravity through a universal mass shared by neurones and a unification scale of the high energy physics.


title: Modified Frank-Wolfe Algorithm for Enhanced Sparsity in Support Vector Machine Classifiers

abstract: This work proposes a new algorithm for training a re-weighted L2 Support Vector Machine (SVM), inspired on the re-weighted Lasso algorithm of Cand\`es et al. and on the equivalence between Lasso and SVM shown recently by Jaggi. In particular, the margin required for each training vector is set independently, defining a new weighted SVM model. These weights are selected to be binary, and they are automatically adapted during the training of the model, resulting in a variation of the Frank-Wolfe optimization algorithm with essentially the same computational complexity as the original algorithm. As shown experimentally, this algorithm is computationally cheaper to apply since it requires less iterations to converge, and it produces models with a sparser representation in terms of support vectors and which are more stable with respect to the selection of the regularization hyper-parameter.


title: Unwanted electroless zinc plating on current collectors in zinc air batteries

abstract: The occurrence of metallic film deposition without external power supply on the copper current collector of a zinc air battery half-cell containing zinc slurry is investigated. Therefore, test specimens of miscellaneous materials representing the current collector are immersed in a commercial available zinc slurry as well as an in self-prepared zinc slurry. In case of copper and metals which are more noble (silver and gold), a coating on the respective specimen is obtained. An element mapping of the coated copper specimen is performed by means of scanning electron microscopy (SEM) and energy dispersive x-ray spectroscopy (EDX) identifying that the coating layer consists of zinc and oxygen. In order to clarify the crystal structure and the exact composition, focused ion beam (FIB) and x-ray photoelectron spectroscopy (XPS) measurements are applied, proving that the layer consists of elemental zinc, which, is merely oxidized on the surface. Finally, a reaction mechanism for the reversible zinc film deposition is proposed.


title: Cournotian dynamics of spatially distributed renewable resources

abstract: We extend modern Walrasian economics, and in particular the results on Cournot convergence and dynamics, by focusing on renewable resources in a spatial setting. Building on the harvesting model of Behringer and Upmann (2014) we endogenize prices and investigate the two cases of durable and non-durable renewable commodities. We find that endogenizing prices is sufficient to prevent the full exploitation result and look at how competition affects not only the stock but also the temporal incentives for exploitation. We derive convergence results in static and dynamic settings which suggest that the classical Cournotian outcomes may prevail.


title: Ballistic transport in the one-dimensional Hubbard model: the hydrodynamic approach

abstract: We outline a general formalism of hydrodynamics for quantum systems with multiple particle species which undergo completely elastic scattering. In the thermodynamic limit, the complete kinematic data of the problem consists of the particle content, the dispersion relations, and a universal dressing transformation which accounts for interparticle interactions. We consider quantum integrable models and we focus on the one-dimensional fermionic Hubbard model. By linearizing hydrodynamic equations, we provide exact closed-form expressions for Drude weights, generalized static charge susceptibilities and charge-current correlators valid on hydrodynamic scale, represented as integral kernels operating diagonally in the space of mode numbers of thermodynamic excitations. We find that, on hydrodynamic scales, Drude weights manifestly display Onsager reciprocal relations even for generic (i.e. non-canonical) equilibrium states, and establish a generalized detailed balance condition for a general quantum integrable model. We present the first exact analytic expressions for the general Drude weights in the Hubbard model, and explain how to reconcile different approaches for computing Drude weights from the previous literature.


title: A deep learning-inspired model of the hippocampus as storage device of the brain extended dataset

abstract: The standard model of memory consolidation foresees that memories are initially recorded in the hippocampus, while features that capture higher-level generalisations of data are created in the cortex, where they are stored for a possibly indefinite period of time. Computer scientists have sought inspiration from nature to build machines that exhibit some of the remarkable properties present in biological systems. One of the results of this effort is represented by artificial neural networks, a class of algorithms that represent the state of the art in many artificial intelligence applications. In this work, we reverse the inspiration flow and use the experience obtained from neural networks to gain insight into the design of brain architecture and the functioning of memory. Our starting observation is that neural networks learn from data and need to be exposed to each data record many times during learning: this requires the storage of the entire dataset in computer memory. Our thesis is that the same holds true for the brain and the main role of the hippocampus is to store the "brain dataset", from which high-level features are learned and encoded in cortical neurons.


title: Ranking to Learn and Learning to Rank: On the Role of Ranking in Pattern Recognition Applications

abstract: The last decade has seen a revolution in the theory and application of machine learning and pattern recognition. Through these advancements, variable ranking has emerged as an active and growing research area and it is now beginning to be applied to many new problems. The rationale behind this fact is that many pattern recognition problems are by nature ranking problems. The main objective of a ranking algorithm is to sort objects according to some criteria, so that, the most relevant items will appear early in the produced result list. Ranking methods can be analyzed from two different methodological perspectives: ranking to learn and learning to rank. The former aims at studying methods and techniques to sort objects for improving the accuracy of a machine learning model. Enhancing a model performance can be challenging at times. For example, in pattern classification tasks, different data representations can complicate and hide the different explanatory factors of variation behind the data. In particular, hand-crafted features contain many cues that are either redundant or irrelevant, which turn out to reduce the overall accuracy of the classifier. In such a case feature selection is used, that, by producing ranked lists of features, helps to filter out the unwanted information. Moreover, in real-time systems (e.g., visual trackers) ranking approaches are used as optimization procedures which improve the robustness of the system that deals with the high variability of the image streams that change over time. The other way around, learning to rank is necessary in the construction of ranking models for information retrieval, biometric authentication, re-identification, and recommender systems. In this context, the ranking model's purpose is to sort objects according to their degrees of relevance, importance, or preference as defined in the specific application.


title: Extremely fast simulations of heat transfer in fluidized beds

abstract: Besides their huge technological importance, fluidized beds have attracted a large amount of research because they are perfect playgrounds to investigate highly dynamic particulate flows. Their over-all behavior is determined by short-lasting particle collisions and the interaction between solid and gas phase. Modern simulation techniques that combine computational fluid dynamics (CFD) and discrete element methods (DEM) are capable of describing their evolution and provide detailed information on what is happening on the particle scale. However, these approaches are limited by small time steps and large numerical costs, which inhibits the investigation of slower long-term processes like heat transfer or chemical conversion. In a recent study (Lichtenegger and Pirker, 2016), we have introduced recurrence CFD (rCFD) as a way to decouple fast from slow degrees of freedom in systems with recurring patterns: A conventional simulation is carried out to capture such coherent structures. Their re-appearance is characterized with recurrence plots that allow us to extrapolate their evolution far beyond the simulated time. On top of these predicted flow fields, any passive or weakly coupled process can then be investigated at fractions of the original computational costs. Here, we present the application of rCFD to heat transfer in a lab-scale fluidized bed. Initially hot particles are fluidized with cool air and their temperature evolution is recorded. In comparison to conventional CFD-DEM, we observe speed-up factors of about two orders of magnitude at very good accuracy with regard to recent measurements.


title: Speed and biases of Fourier-based pricing choices: A numerical analysis

abstract: We compare the CPU effort and pricing biases of seven Fourier-based implementations. Our analyses show that truncation and discretization errors significantly increase as we move away from the Black-Scholes-Merton framework. We rank the speed and accuracy of the competing choices, showing which methods require smaller truncation ranges and which are the most efficient in terms of sampling densities. While all implementations converge well in the Bates jump-diffusion model, Attari's formula is the only Fourier-based method that does not blow up for any Variance Gamma parameter values. In terms of speed, the use of strike vector computations significantly improves the computational burden, rendering both fast Fourier transforms (FFT) and plain delta-probability decompositions inefficient. We conclude that the multi-strike version of the COS method is notably faster than any other implementation, whereas the strike-optimized Carr Madan's formula is simultaneously faster and more accurate than the FFT, thus questioning its use.


title: Modular forms for the $A_{1}$-tower

abstract: In the 1960's Igusa determined the graded ring of Siegel modular forms of genus two. He used theta series to construct $\chi_{5}$, the cusp form of lowest weight for the group $\operatorname{Sp}(2;Z)$. In 2010 Gritsenko found three towers of orthogonal type modular forms which are connected with certain series of root lattices. In this setting Siegel modular forms can be identifed with the orthogonal group of signature $(2,3)$ for the lattice $A_{1}$ and Igusa's form $\chi_{5}$ appears as the roof of this tower. We use this interpretation to construct a framework for this tower which uses three different types of constructions for modular forms. It turns out that our method produces simple coordinates for the graded rings of modular forms.


title: Proton structure fluctuations: from HERA to the LHC

abstract: We constrain the amount of event-by-event fluctuations of the proton by comparing with the HERA coherent and incoherent diffractive $J/\Psi$ production data. We find that the HERA measurements prefer large geometric fluctuations. We then include the constrained fluctuating proton shapes in viscous hydrodynamical simulations of the proton-nucleus collisions at $\sqrt{s_{NN}}=5.02$ TeV, and find a good description of the mean transverse momentum and flow harmonics measured at the LHC.


title: Local topological algebraicity with algebraic coefficients of analytic sets or functions

abstract: We prove that any complex or real analytic set or function germ is topologically equivalent to a germ defined by polynomial equations whose coefficients are algebraic numbers.


title: On functors enumerating structures

abstract: We study a new notion of reduction between structures called enumerable functors related to the recently investigated notion of computable functors. Our main result shows that enumerable functors and effective interpretability with the equivalence relation computable are equivalent. We also obtain results on the relation between enumerable and computable functors.


title: Detection of Block-Exchangeable Structure in Large-Scale Correlation Matrices

abstract: Correlation matrices are omnipresent in multivariate data analysis. When the number d of variables is large, the sample estimates of correlation matrices are typically noisy and conceal underlying dependence patterns. We consider the case when the variables can be grouped into K clusters with exchangeable dependence; this assumption is often made in applications, e.g., in finance and econometrics. Under this partial exchangeability condition, the corresponding correlation matrix has a block structure and the number of unknown parameters is reduced from d(d-1)/2 to at most K(K+1)/2. We propose a robust algorithm based on Kendall's rank correlation to identify the clusters without assuming the knowledge of K a priori or anything about the margins except continuity. The corresponding block-structured estimator performs considerably better than the sample Kendall rank correlation matrix when K < d. The new estimator can also be much more efficient in finite samples even in the unstructured case K = d, although there is no gain asymptotically. When the distribution of the data is elliptical, the results extend to linear correlation matrices and their inverses. The procedure is illustrated on financial stock returns.


title: Kernelization of Constraint Satisfaction Problems: A Study through Universal Algebra

abstract: A kernelization algorithm for a computational problem is a procedure which compresses an instance into an equivalent instance whose size is bounded with respect to a complexity parameter. For the Boolean satisfiability problem (SAT), and the constraint satisfaction problem (CSP), there exist many results concerning upper and lower bounds for kernelizability of specific problems, but it is safe to say that we lack general methods to determine whether a given SAT problem admits a kernel of a particular size. This could be contrasted to the currently flourishing research program of determining the classical complexity of finite-domain CSP problems, where almost all non-trivial tractable classes have been identified with the help of algebraic properties. In this paper, we take an algebraic approach to the problem of characterizing the kernelization limits of NP-hard SAT and CSP problems, parameterized by the number of variables. Our main focus is on problems admitting linear kernels, as has, somewhat surprisingly, previously been shown to exist. We show that a CSP problem has a kernel with O(n) constraints if it can be embedded (via a domain extension) into a CSP problem which is preserved by a Maltsev operation. We also study extensions of this towards SAT and CSP problems with kernels with O(n^c) constraints, c>1, based on embeddings into CSP problems preserved by a k-edge operation, k > c. These results follow via a variant of the celebrated few subpowers algorithm. In the complementary direction, we give indication that the Maltsev condition might be a complete characterization of SAT problems with linear kernels, by showing that an algebraic condition that is shared by all problems with a Maltsev embedding is also necessary for the existence of a linear kernel unless NP is included in co-NP/poly.


title: Remark on a theorem of H. Hauser on textile maps

abstract: We give a counter example to the new theorem that appeared in the survey \cite{H} on Artin approximation. We then provide a correct statement and a proof of it.


title: On the radius of spatial analyticity for the quartic generalized KdV equation

abstract: Lower bound on the rate of decrease in time of the uniform radius of spatial analyticity of solutions to the quartic generalized KdV equation is derived, which improves an earlier result by Bona, Gruji\'c and Kalisch.


title: Invariants in Quantum Geometry

abstract: In quantum geometry, we consider a set of loops, a compact orientable surface and a solid compact spatial region, all inside $\mathbb{R} \times \mathbb{R}^3 \equiv \mathbb{R}^4$, which forms a triple. We want to define an ambient isotopic equivalence relation on such triples, so that we can obtain equivalence invariants. These invariants describe how these submanifolds are causally related to or `linked' with each other, and they are closely associated with the linking number between links in $\mathbb{R}^3$. Because we distinguish the time-axis from spatial subspace in $\mathbb{R}^4$, we see that these equivalence relations, will also imply causality.


title: Sequent systems for negative modalities

abstract: Non-classical negations may fail to be contradictory-forming operators in more than one way, and they often fail also to respect fundamental meta-logical properties such as the replacement property. Such drawbacks are witnessed by intricate semantics and proof systems, whose philosophical interpretations and computational properties are found wanting. In this paper we investigate congruential non-classical negations that live inside very natural systems of normal modal logics over complete distributive lattices; these logics are further enriched by adjustment connectives that may be used for handling reasoning under uncertainty caused by inconsistency or undeterminedness. Using such straightforward semantics, we study the classes of frames characterized by seriality, reflexivity, functionality, symmetry, transitivity, and some combinations thereof, and discuss what they reveal about sub-classical properties of negation. To the logics thereby characterized we apply a general mechanism that allows one to endow them with analytic ordinary sequent systems, most of which are even cut-free. We also investigate the exact circumstances that allow for classical negation to be explicitly defined inside our logics.


title: Allen-Cahn min-max on surfaces

abstract: We use a min-max procedure on the Allen-Cahn energy functional to construct geodesics on closed, 2-dimensional Riemannian manifolds, as motivated by the work of Guaraco. Borrowing classical blowup and curvature estimates from geometric analysis, as well as novel Allen-Cahn curvature estimates due to Wang-Wei, we manage to study the fine structure of potential singular points at the diffuse level, and show that the problem reduces to that of understanding "entire" singularity models constructed by del Pino-Kowalczyk-Pacard with Morse index 1. The argument is completed by a Morse index estimate on these singularity models.


title: Buckyball sandwiches

abstract: Two-dimensional (2D) materials have considerably expanded the field of materials science in the last decade. Even more recently, various 2D materials have been assembled into vertical van der Waals heterostacks, and it has been proposed to combine them with other low- dimensional structures to create new materials with hybridized properties. Here, we demonstrate the first direct images of a suspended 0D/2D heterostructure incorporating $C_{60}$ molecules between two graphene layers in a buckyball sandwich structure. We find clean and ordered $C_{60}$ islands with thicknesses down to one molecule, shielded by the graphene layers from the microscope vacuum and partially protected from radiation damage during scanning transmission electron microscopy imaging. The sandwich structure serves as a 2D nanoscale reaction chamber allowing the analysis of the structure of the molecules and their dynamics at atomic resolution.


title: Time delay in XUV/IR photoionization of H$_2$O

abstract: We solve the time-dependent Schr\"odinger equation describing a water molecule driven by a superposition of the XUV and IR pulses typical for a RABBITT experiment. This solution is obtained by a combination of the time-dependent coordinate scaling and the density functional theory with self-interaction correction. Results of this solution are used to determine the time delay in photoionization of the water and hydrogen molecules.


title: Weakly periodic Gibbs measures for two and three state HC models on a Cayley tree

abstract: In this paper we study two and three state HC-model on a Cayley tree. Under some conditions on parameters of the HC-model, in the case of normal divisor of the index four, we prove the existence of the weakly periodic (non periodic) Gibbs measures which are different from the known weakly periodic measures. Moreover, we find some regions for the $\lambda$ parameter ensuring that a extreme measure is not unique.


title: Categories O for Dynkin Borel Subalgebras of Root-Reductive Lie Algebras

abstract: The purpose of my Ph.D. research is to define and study an analogue of the classical Bernstein-Gelfand-Gelfand (BGG) category $\mathcal{O}$ for the Lie algebra $\mathfrak{g}$, where $\mathfrak{g}$ is one of the finitary, infinite-dimensional Lie algebras $\mathfrak{gl}_\infty(\mathbb{K})$, $\mathfrak{sl}_\infty(\mathbb{K})$, $\mathfrak{so}_\infty(\mathbb{K})$, and $\mathfrak{sp}_\infty(\mathbb{K})$. Here, $\mathbb{K}$ is an algebraically closed field of characteristic $0$. We call these categories "extended categories $\mathcal{O}$" and use the notation $\bar{\mathcal{O}}$. While the categories $\bar{\mathcal{O}}$ are defined for all splitting Borel subalgebras of $\mathfrak{g}$, this research focuses on the categories $\bar{\mathcal{O}}$ for very special Borel subalgebras of $\mathfrak{g}$ which we call Dynkin Borel subalgebras. Some results concerning block decomposition and Kazhdan-Lusztig multiplicities carry over from usual categories $\mathcal{O}$ to our categories $\bar{\mathcal{O}}$. There are differences which we shall explore in detail, such as the lack of some injective hulls. In this connection, we study truncated categories $\bar{\mathcal{O}}$ and are able to establish an analogue of BGG reciprocity in the categories $\bar{\mathcal{O}}$.


title: Surface Waves on the Interface Between Hyperbolic Material and Topological Insulator. 1

abstract: Propagation of the surface waves on the interface between an uniaxial hyperbolic material and an isotopical topological insulator is studied. The cases of the anisotropy axes is normal to interface or one is coplanar to interface are discussed. The dispersion relations are derived and analyzed. The conditions of the existence of the surface waves are established.


title: Bayesian Joint Modelling for Object Localisation in Weakly Labelled Images

abstract: We address the problem of localisation of objects as bounding boxes in images and videos with weak labels. This weakly supervised object localisation problem has been tackled in the past using discriminative models where each object class is localised independently from other classes. In this paper, a novel framework based on Bayesian joint topic modelling is proposed, which differs significantly from the existing ones in that: (1) All foreground object classes are modelled jointly in a single generative model that encodes multiple object co-existence so that "explaining away" inference can resolve ambiguity and lead to better learning and localisation. (2) Image backgrounds are shared across classes to better learn varying surroundings and "push out" objects of interest. (3) Our model can be learned with a mixture of weakly labelled and unlabelled data, allowing the large volume of unlabelled images on the Internet to be exploited for learning. Moreover, the Bayesian formulation enables the exploitation of various types of prior knowledge to compensate for the limited supervision offered by weakly labelled data, as well as Bayesian domain adaptation for transfer learning. Extensive experiments on the PASCAL VOC, ImageNet and YouTube-Object videos datasets demonstrate the effectiveness of our Bayesian joint model for weakly supervised object localisation.


title: Four conjectures in Nonlinear Analysis

abstract: In this chapter, I formulate four challenging conjectures in Nonlinear Analysis. More precisely: a conjecture on the Monge-Amp\`ere equation; a conjecture on an eigenvalue problem; a conjecture on a non-local problem; a conjecture on disconnectedness versus infinitely many solutions.


title: Effect of increasing disorder on domains of the two-dimensional Coulomb glass

abstract: We have studied a two dimensional lattice model of Coulomb glass for a wide range of disorders at $T\sim 0$. The system was first annealed using Monte Carlo simulation. Further minimization of the total energy of the system was done using Baranovskii et al algorithm followed by cluster flipping to obtain the pseudo ground states. We have shown that the energy required to create a domain of linear size L in d dimensions is proportional to $L^{d-1}$. Using Imry-Ma arguments given for random field Ising model, one gets critical dimension $d_{c}\geq 2$ for Coulomb glass. The investigations of domains in the transition region shows a discontinuity in staggered magnetization which is an indication of a first-order type transition from charge-ordered phase to disordered phase. The structure and nature of Random field fluctuations of the second largest domain in Coulomb glass are inconsistent with the assumptions of Imry and Ma as was also reported for random field Ising model. The study of domains showed that in the transition region there were mostly two large domains and as disorder was increased, the two large domains remained but there were a large number of small domains. We have also studied the properties of the second largest domain as a function of disorder. We furthermore analysed the effect of disorder on the density of states and showed a transition from hard gap at low disorders to a soft gap at higher disorders. At $W=2$, we have analysed the soft gap in detail and found that the density of states deviates slightly ($\delta\approx 1.293 \pm 0.027$) from the linear behaviour in two dimensions. Analysis of local minima show that the pseudo ground states have similar structure.


title: On the Solvability of a Class of Degenerate or Singular Strongly Coupled Parabolic Systems

abstract: The existence of strong solutions to general class of strongly coupled parabolic systems will be discussed. These systems can be degenerate or singular as boundedness of theirs solutions are unavailable and not assummed. The results greatly improve those in a recent papers \cite{letrans,dleJFA,dleANS} as the systems can have quadratic growth in gradients. A unified proof for both cases is presented. Most importantly, the VMO assumption in \cite{dleJFA,dleANS} will be replaced by a much versatile one thanks to a new local weighted Gagliardo-Nirenberg involving BMO norms. Degenerate and singular generalized SKT models in biology will be presented as a nontrivial application of the main theorem.


title: The HoTT reals coincide with the Escard\'o-Simpson reals

abstract: Escard\'o and Simpson defined a notion of interval object by a universal property in any category with binary products. The Homotopy Type Theory book defines a higher-inductive notion of reals, and suggests that the interval may satisfy this universal property. We show that this is indeed the case in the category of sets of any universe. We also show that the type of HoTT reals is the least Cauchy complete subset of the Dedekind reals containing the rationals.


title: Center-of-mass-momentum-dependent interaction between ultracold atoms

abstract: We show that a type of two-body interaction, which depends on the momentum of the center of mass (COM) of these two particles, can be realized in ultracold atom gases with a laser-modulated magnetic Feshbach resonance (MFR). Here the MFR is modulated by two laser beams propagating along different directions, which can induce Raman transition between two-body bound states. The Doppler effect causes the two-atom scattering length to be strongly dependent on the COM momentum of these two atoms. As a result, the effective two-atom interaction is COM-momentum dependent, while the one-atom free Hamiltonian is still the simple kinetic energy p^2/(2m).


title: Completing the spectrum of almost resolvable cycle systems with odd cycle length

abstract: In this paper, we construct almost resolvable cycle systems of order $4k+1$ for odd $k\ge 11$. This completes the proof of the existence of almost resolvable cycle systems with odd cycle length.


title: Cosmic Modesty

abstract: The richness of the universe teaches us modesty and guides us to search for both primitive and intelligent forms of life elsewhere without prejudice.


title: Data protection by means of fragmentation in various different distributed storage systems - a survey

abstract: This paper analyzes various distributed storage systems that use data fragmentation and dispersal as a way of protection.Existing solutions have been organized into two categories: bitwise and structurewise. Systems from the bitwise category are operating on unstructured data and in a uniform environment. Those having structured input data with predefined confidentiality level and disposing of a heterogeneous environment in terms of machine trustworthiness were classified as structurewise. Furthermore, we outline high-level requirements and desirable architecture traits of an eficient data fragmentation system, which will address performance (including latency), availability, resilience and scalability.


title: Spatiotemporal expressions reflecting topological classes of repressor networks

abstract: A family of repressor networks is proposed as a simple model of gene regulatory networks. We analytically show three topological classes of the repressor networks, each of which exhibits distinctly growing complexity of spatiotemporal expressions starting from nearly homogeneous states. Further, by focusing on locally interacting cases such as chain networks, including a generalized repressilator, or feedforward(back)-loop networks, spatiotemporal expressions in the long time regime and elusive relationships between such different networks are discussed in detail.


title: On the Laplace-Beltrami operator on compact complex spaces

abstract: Let $(X,h)$ be a compact and irreducible Hermitian complex space of complex dimension $v>1$. In this paper we show that the Friedrichs extension of both the Laplace-Beltrami operator and the Hodge-Kodaira Laplacian acting on functions has discrete spectrum. Moreover we provide some estimates for the growth of the corresponding eigenvalues and we use these estimates to deduce that the associated heat operators are trace-class. Finally we give various applications to the Hodge-Dolbeault operator and to the Hodge-Kodaira Laplacian in the setting of Hermitian complex spaces of complex dimension $2$.


title: A Large-Diameter Hollow-Shaft Cryogenic Motor Based on a Superconducting Magnetic Bearing for Millimeter-Wave Polarimetry

abstract: In this paper we present the design and measured performance of a novel cryogenic motor based on a superconducting magnetic bearing (SMB). The motor is tailored for use in millimeter-wave half-wave plate (HWP) polarimeters, where a HWP is rapidly rotated in front of a polarization analyzer or polarization-sensitive detector. This polarimetry technique is commonly used in cosmic microwave background (CMB) polarization studies. The SMB we use is composed of fourteen yttrium barium copper oxide (YBCO) disks and a contiguous neodymium iron boron (NdFeB) ring magnet. The motor is a hollow-shaft motor because the HWP is ultimately installed in the rotor. The motor presented here has a 100 mm diameter rotor aperture. However, the design can be scaled up to rotor aperture diameters of approximately 500 mm. Our motor system is composed of four primary subsystems: (i) the rotor assembly, which includes the NdFeB ring magnet, (ii) the stator assembly, which includes the YBCO disks, (iii) an incremental encoder, and (iv) the drive electronics. While the YBCO is cooling through its superconducting transition, the rotor is held above the stator by a novel hold and release mechanism (HRM). The encoder subsystem consists of a custom-built encoder disk read out by two fiber optic readout sensors. For the demonstration described in this paper, we ran the motor at 50 K and tested rotation frequencies up to approximately 10 Hz. The feedback system was able to stabilize the the rotation speed to approximately 0.4%, and the measured rotor orientation angle uncertainty is less than 0.15 deg. Lower temperature operation will require additional development activities, which we will discuss.


title: Inflationary scenario from higher curvature warped spacetime

abstract: We consider a five dimensional AdS spacetime, in presence of higher curvature term like $F(R) = R + \alpha R^2$ in the bulk, in the context of Randall-Sundrum two-brane model. Our universe is identified with the TeV scale brane and emerges as a four dimensional effective theory. From the perspective of this effective theory, we examine the possibility of "inflationary scenario" by considering the on-brane metric ansatz as an FRW one. Our results reveal that the higher curvature term in the five dimensional bulk spacetime generates a potential term for the radion field. Due to the presence of radion potential, the very early universe undergoes a stage of accelerated expansion and moreover the accelerating period of the universe terminates in a finite time. We also find the spectral index of curvature perturbation ($n_s$) and tensor to scalar ratio ($r$) in the present context, which match with the observational results based on the observations of $Planck$ $2015$.


title: Cauchy problem for effectively hyperbolic operators with triple characteristics

abstract: We study the Cauchy problem for effectively hyperbolic operators $P$ with principal symbol $p(t, x,\tau,\xi)$ having triple characteristics on $t = 0$. Under a condition (E) we show that such operators are strongly hyperbolic, that is the Cauchy problem is well posed for $p(t, x,D_t, D_x) + Q(t, x, D_t, D_x)$ with arbitrary lower order term $Q$. The proof is based on energy estimates with weight $t^{-N}$ for a first order pseudo-differential system, where $N$ depends on lower order terms. For our analysis we construct a non-negative definite symmetrizer $S(t)$ and we prove a version of Fefferman-Phong type inequality for ${\rm Re}\, (S(t)U, U)_{L^2({\mathbb R}^n)}$ with a lower bound $-C t^{-1}\|\langle D \rangle^{-1}U\|_{L^2(\mathbb R^n)}$.


title: Deep Counterfactual Networks with Propensity-Dropout

abstract: We propose a novel approach for inferring the individualized causal effects of a treatment (intervention) from observational data. Our approach conceptualizes causal inference as a multitask learning problem; we model a subject's potential outcomes using a deep multitask network with a set of shared layers among the factual and counterfactual outcomes, and a set of outcome-specific layers. The impact of selection bias in the observational data is alleviated via a propensity-dropout regularization scheme, in which the network is thinned for every training example via a dropout probability that depends on the associated propensity score. The network is trained in alternating phases, where in each phase we use the training examples of one of the two potential outcomes (treated and control populations) to update the weights of the shared layers and the respective outcome-specific layers. Experiments conducted on data based on a real-world observational study show that our algorithm outperforms the state-of-the-art.


title: An active-set mixed finite element solver for a transient hydrodynamic lubrication problem in the presence of cavitation

abstract: In this paper we study a moving free boundary problem related to the the cavitation modeling in lubricated devices. More precisely, a characteristics method combined with a weak formulation in a mixed form is introduced for the Elrod-Adams model. The formulation is suitable for the use of mixed finite element methods in the numerical approximation. It is proved that the time-discrete problem and its finite element discretization has a unique solution. Further an efficient primal-dual active-set strategy is proposed to solve the resulting algebraic system. The performance of the overall algorithm is illustrated by numerical examples.


title: Epidemic Threshold in Continuous-Time Evolving Networks

abstract: Current understanding of the critical outbreak condition on temporal networks relies on approximations (time scale separation, discretization) that may bias the results. We propose a theoretical framework to compute the epidemic threshold in continuous time through the infection propagator approach. We introduce the {\em weak commutation} condition allowing the interpretation of annealed networks, activity-driven networks, and time scale separation into one formalism. Our work provides a coherent connection between discrete and continuous time representations applicable to realistic scenarios.


title: Popular differences and generalized Sidon sets

abstract: For a subset $A \subseteq [N]$, we define the representation function $ r_{A-A}(d) := \#\{(a,a') \in A \times A : d = a - a'\}$ and define $M_D(A) := \max_{1 \leq d < D} r_{A-A}(d)$ for $D>1$. We study the smallest possible value of $M_D(A)$ as $A$ ranges over all possible subsets of $[N]$ with a given size. We give explicit asymptotic expressions with constant coefficients determined for a large range of $D$. We shall also see how this problem connects to a well-known problem about generalized Sidon sets.


title: Crystalline structures of particles interacting through the harmonic-repulsive pair potential

abstract: The behavior of identical particles interacting through the harmonic-repulsive pair potential has been studied in 3D using molecular dynamics simulations at a number of different densities. We found that at many densities, as the temperature of the systems decreases, the particles crystallize into complex structures whose formation have not been anticipated in previous studies on the harmonic-repulsive pair potential. In particular, at certain densities crystallization into the structure $Ia\bar{3}d$ (space group $\#230$) with 16 particles in the unit cell occupying Wyckoff special positions (16b) was observed. This crystal structure has not been observed previously in experiments or in computer simulations of single component atomic or soft matter systems. At another density we observed a liquid which is rather stable against crystallization. Yet, we observed crystallization of this liquid into the monoclinic $C2/c$ (space group $\#15$) structure with 32 particles in the unit cell occupying four different non-special Wyckoff (8f) sites. In this structure particles located at different Wyckoff sites have different energies. From the perspective of the local atomic environment, the organization of particles in this structure resembles the structure of some columnar quasicrystals. At a different value of the density we did not observe crystallization at all despite rather long molecular dynamics runs. At two other densities we observed the formation of the $\beta Sn$ distorted diamond structures instead of the expected diamond structure. Possibly, we also observed the formation of the $R\bar{3}c$ hexagonal lattice with 24 particles per unit cell occupying non-equivalent positions.


title: Energy methods for Dirac-type equations in two-dimensional Minkowski space

abstract: In this article we develop energy methods for a large class of linear and nonlinear Dirac-type equations in two-dimensional Minkowski space. We will derive existence results for several Dirac-type equations originating in quantum field theory, in particular for Dirac-wave maps to compact Riemannian manifolds.


title: Beta-Beta Bounds: Finite-Blocklength Analog of the Golden Formula

abstract: It is well known that the mutual information between two random variables can be expressed as the difference of two relative entropies that depend on an auxiliary distribution, a relation sometimes referred to as the golden formula. This paper is concerned with a finite-blocklength extension of this relation. This extension consists of two elements: 1) a finite-blocklength channel-coding converse bound by Polyanskiy and Verd\'{u} (2014), which involves the ratio of two Neyman-Pearson $\beta$ functions (beta-beta converse bound); and 2) a novel beta-beta channel-coding achievability bound, expressed again as the ratio of two Neyman-Pearson $\beta$ functions. To demonstrate the usefulness of this finite-blocklength extension of the golden formula, the beta-beta achievability and converse bounds are used to obtain a finite-blocklength extension of Verd\'{u}'s (2002) wideband-slope approximation. The proof parallels the derivation of the latter, with the beta-beta bounds used in place of the golden formula. The beta-beta (achievability) bound is also shown to be useful in cases where the capacity-achieving output distribution is not a product distribution due to, e.g., a cost constraint or structural constraints on the codebook, such as orthogonality or constant composition. As an example, the bound is used to characterize the channel dispersion of the additive exponential-noise channel and to obtain a finite-blocklength achievability bound (the tightest to date) for multiple-input multiple-output Rayleigh-fading channels with perfect channel state information at the receiver.


title: Software-based Microarchitectural Attacks

abstract: Modern processors are highly optimized systems where every single cycle of computation time matters. Many optimizations depend on the data that is being processed. Software-based microarchitectural attacks exploit effects of these optimizations. Microarchitectural side-channel attacks leak secrets from cryptographic computations, from general purpose computations, or from the kernel. This leakage even persists across all common isolation boundaries, such as processes, containers, and virtual machines. Microarchitectural fault attacks exploit the physical imperfections of modern computer systems. Shrinking process technology introduces effects between isolated hardware elements that can be exploited by attackers to take control of the entire system. These attacks are especially interesting in scenarios where the attacker is unprivileged or even sandboxed. In this thesis, we focus on microarchitectural attacks and defenses on commodity systems. We investigate known and new side channels and show that microarchitectural attacks can be fully automated. Furthermore, we show that these attacks can be mounted in highly restricted environments such as sandboxed JavaScript code in websites. We show that microarchitectural attacks exist on any modern computer system, including mobile devices (e.g., smartphones), personal computers, and commercial cloud systems. This thesis consists of two parts. In the first part, we provide background on modern processor architectures and discuss state-of-the-art attacks and defenses in the area of microarchitectural side-channel attacks and microarchitectural fault attacks. In the second part, a selection of our papers are provided without modification from their original publications. I have co-authored these papers, which have subsequently been anonymously peer-reviewed, accepted, and presented at renowned international conferences.


title: Theory-based design of sintered granular composites triples three-phase boundary in fuel cells

abstract: Solid-oxide fuel cells produce electric current from energy released by a spontaneous electrochemical reaction. The efficiency of these devices depends crucially on the microstructure of their electrodes and, in particular, on the three-phase boundary (TPB) length, along which the energy-producing reaction occurs. We present a systematic maximisation of the TPB length as a function of four readily-controllable microstructural parameters, for any given mean hydraulic radius, which is a conventional measure of the permeability to gas flow. We identify the maximising parameters and show that the TPB length can be increased by a factor of over 300% compared to current common practices. We support this result by calculating the TPB of several numerically simulated structures. We also compare four models for a single intergranular contact in the sintered electrode and show that the model commonly used in the literature is oversimplified and unphysical. We then propose two alternatives.