title: Towards deriving the AdS/CFT correspondence

abstract: I present the sketch of a "physicist's" derivation of the AdS/CFT correspondence for the original pair, string theory in $AdS_5\times S^5$ vs. ${\cal N}=4$ SYM, based on the pp wave limit, and deviations from it. I show that one can reverse the logic, and derive the action of ${\cal N}=4$ SYM, as kinetic terms plus vertices, as well as the elements of its path integral, from string theory on the pp wave. One can also treat consistently deviations from the "strings on the pp wave" limit, starting from the SYM side, and a priori reconstruct the full $AdS_5\times S^5$ geometry perturbatively, as well as full perturbative string theory on it.


title: Profitable Bayesian implementation in one-shot mechanism settings

abstract: In the mechanism design theory, a designer would like to implement a desired social choice function which specifies her favorite outcome for each possible profile of all agents' types. Traditionally, the designer may be in a dilemma in the sense that even if she is not satisfied with some outcome with low profit, she has to announce it because she must obey the mechanism designed by herself. In this paper, we investigate a case where the designer can induce each agent to adjust his type in a one-shot mechanism. We propose that for a profitable Bayesian implementable social choice function, the designer may escape from the above-mentioned dilemma by spending the optimal adjustment cost and obtain a higher profit. Finally, we construct an example to show that the designer can breakthrough the limit of expected profit which she can obtain at most in the traditional optimal auction model.


title: Fast minimization of structured convex quartics

abstract: We propose faster methods for unconstrained optimization of \emph{structured convex quartics}, which are convex functions of the form \begin{equation*} f(x) = c^\top x + x^\top \mathbf{G} x + \mathbf{T}[x,x,x] + \frac{1}{24} \mathopen\| \mathbf{A} x \mathclose\|_4^4 \end{equation*} for $c \in \mathbb{R}^d$, $\mathbf{G} \in \mathbb{R}^{d \times d}$, $\mathbf{T} \in \mathbb{R}^{d \times d \times d}$, and $\mathbf{A} \in \mathbb{R}^{n \times d}$ such that $\mathbf{A}^\top \mathbf{A} \succ 0$. In particular, we show how to achieve an $\epsilon$-optimal minimizer for such functions with only $O(n^{1/5}\log^{O(1)}(\mathcal{Z}/\epsilon))$ calls to a gradient oracle and linear system solver, where $\mathcal{Z}$ is a problem-dependent parameter. Our work extends recent ideas on efficient tensor methods and higher-order acceleration techniques to develop a descent method for optimizing the relevant quartic functions. As a natural consequence of our method, we achieve an overall cost of $O(n^{1/5}\log^{O(1)}(\mathcal{Z} / \epsilon))$ calls to a gradient oracle and (sparse) linear system solver for the problem of $\ell_4$-regression when $\mathbf{A}^\top \mathbf{A} \succ 0$, providing additional insight into what may be achieved for general $\ell_p$-regression. Our results show the benefit of combining efficient higher-order methods with recent acceleration techniques for improving convergence rates in fundamental convex optimization problems.


title: Causal faster than light travel from travel-localized second time coordinate

abstract: I present a {\em general relativistic} model with a compactified second time coordinate that {\em a priori} allows for causal, yet faster than light travel in the background of a FLRW geometry, by local modification of a higher dimensional background geometry, specifically with respect to the radius of the compactified time coordinate. The modification can be induced via the fields of the model. I show that one cannot convert (as possible in special relativistic models, or simple general relativistic models) the super-luminality into closed time-like loops violating causality, due to a novel combination of factors, at least for $v_{\rm max}\leq \sqrt{2}$. The physics of the second time is constrained by postulates derived from reasonable physical assumptions. I comment on the possibility of experimental implications of the model.


title: Congruences for Ap\'ery numbers $\beta_{n}=\sum_{k=0}^{n}\binom{n}{k}^2\binom{n+k}{k}$

abstract: In this paper we establish some congruences involving the Ap\'ery numbers $\beta_{n}=\sum_{k=0}^{n}\binom{n}{k}^2\binom{n+k}{k}$ $(n=0,1,2,\ldots)$. For example, we show that $$\sum_{k=0}^{n-1}(11k^2+13k+4)\beta_k\equiv0\pmod{2n^2}$$ for any positive integer $n$, and $$\sum_{k=0}^{p-1}(11k^2+13k+4)\beta_k\equiv 4p^2+4p^7B_{p-5}\pmod{p^8}$$ for any prime $p>3$, where $B_{p-5}$ is the $(p-5)$th Bernoulli number. We also present certain relations between congruence properties of the two kinds of A\'pery numbers, $\beta_n$ and $A_n=\sum_{k=0}^n\binom nk^2\binom{n+k}k^2$.


title: Learning Not to Learn: Training Deep Neural Networks with Biased Data

abstract: We propose a novel regularization algorithm to train deep neural networks, in which data at training time is severely biased. Since a neural network efficiently learns data distribution, a network is likely to learn the bias information to categorize input data. It leads to poor performance at test time, if the bias is, in fact, irrelevant to the categorization. In this paper, we formulate a regularization loss based on mutual information between feature embedding and bias. Based on the idea of minimizing this mutual information, we propose an iterative algorithm to unlearn the bias information. We employ an additional network to predict the bias distribution and train the network adversarially against the feature embedding network. At the end of learning, the bias prediction network is not able to predict the bias not because it is poorly trained, but because the feature embedding network successfully unlearns the bias information. We also demonstrate quantitative and qualitative experimental results which show that our algorithm effectively removes the bias information from feature embedding.


title: The algebraic matroid of the funtf variety

abstract: A finite unit norm tight frame is a collection of $r$ vectors in $\mathbb{R}^n$ that generalizes the notion of orthonormal bases. The affine finite unit norm tight frame variety is the Zariski closure of the set of finite unit norm tight frames. Determining the fiber of a projection of this variety onto a set of coordinates is called the algebraic finite unit norm tight frame completion problem. Our techniques involve the algebraic matroid of an algebraic variety, which encodes the dimensions of fibers of coordinate projections. This work characterizes the bases of the algebraic matroid underlying the variety of finite unit norm tight frames in $\mathbb{R}^3$. Partial results towards similar characterizations for finite unit norm tight frames in $\mathbb{R}^n$ with $n \ge 4$ are also given. We provide a method to bound the degree of the projections based off of combinatorial~data.


title: Single Flux Quantum Based Ultrahigh Speed Spiking Neuromorphic Processor Architecture

abstract: Artificial neural networks inspired by brain operations can improve the possibilities of solving complex problems more efficiently. Today's computing hardware, on the other hand, is mainly based on von Neumann architecture and CMOS technology, which is inefficient at implementing neural networks. For the first time, we propose an ultrahigh speed, spiking neuromorphic processor architecture built upon single flux quantum (SFQ) based artificial neurons (JJ-Neuron). Proposed architecture has the potential to provide higher performance and power efficiency over the state of the art including CMOS, memristors and nanophotonics devices. JJ-Neuron has the ultrafast spiking capability, trainability with commodity design software even after fabrication and compatibility with commercial CMOS and SFQ foundry services. We experimentally demonstrate the soma part of the JJ-Neuron for various activation functions together with peripheral SFQ logic gates. Then, the neural network is trained for the IRIS dataset and we have shown 100% match with the results of the offline training with 1.2x${10}^{10}$ synaptic operations per second (SOPS) and 8.57x${10}^{11}$ SOPS/W performance and power efficiency, respectively. In addition, scalability for ${10}^{18}$ SOPS and ${10}^{17}$ SOPS/W is shown which is at least five orders of magnitude more efficient than the state of the art CMOS circuits and one order of magnitude more efficient than estimations of nanophotonics-based architectures.


title: Non-equilibrium theories of rarefied gases: internal variables and extended thermodynamics

abstract: Limits of classical constitutive laws such as Fourier and Navier-Stokes equations are discovered since decades. However, the proper extensions -- generalizations of these are not unique. They differ in the underlying physical principles and in modeling capabilities. In this paper, two different theories are discussed and compared to each other, namely the kinetic theory-based Rational Extended Thermodynamics (RET) and non-equilibrium thermodynamics with internal variables (NET-IV). First, the paper starts with the case of rigid heat conductors summarizing the result achieved so far. Then a typical example of compressible bodies is shown by presenting the first generalization for rarefied gases, called Meixner's theory. It is further extended using generalized entropy current in the framework of NET-IV. It is shown how its structure is related to RET and how the compatibility between them can be acquired.


title: Quantized-Dialog Language Model for Goal-Oriented Conversational Systems

abstract: We propose a novel methodology to address dialog learning in the context of goal-oriented conversational systems. The key idea is to quantize the dialog space into clusters and create a language model across the clusters, thus allowing for an accurate choice of the next utterance in the conversation. The language model relies on n-grams associated with clusters of utterances. This quantized-dialog language model methodology has been applied to the end-to-end goal-oriented track of the latest Dialog System Technology Challenges (DSTC6). The objective is to find the correct system utterance from a pool of candidates in order to complete a dialog between a user and an automated restaurant-reservation system. Our results show that the technique proposed in this paper achieves high accuracy regarding selection of the correct candidate utterance, and outperforms other state-of-the-art approaches based on neural networks.


title: Band signatures for strong nonlinear Hall effect in bilayer WTe$_2$

abstract: Unconventional responses upon breaking discrete or crystal symmetries open avenues for exploring emergent physical systems and materials. By breaking inversion symmetry, a nonlinear Hall signal can be observed, even in the presence of time-reversal symmetry, quite different from the conventional Hall effects. Low-symmetry two-dimensional materials are promising candidates for the nonlinear Hall effect, but it is less known when a strong nonlinear Hall signal can be measured, in particular, its connections with the band-structure properties. By using model analysis, we find prominent nonlinear Hall signals near tilted band anticrossings and band inversions. These band signatures can be used to explain the strong nonlinear Hall effect in the recent experiments on two-dimensional WTe$_{2}$. This Letter will be instructive not only for analyzing the transport signatures of the nonlinear Hall effect but also for exploring unconventional responses in emergent materials.


title: Informative Object Annotations: Tell Me Something I Don't Know

abstract: Capturing the interesting components of an image is a key aspect of image understanding. When a speaker annotates an image, selecting labels that are informative greatly depends on the prior knowledge of a prospective listener. Motivated by cognitive theories of categorization and communication, we present a new unsupervised approach to model this prior knowledge and quantify the informativeness of a description. Specifically, we compute how knowledge of a label reduces uncertainty over the space of labels and utilize this to rank candidate labels for describing an image. While the full estimation problem is intractable, we describe an efficient algorithm to approximate entropy reduction using a tree-structured graphical model. We evaluate our approach on the open-images dataset using a new evaluation set of 10K ground-truth ratings and find that it achieves ~65% agreement with human raters, largely outperforming other unsupervised baseline approaches.


title: Rigorous results for the distribution of money on connected graphs (models with debts)

abstract: In this paper, we continue our analysis of spatial versions of agent-based models for the dynamics of money that have been introduced in the statistical physics literature, focusing on two models with debts. Both models consist of systems of economical agents located on a finite connected graph representing a social network. Each agent is characterized by the number of coins she has, which can be negative in case she is in debt, and each monetary transaction consists in one coin moving from one agent to one of her neighbors. In the first model, that we name the model with individual debt limit, the agents are allowed to individually borrow up to a fixed number of coins. In the second model, that we name the model with collective debt limit, agents can borrow coins from a central bank as long as the bank is not empty, with reimbursements occurring each time an agent in debt receives a coin. Based on numerical simulations of the models on complete graphs, it was conjectured that, in the large population/temperature limits, the distribution of money converges to a shifted exponential distribution for the model with individual debt limit, and to an asymmetric Laplace distribution for the model with collective debt limit. In this paper, we prove exact formulas for the distribution of money that are valid for all possible social networks. Taking the large population/temperature limits in the formula found for the model with individual debt limit, we prove convergence to the shifted exponential distribution, thus establishing the first conjecture. Simplifying the formula found for the model with collective debt limit is more complicated, but using a computer to plot this formula shows an almost perfect fit with the Laplace distribution, which strongly supports the second conjecture.


title: A Review on The Use of Deep Learning in Android Malware Detection

abstract: Android is the predominant mobile operating system for the past few years. The prevalence of devices that can be powered by Android magnetized not merely application developers but also malware developers with criminal intention to design and spread malicious applications that can affect the normal work of Android phones and tablets, steal personal information and credential data, or even worse lock the phone and ask for ransom. Researchers persistently devise countermeasures strategies to fight back malware. One of these strategies applied in the past five years is the use of deep learning methods in Android malware detection. This necessitates a review to inspect the accomplished work in order to know where the endeavors have been established, identify unresolved problems, and motivate future research directions. In this work, an extensive survey of static analysis, dynamic analysis, and hybrid analysis that utilized deep learning methods are reviewed with an elaborated discussion on their key concepts, contributions, and limitations.


title: On contact invariants of non-simply connected Gorenstein toric contact manifolds

abstract: The first two authors showed in~\cite{AM1} how the Conley-Zehnder index of any contractible periodic Reeb orbit of a non-degenerate toric contact form on a good toric contact manifold with zero first Chern class, i.e. a Gorenstein toric contact manifold, can be explicitly computed using moment map data. In this paper we show that the same explicit method can be used to compute Conley-Zehnder indices of non-contractible periodic Reeb orbits. Under appropriate conditions, the (finite) number of such orbits in a given free homotopy class and with a given index is a contact invariant of the underlying contact manifold. We compute these invariants for two sets of examples that satisfy these conditions: $5$-dimensional contact manifolds that arise as unit cosphere bundles of $3$-dimensional lens spaces, and $2n+1$-dimensional Gorenstein contact lens spaces. As applications, we will see that these invariants can be used to show that diffeomorphic lens spaces might not be contactomorphic and that there are homotopy classes of diffeomorphisms of some lens spaces that do not contain any contactomorphism. Following a suggestion by one referee, we will also see that this type of applications can be proved alternatively by looking at the total Chern class of these canonical contact structures on lens spaces.


title: Crossing invariant correlation functions at $c=1$ from isomonodromic $\tau$ functions

abstract: We present an approach that gives rigorous construction of a class of crossing invariant functions in $c=1$ CFTs from the weakly invariant distributions on the moduli space $\mathcal M_{0,4}^{SL(2,\mathbb{C})}$ of $SL(2,\mathbb{C})$ flat connections on the sphere with four punctures. By using this approach we show how to obtain correlation functions in the Ashkin-Teller and the Runkel-Watts theory. Among the possible crossing-invariant theories, we obtain also the analytic Liouville theory, whose consistence was assumed only on the basis of numerical tests.


title: Reasoning About Safety-Critical Information Flow Between Pilot and Computer

abstract: This paper presents research results that develop a dynamic logic for reasoning about safety-critical information flow among humans and computers. The logic advances previous efforts to develop logics of agent knowledge, which make assumptions that are too strong for realistic human agents. We introduce Dynamic Agent Safety Logic (DASL), based on Dynamic Epistemic Logic (DEL), with extensions to account for safe actions, belief, and the logical relationships among knowledge, belief, and safe action. With this logic we can infer which safety-critical information a pilot is missing when executing an unsafe action. We apply the logic to the Air France 447 incident as a case study and provide a mechanization of the case study in the Coq proof assistant.


title: Arbitrary Lagrangian-Eulerian discontinuous Galerkin method for conservation laws on moving simplex meshes

abstract: In Klingenberg, Schn\"ucke and Xia (Math. Comp. 86 (2017), 1203-1232) an arbitrary Lagrangian-Eulerian discontinuous Galerkin (ALE-DG) method to solve conservation laws has been developed and analyzed. In this paper, the ALE-DG method will be extended to several dimensions. The method will be designed for simplex meshes. This will ensure that the method satisfies the geometric conservation law, if the accuracy of the time integrator is not less than the value of the spatial dimension. For the semi-discrete method the L2-stability will be proven. Furthermore, an error estimate which provides the suboptimal (k+1/2) convergence with respect to the L-infinity-norm will be presented, when an arbitrary monotone flux is used and for each cell the approximating functions are given by polynomials of degree $k$. The two dimensional fully-discrete explicit method will be combined with the bound preserving limiter developed by Zhang, Xia and Shu in (J. Sci. Comput. 50 (2012), 29-62). This limiter does not affect the high order accuracy of a numerical method. Then, for the ALE-DG method revised by the limiter the validity of a discrete maximum principle will be proven. The numerical stability, robustness and accuracy of the method will be shown by a variety of two dimensional computational experiments on moving triangular meshes.


title: Generalized frame operator distance problems

abstract: Let $S\in\mathcal{M}_d(\mathbb{C})^+$ be a positive semidefinite $d\times d$ complex matrix and let $\mathbf a=(a_i)_{i\in\mathbb{I}_k}\in \mathbb{R}_{>0}^k$, indexed by $\mathbb{I}_k=\{1,\ldots,k\}$, be a $k$-tuple of positive numbers. Let $\mathbb T_{d}(\mathbf a )$ denote the set of families $\mathcal G=\{g_i\}_{i\in\mathbb{I}_k}\in (\mathbb{C}^d)^k$ such that $\|g_i\|^2=a_i$, for $i\in\mathbb{I}_k$; thus, $\mathbb T_{d}(\mathbf a )$ is the product of spheres in $\mathbb{C}^d$ endowed with the product metric. For a strictly convex unitarily invariant norm $N$ in $\mathcal{M}_d(\mathbb{C})$, we consider the generalized frame operator distance function $\Theta_{( N \, , \, S\, , \, \mathbf a)}$ defined on $\mathbb T_{d}(\mathbf a )$, given by $$ \Theta_{( N \, , \, S\, , \, \mathbf a)}(\mathcal G) =N(S-S_{\mathcal G }) \quad \text{where} \quad S_{\mathcal G}=\sum_{i\in\mathbb{I}_k} g_i\,g_i^*\in\mathcal{M}_d(\mathbb{C})^+\,. $$ In this paper we determine the geometrical and spectral structure of local minimizers $\mathcal G_0\in\mathbb T_{d}(\mathbf a )$ of $\Theta_{( N \, , \, S\, , \, \mathbf a)}$. In particular, we show that local minimizers are global minimizers, and that these families do not depend on the particular choice of $N$.


title: A Poisson-Gaussian Denoising Dataset with Real Fluorescence Microscopy Images

abstract: Fluorescence microscopy has enabled a dramatic development in modern biology. Due to its inherently weak signal, fluorescence microscopy is not only much noisier than photography, but also presented with Poisson-Gaussian noise where Poisson noise, or shot noise, is the dominating noise source. To get clean fluorescence microscopy images, it is highly desirable to have effective denoising algorithms and datasets that are specifically designed to denoise fluorescence microscopy images. While such algorithms exist, no such datasets are available. In this paper, we fill this gap by constructing a dataset - the Fluorescence Microscopy Denoising (FMD) dataset - that is dedicated to Poisson-Gaussian denoising. The dataset consists of 12,000 real fluorescence microscopy images obtained with commercial confocal, two-photon, and wide-field microscopes and representative biological samples such as cells, zebrafish, and mouse brain tissues. We use image averaging to effectively obtain ground truth images and 60,000 noisy images with different noise levels. We use this dataset to benchmark 10 representative denoising algorithms and find that deep learning methods have the best performance. To our knowledge, this is the first real microscopy image dataset for Poisson-Gaussian denoising purposes and it could be an important tool for high-quality, real-time denoising applications in biomedical research.


title: Clifford algebra, isoparametric foliation and related geometric constructions

abstract: Based on representation theory of Clifford algebra, Ferus, Karcher and M\"{u}nzner constructed a series of isoparametric foliations. In this paper, we will survey recent studies on isoparametric hypersurfaces of OT-FKM type and investigate related geometric constructions with mean curvature flow.


title: Pitcher Plant Inspired Biomimetic Liquid Infused Slippery Surface Using Taro Leaf

abstract: Bio-inspired anti-wetting surfaces, such as lotus leaf or pitcher plant, have led to the development of stable liquid infused slippery surfaces for various scientific applications. The present work demonstrates the use of biomimetic superhydrophobic surface (inspired from taro leaf) for fabrication of a stable air-liquid film. The taro leaf replica is fabricated on PDMS using two step soft-molding technique, where microstructures of the replicated surface are used to retain silicone oil layer to form a stable slippery surface. The fabricated surface exhibits a low contact angle hysteresis (CAH) of 2{\deg}, with sliding angle (SA) of 1.1{\deg}, which further affirms the super-slippery nature of the surface. Furthermore, it also shows excellent self-repairing ability, thermal stability and long-term durability of the oil coating against high shear rates, high impact droplets etc. We thus envisage that the present method of fabrication of slippery surface is simple and economical, and thus useful for various applications such as water drag reduction, self-cleaning, anti-fogging, anti-fouling etc.


title: Deep and persistent spectral holes in Tm-doped yttrium orthosilicate for imaging applications

abstract: With their optical wavelength in the near infrared (790-800nm) and their unique spectroscopic properties at cryogenic temperatures, thulium-doped crystals are at the center of many architectures linked to classical signal processing and quantum information. In this work, we focus on Tm-doped YSO, a compound that was left aside in the mid-1990s due to its rather short optical coherence lifetime. By means of time-resolved hole-burning spectroscopy, we investigate the anisotropic enhanced nuclear Zeeman effect and demonstrate deep, sub-MHz, persistent spectral hole burning under specific magnetic field orientation and magnitude. By estimating the experimental parameters corresponding to a real-scale ultrasound optical tomography setup using Tm:YSO as a spectral filter, we validate Tm:YSO as a promising compound for medical imaging in the human body.


title: Connected Projections of Configuration Spaces of Linkages

abstract: We show that any compact connected semialgebraic set is the projection of a connected component of the configuration space of a linkage.


title: Distributional Robust Kelly Gambling: Optimal Strategy under Uncertainty in the Long-Run

abstract: In classic Kelly gambling, bets are chosen to maximize the expected log growth of wealth, under a known probability distribution. Breiman provides rigorous mathematical proofs that Kelly strategy maximizes the rate of asset growth (asymptotically maximal magnitude property), which is thought of as the principal justification for selecting expected logarithmic utility as the guide to portfolio selection. Despite very nice theoretical properties, the classic Kelly strategy is rarely used in practical portfolio allocation directly due to practically unavoidable uncertainty. In this paper we consider the distributional robust version of the Kelly gambling problem, in which the probability distribution is not known, but lies in a given set of possible distributions. The bet is chosen to maximize the worst-case (smallest) expected log growth among the distributions in the given set. Computationally, this distributional robust Kelly gambling problem is convex, but in general need not be tractable. We show that it can be tractably solved in a number of useful cases when there is a finite number of outcomes with standard tools from disciplined convex programming. Theoretically, in sequential decision making with varying distribution within a given uncertainty set, we prove that distributional robust Kelly strategy asymptotically maximizes the worst-case rate of asset growth, and dominants any other essentially different strategy by magnitude. Our results extends Breiman's theoretical result and justifies that the distributional robust Kelly strategy is the optimal strategy in the long-run for practical betting with uncertainty.


title: The Sea of Quarks and Antiquarks in the Nucleon: a Review

abstract: The quark and gluon structure of the proton has been under intense experimental and theoretical investigation for five decades. Even for the distributions of the well-studied valence quarks, challenges such as the value of the down quark to up quark ratio at high fractional momenta remain. Much of the sea of quark-antiquark pairs emerges from the splitting of gluons and is well described by perturbative evolution in quantum chromodynamics. However, experiments confirm that there is a non-perturbative component to the sea that is not well understood and hitherto has been difficult to calculate with ab initio non-perturbative methods. This non-perturbative structure shows up, perhaps most directly, in the flavor dependence of the sea antiquark distributions. While some of the general trends can be reproduced by models, there are features of the data that do not seem to be well described. This article discusses the experimental situation, the status of calculations and models, and the directions where these studies will progress in the near future.


title: Dissipative spin chain as a non-Hermitian Kitaev ladder

abstract: We derive exact results for the Lindblad equation for a quantum spin chain (one-dimensional quantum compass model) with dephasing noise. The system possesses doubly degenerate nonequilibrium steady states due to the presence of a conserved charge commuting with the Hamiltonian and Lindblad operators. We show that the system can be mapped to a non-Hermitian Kitaev model on a two-leg ladder, which is solvable by representing the spins in terms of Majorana fermions. This allows us to study the Liouvillian gap, the inverse of relaxation time, in detail. We find that the Liouvillian gap increases monotonically when the dissipation strength $ \gamma $ is small, while it decreases monotonically for large $ \gamma $, implying a kind of phase transition in the first decay mode. The Liouvillian gap and the transition point are obtained in closed form in the case where the spin chain is critical. We also obtain the explicit expression for the autocorrelator of the edge spin. The result implies the suppression of decoherence when the spin chain is in the topological regime.

categories: cond-mat.stat-mech cond-mat.str-el math-ph math.MP quant-ph


title: Implementation of the Jager contact model for discrete element simulations

abstract: In three-dimensional discrete element method (DEM) simulations, the particle motions within a granular assembly can produce bewildering sequences of movements at the contacts between particle pairs. With frictional contacts, the relationship between contact movement and force is non-linear and path-dependent, requiring an efficient means of computing the forces and storing their histories. By cleverly applying the principles of Cattaneo, Mindlin, and Deresiewicz, Jurgen Jager developed an efficient approach for computing the full three-dimensional force between identical elastic spheres that have undergone difficult movement sequences (J. Jager, New Solutions in Contact Mechanics. WIT Press: Southampton, U.K.). This paper presents a complete Jager algorithm that can be incorporated into DEM codes and also describes three special provisions for DEM simulations: (1) a method for handling particle pairs that undergo complex tumbling and twirling motions in three-dimensions; (2) a compact data structure for storing the loading history of the many contacts in a large assembly; and (3) an approximation of the Jager algorithm that reduces memory demand. The algorithm addresses contact translations between elastic spheres having identical properties, but it does not resolve the tractions produced by twisting or rolling motions. A performance test demonstrates that the algorithm can be applied in a DEM code with modest increases in computation time but with more substantial increases in required storage.


title: Study of boiling heat transfer on the wall with an improved hybrid lattice Boltzmann model

abstract: In this paper, the energy non-conservation problem of the hybrid thermal LB phase change model is emphasized. To solve this problem, an infinite volume discrete scheme is introduced to deal with the diffusion term in the energy equation. After verified this model with energy conservation law in the simulation of the one-dimensional heat conduction across the liquid-vapor interface and the liquid film evaporation on the heating wall, the improved hybrid thermal LB model is then applied in the simulation of bubble nucleation and boiling heat transfer. With an innovative nucleation site treatment on the wall, the complete boiling stages as well as the boiling curve were successfully reproduced without adding any heating fluctuations. The bubble nucleation, growth, departure, and coalescence are well captured. Some basic features of boiling heat transfer including bubble nucleation site activation, bubble departure frequency, character of bubble shape at different regime, and horizontal movement of bubble during the boiling process were clearly observed in the numerical results.


title: Extreme gaps between eigenvalues of Wigner matrices

abstract: This paper proves universality of the distribution of the smallest and largest gaps between eigenvalues of generalized Wigner matrices, under some smoothness assumption for the density of the entries. The proof relies on the Erd{\H o}s-Schlein-Yau dynamic approach. We exhibit a new observable that satisfies a stochastic advection equation and reduces local relaxation of the Dyson Brownian motion to a maximum principle. This observable also provides a simple and unified proof of universality in the bulk and at the edge, which is quantitative. To illustrate this, we give the first explicit rate of convergence to the Tracy-Widom distribution for generalized Wigner matrices.


title: The DKP oscillator in spinning cosmic string background

abstract: In this article, we investigate the behavior of relativistic spin-zero bosons in the space-time generated by a spinning cosmic string. We obtain the generalized beta matrices in terms of the flat spacetime ones and rewrite the covariant form of DuffinKemmer-Petiau (DKP) equation in spinning cosmic string space-time. We find the solution of DKP oscillator and determine the energy levels. We also discuss the influence of the topology of the cosmic string on the energy levels and the DKP spinors.


title: Urban-Rural Environmental Gradient in a Developing City: Testing ENVI GIS Functionality

abstract: The research performs urban ecosystem analysis supported by ENVI GIS by integrated studies on land cover types and geospatial modeling of Taipei city. The paper deals with the role of anthropogenic pressure on the structure of the landscape and change of land cover types. Methods included assessment of the impact from anthropogenic activities on the natural ecosystems, evaluation of the rate and scale of landscape dynamics using remote sensing data and GIS. The research aims to assist environmentalists and city planners to evaluate strategies for specific objectives of urban development in Taiwan, China.


title: Extraire et r{\'e}utiliser des patrons de conception {\`a} partir de Learning Games existants

abstract: Learning Games (LGs) are promising pedagogical tools but their design still remains experimental. Inspired by design-pattern based methods, recommended in educational domains, we propose a methodology and a model to analyze the scenario of LGs, which have proven to be effective, in order to extract design patterns. The proposed methodology and model allowed us to extract nine design patterns from the analysis of two LGs, which have been actively used in schools for nearly ten years. These design patterns proved to be very useful because half of them where adopted by teams of designers, in the process of creating LGs, for similar contexts to the ones of the existing LGs.


title: Spectral function and dilepton rate from a strongly magnetised hot and dense medium in the light of mean field models

abstract: We have calculated the electromagnetic spectral function (SF) vis-\`{a}-vis the dilepton rate (DR) by evaluating the one-loop photon polarisation tensor for a strongly magnetised hot and dense medium. The calculation is performed in the ambit of mean field models namely Nambu\textendash Jona-Lasinio (NJL) and its Polyakov loop extended version (PNJL) in the lowest Landau level approximation. These models allow for a dynamical generation of quark mass which, evidently, gets affected in the presence of a magnetised medium. We have shown that the strength of the SF gets boosted because of the presence of dynamical quarks in lieu of the current quarks. It increases as we increase the magnetic field for a given value of temperature in both NJL and PNJL models. This increment is further reflected in the DR which is enhanced as compared to the Born rate for certain values of invariant masses. We also discuss the impact of chemical potential on DR within the present scenario.


title: Decision Support System for Renal Transplantation

abstract: The burgeoning need for kidney transplantation mandates immediate attention. Mismatch of deceased donor-recipient kidney leads to post-transplant death. To ensure ideal kidney donor-recipient match and minimize post-transplant deaths, the paper develops a prediction model that identifies factors that determine the probability of success of renal transplantation, that is, if the kidney procured from the deceased donor can be transplanted or discarded. The paper conducts a study enveloping data for 584 imported kidneys collected from 12 transplant centers associated with an organ procurement organization located in New York City, NY. The predicting model yielding best performance measures can be beneficial to the healthcare industry. Transplant centers and organ procurement organizations can take advantage of the prediction model to efficiently predict the outcome of kidney transplantation. Consequently, it will reduce the mortality rate caused by mismatching of donor-recipient kidney transplantation during the surgery. Keywords


title: The Global Anchor Method for Quantifying Linguistic Shifts and Domain Adaptation

abstract: Language is dynamic, constantly evolving and adapting with respect to time, domain or topic. The adaptability of language is an active research area, where researchers discover social, cultural and domain-specific changes in language using distributional tools such as word embeddings. In this paper, we introduce the global anchor method for detecting corpus-level language shifts. We show both theoretically and empirically that the global anchor method is equivalent to the alignment method, a widely-used method for comparing word embeddings, in terms of detecting corpus-level language shifts. Despite their equivalence in terms of detection abilities, we demonstrate that the global anchor method is superior in terms of applicability as it can compare embeddings of different dimensionalities. Furthermore, the global anchor method has implementation and parallelization advantages. We show that the global anchor method reveals fine structures in the evolution of language and domain adaptation. When combined with the graph Laplacian technique, the global anchor method recovers the evolution trajectory and domain clustering of disparate text corpora.


title: Classification of Cervical Cancer Dataset

abstract: Cervical cancer is the leading gynecological malignancy worldwide. This paper presents diverse classification techniques and shows the advantage of feature selection approaches to the best predicting of cervical cancer disease. There are thirty-two attributes with eight hundred and fifty-eight samples. Besides, this data suffers from missing values and imbalance data. Therefore, over-sampling, under-sampling and embedded over and under sampling have been used. Furthermore, dimensionality reduction techniques are required for improving the accuracy of the classifier. Therefore, feature selection methods have been studied as they divided into two distinct categories, filters and wrappers. The results show that age, first sexual intercourse, number of pregnancies, smokes, hormonal contraceptives, and STDs: genital herpes are the main predictive features with high accuracy with 97.5%. Decision Tree classifier is shown to be advantageous in handling classification assignment with excellent performance.


title: Identification of Cancer -- Mesothelioma Disease Using Logistic Regression and Association Rule

abstract: Malignant Pleural Mesothelioma (MPM) or malignant mesothelioma (MM) is an atypical, aggressive tumor that matures into cancer in the pleura, a stratum of tissue bordering the lungs. Diagnosis of MPM is difficult and it accounts for about seventy-five percent of all mesothelioma diagnosed yearly in the United States of America. Being a fatal disease, early identification of MPM is crucial for patient survival. Our study implements logistic regression and develops association rules to identify early stage symptoms of MM. We retrieved medical reports generated by Dicle University and implemented logistic regression to measure the model accuracy. We conducted (a) logistic correlation, (b) Omnibus test and (c) Hosmer and Lemeshow test for model evaluation. Moreover, we also developed association rules by confidence, rule support, lift, condition support and deployability. Categorical logistic regression increases the training accuracy from 72.30% to 81.40% with a testing accuracy of 63.46%. The study also shows the top 5 symptoms that is mostly likely indicates the presence in MM. This study concludes that using predictive modeling can enhance primary presentation and diagnosis of MM.


title: Data Sharing, Distribution and Updating Using Social Coding Community Github and LaTaX Packages in Graduate Research

abstract: Current paper reports the advantages of the application of GitHub and LaTeX for the MSc thesis writing. The existing code-based program implemented in GitHub portal provides a great tool for scientists and students for data sharing and notification of the co-workers, tutors and supervisors involved in research about actual updates. It enables to connect collaborators to share around current results, release datasets and updates and more. Using standard command-line interface GitHub allows registered users to push repositories on the website. The availability of both public and private repositories enables to share current data updates with target audience: e.g. unpublished research work only for co-authors or supervisors, or vice versa. Therefore, there is a need in academic centres and universities to strongly popularize and increase the use of GitHub for student works. The case study is given on the graduate study: an MSc work written and maintained using open source GitHub service at the University of Twente, Faculty of Geo-Information Science and Earth Observation (Netherlands). It reports my successful experience of writing MSc thesis based on the effective combination of LaTeX and GitHub.


title: ECG Segmentation by Neural Networks: Errors and Correction

abstract: In this study we examined the question of how error correction occurs in an ensemble of deep convolutional networks, trained for an important applied problem: segmentation of Electrocardiograms(ECG). We also explore the possibility of using the information about ensemble errors to evaluate a quality of data representation, built by the network. This possibility arises from the effect of distillation of outliers, which was demonstarted for the ensemble, described in this paper.


title: Same but Different: Distant Supervision for Predicting and Understanding Entity Linking Difficulty

abstract: Entity Linking (EL) is the task of automatically identifying entity mentions in a piece of text and resolving them to a corresponding entity in a reference knowledge base like Wikipedia. There is a large number of EL tools available for different types of documents and domains, yet EL remains a challenging task where the lack of precision on particularly ambiguous mentions often spoils the usefulness of automated disambiguation results in real applications. A priori approximations of the difficulty to link a particular entity mention can facilitate flagging of critical cases as part of semi-automated EL systems, while detecting latent factors that affect the EL performance, like corpus-specific features, can provide insights on how to improve a system based on the special characteristics of the underlying corpus. In this paper, we first introduce a consensus-based method to generate difficulty labels for entity mentions on arbitrary corpora. The difficulty labels are then exploited as training data for a supervised classification task able to predict the EL difficulty of entity mentions using a variety of features. Experiments over a corpus of news articles show that EL difficulty can be estimated with high accuracy, revealing also latent features that affect EL performance. Finally, evaluation results demonstrate the effectiveness of the proposed method to inform semi-automated EL pipelines.


title: Investigation of cyclic liquefaction with discrete element simulations

abstract: A discrete-element method (DEM) assembly of virtual particles is calibrated to approximate the behavior of a natural sand in undrained loading. The particles are octahedral, bumpy clusters of spheres that are compacted into assemblies of different densities. The contact model is a Jager generalization of the Hertz contact, which yields a small-strain shear modulus that is proportional to the square root of confining stress. Simulations made of triaxial extension and compression loading conditions and of simple shear produce behaviors that are similar to sand. Undrained cyclic shearing simulations are performed with nonuniform amplitudes of shearing pulses and with 24 irregular seismic shearing sequences. A methodology is proposed for quantifying the severities of such irregular shearing records, allowing the 24 sequences to be ranked in severity. The relative severities of the 24 seismic sequences show an anomalous dependence on sampling density. Four scalar measures are proposed for predicting the severity of a particular loading sequence. A stress-based scalar measure shows superior efficiency in predicting initial liquefaction and pore pressure rise.


title: Sequential model aggregation for production forecasting

abstract: Production forecasting is a key step to design the future development of a reservoir. A classical way to generate such forecasts consists in simulating future production for numerical models representative of the reservoir. However, identifying such models can be very challenging as they need to be constrained to all available data. In particular, they should reproduce past production data, which requires to solve a complex non-linear inverse problem. In this paper, we thus propose to investigate the potential of machine learning algorithms to predict the future production of a reservoir based on past production data without model calibration. We focus more specifically on robust online aggregation, a deterministic approach that provides a robust framework to make forecasts on a regular basis. This method does not rely on any specific assumption or need for stochastic modeling. Forecasts are first simulated for a set of base reservoir models representing the prior uncertainty, and then combined to predict production at the next time step. The weight associated to each forecast is related to its past performance. Three different algorithms are considered for weight computations: the exponentially weighted average algorithm, ridge regression and the Lasso regression. They are applied on a synthetic reservoir case study, the Brugge case, for sequential predictions. To estimate the potential of development scenarios, production forecasts are needed on long periods of time without intermediary data acquisition. An extension of the deterministic aggregation approach is thus proposed in this paper to provide such multi-step-ahead forecasts.


title: Observation of Spider Silk by Femtosecond Pulse Laser Second Harmonic Generation Microscopy

abstract: An asymmetric \b{eta}-sheet structure of spider silk is said to induce optical second harmonic generation. In this paper, using an in-house non-scanning type femtosecond pulse laser second harmonic generation microscope, we characterized the behavior of the \b{eta}-sheet of spider silk under an applied external force. The orientation of the \b{eta}-sheets was more unidirectional when the silk was extended. One of the origins of the high mechanical strength of the dragline is suggested to be the physical arrangement of its \b{eta}-sheets.


title: Transient rolling friction model for discrete element simulations of sphere assemblies

abstract: The rolling resistance between a pair of contacting particles can be modeled with two mechanisms. The first mechanism, already widely addressed in the DEM literature, involves a contact moment between the particles. The second mechanism involves a reduction of the tangential contact force, but without a contact moment. This type of rotational resistance, termed creep-friction, is the subject of the paper. Within the creep-friction literature, the term "creep" does not mean a viscous mechanism, but rather connotes a slight slip that accompanies rolling. Two extremes of particle motions bound the range of creep-friction behaviors: a pure tangential translation is modeled as a Cattaneo-Mindlin interaction, whereas prolonged steady-state rolling corresponds to the traditional wheel-rail problem described by Carter, Poritsky, and others. DEM simulations, however, are dominated by the transient creep-friction rolling conditions that lie between these two extremes. A simplified model is proposed for the three-dimensional transient creep-friction rolling of two spheres. The model is an extension of the work of Dahlberg and Alfredsson, who studied the two-dimensional interactions of disks. The proposed model is applied to two different systems: a pair of spheres and a large dense assembly of spheres. Although creep-friction can reduce the tangential contact force that would otherwise be predicted with Cattaneo-Mindlin theory, a significant force reduction occurs only when the rate of rolling is much greater than the rate of translational sliding and only after a sustained period of rolling. When applied to the deviatoric loading of an assembly of spheres, the proposed creep-friction model has minimal effect on macroscopic strength or stiffness. At the micro-scale of individual contacts, creep-friction does have a modest influence on the incremental contact behavior.


title: Electrowetting of a nano-suspension on a soft solid

abstract: The wetting of solid surfaces can be manoeuvred by altering the energy balance at the interfacial region. While electric field acts favourably to spread a droplet on a rigid surface, this tendency may be significantly suppressed over soft surfaces, considering a part of the interfacial energy being utilized to deform the solid elastically by capillary forces. Here, we bring out a unique mechanism by virtue of which addition of nano-particles to the droplet brings in a favourable recovery of the electro-spreading characteristics of a soft surface, by realizing an alteration in the effective dielectric constant of the interfacial region. Our experiments further demonstrate that this mechanism ceases to be operative beyond a threshold volume fraction of the particle suspension, due to inevitable contact line pinning. We also develop a theory to explain our experimental observations. Our findings provide a non-contact mechanism for meniscus spreading and droplet control, bearing far-reaching implications in biology and engineering.


title: Bargmann transform and generalized heat Cauchy problems

abstract: In this article we solve explicitly some Cauchy problems of the heat type attached to the generalized real and complex Dirac, Euler and Harmonic oscillator operators. Our principal tool is the Bargmann transform.


title: Extraction of Behavioral Features from Smartphone and Wearable Data

abstract: The rich set of sensors in smartphones and wearable devices provides the possibility to passively collect streams of data in the wild. The raw data streams, however, can rarely be directly used in the modeling pipeline. We provide a generic framework that can process raw data streams and extract useful features related to non-verbal human behavior. This framework can be used by researchers in the field who are interested in processing data from smartphones and Wearable devices.


title: Toward an Anthropocentric Approach for Hybrid Control Architectures: Case of a Furniture Factory

abstract: Typology of goods and services' consumption has changed. In order to adapt to this change, it is relevant for a company to turn toward new ways of production and management. Slowly, the concept of industry 4.0 starts to set up in manufacturing companies. Research on hybrid control systems favours achieving automated and flexible production system through "jidoka" (or au-tonomation) and Just In Time principles. Still, studies stay mainly techno-centred rather than anthropocentric. Parisot company suffers today of a lack of reactivity to its market and of a production tool maladjusted to customer's consumption habits. This article aims to sum up the company's current situation, and to introduce the project that intends to back it through its economic, technological and sociological transition toward a flexible, adaptive and sustainable human-centred manufacturing system.


title: Natural mates of non-null Frenet curves in Minkowski 3-space

abstract: In this paper, we give the definition of the natural mate of a non-null Frenet curve in Minkowski 3-spaces. The main purpose of this paper is to prove some relationships between a non-null Frenet curve and its natural mate. In particular, we obtain some necessary and suffcient conditions for the natural mate of a non-null Frenet curve to be a slant helix, a spherical curve, or a curve of constant curvature. Several applications of our main results are also presented.


title: How to identify gluonium states using QCD counting rules

abstract: Verifying the existence of bound states of gluons and distinguishing them from conventional quark-antiquark, hybrid or tetraquark states has remained a key problem in QCD. We show that QCD counting rules for the power-law fall-off of production cross sections at high momentum transfer can be used to distinguish gluonium states from conventional hadrons. The valence two-gluon contribution to a 0^+ gluonium bound state has L=0 and thus twist (dimension minus spin of their minimum interpolating operators) tau=2. The competing twist assignments for scalar f_0 mesons have twist tau = 3 for the valence |q qbar > configuration or |qqbar g> in an s-wave, and tau >= 4 for |q qbar qbar q > tetraquarks, etc. Thus, the production cross section for mesons with quark-containing valence wavefunctions relative to glueball production should be suppressed by at least a power of momentum transfer. Distinguishing these processes is feasible in exclusive e^-e^+ --> phi f_0 reactions at 9 and 11 GeV center of mass energy at Belle-II. In the case of single-particle inclusive hadroproduction A B --> C X, the cross section for scalar gluonium production at high transverse momentum p_T and fixed x_T = 2 p_T/sqrt(s) will dominate meson or tetraquark production by at least two powers of p_T.


abstract: This is the Proceedings of NeurIPS 2018 Workshop on Machine Learning for the Developing World: Achieving Sustainable Impact, held in Montreal, Canada on December 8, 2018


title: \'El\'ements pour la conception de Jeux \'Educatifs sur Mobile

abstract: School classrooms are equipped with more and more mobile devices. However, the latest studies show that their use by teachers is still very limited because of a lack of resources and applications adapted to use these artifacts in education. Among the new directions of use, research conducted on Mobile Learning Games (MLGs) seems very promising. In this article we propose to identify the MLGs from the most referenced research articles and that have proven their value in educational context, in order to determine their features and impact on learners. This study will then allow us to define the common characteristics of these MLGs and identify the main problems that occur when they are used by teachers.


title: Detecting weak and strong Islamophobic hate speech on social media

abstract: Islamophobic hate speech on social media inflicts considerable harm on both targeted individuals and wider society, and also risks reputational damage for the host platforms. Accordingly, there is a pressing need for robust tools to detect and classify Islamophobic hate speech at scale. Previous research has largely approached the detection of Islamophobic hate speech on social media as a binary task. However, the varied nature of Islamophobia means that this is often inappropriate for both theoretically-informed social science and effectively monitoring social media. Drawing on in-depth conceptual work we build a multi-class classifier which distinguishes between non-Islamophobic, weak Islamophobic and strong Islamophobic content. Accuracy is 77.6% and balanced accuracy is 83%. We apply the classifier to a dataset of 109,488 tweets produced by far right Twitter accounts during 2017. Whilst most tweets are not Islamophobic, weak Islamophobia is considerably more prevalent (36,963 tweets) than strong (14,895 tweets). Our main input feature is a gloVe word embeddings model trained on a newly collected corpus of 140 million tweets. It outperforms a generic word embeddings model by 5.9 percentage points, demonstrating the importan4ce of context. Unexpectedly, we also find that a one-against-one multi class SVM outperforms a deep learning algorithm.


title: Word Embedding based on Low-Rank Doubly Stochastic Matrix Decomposition

abstract: Word embedding, which encodes words into vectors, is an important starting point in natural language processing and commonly used in many text-based machine learning tasks. However, in most current word embedding approaches, the similarity in embedding space is not optimized in the learning. In this paper we propose a novel neighbor embedding method which directly learns an embedding simplex where the similarities between the mapped words are optimal in terms of minimal discrepancy to the input neighborhoods. Our method is built upon two-step random walks between words via topics and thus able to better reveal the topics among the words. Experiment results indicate that our method, compared with another existing word embedding approach, is more favorable for various queries.


title: Is Carbon Cycling Keeping Pace with Increases in Atmospheric Carbon Dioxide?

abstract: Carbon dioxide (CO2) increase has been well documented, and global net primary production is of importance to a variety of ecological topics. Since CO2 increases primary production in laboratory experiments, the global effects of increasing CO2 on global primary production are of interest in both climate science and ecology. Various studies have considered increases in primary production over different regions and time scales, but the global effects of increased atmospheric CO2 and primary production remain unquantified. This study aims to compare these two variables globally to assist in determining the potential for increases in primary production to contribute to carbon sequestration, possibly slowing increases in atmospheric CO2 resulting from fossil fuel emissions. Monthly CO2 concentration data from 1985 through 2015 in distinct latitude bands (every 10 degrees) was retrieved from the NOAA Earth System Research Laboratory for a total of 18 datasets. As a proxy to quantify net primary production, the magnitude of annual CO2 cycling was computed for each dataset through Fourier analysis. Relative increases were then calculated for both CO2 increase and amplitude increase to compare the pace of carbon cycling with the pace of increases in atmospheric CO2. Globally, the increase in primary production determined by using annual CO2 cycling as a proxy was 3.75% (+/- 1.82%) per decade over the time interval studied. In contrast, the measured increase in CO2 abundance was 4.75% (+/- 0.02%) per decade. Increases in carbon cycling appear to be slightly smaller than increases in CO2 globally and in both the Northern and Southern Hemispheres, but the uncertainties in the estimate for increases in carbon cycling are too large to draw that conclusion with statistical confidence.


title: Transfer Learning in Astronomy: A New Machine-Learning Paradigm

abstract: The widespread dissemination of machine learning tools in science, particularly in astronomy, has revealed the limitation of working with simple single-task scenarios in which any task in need of a predictive model is looked in isolation, and ignores the existence of other similar tasks. In contrast, a new generation of techniques is emerging where predictive models can take advantage of previous experience to leverage information from similar tasks. The new emerging area is referred to as transfer learning. In this paper, I briefly describe the motivation behind the use of transfer learning techniques, and explain how such techniques can be used to solve popular problems in astronomy. As an example, a prevalent problem in astronomy is to estimate the class of an object (e.g., Supernova Ia) using a generation of photometric light-curve datasets where data abounds, but class labels are scarce; such analysis can benefit from spectroscopic data where class labels are known with high confidence, but the data sample is small. Transfer learning provides a robust and practical solution to leverage information from one domain to improve the accuracy of a model built on a different domain. In the example above, transfer learning would look to overcome the difficulty in the compatibility of models between spectroscopic data and photometric data, since data properties such as size, class priors, and underlying distributions, are all expected to be significantly different.


title: Machine learning and AI research for Patient Benefit: 20 Critical Questions on Transparency, Replicability, Ethics and Effectiveness

abstract: Machine learning (ML), artificial intelligence (AI) and other modern statistical methods are providing new opportunities to operationalize previously untapped and rapidly growing sources of data for patient benefit. Whilst there is a lot of promising research currently being undertaken, the literature as a whole lacks: transparency; clear reporting to facilitate replicability; exploration for potential ethical concerns; and, clear demonstrations of effectiveness. There are many reasons for why these issues exist, but one of the most important that we provide a preliminary solution for here is the current lack of ML/AI- specific best practice guidance. Although there is no consensus on what best practice looks in this field, we believe that interdisciplinary groups pursuing research and impact projects in the ML/AI for health domain would benefit from answering a series of questions based on the important issues that exist when undertaking work of this nature. Here we present 20 questions that span the entire project life cycle, from inception, data analysis, and model evaluation, to implementation, as a means to facilitate project planning and post-hoc (structured) independent evaluation. By beginning to answer these questions in different settings, we can start to understand what constitutes a good answer, and we expect that the resulting discussion will be central to developing an international consensus framework for transparent, replicable, ethical and effective research in artificial intelligence (AI-TREE) for health.


title: Open Power System Data - Frictionless data for electricity system modelling

abstract: The quality of electricity system modelling heavily depends on the input data used. Although a lot of data is publicly available, it is often dispersed, tedious to process and partly contains errors. We argue that a central provision of input data for modelling has the character of a public good: it reduces overall societal costs for quantitative energy research as redundant work is avoided, and it improves transparency and reproducibility in electricity system modelling. This paper describes the Open Power System Data platform that aims at realising the efficiency and quality gains of centralised data provision by collecting, checking, processing, aggregating, documenting and publishing data required by most modellers. We conclude that the platform can provide substantial benefits to energy system analysis by raising efficiency of data pre-processing, providing a method for making data pre-processing for energy system modelling traceable, flexible and reproducible and improving the quality of original data published by data providers.


title: Wave breaking in a class of non-local conservation laws

abstract: For models describing water waves, Constantin and Escher's works have long been considered as the cornerstone method for proving wave breaking phenomena. Their rigorous analytic proof shows that if the lowest slope of flows can be controlled by its highest slope initially, then the wave-breaking occur for the Whitham-type equation. Since this breakthrough, there have been numerous refined wave-breaking results established by generalizing the kernel which describes the dispersion relation of water waves. Even though the proofs of these involve a system of coupled Riccati-type differential inequalities, however, little or no attention has been made to a generalization of this Riccati-type system. In this work, from a rich class of non-local conservation laws, a Riccati-type system that governs the flow's gradient is extracted and investigated. The system's leading coefficient functions are allowed to change their values and signs over time as opposed to the ones in many of other previous works are fixed constants. Up to the author's knowledge, the blow-up analysis upon this structural generalization is new and is of theoretical interest in itself as well as its application to various non-local flow models. The theory is illustrated via the Whitham-type equation with nonlinear drift. Our method is applicable to a large class of non-local conservation laws.


title: Microstructure-Stabilized Blue Phase Liquid Crystals

abstract: We show that micron-scale two-dimensional (2D) honeycomb microwells can significantly improve the stability of blue phase liquid crystals (BPLCs). Polymeric microwells made by direct laser writing improve various features of the blue phase (BP) including a dramatic extension of stable temperature range and a large increase both in reflectivity and thermal stability of the reflective peak wavelength. These results are mainly attributed to the omni-directional anchoring of the isotropically oriented BP molecules at the polymer walls of the hexagonal microwells and at the top and bottom substrates. This leads to an omni-directional stabilization of the entire BPLC system. This study not only provides a novel insight into the mechanism for the BP formation in the 2D microwell but also points to an improved route to stabilize BP using 2D microwell arrays.


title: Hyperbolic Deep Learning for Chinese Natural Language Understanding

abstract: Recently hyperbolic geometry has proven to be effective in building embeddings that encode hierarchical and entailment information. This makes it particularly suited to modelling the complex asymmetrical relationships between Chinese characters and words. In this paper we first train a large scale hyperboloid skip-gram model on a Chinese corpus, then apply the character embeddings to a downstream hyperbolic Transformer model derived from the principles of gyrovector space for Poincare disk model. In our experiments the character-based Transformer outperformed its word-based Euclidean equivalent. To the best of our knowledge, this is the first time in Chinese NLP that a character-based model outperformed its word-based counterpart, allowing the circumvention of the challenging and domain-dependent task of Chinese Word Segmentation (CWS).


title: Characterization of the Vacuum Birefringence Polarimeter at BMV: Dynamical Cavity Mirror Birefringence

abstract: We present the current status and outlook of the optical characterization of the polarimeter at the Bir\'{e}fringence Magn\'etique du Vide (BMV) experiment. BMV is a polarimetric search for the QED predicted anisotropy of vacuum in the presence of external electromagnetic fields. The main challenge faced in this fundamental test is the measurement of polarization ellipticity on the order of ${10^{-15}}$ induced in linearly polarized laser field per pass through a magnetic field having an amplitude and length ${B^{2}L=100\,\mathrm{T}^{2}\mathrm{m}}$. This challenge is addressed by understanding the noise sources in precision cavity-enhanced polarimetry. In this paper we discuss the first investigation of dynamical birefringence in the signal-enhancing cavity as a result of cavity mirror motion.


title: A multiple criteria methodology for priority based portfolio selection

abstract: This paper presents a new methodology that combines a multiple criteria sorting or ranking method with a project portfolio selection procedure. The multicriteria method permits to compare projects in terms of their priority assessed on the basis of a set of both qualitative and quantitative criteria. Then, a feasible set of projects, i.e. a portfolio, is selected according to the priority defined by the multiple criteria method. In addition, the portfolio must satisfy a set of resources constraints, e.g. budget available, as well as some logical constraints, e.g. related to projects to be selected together or projects mutually exclusive. The proposed portfolio selection methodology can be applied in different contexts. We present an application in the urban planning domain where our approach allows to select a set of urban projects on the basis of their priority, budgetary constraints and urban policy requirements. Given the increasing interest of historical cities to reuse their cultural heritage, we applied and tested our methodology in this context. In particular, we show how the methodology can support the prioritization of the interventions on buildings with some historical value in the historic city center of Naples (Italy), taking into account several points of view.


title: Cross Lingual Speech Emotion Recognition: Urdu vs. Western Languages

abstract: Cross-lingual speech emotion recognition is an important task for practical applications. The performance of automatic speech emotion recognition systems degrades in cross-corpus scenarios, particularly in scenarios involving multiple languages or a previously unseen language such as Urdu for which limited or no data is available. In this study, we investigate the problem of cross-lingual emotion recognition for Urdu language and contribute URDU---the first ever spontaneous Urdu-language speech emotion database. Evaluations are performed using three different Western languages against Urdu and experimental results on different possible scenarios suggest various interesting aspects for designing more adaptive emotion recognition system for such limited languages. In results, selecting training instances of multiple languages can deliver comparable results to baseline and augmentation a fraction of testing language data while training can help to boost accuracy for speech emotion recognition. URDU data is publicly available for further research.


title: Blockchain for Cities - A Systematic Literature Review

abstract: Blockchain is considered one of the most disruptive technologies of our time. Numerous cities around the world are launching blockchain initiatives as part of the overall efforts toward shaping the urban future. However, the infancy stage of the blockchain industry leads to a severe gap between the knowledge we have and the actions urban policy makers are taking. This paper is an effort to narrow this rift. We provide a systematic literature review on concrete blockchain use cases proposed by the research community. At the macro-level, we discuss and organize use cases from 159 selected papers into nine sectors recognized as crucial for sustainable and smart urban future. At the micro-level, we identify a component-based framework and analyze the design and prototypes of blockchain systems studied in a subset of 71 papers. The high-level use case review allows us to illustrate the relationship between them and the four pillars of urban sustainability: social, economic, environmental, and governmental. The system level analysis helps us highlight interesting inconsistencies between well-known blockchain applicability decision rules and the approaches taken by the literature. We also offer two classification methodologies for blockchain use cases and elaborate on how they can be applied to stimulate cross-sector insights in the blockchain knowledge domain.


title: Studying oppressive cityscapes of Bangladesh

abstract: In a densely populated city like Dhaka (Bangladesh), a growing number of high-rise buildings is an inevitable reality. However, they pose mental health risks for citizens in terms of detachment from natural light, sky view, greenery, and environmental landscapes. The housing economy and rent structure in different areas may or may not take account of such environmental factors. In this paper, we build a computer vision based pipeline to study factors like sky visibility, greenery in the sidewalks, and dominant colors present in streets from a pedestrian's perspective. We show that people in lower economy classes may suffer from lower sky visibility, whereas people in higher economy classes may suffer from lack of greenery in their environment, both of which could be possibly addressed by implementing rent restructuring schemes.


title: A theory of flying/swimming saucers. Exact solutions for rectilinear locomotion

abstract: We study self-propulsion (or locomotion) of a robot (or an underwater vehicle) in an inviscid incompressible fluid. The robot's body is rigid, while its locomotion ability is due to an internal actuator, which can perform controlled translational and rotational oscillations. Our attention is focused on two classes of the plane analytic exact solutions, describing rectilinear locomotion. Solutions of the first class describe the \emph{tumbling locomotion}, while the second class corresponds to the \emph{zigzag locomotion} without tumbling. We show, that tumbling locomotion is more efficient. Both classes of solutions show, that the use of actuator allows to choose any desired direction and any speed of locomotion. As a special case, we consider the self-propulsion caused by small-amplitude and high-frequency actuator oscillations. The exact and elementary character of our solutions makes the results potentially useful as the tests to verify physical and engineering models, as well as numerical and asymptotic results. In contrary to many recent publications in this area, the material is accessible to UG students in Engineering, Physics, and Applied Mathematics.


title: Using Selmer Groups to compute Mordell-Weil Groups of Elliptic Curves

abstract: This master thesis describes how Selmer groups can be used to determine the Mordell-Weil group of elliptic curves over a number field K. The Mordell-Weil Theorem states that $E(K) = E(K)_{tors} \times Z^r$, where $r$ is the rank of $E$, and $E(K)_{tors}$ is the torsion subgroup, i.e. the group of points of finite order in $E(K)$. The group $E(K)_{tors}$ is finite and well understood. So, one tries to find a way to determine the rank $r$ of $E$, which is the major problem. The procedure described in this thesis shows how to transfer the computation of the weak Mordell-Weil group $E(K)/mE(K)$ to the existence or non-existence of a rational point on certain curves, called homogeneous spaces. If one can find some completion $K_v$ of $K$ such that the homogeneous space has no points in $K_v$, then it follows that it has no points in $K$. Under the assumption that the Shafarevich-Tate group is finite, the rank of Elliptic curves over $\mathbb{Q}$ with $j$-invariant $1728$ is fully determined in certain cases.


title: Topological and geometrical quantities in active cellular structures

abstract: Topological and geometrical properties and the associated topological defects find a rapidly growing interest in studying the interplay between mechanics and the collective behavior of cells on the tissue level. We here test if well studied equilibrium laws for polydisperse passive systems such as the Lewis's and the Aboav-Weaire's law are applicable also for active cellular structures. Large scale simulations, which are based on a multi phase field active polar gel model, indicate that these active cellular structures follow these laws. If the system is in a state of collective motion also quantitative agreement with typical values for passive systems is observed. If this state has not developed quantitative differences can be found. We further compare the model with discrete modeling approaches for cellular structures and show that essential properties, such as T1 transitions and rosettes are naturally fulfilled.


title: Structures in P based on Properties of Semigroup and Arithmetical Sequence H = (+-3*2; 1)

abstract: This paper presents results on structures in P based on tools developed from subjects of elementary number theory. Key findings are: The arithmetical sequence H = (+-3*2; 1) is in Z the smallest superset of P \ {3, 2}. H is a semigroup. A revised definition of P. Unique Gestalt of p in Z. The prime number lattice packing H exp n. The geometrical locus in HxH of the family of solutions of: - the set of prime twins, - the set of PRACHAR prime twins, - in H exp 2, H exp 3 family of solutions of the GOLDBACH conjunction. Partition of H in p exp 2-intervals. Prime numbers in p exp 2-intervals. Infinity of the set of prime twins. Verification of the GOLDBACH conjunction.


title: Does PSR J1417-4402 system behave as a "Redback"?

abstract: We study the present evolutionary status of the binary system containing the 2.66 ms pulsar PSR J1417-4402 in a 5.4 day orbit. This is the pulsar in the original source 3FGL J1417.5-4402, that has undergone a transition from X-ray state to a pulsar state, just like some redbacks did. The system has many characteristics similar to redback pulsars family, but is on a much wider orbit. We show that close binary evolution including irradiation feedback driven by the luminosity due to accretion onto the neutron star component of the pair, and evaporation due to pulsar emission, is able to account for the masses of the components and the photometric data of the donor star. The tracks leading to the present PSR J1417-4402 are degenerate within a range of parameters, suggesting that the {\it same} physics invoked to explain the redback/black widows groups leads to the formation of much wider orbit systems, outside the redback region limits.


title: Use of Digital Image Correlation to study the effect of temperature on the development of plastic instabilities in a semi-crystalline polymer

abstract: The plastic deformation processes that occur in a tensily deformed High Density Polyethylene specimen were studied from full-field strain and strain rate measurements obtained by 3D DIC (Digital Image Correlation).The tensile tests were performed every 10{\textdegree}C from room temperature to 120{\textdegree}C . For temperatures below 60{\textdegree}C , it is shown that the strain localization effect becomes less pronounced when the temperature increases. For temperatures higher than 60{\textdegree}C , the material is found to exhibit double yielding behavior. By analyzing the DIC data in Lagrangian representation, it was possible to quantitatively highlight the strain localization effect that is specifically associated with the second yield. The second yield strain (E_{Y_2}) was measured and appeared to be independent of temperature. For temperatures smaller than 60{\textdegree}C , it was found that the threshold strain corresponding to (E_{Y_2}) also marks the onset of the deformation process phase during which the volume strain strongly increases. Based on previous studies of our research team and on literature we concluded that the critical strain (E_{Y_2}) corresponds to the onset of the lamellar morphology destruction. At high strain levels, the neck stabilization phase was shown to proceed according to a strain driven scheme characterized by threshold strains that are temperature independent. The experimental values of the threshold strain marking the onset of the stabilization phase are found to be in good agreement with those found using the Haward-Thackray model.


title: Asymptotic behavior of the transmission Euler-Bernoulli plate and wave equation with a localized Kelvin-Voigt damping

abstract: Let a fourth and a second order evolution equations be coupled via the interface by transmission conditions, and suppose that the first one is stabilized by a localized distributed feedback. What will then be the effect of such a partial stabilization on the decay of solutions at infinity? Is the behavior of the first component sufficient to stabilize the second one? The answer given in this paper is that sufficiently smooth solutions decay logarithmically at infinity even the feedback dissipation affects an arbitrarily small open subset of the interior. The method used, in this case, is based on a frequency method, and this by combining a contradiction argument with the Carleman estimates technique to carry out a special analysis for the resolvent.


title: Chaotic dynamics of movements stochastic instability and the hypothesis of N.A. Bernstein about "repetition without repetition"

abstract: The registration of tremor was performed in two groups of subjects (15 people in each group) with different physical fitness at rest and at a static loads of 3N. Each subject has been tested 15 series (number of series N=15) in both states (with and without physical loads) and each series contained 15 samples (n=15) of tremorogramm measurements (500 elements in each sample, registered coordinates x1(t) of the finger position relative to eddy current sensor) of the finger. Using non-parametric Wilcoxon test of each series of experiment a pairwise comparison was made forming 15 tables in which the results of calculation of pairwise comparison was presented as a matrix (15x15) for tremorogramms are presented. The average number of hits random pairs of samples (<k>) and standard deviation {\sigma} were calculated for all 15 matrices without load and under the impact of physical load (3N), which showed an increase almost in twice in the number k of pairs of matching samples of tremorogramms at conditions of a static load. For all these samples it was calculated special quasi-attractor (this square was presented the distinguishes between physical load and without it. All samples present the stochastic unstable state.


title: Machine Learning in Official Statistics

abstract: In the first half of 2018, the Federal Statistical Office of Germany (Destatis) carried out a "Proof of Concept Machine Learning" as part of its Digital Agenda. A major component of this was surveys on the use of machine learning methods in official statistics, which were conducted at selected national and international statistical institutions and among the divisions of Destatis. It was of particular interest to find out in which statistical areas and for which tasks machine learning is used and which methods are applied. This paper is intended to make the results of the surveys publicly accessible.


title: Report on Data Quality in Biobanks: Problems, Issues, State-of-the-Art

abstract: This report discusses the issues of data quality in biobanks. It presents the state-of-the-art in data quality: the definition of data quality, the dimensions of data quality, and the quality management system for achieving or describing the aspired data quality characteristics and we present and discuss all elements for such a data quality management system. In depth, we discuss the requirements and the context of data quality for biobanks in particular, where we argue that biobanks can be seen as data brokers, where the indented use of the data is to support the search for suitable material and data in the preparation of medical studies. For such an intended use, the quality of the metadata is of high importance and biobanks have to emphasize to strive for adequate documentation of the quality of the data annotating the samples.


title: Measuring Societal Biases from Text Corpora with Smoothed First-Order Co-occurrence

abstract: Text corpora are widely used resources for measuring societal biases and stereotypes. The common approach to measuring such biases using a corpus is by calculating the similarities between the embedding vector of a word (like nurse) and the vectors of the representative words of the concepts of interest (such as genders). In this study, we show that, depending on what one aims to quantify as bias, this commonly-used approach can introduce non-relevant concepts into bias measurement. We propose an alternative approach to bias measurement utilizing the smoothed first-order co-occurrence relations between the word and the representative concept words, which we derive by reconstructing the co-occurrence estimates inherent in word embedding models. We compare these approaches by conducting several experiments on the scenario of measuring gender bias of occupational words, according to an English Wikipedia corpus. Our experiments show higher correlations of the measured gender bias with the actual gender bias statistics of the U.S. job market - on two collections and with a variety of word embedding models - using the first-order approach in comparison with the vector similarity-based approaches. The first-order approach also suggests a more severe bias towards female in a few specific occupations than the other approaches.


title: The typical measure preserving transformation is not an interval exchange transformation

abstract: We show that the typical measure preserving transformation is not isomorphic to any interval exchange transformation.


title: Stochastic Trust Region Inexact Newton Method for Large-scale Machine Learning

abstract: Nowadays stochastic approximation methods are one of the major research direction to deal with the large-scale machine learning problems. From stochastic first order methods, now the focus is shifting to stochastic second order methods due to their faster convergence and availability of computing resources. In this paper, we have proposed a novel Stochastic Trust RegiOn Inexact Newton method, called as STRON, to solve large-scale learning problems which uses conjugate gradient (CG) to inexactly solve trust region subproblem. The method uses progressive subsampling in the calculation of gradient and Hessian values to take the advantage of both, stochastic and full-batch regimes. We have extended STRON using existing variance reduction techniques to deal with the noisy gradients and using preconditioned conjugate gradient (PCG) as subproblem solver, and empirically proved that they do not work as expected, for the large-scale learning problems. Finally, our empirical results prove efficacy of the proposed method against existing methods with bench marked datasets.


title: Image Encryption Algorithm Using Natural Interval Extensions

abstract: It is known that chaotic systems have widely been used in cryptography. Generally, floating point simulations are used to generate pseudo-random sequence of numbers. Although, it is possible to find some works on the degradation of chaotic systems due to finite precision of digital computers, little attention has been paid to exploit this limitation to formulate efficient process for image encode. This article proposes a novel image encryption method using natural interval extensions. The sequence of arithmetic operations is different in each natural interval extension. This is what we need to produce two different sequences; the difference between these sequences is used to generate the lower bound error, which has been shown to present satisfactory pseudo-random properties. The approach has been successfully tested using the Chua's circuit as the chaotic system. The secret key has presented good properties for encrypting the Lena image.


title: Scalable Bell inequalities for qubit graph states and robust self-testing

abstract: Bell inequalities constitute a key tool in quantum information theory: they not only allow one to reveal nonlocality in composite quantum systems, but, more importantly, they can be used to certify relevant properties thereof. We provide a very simple and intuitive construction of Bell inequalities that are maximally violated by the multiqubit graph states and can be used for their robust self-testing. The main advantage of our inequalities over previous constructions for these states lies in the fact that the number of correlations they contain scales only linearly with the number of observers, which presents a significant reduction of the experimental effort needed to violate them. We also discuss possible generalizations of our approach by showing that it is applicable to entangled states whose stabilizers are not simply tensor products of Pauli matrices.


title: Limits on Broadband Absorption Enhancement in the Presence of Multiple Lossy Materials

abstract: Enhancing the absorption and emission of electromagnetic waves over a broad range of wavelengths is a topic of fundamental and applied interest in photonics and energy research. In the context of light trapping in solar cells, for example, significant interest in the past decade has focused on overcoming limits in the ray-optics regime with nanophotonic structures. However, many such structures, in particular plasmonic structures, or PT-symmetric systems can posses multiple materials with varying values of intrinsic loss. Here, we rigorously determine the effect of parasitic loss on the achievable absorption enhancement in arbitrary electromagnetic structures. We show that the fundamental limit of broadband absorption enhancement, even in the presence of large parasitic loss in an alternate material, can exceed conventional ray-optics limits on light trapping and absorption enhancement. We numerically verify this behavior by determining the absorption enhancement factor of a canonical system, a metal-insulator-metal waveguide, whose core is a low-index organic semiconductor, in the presence of varying intrinsic loss values in the metal.


title: Large Multistream Data Analytics for Monitoring and Diagnostics in Manufacturing Systems

abstract: The high-dimensionality and volume of large scale multistream data has inhibited significant research progress in developing an integrated monitoring and diagnostics (M&D) approach. This data, also categorized as big data, is becoming common in manufacturing plants. In this paper, we propose an integrated M\&D approach for large scale streaming data. We developed a novel monitoring method named Adaptive Principal Component monitoring (APC) which adaptively chooses PCs that are most likely to vary due to the change for early detection. Importantly, we integrate a novel diagnostic approach, Principal Component Signal Recovery (PCSR), to enable a streamlined SPC. This diagnostics approach draws inspiration from Compressed Sensing and uses Adaptive Lasso for identifying the sparse change in the process. We theoretically motivate our approaches and do a performance evaluation of our integrated M&D method through simulations and case studies.


title: Applying Predicate Detection to the Constrained Optimization Problems

abstract: We present a method to design parallel algorithms for constrained combinatorial optimization problems. Our method solves and generalizes many classical combinatorial optimization problems including the stable marriage problem, the shortest path problem and the market clearing price problem. These three problems are solved in the literature using Gale-Shapley algorithm, Dijkstra's algorithm, and Demange, Gale, Sotomayor algorithm. Our method solves all these problems by casting them as searching for an element that satisfies an appropriate predicate in a distributive lattice. Moreover, it solves generalizations of all these problems - namely finding the optimal solution satisfying additional constraints called {\em lattice-linear} predicates. For stable marriage problems, an example of such a constraint is that Peter's regret is less than that of Paul. For shortest path problems, an example of such a constraint is that cost of reaching vertex $v_1$ is at least the cost of reaching vertex $v_2$. For the market clearing price problem, an example of such a constraint is that $item_1$ is priced at least as much as $item_2$. In addition to finding the optimal solution, our method is useful in enumerating all constrained stable matchings, and all constrained market clearing price vectors.


title: Spin coherence as a function of depth for high-density ensembles of silicon vacancies in proton-irradiated 4H-SiC

abstract: Defects in wide-bandgap semiconductors provide a pathway for applications in quantum information and sensing in solid state materials. The silicon vacancy in silicon carbide has recently emerged as a new candidate for optical control of single spin qubit with significant material benefits over nitrogen vacancies in diamond. In this work, we present a study of the coherence of silicon vacancies generated via proton irradiation as a function of implantation depth. We show clear evidence of dephasing interactions between the silicon vacancies and the spin environment of the bulk crystal. This result will inform further routes toward fabrication of scalable silicon carbide devices and studies of spin interactions of in high-density ensembles of defects.


title: Probing the time variation of the effective Newton's constant with optimal redshift weights

abstract: We propose a new method for probing the time variation of the effective Newton's constant $G_{\rm eff}$, based on the optimal redshift weighting scheme, and demonstrate the efficacy using the DESI galaxy spectroscopic survey. We find that with the optimal redshift weights, the evolution of $G_{\rm eff}(z)$ can be significantly better measured: the uncertainty of $G_{\rm eff}(z)$ can be reduced by a factor of $2.2\sim12.8$ using the DESI BGS sample at $z \lesssim0.45$, and by a factor of $1.3\sim4.4$ using the DESI ELG sample covering $0.65\lesssim z\lesssim1.65$.


title: Non-Abelian gauged supergravities as double copies

abstract: Scattering amplitudes have the potential to provide new insights to the study of supergravity theories with gauged R-symmetry and Minkowski vacua. Such gaugings break supersymmetry spontaneously, either partly or completely. In this paper, we develop a framework for double-copy constructions of Abelian and non-Abelian gaugings of N=8 supergravity with these properties. They are generally obtained as the double copy of a spontaneously-broken (possibly supersymmeric) gauge theory and a theory with explicitly-broken supersymmetry. We first identify purely-adjoint deformations of N=4 super-Yang-Mills theory that preserve the duality between color and kinematics. A combination of Higgsing and orbifolding yields the needed duality-satisfying gauge-theory factors with multiple matter representations. We present three explicit examples. Two are Cremmer-Scherk-Schwarz gaugings with unbroken N=6,4 supersymmetry and U(1) gauge group. The third has unbroken N=4 supersymmetry and SU(2)xU(1) gauge group. We also discuss examples in which the double-copy method gives theories with explicitly-broken supersymmetry.


title: Roughening of the anharmonic Larkin model

abstract: We study the roughening of $d$-dimensional directed elastic interfaces subject to quenched random forces. As in the Larkin model, random forces are considered constant in the displacement direction and uncorrelated in the perpendicular direction. The elastic energy density contains an harmonic part, proportional to $(\partial_x u)^2$, and an anharmonic part, proportional to $(\partial_x u)^{2n}$, where $u$ is the displacement field and $n>1$ an integer. By heuristic scaling arguments, we obtain the global roughness exponent $\zeta$, the dynamic exponent $z$, and the harmonic to anharmonic crossover length scale, for arbitrary $d$ and $n$, yielding an upper critical dimension $d_c(n)=4n$. We find a precise agreement with numerical calculations in $d=1$. For the $d=1$ case we observe, however, an anomalous "faceted" scaling, with the spectral roughness exponent $\zeta_s$ satisfying $\zeta_s > \zeta > 1$ for any finite $n>1$, hence invalidating the usual single-exponent scaling for two-point correlation functions, and the small gradient approximation of the elastic energy density in the thermodynamic limit. We show that such $d=1$ case is directly related to a family of Brownian functionals parameterized by $n$, ranging from the random-acceleration model for $n=1$, to the L\'evy arcsine-law problem for $n = \infty$. Our results may be experimentally relevant for describing the roughening of non-linear elastic interfaces in a Matheron-de Marsilly type of random flow.


title: Stability of a rotating asteroid housing a space station

abstract: Today there are numerous studies on asteroid mining. They elaborate on selecting the right objects, prospecting missions, potential asteroid redirection, and the mining process itself. For economic reasons, most studies focus on mining candidates in the 100-500m size-range. Also, suggestions regarding the design and implementation of space stations or even colonies inside the caverns of mined asteroids exist. Caverns provide the advantages of confined material in near-zero gravity during mining and later the hull will shield the inside from radiation. Existing studies focus on creating the necessary artificial gravity by rotating structures that are built inside the asteroid. Here, we assume the entire mined asteroid to rotate at a sufficient rate for artificial gravity and investigate its use for housing a habitat inside. In this study we present how to estimate the necessary spin rate assuming a cylindrical space station inside a mined asteroid and discuss the implications arising from substantial material stress given the required rotation rate. We estimate the required material strength using two relatively simple analytical models and apply them to fictitious, yet realistic rocky near-Earth asteroids.