title: Quantification of Dislocation-Precipitate Interactions

abstract: The present research is the first attempt to systematically quantify the dislocation-precipitate interaction in terms of applied shear stress, precipitate resistance, and the required time to reach the critical state of dislocation-precipitate interaction when a dislocation line is about to pass through precipitates. To model the dislocation-precipitate interaction, we adopt a modified three-dimensional dislocation dynamics. Using the present modeling approach, which employs three-dimensional dislocation dynamics simulations, we obtain thousands of data points, accounting for various precipitate resistances, applied shear stresses, and precipitate spacing. The material of reference is Copper (Cu). From the simulations, which quantify the dislocation-precipitate interaction in terms of the applied shear stress, precipitate resistance scale, and dislocation-precipitate interaction time, we found a universal equation. The dislocation-precipitate interaction time versus precipitate resistance and stress, referred to as the "dislocation-precipitate interaction map," determines the "pass" or "no-pass" state of the interaction. Using this map, we incorporate the dislocation-precipitate interaction time in a two-dimensional multiscale framework which adopts the dislocation dynamics approach at the micro-scale and the finite element method at the macro-scale. We use this framework to model the mechanical behavior of free-standing copper thin films. The results show a dual effect of the dislocation-precipitate interaction time on the hardening level.


title: Vertex covering with monochromatic pieces of few colours

abstract: In 1995, Erd\H{o}s and Gy\'arf\'as proved that in every $2$-colouring of the edges of $K_n$, there is a vertex cover by $2\sqrt{n}$ monochromatic paths of the same colour, which is optimal up to a constant factor. The main goal of this paper is to study the natural multi-colour generalization of this problem: given two positive integers $r,s$, what is the smallest number $\text{pc}_{r,s}(K_n)$ such that in every colouring of the edges of $K_n$ with $r$ colours, there exists a vertex cover of $K_n$ by $\text{pc}_{r,s}(K_n)$ monochromatic paths using altogether at most $s$ different colours? For fixed integers $r>s$ and as $n\to\infty$, we prove that $\text{pc}_{r,s}(K_n) = \Theta(n^{1/\chi})$, where $\chi=\max{\{1,2+2s-r\}}$ is the chromatic number of the Kneser gr aph $\text{KG}(r,r-s)$. More generally, if one replaces $K_n$ by an arbitrary $n$-vertex graph with fixed independence number $\alpha$, then we have $\text{pc}_{r,s}(G) = O(n^{1/\chi})$, where this time around $\chi$ is the chromatic number of the Kneser hypergraph $\text{KG}^{(\alpha+1)}(r,r-s)$. This result is tight in the sense that there exist graphs with independence number $\alpha$ for which $\text{pc}_{r,s}(G) = \Omega(n^{1/\chi})$. This is in sharp contrast to the case $r=s$, where it follows from a result of S\'ark\"ozy (2012) that $\text{pc}_{r,r}(G)$ depends only on $r$ and $\alpha$, but not on the number of vertices. We obtain similar results for the situation where instead of using paths, one wants to cover a graph with bounded independence number by monochromatic cycles, or a complete graph by monochromatic $d$-regular graphs.


title: Wasserstein Auto-Encoders

abstract: We propose the Wasserstein Auto-Encoder (WAE)---a new algorithm for building a generative model of the data distribution. WAE minimizes a penalized form of the Wasserstein distance between the model distribution and the target distribution, which leads to a different regularizer than the one used by the Variational Auto-Encoder (VAE). This regularizer encourages the encoded training distribution to match the prior. We compare our algorithm with several other techniques and show that it is a generalization of adversarial auto-encoders (AAE). Our experiments show that WAE shares many of the properties of VAEs (stable training, encoder-decoder architecture, nice latent manifold structure) while generating samples of better quality, as measured by the FID score.


title: Machine Learning Approach to RF Transmitter Identification

abstract: With the development and widespread use of wireless devices in recent years (mobile phones, Internet of Things, Wi-Fi), the electromagnetic spectrum has become extremely crowded. In order to counter security threats posed by rogue or unknown transmitters, it is important to identify RF transmitters not by the data content of the transmissions but based on the intrinsic physical characteristics of the transmitters. RF waveforms represent a particular challenge because of the extremely high data rates involved and the potentially large number of transmitters present in a given location. These factors outline the need for rapid fingerprinting and identification methods that go beyond the traditional hand-engineered approaches. In this study, we investigate the use of machine learning (ML) strategies to the classification and identification problems, and the use of wavelets to reduce the amount of data required. Four different ML strategies are evaluated: deep neural nets (DNN), convolutional neural nets (CNN), support vector machines (SVM), and multi-stage training (MST) using accelerated Levenberg-Marquardt (A-LM) updates. The A-LM MST method preconditioned by wavelets was by far the most accurate, achieving 100% classification accuracy of transmitters, as tested using data originating from 12 different transmitters. We discuss strategies for extension of MST to a much larger number of transmitters.


title: Diffusion Operator and Spectral Analysis for Directed Hypergraph Laplacian

abstract: In spectral graph theory, the Cheeger's inequality gives upper and lower bounds of edge expansion in normal graphs in terms of the second eigenvalue of the graph's Laplacian operator. Recently this inequality has been extended to undirected hypergraphs and directed normal graphs via a non-linear operator associated with a diffusion process in the underlying graph. In this work, we develop a unifying framework for defining a diffusion operator on a directed hypergraph with stationary vertices, which is general enough for the following two applications. 1. Cheeger's inequality for directed hyperedge expansion. 2. Quadratic optimization with stationary vertices in the context of semi-supervised learning. Despite the crucial role of the diffusion process in spectral analysis, previous works have not formally established the existence of the corresponding diffusion processes. In this work, we give a proof framework that can indeed show that such diffusion processes are well-defined. In the first application, we use the spectral properties of the diffusion operator to achieve the Cheeger's inequality for directed hyperedge expansion. In the second application, the diffusion operator can be interpreted as giving a continuous analog to the subgradient method, which moves the feasible solution in discrete steps towards an optimal solution.


title: Lattice thermal conductivity of graphene nanostructures

abstract: Non-equilibrium molecular dynamics is used to investigate the heat current due to the atomic lattice vibrations in graphene nanoribbons and nanorings under a thermal gradient. We consider a wide range of temperature, nanoribbon widths up to 6nm and the effect of moderate edge disorder. We find that narrow graphene nanorings can efficiently suppress the lattice thermal conductivity at low temperatures (~100K), as compared to nanoribbons of the same width. Remarkably, rough edges do not appear to have a large impact on lattice energy transport through graphene nanorings while nanoribbons seem more affected by imperfections. Furthermore, we demonstrate that the effects of hydrogen-saturated edges can be neglected in these graphene nanostructures.


title: Algebraic Torsion in higher-dimensional contact manifolds

abstract: We construct examples in any odd dimension of contact manifolds with finite and non-zero algebraic torsion (in the sense of Latschev-Wendl), which are therefore tight and do not admit strong symplectic fillings. We prove that Giroux torsion implies algebraic $1$-torsion in any odd dimension, which proves a conjecture by Massot-Niederkrueger-Wendl. We construct infinitely many non-diffeomorphic examples of $5$-dimensional contact manifolds which are tight, admit no strong fillings, and do not have Giroux torsion. We obtain obstruction results for symplectic cobordisms, for which we give a proof not relying on SFT machinery. We give a tentative definition of a higher-dimensional spinal open book decomposition, based on the $3$-dimensional one of Lisi-van Horn Morris-Wendl. An appendix written in co-authorship with Richard Siefring gives a basic outline of the intersection theory for punctured holomorphic curves and hypersurfaces, which generalizes his $3$-dimensional results of Siefring to higher dimensions. From the intersection theory we obtain an application to codimension-$2$ holomorphic foliations, which we use to restrict the behaviour of holomorphic curves in our examples.


title: Multi-label Dataless Text Classification with Topic Modeling

abstract: Manually labeling documents is tedious and expensive, but it is essential for training a traditional text classifier. In recent years, a few dataless text classification techniques have been proposed to address this problem. However, existing works mainly center on single-label classification problems, that is, each document is restricted to belonging to a single category. In this paper, we propose a novel Seed-guided Multi-label Topic Model, named SMTM. With a few seed words relevant to each category, SMTM conducts multi-label classification for a collection of documents without any labeled document. In SMTM, each category is associated with a single category-topic which covers the meaning of the category. To accommodate with multi-labeled documents, we explicitly model the category sparsity in SMTM by using spike and slab prior and weak smoothing prior. That is, without using any threshold tuning, SMTM automatically selects the relevant categories for each document. To incorporate the supervision of the seed words, we propose a seed-guided biased GPU (i.e., generalized Polya urn) sampling procedure to guide the topic inference of SMTM. Experiments on two public datasets show that SMTM achieves better classification accuracy than state-of-the-art alternatives and even outperforms supervised solutions in some scenarios.


title: Noise Sources in Photometry and Radial Velocities

abstract: The quest for Earth-like, extrasolar planets (exoplanets), especially those located inside the habitable zone of their host stars, requires techniques sensitive enough to detect the faint signals produced by those planets. The radial velocity (RV) and photometric transit methods are the most widely used and also the most efficient methods for detecting and characterizing exoplanets. However, presence of astrophysical "noise" makes it difficult to detect and accurately characterize exoplanets. It is important to note that the amplitude of such astrophysical noise is larger than both the signal of Earth-like exoplanets and state-of-the-art instrumentation limit precision, making this a pressing topic that needs to be addressed. In this chapter, I present a general review of the main sources of noise in photometric and RV observations, namely, stellar oscillations, granulation, and magnetic activity. Moreover, for each noise source I discuss the techniques and observational strategies which allow us to mitigate their impact.


title: On the minima of Markov and Lagrange Dynamical Spectra

abstract: We consider typical Lagrange and Markov dynamical spectra associated to horseshoes on surfaces. We show that for a large set of real functions on the surface, the minima of the corresponding Lagrange and Markov dynamical spectra coincide and are given by the image of a periodic point of the dynamics by the real function. This solves a question by Jean-Christophe Yoccoz.


title: Stochastic Submodular Maximization: The Case of Coverage Functions

abstract: Stochastic optimization of continuous objectives is at the heart of modern machine learning. However, many important problems are of discrete nature and often involve submodular objectives. We seek to unleash the power of stochastic continuous optimization, namely stochastic gradient descent and its variants, to such discrete problems. We first introduce the problem of stochastic submodular optimization, where one needs to optimize a submodular objective which is given as an expectation. Our model captures situations where the discrete objective arises as an empirical risk (e.g., in the case of exemplar-based clustering), or is given as an explicit stochastic model (e.g., in the case of influence maximization in social networks). By exploiting that common extensions act linearly on the class of submodular functions, we employ projected stochastic gradient ascent and its variants in the continuous domain, and perform rounding to obtain discrete solutions. We focus on the rich and widely used family of weighted coverage functions. We show that our approach yields solutions that are guaranteed to match the optimal approximation guarantees, while reducing the computational cost by several orders of magnitude, as we demonstrate empirically.


title: Robust Speech Recognition Using Generative Adversarial Networks

abstract: This paper describes a general, scalable, end-to-end framework that uses the generative adversarial network (GAN) objective to enable robust speech recognition. Encoders trained with the proposed approach enjoy improved invariance by learning to map noisy audio to the same embedding space as that of clean audio. Unlike previous methods, the new framework does not rely on domain expertise or simplifying assumptions as are often needed in signal processing, and directly encourages robustness in a data-driven way. We show the new approach improves simulated far-field speech recognition of vanilla sequence-to-sequence models without specialized front-ends or preprocessing.


title: Turbulent dynamics of epithelial cell cultures

abstract: In vitro epithelial monolayers exhibit a rich repertoire of collective dynamical behaviours according to microenvironment mechanical features. We investigate the statistical and dynamical properties of human bronchial epithelial cell (HBEC) flows in bulk, by analysing their large length-scale and long time-scale spatiotemporal dynamics. Activity-driven spontaneous collective flows consist of an ensemble of vortices randomly positioned in space. By analysing a large population of vortices, we show that their area follows an exponential law with a constant mean value and their rotational frequency is size-independent, both being characteristic features of the chaotic dynamics of active nematic suspensions. Indeed, we find that HBECs self-organise in nematic domains of several cell lengths. Nematic defects are found at the interface between domains with a total number that remains constant by the dynamical balance of nucleation and annihilation events. Near +/-1/2 defects, the mean velocity field is in faithful agreement with the dynamics of extensile active nematics.


title: Double Q($\sigma$) and Q($\sigma, \lambda$): Unifying Reinforcement Learning Control Algorithms

abstract: Temporal-difference (TD) learning is an important field in reinforcement learning. Sarsa and Q-Learning are among the most used TD algorithms. The Q($\sigma$) algorithm (Sutton and Barto (2017)) unifies both. This paper extends the Q($\sigma$) algorithm to an online multi-step algorithm Q($\sigma, \lambda$) using eligibility traces and introduces Double Q($\sigma$) as the extension of Q($\sigma$) to double learning. Experiments suggest that the new Q($\sigma, \lambda$) algorithm can outperform the classical TD control methods Sarsa($\lambda$), Q($\lambda$) and Q($\sigma$).


title: Modeling of Persistent Homology

abstract: Topological Data Analysis (TDA) is a novel statistical technique, particularly powerful for the analysis of large and high dimensional data sets. Much of TDA is based on the tool of persistent homology, represented visually via persistence diagrams. In an earlier paper we proposed a parametric representation for the probability distributions of persistence diagrams, and based on it provided a method for their replication. Since the typical situation for big data is that only one persistence diagram is available, these replications allow for conventional statistical inference, which, by its very nature, requires some form of replication. In the current paper we continue this analysis, and further develop its practical statistical methodology, by investigating a wider class of examples than treated previously.


title: Magnetoelectric properties of the layered room-temperature antiferromagnets BaMn2P2 and BaMn2As2

abstract: Properties of two ThCr2Si2-type materials are discussed within the context of their established structural and magnetic symmetries. Both materials develop collinear, G-type antiferromagnetic order above room temperature, and magnetic ions occupy acentric sites in centrosymmetric structures. We refute a previous conjecture that BaMn2As2 is an example of a magnetoelectric material with hexadecapole order by exposing flaws in supporting arguments, principally, an omission of discrete symmetries enforced by the symmetry of sites used by Mn ions and, also, improper classifications of the primary and secondary order-parameters. Implications for future experiments designed to improve our understanding of BaMn2P2 and BaMn2As2 magnetoelectric properties, using neutron and x-ray diffraction, are examined. Patterns of Bragg spots caused by conventional magnetic dipoles and magnetoelectric (Dirac) multipoles are predicted to be distinct, which raises the intriguing possibility of a unique and comprehensive examination of the magnetoelectric state by diffraction. A roto-inversion operation in Mn site symmetry is ultimately responsible for the distinguishing features.


title: Thermal phases of correlated lattice boson: a classical fluctuation theory

abstract: We present a method that generalises the standard mean field theory of correlated lattice bosons to include amplitude and phase fluctuations of the $U(1)$ field that induces onsite particle number mixing. This arises formally from an auxiliary field decomposition of the kinetic term in a Bose Hubbard model. We solve the resulting problem, initially, by using a classical approximation for the particle number mixing field and a Monte Carlo treatment of the resulting bosonic model. In two dimensions we obtain $T_c$ scales that dramatically improve on mean field theory and are within about 20% of full quantum Monte Carlo estimates. The `classical approximation' ground state, however, is still mean field, with an overestimate of the critical interaction, $U_c$, for the superfluid to Mott transition. By further including low order quantum fluctuations in the free energy functional we improve significantly on the $U_c$, and the overall thermal phase diagram. The classical approximation based method has a computational cost linear in system size. The methods readily generalise to multispecies bosons and the presence of traps.


title: The Local Dimension of Deep Manifold

abstract: Based on our observation that there exists a dramatic drop for the singular values of the fully connected layers or a single feature map of the convolutional layer, and that the dimension of the concatenated feature vector almost equals the summation of the dimension on each feature map, we propose a singular value decomposition (SVD) based approach to estimate the dimension of the deep manifolds for a typical convolutional neural network VGG19. We choose three categories from the ImageNet, namely Persian Cat, Container Ship and Volcano, and determine the local dimension of the deep manifolds of the deep layers through the tangent space of a target image. Through several augmentation methods, we found that the Gaussian noise method is closer to the intrinsic dimension, as by adding random noise to an image we are moving in an arbitrary dimension, and when the rank of the feature matrix of the augmented images does not increase we are very close to the local dimension of the manifold. We also estimate the dimension of the deep manifold based on the tangent space for each of the maxpooling layers. Our results show that the dimensions of different categories are close to each other and decline quickly along the convolutional layers and fully connected layers. Furthermore, we show that the dimensions decline quickly inside the Conv5 layer. Our work provides new insights for the intrinsic structure of deep neural networks and helps unveiling the inner organization of the black box of deep neural networks.


title: On the Computational Complexity of Non-dictatorial Aggregation

abstract: We investigate when non-dictatorial aggregation is possible from an algorithmic perspective, where non-dictatorial aggregation means that the votes cast by the members of a society can be aggregated in such a way that there is no single member of the society that always dictates the collective outcome. We consider the setting in which the members of a society take a position on a fixed collection of issues, where for each issue several different alternatives are possible, but the combination of choices must belong to a given set X of allowable voting patterns. Such a set X is called a possibility domain if there is an aggregator that is non-dictatorial, operates separately on each issue, and returns values among those cast by the society on each issue. We design a polynomial-time algorithm that decides, given a set X of voting patterns, whether or not X is a possibility domain. Furthermore, if X is a possibility domain, then the algorithm constructs in polynomial time a non-dictatorial aggregator for X. Furthermore, we show that the question of whether a Boolean domain X is a possibility domain is in NLOGSPACE. We also design a polynomial-time algorithm that decides whether X is a uniform possibility domain, that is, whether X admits an aggregator that is non-dictatorial even when restricted to any two positions for each issue. As in the case of possibility domains, the algorithm also constructs in polynomial time a uniform non-dictatorial aggregator, if one exists. Then, we turn our attention to the case where X is given implicitly, either as the set of assignments satisfying a propositional formula, or as a set of consistent evaluations of a sequence of propositional formulas. In both cases, we provide bounds to the complexity of deciding if X is a (uniform) possibility domain.


title: Adversarial Dropout Regularization

abstract: We present a method for transferring neural representations from label-rich source domains to unlabeled target domains. Recent adversarial methods proposed for this task learn to align features across domains by fooling a special domain critic network. However, a drawback of this approach is that the critic simply labels the generated features as in-domain or not, without considering the boundaries between classes. This can lead to ambiguous features being generated near class boundaries, reducing target classification accuracy. We propose a novel approach, Adversarial Dropout Regularization (ADR), to encourage the generator to output more discriminative features for the target domain. Our key idea is to replace the critic with one that detects non-discriminative features, using dropout on the classifier network. The generator then learns to avoid these areas of the feature space and thus creates better features. We apply our ADR approach to the problem of unsupervised domain adaptation for image classification and semantic segmentation tasks, and demonstrate significant improvement over the state of the art. We also show that our approach can be used to train Generative Adversarial Networks for semi-supervised learning.


title: Discovery of a big void in Khufu's Pyramid by observation of cosmic-ray muons

abstract: The Great Pyramid or Khufu's Pyramid was built on the Giza Plateau (Egypt) during the IVth dynasty by the pharaoh Khufu (Cheops), who reigned from 2509 to 2483 BC. Despite being one of the oldest and largest monuments on Earth, there is no consensus about how it was built. To better understand its internal structure, we imaged the pyramid using muons, which are by-products of cosmic rays that are only partially absorbed by stone. The resulting cosmic-ray muon radiography allows us to visualize the known and potentially unknown voids in the pyramid in a non-invasive way. Here we report the discovery of a large void (with a cross section similar to the Grand Gallery and a length of 30 m minimum) above the Grand Gallery, which constitutes the first major inner structure found in the Great Pyramid since the 19th century. This void, named ScanPyramids Big Void, was first observed with nuclear emulsion films installed in the Queen's chamber (University of Nagoya), then confirmed with scintillator hodoscopes set up in the same chamber (KEK) and re-confirmed with gas detectors outside of the pyramid (CEA). This large void has therefore been detected with a high confidence by three different muon detection technologies and three independent analyses. These results constitute a breakthrough for the understanding of Khufu's Pyramid and its internal structure. While there is currently no information about the role of this void, these findings show how modern particle physics can shed new light on the world's archaeological heritage.


title: Wider and Deeper, Cheaper and Faster: Tensorized LSTMs for Sequence Learning

abstract: Long Short-Term Memory (LSTM) is a popular approach to boosting the ability of Recurrent Neural Networks to store longer term temporal information. The capacity of an LSTM network can be increased by widening and adding layers. However, usually the former introduces additional parameters, while the latter increases the runtime. As an alternative we propose the Tensorized LSTM in which the hidden states are represented by tensors and updated via a cross-layer convolution. By increasing the tensor size, the network can be widened efficiently without additional parameters since the parameters are shared across different locations in the tensor; by delaying the output, the network can be deepened implicitly with little additional runtime since deep computations for each timestep are merged into temporal computations of the sequence. Experiments conducted on five challenging sequence learning tasks show the potential of the proposed model.


title: Open system model for quantum dynamical maps with classical noise and corresponding master equations

abstract: We show how random unitary dynamics arise from the coupling of an open quantum system to a static environment. Subsequently, we derive a master equation for the reduced system random unitary dynamics and study three specific cases: commuting system and interaction Hamiltonians, the short-time limit, and the Markov approximation.


title: Dual of Faltings' Theorems on Finiteness of Local Cohomology

abstract: Let $R$ be a commutative Noetherian ring and $\fa$ an ideal of $R$. We intend to establish the dual of two Faltings' Theorems for local homology modules of an Artinian module. As a consequence of this, we show that, if $A$ is an Artinian module over semi-local complete ring $R$ and $j$ is an integer such that $H_i^{\fa}(A)$ is Artinian for all $i<j$, then the set $\Coass_R(H_j^{\fa}(A))$ is finite. We also introduce the notion of the $n$th Artinianness dimension $g_n^\fa(A)=\inf\{g^{\fa R_{\fp}}(^\fp A): \fp\in\Spec(R) \ \ \text{and} \ \ \dim R/\fp\geq n\}$, for all $n\in\mathbb{N}_{0}$ and prove that $g_1^\fa(A)=\inf\{i\in\mathbb{N}_0: H_i^\fa(A) \ \ \text{is not minimax}\}$, whenever $R$ is a semi-local complete ring. Moreover, in this situation we show that $\Coass_R(H_{g_1^\fa(A)}^\fa(A))$ is a finite set.


title: Electronic Properties and Bonding in ZrHx Thin Films Investigated by Valence-Band X-ray Photoelectron Spectroscopy

abstract: The electronic structure and chemical bonding in reactively magnetron sputtered ZrHx (x=0.15, 0.30, 1.16) thin films with oxygen content as low as 0.2 at% are investigated by 4d valence band, shallow 4p core-level and 3d core-level X-ray photoelectron spectroscopy. With increasing hydrogen content, we observe significant reduction of the 4d valence states close to the Fermi level as a result of redistribution of intensity towards the H 1s - Zr 4d hybridization region at about 6 eV below the Fermi level. For low hydrogen content (x=0.15, 0.30), the films consist of a superposition of hexagonal closest packed metal (alpha-phase)and understoichiometric delta-ZrHx (CaF2-type structure) phases, while for x=1.16, the film form single phase ZrHx that largely resembles that of stoichiometric delta-ZrH2 phase. We show that the cubic delta-ZrHx phase is metastable as thin film up to x=1.16 while for higher H-contents, the structure is predicted to be tetragonally distorted. For the investigated ZrH1.16 film, we find chemical shifts of 0.68 and 0.51 eV towards higher binding energies for the Zr 4p3/2 and 3d5/2 peak positions, respectively. Compared to the Zr metal binding energies of 27.26 and 178.87 eV, this signifies a charge-transfer from Zr to H atoms. The change in the electronic structure, spectral line shapes, and chemical shifts as function of hydrogen content is discussed in relation to the charge-transfer from Zr to H that affects the conductivity by charge redistribution in the valence band.


title: Triton's Evolution with a Primordial Neptunian Satellite System

abstract: The Neptunian satellite system is unusual. The major satellites of Jupiter, Saturn, and Uranus are all in prograde, low-inclination orbits. Neptune on the other hand, has the fewest satellites, and most of the system's mass is within one irregular satellite, Triton. Triton was most likely captured by Neptune and destroyed the primordial regular satellite system. We investigate the interactions between a newly captured Triton and a prior Neptunian satellite system. We find that a prior satellite system with a mass ratio similar to the Uranian system or smaller has a substantial likelihood of reproducing the current Neptunian system, while a more massive system has a low probability of leading to the current configuration. Moreover, Triton's interaction with a prior satellite system may offer a mechanism to decrease its high initial semimajor axis fast enough to preserve small irregular satellites (Nereid-like) that might otherwise be lost during a prolonged Triton circularization via tides alone.


title: A symmetrizable extension of polyconvex thermoelasticity and applications to zero-viscosity limits and weak-strong uniqueness

abstract: We embed the equations of polyconvex thermoviscoelasticity into an augmented, symmetrizable, hyperbolic system and derive a relative entropy identity in the extended variables. Following the relative entropy formulation, we prove the convergence from thermoviscoelasticity with Newtonian viscosity and Fourier heat conduction to smooth solutions of the system of adiabatic thermoelasticity as both parameters tend to zero. Also, convergence from thermoviscoelasticity to smooth solutions of thermoelasticity in the zero-viscosity limit. Finally, we establish a weak-strong uniqueness result for the equations of adiabatic thermoelasticity in the class of entropy weak solutions.


title: Robust Expectation-Maximization Algorithm for DOA Estimation of Acoustic Sources in the Spherical Harmonic Domain

abstract: The direction of arrival (DOA) estimation of sound sources has been a popular signal processing research topic due to its widespread applications. Using spherical microphone arrays (SMA), DOA estimation can be applied in the spherical harmonic (SH) domain without any spatial ambiguity. However, the environment reverberation and noise can degrade the estimation performance. In this paper, we propose a new expectation maximization (EM) algorithm for deterministic maximum likelihood (ML) DOA estimation of L sound sources in the presence of spatially nonuniform noise in the SH domain. Furthermore a new closed-form Cramer-Rao bound (CRB) for the deterministic ML DOA estimation is derived for the signal model in the SH domain. The main idea of the proposed algorithm is considering the general model of the received signal in the SH domain, we reduce the complexity of the ML estimation by breaking it down into two steps: expectation and maximization steps. The proposed algorithm reduces the complexity from 2L-dimensional space to L 2-dimensional space. Simulation results indicate that the proposed algorithm shows at least an improvement of 6dB in robustness in terms of root mean square error (RMSE). Moreover, the RMSE of the proposed algorithm is very close to the CRB compared to the recent methods in reverberant and noisy environments in the large range of signal to noise ratio.


title: Finite monodromy of some families of exponential sums

abstract: Given a prime $p$ and an integer $d>1$, we give a numerical criterion to decide whether the $\ell$-adic sheaf associated to the one-parameter exponential sums $t\mapsto \sum_x\psi(x^d+tx)$ over ${\mathbb F}_p$ has finite monodromy or not, and work out some explicit cases where this is computable.


title: Sub-Finsler Heisenberg Perimeter Measures

abstract: This work is an investigation of perimeter measures in the metric measure space given by the Heisenberg group with Haar measure and a Carnot-Carath\'eodory metric, which is in general a sub-Finsler metric. Included is a reduction of Minkowski content in any CC-metric to an integral formula in terms of Lebesgue surface area in $\mathbb{R}^3$. Using this result, I study two perimeter measures that arise from the study of Finsler normed planes, and provide evidence that Pansu's conjecture regarding the isoperimetric problem in the sub-Riemannian case appears to hold in the more general sub-Finsler case. This is contrary to the relationship between Finsler and Riemannian isoperimetrices. In particular, I show that for any CC-metric there exist a class of surfaces with Legendrian foliation by CC-geodesics generalizing Pansu's bubble set, but that even in their natural metric using either perimeter measure, the computed examples of such surfaces have lower isoperimetric ratio than the Pansu bubble set, which has Legendrian foliation by sub-Riemannian geodesics.


title: Levy processes in cones of fuzzy vectors

abstract: The general problem of how to construct stochastic processes which are confined to stay in a predefined cone (in the one-dimensional but also multi-dimensional case also referred to as \emph{subordinators}) is of course known to be of great importance in the theory and a myriad of applications.\par But fuzzy stochastic processes are considered in this context for the first time in this paper:\par By first relating with each proper convex cone $C$ in $\R^{n}$ a certain cone of fuzzy vectors $C^*$ and subsequently using some specific Banach space techniques we have been able to produce as many pairs $(L^*_t, C^*)$ of fuzzy \L processes $L^*_t$ and cones $C^*$ of fuzzy vectors such that $L^*_t$ are $C^*$-$\,$subordinators.


title: Inference-Based Similarity Search in Randomized Montgomery Domains for Privacy-Preserving Biometric Identification

abstract: Similarity search is essential to many important applications and often involves searching at scale on high-dimensional data based on their similarity to a query. In biometric applications, recent vulnerability studies have shown that adversarial machine learning can compromise biometric recognition systems by exploiting the biometric similarity information. Existing methods for biometric privacy protection are in general based on pairwise matching of secured biometric templates and have inherent limitations in search efficiency and scalability. In this paper, we propose an inference-based framework for privacy-preserving similarity search in Hamming space. Our approach builds on an obfuscated distance measure that can conceal Hamming distance in a dynamic interval. Such a mechanism enables us to systematically design statistically reliable methods for retrieving most likely candidates without knowing the exact distance values. We further propose to apply Montgomery multiplication for generating search indexes that can withstand adversarial similarity analysis, and show that information leakage in randomized Montgomery domains can be made negligibly small. Our experiments on public biometric datasets demonstrate that the inference-based approach can achieve a search accuracy close to the best performance possible with secure computation methods, but the associated cost is reduced by orders of magnitude compared to cryptographic primitives.


title: Nonlocal Modified KdV Equations and Their Soliton Solutions

abstract: We study the nonlocal modified Korteweg-de Vries (mKdV) equations obtained from AKNS scheme by Ablowitz-Musslimani type nonlocal reductions. We first find soliton solutions of the coupled mKdV system by using the Hirota direct method. Then by using the Ablowitz-Musslimani reduction formulas, we find one-, two-, and three-soliton solutions of local and nonlocal complex mKdV and mKdV equations. The soliton solutions of these equations are of two types. We give one-soliton solutions of both types and present only first type of two- and three-soliton solutions. We illustrate our soliton solutions by plotting their graphs for particular values of the parameters.


title: Simultaneous Joint and Object Trajectory Templates for Human Activity Recognition from 3-D Data

abstract: The availability of low-cost range sensors and the development of relatively robust algorithms for the extraction of skeleton joint locations have inspired many researchers to develop human activity recognition methods using the 3-D data. In this paper, an effective method for the recognition of human activities from the normalized joint trajectories is proposed. We represent the actions as multidimensional signals and introduce a novel method for generating action templates by averaging the samples in a "dynamic time" sense. Then in order to deal with the variations in the speed and style of performing actions, we warp the samples to the action templates by an efficient algorithm and employ wavelet filters to extract meaningful spatiotemporal features. The proposed method is also capable of modeling the human-object interactions, by performing the template generation and temporal warping procedure via the joint and object trajectories simultaneously. The experimental evaluation on several challenging datasets demonstrates the effectiveness of our method compared to the state-of-the-arts.


title: Asymptotics of Polynomials Orthogonal with respect to a Logarithmic Weight

abstract: In this paper we compute the asymptotic behavior of the recurrence coefficients for polynomials orthogonal with respect to a logarithmic weight $w(x){\rm d}x = \log \frac{2k}{1-x}{\rm d}x$ on $(-1,1)$, $k > 1$, and verify a conjecture of A. Magnus for these coefficients. We use Riemann-Hilbert/steepest-descent methods, but not in the standard way as there is no known parametrix for the Riemann-Hilbert problem in a neighborhood of the logarithmic singularity at $x=1$.


title: Derivation of the Bogoliubov Time Evolution for a Large Volume Mean-field Limit

abstract: The derivation of mean-field limits for quantum systems at zero temperature has attracted many researchers in the last decades. Recent developments are the consideration of pair correlations in the effective description, which lead to a much more precise description of both spectral properties and the dynamics of the Bose gas in the weak coupling limit. While mean-field results typically lead to convergence for the reduced density matrix only, one obtains norm convergence when considering the pair correlations proposed by Bogoliubov in his seminal 1947 paper. In this article we consider an interacting Bose gas in the case where both the volume and the density of the gas tend to infinity simultaneously. We assume that the coupling constant is such that the self-interaction of the fluctuations is of leading order, which leads to a finite (non-zero) speed of sound in the gas. In our first main result we show that the difference between the N-body and the Bogoliubov description is small in $L^2$ as the density of the gas tends to infinity and the volume does not grow too fast. This describes the dynamics of delocalized excitations of the order of the volume. In our second main result we consider an interacting Bose gas near the ground state with a macroscopic localized excitation of order of the density. We prove that the microscopic dynamics of the excitation coming from the N-body Schr\"odinger equation converges to an effective dynamics which is free evolution with the Bogoliubov dispersion relation. The main technical novelty are estimates for all moments of the number of particles outside the condensate for large volume, and in particular control of the tails of their distribution.


title: Local multiboson factorization of the quark determinant

abstract: We discuss the recently proposed multiboson domain-decomposed factorization of the gauge-field dependence of the fermion determinant in lattice QCD. In particular, we focus on the case of a lattice divided in an arbitrary number of thick time slices. As a consequence, multiple space-time regions can be updated independently. This allows to address the exponential degradation of the signal-to-noise ration of correlation functions with multilevel Monte Carlo sampling. We show numerical evidence of the effectiveness of a two-level integration for pseudoscalar propagators with momentum and for vector propagators, in a two active regions setup. These results are relevant to lattice computation of the hadronic contributions to the anomalous magnetic moment of the muon and to heavy meson decay form factors.


title: VLBA polarimetric monitoring of 3C 111

abstract: We aim to better understand the dynamics within relativistic magneto-hydrodynamical flows in the extreme environment and close vicinity of supermassive black holes. To do so, we analyze the peculiar radio galaxy 3C 111, for which long-term polarimetric observations are available. We make use of the high spatial resolution of the VLBA network and the MOJAVE monitoring program, which provides high data quality also for single sources and allows us to study jet dynamics on parsec scales in full polarization with an evenly sampled time-domain. We additionally consider data from the IRAM 30-m Telescope as well as the SMA. Jet properties such as the electric vectors, the (polarized) flux density, feature size, and brightness temperature, describe a complex evolution of the polarized jet. The electric vector position angles (EVPAs) of features traveling down the jet perform a large and smooth rotation of $\gtrsim 180^{\circ}$ across a distance of about 20 pc. In contrast, the EVPAs are strongly variable within the first parsecs of the jet. We find a tendency towards transverse EVPAs across the jet with a local anomaly of aligned vectors in between. The transverse extent of the flow decreases coincident with a jump in brightness temperature around where we observe the EVPAs to turn into alignment with the jet flow. Also the gradients of the feature size and particle density with distance steepen in that region. We interpret the propagating polarized features with shocks and the observed local anomalies with the interaction of these shocks with a recollimation shock of the underlying flow. Together with a sheared magnetic field, this shock-shock interaction can explain the large rotation of the EVPA. The superimposed variability of the EVPAs close to the core is likely related to a clumpy Faraday screen, which also contributes significantly to the observed EVPA rotation in that region.


title: Prototyping of petalets for the Phase-II Upgrade of the silicon strip tracking detector of the ATLAS Experiment

abstract: In the high luminosity era of the Large Hadron Collider, the HL-LHC, the instantaneous luminosity is expected to reach unprecedented values, resulting in about 200 proton-proton interactions in a typical bunch crossing. To cope with the resultant increase in occupancy, bandwidth and radiation damage, the ATLAS Inner Detector will be replaced by an all-silicon system, the Inner Tracker (ITk). The ITk consists of a silicon pixel and a strip detector and exploits the concept of modularity. Prototyping and testing of various strip detector components has been carried out. This paper presents the developments and results obtained with reduced-size structures equivalent to those foreseen to be used in the forward region of the silicon strip detector. Referred to as petalets, these structures are built around a composite sandwich with embedded cooling pipes and electrical tapes for routing the signals and power. Detector modules built using electronic flex boards and silicon strip sensors are glued on both the front and back side surfaces of the carbon structure. Details are given on the assembly, testing and evaluation of several petalets. Measurement results of both mechanical and electrical quantities are shown. Moreover, an outlook is given for improved prototyping plans for large structures.


title: Hopf Bifurcation for an SIS model with age structure

abstract: An SIS model is investigated in which the infective individuals are assumed to have an infection-age structure. The model is formulated as an abstract non-densely defined Cauchy problem. We study some dynamical properties of the model by using the theory of integrated semigroup, the Hopf bifurcation theory and the normal form theory for semilinear equations with non-dense domain. Qualitative analysis indicates that there exist some parameter values such that this SIS model has a non-trivial periodic solution which bifurcates from the positive equilibrium. Furthermore, the explicit formulae are given to determine the direction of the Hopf bifurcation and the stability of the bifurcating periodic solutions. Numerical simulations are also carried out to support our theoretical results.


title: Is Input Sparsity Time Possible for Kernel Low-Rank Approximation?

abstract: Low-rank approximation is a common tool used to accelerate kernel methods: the $n \times n$ kernel matrix $K$ is approximated via a rank-$k$ matrix $\tilde K$ which can be stored in much less space and processed more quickly. In this work we study the limits of computationally efficient low-rank kernel approximation. We show that for a broad class of kernels, including the popular Gaussian and polynomial kernels, computing a relative error $k$-rank approximation to $K$ is at least as difficult as multiplying the input data matrix $A \in \mathbb{R}^{n \times d}$ by an arbitrary matrix $C \in \mathbb{R}^{d \times k}$. Barring a breakthrough in fast matrix multiplication, when $k$ is not too large, this requires $\Omega(nnz(A)k)$ time where $nnz(A)$ is the number of non-zeros in $A$. This lower bound matches, in many parameter regimes, recent work on subquadratic time algorithms for low-rank approximation of general kernels [MM16,MW17], demonstrating that these algorithms are unlikely to be significantly improved, in particular to $O(nnz(A))$ input sparsity runtimes. At the same time there is hope: we show for the first time that $O(nnz(A))$ time approximation is possible for general radial basis function kernels (e.g., the Gaussian kernel) for the closely related problem of low-rank approximation of the kernelized dataset.


title: Lagrangian theory of structure formation in relativistic cosmology. IV. Lagrangian approach to gravitational waves

abstract: The relativistic generalization of the Newtonian Lagrangian perturbation theory is investigated. In previous works, the perturbation and solution schemes that are generated by the spatially projected gravitoelectric part of the Weyl tensor were given to any order of the perturbations, together with extensions and applications for accessing the nonperturbative regime. We here discuss more in detail the general first-order scheme within the Cartan formalism including and concentrating on the gravitational wave propagation in matter. We provide master equations for all parts of Lagrangian-linearized perturbations propagating in the perturbed spacetime, and we outline the solution procedure that allows one to find general solutions. Particular emphasis is given to global properties of the Lagrangian perturbation fields by employing results of Hodge-de Rham theory. We here discuss how the Hodge decomposition relates to the standard scalar-vector-tensor decomposition. Finally, we demonstrate that we obtain the known linear perturbation solutions of the standard relativistic perturbation scheme by performing two steps: first, by restricting our solutions to perturbations that propagate on a flat unperturbed background spacetime and, second, by transforming to Eulerian background coordinates with truncation of nonlinear terms.


title: Multilayer tensor factorization with applications to recommender systems

abstract: Recommender systems have been widely adopted by electronic commerce and entertainment industries for individualized prediction and recommendation, which benefit consumers and improve business intelligence. In this article, we propose an innovative method, namely the recommendation engine of multilayers (REM), for tensor recommender systems. The proposed method utilizes the structure of a tensor response to integrate information from multiple modes, and creates an additional layer of nested latent factors to accommodate between-subjects dependency. One major advantage is that the proposed method is able to address the "cold-start" issue in the absence of information from new customers, new products or new contexts. Specifically, it provides more effective recommendations through sub-group information. To achieve scalable computation, we develop a new algorithm for the proposed method, which incorporates a maximum block improvement strategy into the cyclic blockwise-coordinate-descent algorithm. In theory, we investigate both algorithmic properties for global and local convergence, along with the asymptotic consistency of estimated parameters. Finally, the proposed method is applied in simulations and IRI marketing data with 116 million observations of product sales. Numerical studies demonstrate that the proposed method outperforms existing competitors in the literature.


title: Hopf bifurcation of the Michaelis-Menten type ratio-dependent predator-prey model with age structure

abstract: This paper is devoted to the study of a predator-prey model with predator-age structure that involves Michaelis-Menten type ratio-dependent functional response. We study some dynamical properties of the model by using the theory of integrated semigroup and the Hopf bifurcation theory for semilinear equations with non-dense domain. The existence of Hopf bifurcation is established by regarding the biological maturation period $\tau$ as the bifurcation parameter. The computer simulations and sensitivity analysis on parameters are also performed to illustrate the conclusions.


title: PSR J1119-6127 and its pulsar wind nebula following the magnetar-like bursts

abstract: We present a Chandra Director's Discretionary Time observation of PSR J1119-6127 and its compact X-ray pulsar wind nebula (PWN) obtained on 27 October 2016, three months after the Fermi and Swift detection of millisecond bursts in hard X-rays, accompanied by >160 times increase in flux. This magnetar-like activity, the first observed from a rotation-powered radio pulsar, provides an important probe of the physical processes that differentiate radio pulsars from magnetars. The post-burst X-ray spectrum of the pulsar can be described by a single powerlaw model with a photon index of 2.0\pm0.2 and an unabsorbed flux of 5.7e-12 ergs/cm^2/s in the 0.5-7.0 keV energy range. At the time of Chandra observations, the pulsar was still brighter by a factor of ~22 in comparison with its quiescence. The X-ray images reveal a nebula brighter than in the pre-burst Chandra observations (from 2002 and 2004), with an unabsorbed flux of 2.2e-13 ergs/cm^-2/s. This implies a current X-ray efficiency of ~0.001 at a distance of 8.4 kpc. In addition, a faint torus-like structure is visible along the southeast-northwest direction and a jet-like feature perpendicular to the torus towards the southwest. The PWN is best fitted by an absorbed powerlaw with a photon index of 2.2\pm0.5 (post-burst). While the pulsar can still be energetically powered by rotation, the observed changes in PSR~J1119-6127 and its PWN following the magnetar-like bursts point to an additional source of energy powered by its high-magnetic field.


title: Giant optical nonlinearities from Rydberg-excitons in semiconductor microcavities

abstract: The realization of exciton-polaritons -- hybrid excitations of semiconductor quantum well excitons and cavity photons -- has been of great technological and scientific significance. In particular, the short-range collisional interaction between excitons has enabled explorations into a wealth of nonequilibrium and hydrodynamical effects that arise in weakly nonlinear polariton condensates. Yet, the ability to enhance optical nonlinearities would enable quantum photonics applications and open up a new realm of photonic many-body physics in a scalable and engineerable solid-state environment. Here we outline a route to such capabilities in cavity-coupled semiconductors by exploiting the giant interactions between excitons in Rydberg-states. We demonstrate that optical nonlinearities in such systems can be vastly enhanced by several orders of magnitude and induce nonlinear processes at the level of single photons.


title: Relationship between turbulence energy and density variance in the Solar neighbourhood molecular clouds

abstract: [abridged] We determine the relationship between turbulence energy and gas density variance for 15 molecular clouds in the Solar neighbourhood. We use the linewidths of the CO molecule as the probe of the turbulence energy (sonic Mach number, $\cal{M}_\mathrm{s}$) and three-dimensional models to reconstruct the density probability distribution function ($\rho$-PDF) of the clouds, derived using near-infrared extinction and Herschel dust emission data, as the probe of the density variance ($\sigma_\mathrm{s}$). We find no significant correlation between $\cal{M}_\mathrm{s}$ and $\sigma_\mathrm{s}$ among the studied clouds, however, we also cannot rule out a weak correlation. In the context of turbulence-dominated gas, the range of the $\cal{M}_\mathrm{s}$ and $\sigma_\mathrm{s}$ values corresponds with the model predictions. The data cannot constrain whether or not the turbulence driving parameter, $b$, and/or thermal-to-magnetic pressure ratio, $\beta$, vary among the sample clouds. Most clouds are not in agreement with field strengths stronger than given by $\beta \lesssim 0.05$. A model with $b^2 \beta / (\beta+1) = 0.30 \pm 0.06$ provides an adequate fit to the cloud sample as a whole. When considering the average behaviour of the sample, we can rule out three regimes: (i) strong compression combined with a weak magnetic field ($b \gtrsim 0.7$ and $\beta \gtrsim 3$), (ii) weak compression ($b \lesssim 0.35$), and (iii) strong magnetic field ($\beta \lesssim 0.1$). Including independent magnetic field strength estimates to the analysis, the data rule out solenoidal driving ($b < 0.4$) for the majority of the Solar neighbourhood clouds. However, most clouds have $b$ parameters larger than unity, which indicates a discrepancy with the turbulence-dominated picture; we discuss the possible reasons for this.


title: Bolzano's Infinite Quantities

abstract: In his Foundations of a General Theory of Manifolds, Georg Cantor praised Bernard Bolzano as a clear defender of actual infinity who had the courage to work with infinite numbers. At the same time, he sharply criticized the way Bolzano dealt with them. Cantor's concept was based on the existence of a one-to-one correspondence, while Bolzano insisted on Euclid's Axiom of the whole being greater than a part. Cantor's set theory has eventually prevailed, and became a formal basis of contemporary mathematics, while Bolzano's approach is generally considered a step in the wrong direction. In the present paper, we demonstrate that a fragment of Bolzano's theory of infinite quantities retaining the part-whole principle can be extended to a consistent mathematical structure. It can be interpreted in several possible ways. We obtain either a linearly ordered ring of finite and infinitely great quantities, or a a partially ordered ring containing infinitely small, finite and infinitely great quantities. These structures can be used as a basis of the infinitesimal calculus similarly as in Non-standard Analysis, whether in its full version employing ultrafilters due to Abraham Robinson, or in the recent "cheap version" avoiding ultrafilters due to Terrence Tao.


title: Why Bohr was (Mostly) Right

abstract: After a discussion of the Frauchiger-Renner argument that no 'single- world' interpretation of quantum mechanics can be self-consistent, I propose a 'Bohrian' alternative to many-worlds or QBism as the rational option.


title: The adapted hyper-K\"ahler structure on the crown domain

abstract: Let $\,\Xi\,$ be the crown domain associated with a non-compact irreducible hermitian symmetric space $\,G/K$. We give an explicit description of the unique $\,G$-invariant adapted hyper-K\"ahler structure on $\,\Xi$,$\ $i.$\,$e.$\ $compatible with the adapted complex structure $\,J_{ad}\,$ and with the $\,G$-invariant K\"ahler structure of $\,G/K$. We also compute invariant potentials of the involved K\"ahler metrics and the associated moment maps.


title: Two Dimensional Edge Detection by Guided Mode Resonant Metasurface

abstract: In this letter, a new approach to perform edge detection is presented using an all-dielectric CMOS-compatible metasurface. The design is based on guided-mode resonance which provides a high quality factor resonance to make the edge detection experimentally realizable. The proposed structure that is easy to fabricate, can be exploited for detection of edges in two dimensions due to its symmetry. Also, the trade-off between gain and resolution of edge detection is discussed which can be adjusted by appropriate design parameters. The proposed edge detector has also the potential to be used in ultrafast analog computing and image processing.


title: The primitive spectrum of a semigroup of Markov operators

abstract: For a semigroup S of Markov operators on a space of continuous functions, we use S-invariant ideals to describe qualitative properties of S such as mean ergodicity and the structure of its fixed space. For this purpose we focus on primitive S-ideals and endow the space of those ideals with an appropriate topology. This approach is inspired by the representation theory of C*-algebras and can be adapted to our dynamical setting. In the particularly important case of Koopman semigroups, we characterize the centers of attraction of the underlying dynamical system in terms of the invariant ideal structure of S.


title: Periodic array of quantum rings strongly coupled to circularly polarized light as a topological insulator

abstract: We demonstrate theoretically that a strong high-frequency circularly polarized electromagnetic field can turn a two-dimensional periodic array of interconnected quantum rings into a topological insulator. The elaborated approach is applicable to calculate and analyze the electron energy spectrum of the array, the energy spectrum of the edge states and the corresponding electronic densities. As a result, the present theory paves the way to optical control of the topological phases in ring-based mesoscopic structures.


title: Nonstandard methods in large-scale topology

abstract: We develop some nonstandard techniques for bornological and coarse spaces. We first generalise the notion of bornology to prebornology, which better fits to coarse spaces. We then give nonstandard characterisations of some basic large-scale notions in terms of galaxies and finite closeness relations, concepts that have been developed for metric spaces. Some hybrid notions that involve both small-scale and large-scale are also discussed. Finally we illustrate an application of our nonstandard characterisations to prove some elementary facts in large-scale topology and functional analysis, e.g., the fact that the class of Higson functions forms a $C^{\ast}$-algebra.


title: Black holes with toroidal horizons in (d +1)-dimensional space-time

abstract: We investigate black holes with toroidal horizons in (d +1)-dimensional space-time. Using the solution phase space method, we calculated conserved charges for these black holes before exploring some features of this metric including its entropy and thermodynamic quantities. Another aspect of the study involves obtaining a general exact static interior solution for uncharged black holes with toroidal horizons in (d+1)-dimensional space-time. Finally, an interior solution for charged black holes is obtained.


title: Synthesis of sodium cobaltate Na$_{x}$CoO$_{2}$ single crystals with controlled Na ordering

abstract: In this study, we synthesized single crystals of Na$_{x}$CoO$_{2}$ with $x\sim0.8$ using the optical floating zone technique. A thorough electrochemical treatment of the samples permitted us to control the de-intercalation of Na to obtain single crystal samples of stable Na ordered phases with $x=0.5-0.8$. Comparisons of the bulk magnetic properties with those observed in the Na ordered powder samples confirmed the high quality of these single crystal phases. The ab plane resistivity was measured for the Na ordered samples and it was quite reproducible for different sample batches. The data were analogous to those found in previous initial experimental studies on single crystals, but the lower residual resistivity and sharper anti-ferromagnetic transitions determined for our samples confirmed their higher quality.


title: A Characterization of Absolutely Minimum attaining Operators

abstract: We study the spectral properties of positive absolutely minimum attaining operators defined on infinite dimensional complex Hilbert spaces and using that derive a characterization theorem for such type of operators. We construct several examples and discuss some of the properties of this class. Also, we extend this characterization theorem for general absolutely minimum attaining operators by means of the polar decomposition theorem.


title: Optimization of laser-plasma injector via beam loading effects using ionization-induced injection

abstract: Simulations of ionization induced injection in a laser driven plasma wakefield show that high-quality electron injectors in the 50-200 MeV range can be achieved in a gas cell with a tailored density profile. Using the PIC code Warp with parameters close to existing experimental conditions, we show that the concentration of $\mathrm{N_2}$ in a hydrogen plasma with a tailored density profile is an efficient parameter to tune electron beam properties through the control of the interplay between beam loading effects and varying accelerating field in the density profile. For a given laser plasma configuration, with moderate normalized laser amplitude, $a_0=1.6$ and maximum electron plasma density, $n_{e0}=4\times 10^{18}\,\mathrm{cm^{-3}}$, the optimum concentration results in a robust configuration to generate electrons at 150~MeV with a rms energy spread of 4\% and a spectral charge density of 1.8~pC/MeV.


title: Extremal Theta-free planar graphs

abstract: Given a family $\mathcal{F}$, a graph is $\mathcal{F}$-free if it does not contain any graph in $\mathcal{F}$ as a subgraph. We study the topic of "extremal" planar graphs initiated by Dowden [J. Graph Theory 83 (2016) 213--230], that is, how many edges can an $\mathcal{F}$-free planar graph on $n$ vertices have? We define $ex_{_\mathcal{P}}(n,\mathcal{F})$ to be the maximum number of edges in an $\mathcal{F}$-free planar graph on $n $ vertices. Dowden obtained the tight bounds $ex_{_\mathcal{P}}(n,C_4)\leq15(n-2)/7$ for all $n\geq4$ and $ex_{_\mathcal{P}}(n,C_5)\leq(12n-33)/5$ for all $n\geq11$. In this paper, we continue to promote the idea of determining $ex_{_\mathcal{P}}(n,\mathcal{F})$ for certain classes $\mathcal{F}$. Let $\Theta_k$ denote the family of Theta graphs on $k\ge4$ vertices, that is, graphs obtained from a cycle $C_k$ by adding an additional edge joining two non-consecutive vertices. The study of $ex_{_\mathcal{P}}(n,\Theta_4)$ was suggested by Dowden. We show that $ex_{_\mathcal{P}}(n,\Theta_4)\leq12(n-2)/5$ for all $n\geq 4$, $ex_{_\mathcal{P}}(n,\Theta_5)\leq5(n-2)/2$ for all $n\ge5$, and then demonstrate that these bounds are tight, in the sense that there are infinitely many values of $n$ for which they are attained exactly. We also prove that $ex_{_\mathcal{P}}(n,C_6)\le ex_{_\mathcal{P}}(n,\Theta_6)\le 18(n-2)/7$ for all $n\ge6$.


title: Quantum Mechanical Treatment of Two-Level Atoms Coupled to Continuum with an Ultraviolet Cutoff

abstract: In this paper, we provide a rigorous quantum mechanical derivation for the coherent photon transport characteristics of a two-level atom coupled to a waveguide without linearizing the coupling coefficient between the light and the atom. We propose a novel single frequency sampling method utilizing a UV-cutoff that allows us to treat the singularities in real space scattering potential despite the non-convergence property. We also study the conditions under which the linearization of the coupling coefficient is an accurate assumption and find the resulting spontaneous emission and transport characteristics taking the radiative and non-radiative decay rates into account. This allows us to confirm and expand on the findings of the existing literature while obtaining the dynamic electronic polarizability for the two-level atom confined to a 1-D waveguide while using an interaction Hamiltonian with the rotating-wave approximation.


title: Bloom Filters, Adaptivity, and the Dictionary Problem

abstract: The Bloom filter---or, more generally, an approximate membership query data structure (AMQ)---maintains a compact, probabilistic representation of a set S of keys from a universe U. An AMQ supports lookups, inserts, and (for some AMQs) deletes. A query for an x in S is guaranteed to return "present." A query for x not in S returns "absent" with probability at least 1-epsilon, where epsilon is a tunable false positive probability. If a query returns "present," but x is not in S, then x is a false positive of the AMQ. Because AMQs have a nonzero probability of false-positives, they require far less space than explicit set representations. AMQs are widely used to speed up dictionaries that are stored remotely (e.g., on disk/across a network). Most AMQs offer weak guarantees on the number of false positives they will return on a sequence of queries. The false-positive probability of epsilon holds only for a single query. It is easy for an adversary to drive an AMQ's false-positive rate towards 1 by simply repeating false positives. This paper shows what it takes to get strong guarantees on the number of false positives. We say that an AMQs is adaptive if it guarantees a false-positive probability of epsilon for every query, regardless of answers to previous queries. First, we prove that it is impossible to build a small adaptive AMQ, even when the AMQ is immediately told whenever it returns a false positive. We then show how to build an adaptive AMQ that partitions its state into a small local component and a larger remote component. In addition to being adaptive, the local component of our AMQ dominates existing AMQs in all regards. It uses optimal space up to lower-order terms and supports queries and updates in worst-case constant time, with high probability. Thus, we show that adaptivity has no cost.


title: Can we observe fuzzballs or firewalls?

abstract: In the fuzzball paradigm the information paradox is resolved because the black hole is replaced by an object with no horizon. One may therefore ask if observations can distinguish a traditional hole from a fuzzball. We find: (a) It is very difficult to reflect quanta off the surface of a fuzzball, mainly because geodesics starting near the horizon radius cannot escape to infinity unless their starting direction is very close to radial. (b) If infalling particles interact with the emerging radiation before they are engulfed by the horizon, then we say that we have a `firewall behavior'. We consider several types of interactions, but find no evidence for firewall behavior in any theory that obeys causality. (c) Photons with wavelengths {\it larger} than the black hole radius can be scattered off the emerging radiation, but a very small fraction of the backscattered photons will be able to escape back to infinity.


title: Triangle-roundedness in matroids

abstract: A matroid $N$ is said to be triangle-rounded in a class of matroids $\mathcal{M}$ if each $3$-connected matroid $M\in \mathcal{M}$ with a triangle $T$ and an $N$-minor has an $N$-minor with $T$ as triangle. Reid gave a result useful to identify such matroids as stated next: suppose that $M$ is a binary $3$-connected matroid with a $3$-connected minor $N$, $T$ is a triangle of $M$ and $e\in T\cap E(N)$; then $M$ has a $3$-connected minor $M'$ with an $N$-minor such that $T$ is a triangle of $M'$ and $|E(M')|\le |E(N)|+2$. We strengthen this result by dropping the condition that such element $e$ exists and proving that there is a $3$-connected minor $M'$ of $M$ with an $N$-minor $N'$ such that $T$ is a triangle of $M'$ and $E(M')-E(N')\subseteq T$. This result is extended to the non-binary case and, as an application, we prove that $M(K_5)$ is triangle-rounded in the class of the regular matroids.


title: Enlarged Controllability of Riemann-Liouville Fractional Differential Equations

abstract: We investigate exact enlarged controllability for time fractional diffusion systems of Riemann-Liouville type. The Hilbert uniqueness method is used to prove exact enlarged controllability for both cases of zone and pointwise actuators. A penalization method is given and the minimum energy control is characterized.


title: Scheduling Wireless Ad Hoc Networks in Polynomial Time Using Claw-free Conflict Graphs

abstract: In this paper, we address the scheduling problem in wireless ad hoc networks by exploiting the computational advantage that comes when such scheduling problems can be represented by claw-free conflict graphs. It is possible to formulate a scheduling problem of network coded flows as finding maximum weighted independent set (MWIS) in the conflict graph of the network. We consider activation of hyperedges in a hypergraph to model a wireless broadcast medium. We show that the conflict graph of certain wireless ad hoc networks are claw-free. It is known that finding MWIS of a general graph is NP-hard, but in a claw-free conflict graph, it is possible to apply Minty's or Faenza et al.'s algorithms in polynomial time. We discuss our approach on some sample networks.


title: On an integrable deformation of Kapustin-Witten systems

abstract: In this article we study an integrable deformation of the Kapustin-Witten equations. Using the Weyl-Wigner-Moyal-Groenewold description an integrable $\star$-deformation of a Kapustin-Witten system is obtained. Starting from known solutions of the original equations, some solutions to these deformed equations are obtained.


title: EW-tableaux, Le-tableaux, tree-like tableaux and the Abelian sandpile model

abstract: A EW-tableau is a certain 0/1-filling of a Ferrers diagram, corresponding uniquely to an acyclic orientation, with a unique sink, of a certain bipartite graph called a Ferrers graph. We give a bijective proof of a result of Ehrenborg and van Willigenburg showing that EW-tableaux of a given shape are equinumerous with permutations with a given set of excedances. This leads to an explicit bijection between EW-tableaux and the much studied Le-tableaux, as well as the tree-like tableaux introduced by Aval, Boussicault and Nadeau. We show that the set of EW-tableaux on a given Ferrers diagram are in 1-1 correspondence with the minimal recurrent configurations of the Abelian sandpile model on the corresponding Ferrers graph. Another bijection between EW-tableaux and tree-like tableaux, via spanning trees on the corresponding Ferrers graphs, connects the tree-like tableaux to the minimal recurrent configurations of the Abelian sandpile model on these graphs. We introduce a variation on the EW-tableaux, which we call NEW-tableaux, and present bijections from these to Le-tableaux and tree-like tableaux. We also present results on various properties of and statistics on EW-tableaux and NEW-tableaux, as well as some open problems on these.


title: Fooling Views: A New Lower Bound Technique for Distributed Computations under Congestion

abstract: We introduce a novel lower bound technique for distributed graph algorithms under bandwidth limitations. We define the notion of \emph{fooling views} and exemplify its strength by proving two new lower bounds for triangle membership in the CONGEST(B) model: (i) Any $1$-round algorithm requires $B\geq c\Delta \log n$ for a constant $c>0$. (ii) If $B=1$, even in constant-degree graphs any algorithm must take $\Omega(\log^* n)$ rounds. The implication of the former is the first proven separation between the LOCAL and the CONGEST models for deterministic triangle membership. The latter result is the first non-trivial lower bound on the number of rounds required, even for \emph{triangle detection}, under limited bandwidth. All previous known techniques are provably incapable of giving these bounds. We hope that our approach may pave the way for proving lower bounds for additional problems in various settings of distributed computing for which previous techniques do not suffice.


title: Improving Power Flow Robustness via Circuit Simulation Methods

abstract: Recent advances in power system simulation have included the use of complex rectangular current and voltage (I-V) variables for solving the power flow and three-phase power flow problems. This formulation has demonstrated superior convergence properties over conventional polar coordinate based formulations for three-phase power flow, but has failed to replicate the same advantages for power flow in general due to convergence issues with systems containing PV buses. In this paper, we demonstrate how circuit simulation techniques can provide robust convergence for any complex I-V formulation that is derived from our split equivalent circuit representation. Application to power grid test systems with up to 10000 buses demonstrates consistent global convergence to the correct physical solution from arbitrary initial conditions.


title: Trustware: A Device-based Protocol for Verifying Client Legitimacy

abstract: Online services commonly attempt to verify the legitimacy of users with CAPTCHAs. However, CAPTCHAs are annoying for users, often difficult for users to solve, and can be defeated using cheap labor or, increasingly, with improved algorithms. We propose a new protocol for clients to prove their legitimacy, allowing the client's devices to vouch for the client. The client's devices, and those in close proximity, provide a one-time passcode that is verified by the device manufacturer. This verification proves that the client has physical access to expensive and trusted devices, vouching for the client's legitimacy.


title: Upper-twin-peak quasiperiodic oscillation in x-ray binaries and the energy from tidal circularization of relativistic orbits

abstract: High frequency quasiperiodic oscillations (HF QPOs) detected in the power spectra of low mass x-ray binaries (LMXBs) could unveil the fingerprints of gravitation in strong field regime. Using the energy-momentum relation we calculate the energy a clump of plasma orbiting in the accretion disk releases during circularization of its slightly eccentric relativistic orbit. Following previous works, we highlight the strong tidal force as mechanism to dissipate such energy. We show that tides acting on the clump are able to reproduce the observed coherence of the upper HF QPO seen in LMXBs with a neutron star (NS). The quantity of energy released by the clump and relativistic boosting might give a modulation amplitude in agreement with that observed in the upper HF QPO. Both the amplitude and coherence of the upper HF QPO in NS LMXBs could allow us to disclose, for the first time, the tidal circularization of relativistic orbits occurring around a neutron star.


title: Real-Time Feedback-Based Optimization of Distribution Grids: A Unified Approach

abstract: This paper develops an algorithmic framework for real-time optimization of distribution-level distributed energy resources (DERs). The proposed framework optimizes the operation of both DERs that are individually controllable and groups of DERs (i.e., aggregations) at an electrical point of connection that are jointly controlled. From an electrical standpoint, wye and delta single- and multi-phase connections are accounted for. The algorithm enables (groups of) DERs to pursue given performance objectives, while adjusting their (aggregate) powers to respond to services requested by grid operators and to maintain electrical quantities within engineering limits. The design of the algorithm leverages a time-varying bi-level problem formulation capturing various performance objectives and engineering constraints, and an online implementation of primal-dual projected-gradient methods. The gradient steps are suitably modified to accommodate appropriate measurements from the distribution network and the DERs. By virtue of this approach, the resultant algorithm can cope with inaccuracies in the distribution-system modeling, it avoids pervasive metering to gather the state of non-controllable resources, and it naturally lends itself to a distributed implementation. Analytical stability and convergence claims are established in terms of tracking of the solution of the formulated time-varying optimization problem. The proposed method is tested in a realistic distribution system with real data.


title: The Effect of Communication on Noncooperative Multiplayer Multi-Armed Bandit Problems

abstract: We consider decentralized stochastic multi-armed bandit problem with multiple players in the case of different communication probabilities between players. Each player makes a decision of pulling an arm without cooperation while aiming to maximize his or her reward but informs his or her neighbors in the end of every turn about the arm he or she pulled and the reward he or she got. Neighbors of players are determined according to an Erdos-Renyi graph with which is reproduced in the beginning of every turn. We consider i.i.d. rewards generated by a Bernoulli distribution and assume that players are unaware about the arms' probability distributions and their mean values. In case of a collision, we assume that only one of the players who is randomly chosen gets the reward where the others get zero reward. We study the effects of connectivity, the degree of communication between players, on the cumulative regret using well-known algorithms UCB1, epsilon-Greedy and Thompson Sampling.


title: Mutual Information in Frequency and its Application to Measure Cross-Frequency Coupling in Epilepsy

abstract: We define a metric, mutual information in frequency (MI-in-frequency), to detect and quantify the statistical dependence between different frequency components in the data, referred to as cross-frequency coupling and apply it to electrophysiological recordings from the brain to infer cross-frequency coupling. The current metrics used to quantify the cross-frequency coupling in neuroscience cannot detect if two frequency components in non-Gaussian brain recordings are statistically independent or not. Our MI-in-frequency metric, based on Shannon's mutual information between the Cramer's representation of stochastic processes, overcomes this shortcoming and can detect statistical dependence in frequency between non-Gaussian signals. We then describe two data-driven estimators of MI-in-frequency: one based on kernel density estimation and the other based on the nearest neighbor algorithm and validate their performance on simulated data. We then use MI-in-frequency to estimate mutual information between two data streams that are dependent across time, without making any parametric model assumptions. Finally, we use the MI-in- frequency metric to investigate the cross-frequency coupling in seizure onset zone from electrocorticographic recordings during seizures. The inferred cross-frequency coupling characteristics are essential to optimize the spatial and spectral parameters of electrical stimulation based treatments of epilepsy.


title: Capacity Upper Bounds for Deletion-Type Channels

abstract: We develop a systematic approach, based on convex programming and real analysis, for obtaining upper bounds on the capacity of the binary deletion channel and, more generally, channels with i.i.d. insertions and deletions. Other than the classical deletion channel, we give a special attention to the Poisson-repeat channel introduced by Mitzenmacher and Drinea (IEEE Transactions on Information Theory, 2006). Our framework can be applied to obtain capacity upper bounds for any repetition distribution (the deletion and Poisson-repeat channels corresponding to the special cases of Bernoulli and Poisson distributions). Our techniques essentially reduce the task of proving capacity upper bounds to maximizing a univariate, real-valued, and often concave function over a bounded interval. We show the following: 1. The capacity of the binary deletion channel with deletion probability $d$ is at most $(1-d)\log\varphi$ for $d\geq 1/2$, and, assuming the capacity function is convex, is at most $1-d\log(4/\varphi)$ for $d<1/2$, where $\varphi=(1+\sqrt{5})/2$ is the golden ratio. This is the first nontrivial capacity upper bound for any value of $d$ outside the limiting case $d\to 0$ that is fully explicit and proved without computer assistance. 2. We derive the first set of capacity upper bounds for the Poisson-repeat channel. 3. We derive several novel upper bounds on the capacity of the deletion channel. All upper bounds are maximums of efficiently computable, and concave, univariate real functions over a bounded domain. In turn, we upper bound these functions in terms of explicit elementary and standard special functions, whose maximums can be found even more efficiently (and sometimes, analytically, for example for $d=1/2$). Along the way, we develop several new techniques of potentially independent interest in information theory, probability, and mathematical analysis.


title: Space Time MUSIC: Consistent Signal Subspace Estimation for Wide-band Sensor Arrays

abstract: Wide-band Direction of Arrival (DOA) estimation with sensor arrays is an essential task in sonar, radar, acoustics, biomedical and multimedia applications. Many state of the art wide-band DOA estimators coherently process frequency binned array outputs by approximate Maximum Likelihood, Weighted Subspace Fitting or focusing techniques. This paper shows that bin signals obtained by filter-bank approaches do not obey the finite rank narrow-band array model, because spectral leakage and the change of the array response with frequency within the bin create \emph{ghost sources} dependent on the particular realization of the source process. Therefore, existing DOA estimators based on binning cannot claim consistency even with the perfect knowledge of the array response. In this work, a more realistic array model with a finite length of the sensor impulse responses is assumed, which still has finite rank under a space-time formulation. It is shown that signal subspaces at arbitrary frequencies can be consistently recovered under mild conditions by applying MUSIC-type (ST-MUSIC) estimators to the dominant eigenvectors of the wide-band space-time sensor cross-correlation matrix. A novel Maximum Likelihood based ST-MUSIC subspace estimate is developed in order to recover consistency. The number of sources active at each frequency are estimated by Information Theoretic Criteria. The sample ST-MUSIC subspaces can be fed to any subspace fitting DOA estimator at single or multiple frequencies. Simulations confirm that the new technique clearly outperforms binning approaches at sufficiently high signal to noise ratio, when model mismatches exceed the noise floor.


title: Comprehensive overview and assessment of miRNA target prediction tools in human and drosophila melanogaster

abstract: MicroRNAs (miRNAs) are small non-coding RNAs that control gene expression at the post-transcriptional level through complementary base pairing with the target mRNA, leading to mRNA degradation and blocking translation process. Any dysfunctions of these small regulatory molecules have been linked with the development and progression of several diseases. Therefore, it is necessary to reliably predict potential miRNA targets. A large number of computational prediction tools have been developed which provide a faster way to find putative miRNA targets, but at the same time their results are often inconsistent. Hence, finding a reliable, functional miRNA target is still a challenging task. Also, each tool is equipped with different algorithms, and it is difficult for the biologists to know which tool is the best choice for their study. This paper briefly describes fundamental of miRNA target prediction algorithms, discuss frequently used prediction tools, and further, the performance of frequently used prediction tools have been assessed using experimentally validated high confident mature miRNAs and their targets for two organisms Human and Drosophila Melanogaster. Both Drosophila Melanogaster and Human supported miRNA target prediction tools have been evaluated separately to find out best performing tool for each of these two organisms. In the human dataset, TargetScan showed the best results amongst the other predictors followed by the miRmap and microT, whereas in the D. Melanogaster dataset, MicroT tool showed the best performance followed by the TargetScan in the comparison of other tools.


title: Aharonov-Casher effect and quantum transport in graphene based nano rings: A self-consistent Born approximation

abstract: In this study, Rashba coupling induced Aharonov-Casher effect in a graphene based nano ring is investigated theoretically. The graphene based nano ring is considered as a central device connected to semi-infinite graphene nano ribbons. In the presence of the Rashba spin-orbit interaction, two armchair shaped edge nano ribbons are considered as semi-infinite leads. The non-equilibrium Green's function approach is utilized to obtain the quantum transport characteristics of the system. The relaxation and dephasing mechanisms within the self-consistent Born approximation is scrutinized. The Lopez-Sancho method is also applied to obtain the self-energy of the leads. We unveil that the non-equilibrium current of the system possesses measurable Aharonov-Casher oscillations with respect to the Rashba coupling strength. In addition, we have observed the same oscillations in dilute impurity regimes in which amplitude of the oscillations is shown to be suppressed as a result of the relaxations.


title: Strategies for Conceptual Change in Convolutional Neural Networks

abstract: A remarkable feature of human beings is their capacity for creative behaviour, referring to their ability to react to problems in ways that are novel, surprising, and useful. Transformational creativity is a form of creativity where the creative behaviour is induced by a transformation of the actor's conceptual space, that is, the representational system with which the actor interprets its environment. In this report, we focus on ways of adapting systems of learned representations as they switch from performing one task to performing another. We describe an experimental comparison of multiple strategies for adaptation of learned features, and evaluate how effectively each of these strategies realizes the adaptation, in terms of the amount of training, and in terms of their ability to cope with restricted availability of training data. We show, among other things, that across handwritten digits, natural images, and classical music, adaptive strategies are systematically more effective than a baseline method that starts learning from scratch.


title: Random Forests and Networks Analysis

abstract: D. Wilson~\cite{[Wi]} in the 1990's described a simple and efficient algorithm based on loop-erased random walks to sample uniform spanning trees and more generally weighted trees or forests spanning a given graph. This algorithm provides a powerful tool in analyzing structures on networks and along this line of thinking, in recent works~\cite{AG1,AG2,ACGM1,ACGM2} we focused on applications of spanning rooted forests on finite graphs. The resulting main conclusions are reviewed in this paper by collecting related theorems, algorithms, heuristics and numerical experiments. A first foundational part on determinantal structures and efficient sampling procedures is followed by four main applications: 1) a random-walk-based notion of well-distributed points in a graph 2) how to describe metastable dynamics in finite settings by means of Markov intertwining dualities 3) coarse graining schemes for networks and associated processes 4) wavelets-like pyramidal algorithms for graph signals.


title: Sparse Kneser graphs are Hamiltonian

abstract: For integers $k\geq 1$ and $n\geq 2k+1$, the Kneser graph $K(n,k)$ is the graph whose vertices are the $k$-element subsets of $\{1,\ldots,n\}$ and whose edges connect pairs of subsets that are disjoint. The Kneser graphs of the form $K(2k+1,k)$ are also known as the odd graphs. We settle an old problem due to Meredith, Lloyd, and Biggs from the 1970s, proving that for every $k\geq 3$, the odd graph $K(2k+1,k)$ has a Hamilton cycle. This and a known conditional result due to Johnson imply that all Kneser graphs of the form $K(2k+2^a,k)$ with $k\geq 3$ and $a\geq 0$ have a Hamilton cycle. We also prove that $K(2k+1,k)$ has at least $2^{2^{k-6}}$ distinct Hamilton cycles for $k\geq 6$. Our proofs are based on a reduction of the Hamiltonicity problem in the odd graph to the problem of finding a spanning tree in a suitably defined hypergraph on Dyck words.


title: Optimized State Space Grids for Abstractions

abstract: The practical impact of abstraction-based controller synthesis methods is currently limited by the immense computational effort for obtaining abstractions. In this note we focus on a recently proposed method to compute abstractions whose state space is a cover of the state space of the plant by congruent hyper-intervals. The problem of how to choose the size of the hyper-intervals so as to obtain computable and useful abstractions is unsolved. This note provides a twofold contribution towards a solution. Firstly, we present a functional to predict the computational effort for the abstraction to be computed. Secondly, we propose a method for choosing the aspect ratio of the hyper-intervals when their volume is fixed. More precisely, we propose to choose the aspect ratio so as to minimize a predicted number of transitions of the abstraction to be computed, in order to reduce the computational effort. To this end, we derive a functional to predict the number of transitions in dependence of the aspect ratio. The functional is to be minimized subject to suitable constraints. We characterize the unique solvability of the respective optimization problem and prove that it transforms, under appropriate assumptions, into an equivalent convex problem with strictly convex objective. The latter problem can then be globally solved using standard numerical methods. We demonstrate our approach on an example.


title: n-Butterflies: Algebraically Modeling Morphisms between Homotopy n-Types

abstract: Crossed modules are known to be a model of pointed connected homotopy 2-types; formally, the homotopy category of crossed modules is equivalent to the category of pointed connected homotopy 2-types. In forming the homotopy category of crossed modules, one must resort to computing derived morphisms using non-constructive topological methods, but Behrang Noohi was able to find an algebraic model of these derived morphisms called butterflies. The result is a completely algebraic model of pointed connected homotopy 2-types. Reduced crossed complexes are a generalization of crossed modules and model a subclass of pointed connected homotopy types. We will present algebraic objects called n-butterflies which satisfy similar properties to butterflies and begin to generalize the theory of butterflies to model morphisms of pointed connected homotopy n-types.


title: Instability of sliding Luttinger liquid

abstract: We revise a phase diagram for the sliding Luttinger liquid (SLL) of coupled one-dimensional quantum wires packed in two- or three-dimensional arrays. We analyse whether physically justifiable (reasonable) inter-wire interactions, i.e. either the screened Coulomb or "Coulomb-blockade" type interactions, stabilise the SLL phase. Calculating the scaling dimensions of the most relevant perturbations (the inter-wire single-particle hybridisation, charge-density wave, and superconducting inter-wire couplings), we find that their combination always destroys the SLL phase for the repulsive intra-wire interaction. However, suppressing the inter-wire tunnelling (when the charge-density wave is the only remaining perturbation), one can observe a stability region emerging due to the inter-wire interaction.


title: Entangled massive mechanical oscillators

abstract: An entangled quantum state of two or more particles or objects exhibits some of the most peculiar features of quantum mechanics. Entangled systems cannot be described independently of each other even though they may have an arbitrarily large spatial separation. Reconciling this property with the inherent uncertainty in quantum states is at the heart of some of the most famous debates in the development of quantum theory. Nonetheless, entanglement nowadays has a solid theoretical and experimental foundation, and it is the crucial resource behind many emerging quantum technologies. Entanglement has been demonstrated for microscopic systems, such as with photons, ions, and electron spins, and more recently in microwave and electromechanical devices. For macroscopic objects, however, entanglement becomes exceedingly fragile towards environmental disturbances. A major outstanding goal has been to create and verify the entanglement between the motional states of slowly-moving massive objects. Here, we carry out such an experimental demonstration, with the moving bodies realized as two micromechanical oscillators coupled to a microwave-frequency electromagnetic cavity that is used to create and stabilise the entanglement of the centre-of-mass motion of the oscillators. We infer the existence of entanglement in the steady state by combining measurement of correlated mechanical fluctuations with an analysis of the microwaves emitted from the cavity. Our work qualitatively extends the range of entangled physical systems, with implications in quantum information processing, precision measurement, and tests of the limits of quantum mechanics.


title: Nano-actuator concepts based on ferroelectric switching

abstract: The concept of a nano-actuator that uses ferroelectric switching to generate enhanced displacements is explored using a phase-field model. The actuator has a ground state in the absence of applied electric field that consists of polarized domains oriented to form a flux closure. When electric field is applied, the polarization reorients through ferroelectric switching and produces strain. The device is mechanically biased by a substrate and returns to the ground state when electric field is removed, giving a repeatable actuation cycle. The mechanical strains which accompany ferroelectric switching are several times greater than the strains attained due to the piezoelectric effect alone. We also demonstrate a second design of actuator in which the displacements are further increased by the bending of a ferroelectric beam. Phase-field modelling is used to track the evolution of domain patterns in the devices during the actuation cycle, and to study the design parameters so as to enhance the achievable actuation strains.


title: An entropy production based method for determining the position diffusion's coefficient of a quantum Brownian motion

abstract: Quantum Brownian motion of a harmonic oscillator in the Markovian approximation is described by the respective Caldeira-Leggett master equation. This master equation can be brought into Lindblad form by adding a position diffusion term to it. The coefficient of this term is either customarily taken to be the lower bound dictated by the Dekker inequality or determined by more detailed derivations on the linearly damped quantum harmonic oscillator. In this paper, we explore the theoretical possibilities of determining the position diffusion term's coefficient by analyzing the entropy production of the master equation.


title: Scalar Hair Around Charged Black Holes in Einstein-Gauss-Bonnet Gravity

abstract: We explore charged black hole solutions in Einstein-Gauss-Bonnet gravity in five dimensions, with a charged scalar hair. We interpret such hairy black holes as the final state of the superradiant instability previously reported for this system. We explore the relation of the hairy black hole solutions with the non-backreacting quasibound states and scalar clouds, as well as with the boson star solutions.