title: Is the observed 125 GeV Higgs boson expected to be SM-like in the NMSSM?

abstract: In the Next-to Minimal Supersymmetric Standard Model (NMSSM) deviations from the SM signal strengths of the 125 GeV Higgs boson are expected, because of the mixing with the additional singlet-like Higgs boson and/or additional decays into pairs of light particles, like neutralinos, pseudo-scalar Higgs bosons or singlet Higgs bosons. In this paper the size of the possible deviations and their expected correlations or anti-correlations between \textit{bosonic} and \textit{fermionic} final states are analyzed using the efficient parameter scanning technique with complete coverage presented in a companion paper. The regions of parameter space with correlated or anti-correlated deviations of the signal strengths are identified.


title: Revised crystal structure and electronic properties of high dielectric Ba(Fe$_{1/2}$Nb$_{1/2}$)O$_{3}$ ceramics

abstract: Ba(Fe$_{1/2}$Nb$_{1/2}$)O$_3$ (BFN) ceramics are considered to be promising for technological applications owing to their high dielectric constant over a wide range of temperatures. However, there exists considerable discrepancy over the structural details. We address this discrepancy through a combined x-ray diffraction at room temperature and neutron powder diffraction measurements in the range from 5K up to room temperature, supplemented by a comparative analysis of the earlier reported structures. Our study reveals a cubic structure with space group Pm$\bar{3}$m at all measured temperatures. Further, the x-ray near edge structure and the extended x-ray absorption fine structure studies on the local environment of the Fe ions is consistent with the cubic symmetry. An appropriate value of $U$ for DFT+$U$ calculations is obtained by comparison with x-ray absorption spectroscopy, which agrees well with the earlier reported electronic properties.


title: Neural Dynamics Discovery via Gaussian Process Recurrent Neural Networks

abstract: Latent dynamics discovery is challenging in extracting complex dynamics from high-dimensional noisy neural data. Many dimensionality reduction methods have been widely adopted to extract low-dimensional, smooth and time-evolving latent trajectories. However, simple state transition structures, linear embedding assumptions, or inflexible inference networks impede the accurate recovery of dynamic portraits. In this paper, we propose a novel latent dynamic model that is capable of capturing nonlinear, non-Markovian, long short-term time-dependent dynamics via recurrent neural networks and tackling complex nonlinear embedding via non-parametric Gaussian process. Due to the complexity and intractability of the model and its inference, we also provide a powerful inference network with bi-directional long short-term memory networks that encode both past and future information into posterior distributions. In the experiment, we show that our model outperforms other state-of-the-art methods in reconstructing insightful latent dynamics from both simulated and experimental neural datasets with either Gaussian or Poisson observations, especially in the low-sample scenario. Our codes and additional materials are available at https://github.com/sheqi/GP-RNN_UAI2019.


title: Self-supervised Hyperspectral Image Restoration using Separable Image Prior

abstract: Supervised learning with a convolutional neural network is recognized as a powerful means of image restoration. However, most such methods have been designed for application to grayscale and/or color images; therefore, they have limited success when applied to hyperspectral image restoration. This is partially owing to large datasets being difficult to collect, and also the heavy computational load associated with the restoration of an image with many spectral bands. To address this difficulty, we propose a novel self-supervised learning strategy for application to hyperspectral image restoration. Our method automatically creates a training dataset from a single degraded image and trains a denoising network without any clear images. Another notable feature of our method is the use of a separable convolutional layer. We undertake experiments to prove that the use of a separable network allows us to acquire the prior of a hyperspectral image and to realize efficient restoration. We demonstrate the validity of our method through extensive experiments and show that our method has better characteristics than those that are currently regarded as state-of-the-art.


title: Avoiding Implementation Pitfalls of "Matrix Capsules with EM Routing" by Hinton et al

abstract: The recent progress on capsule networks by Hinton et al. has generated considerable excitement in the machine learning community. The idea behind a capsule is inspired by a cortical minicolumn in the brain, whereby a vertically organised group of around 100 neurons receive common inputs, have common outputs, are interconnected, and may well constitute a fundamental computation unit of the cerebral cortex. However, Hinton's paper on "Matrix Capsule with EM Routing'" was unfortunately not accompanied by a release of source code, which left interested researchers attempting to implement the architecture and reproduce the benchmarks on their own. This has certainly slowed the progress of research building on this work. While writing our own implementation, we noticed several common mistakes in other open source implementations that we came across. In this paper we share some of these learnings, specifically focusing on three implementation pitfalls and how to avoid them: (1) parent capsules with only one child; (2) normalising the amount of data assigned to parent capsules; (3) parent capsules at different positions compete for child capsules. While our implementation is a considerable improvement over currently available implementations, it still falls slightly short of the performance reported by Hinton et al. (2018). The source code for this implementation is available on GitHub at the following URL: https://github.com/IBM/matrix-capsules-with-em-routing.


title: Random Simplicial Complexes in the Medial Regime

abstract: We describe topology of random simplicial complexes in the lower and upper models in the medial regime, i.e. under the assumption that the probability parameters $p_\sigma$ approach neither $0$ nor $1$. We show that nontrivial Betti numbers of typical lower and upper random simplicial complexes in the medial regime lie in a narrow range of dimensions. For instance, an upper random simplicial complex $Y$ on $n$ vertices in the medial regime with high probability has non-vanishing Betti numbers $b_{j}(Y)$ only for $k+c <n-j<k+\log_2 k +c'$ where $k=\log_2 \ln n$ and $c, c' $ are constants. A lower random simplicial complex on $n$ vertices in the medial regime is with high probability $(k+a)$-connected and its dimension $d$ satisfies $d\sim k+\log_2 k+ a'$ where $a, \, a'$ are constants. The paper develops a new technique, based on Alexander duality, which relates the lower and upper models.


title: Unveiling the electrical and thermoelectric properties of highly degenerate indium selenide thin films: Indication of In3Se4 phase

abstract: The effects of annealing and variation of temperature on the electrical and thermoelectric properties of e-beam evaporated InSe thin films has been investigated in details. The XRD study demonstrates that the as-deposited InSe thin films are amorphous while they become polycrystalline with the presence of In3Se4 phase after annealing. The SEM micrographs reveal that the surfaces of as-deposited films are smooth whereas they become non-uniform due to annealing. The heating and cooling cycles of the as-deposited films exhibit that the resistivity of the films shows an irreversible phase-transition and become stable after 3-4 successive heat-treatment operations in air. The electrical conductivity of annealed InSe thin films shows a highly degenerate semiconducting (metallic) behavior. The thermopower of the annealed films indicates that InSe thin film is a highly degenerate n-type semiconductor i.e. metallic. Thickness dependence thermopower obeys the Fuchs-Sondheimer theory. The optical band gap of the annealed films increases as compared to the as-deposited films. These results indicate that InSe thin films encounter a phase-transformation from In2Se3 to a new In3Se4 metallic phase with an optical band gap of ~1.8 eV due to heat-treatment.


title: An entropy-based bound for the computational complexity of a switched system

abstract: The joint spectral radius (JSR) of a set of matrices characterizes the maximal asymptotic growth rate of an infinite product of matrices of the set. This quantity appears in a number of applications including the stability of switched and hybrid systems. A popular method used for the stability analysis of these systems searches for a Lyapunov function with convex optimization tools. We analyse the accuracy of this method for constrained switched systems, a class of systems that has attracted increasing attention recently. We provide a new guarantee for the upper bound provided by the sum of squares implementation of the method. This guarantee relies on the p-radius of the system and the entropy of the language of allowed switching sequences. We end this paper with a method to reduce the computation of the JSR of low rank matrices to the computation of the constrained JSR of matrices of small dimension.


title: Narrow peaks of full transmission in simple quantum graphs

abstract: This work deals with quantum graphs, focusing on the transmission properties they engender. We first select two simple diamond graphs, and two hexagonal graphs in which the vertices are all of degree 3, and investigate their transmission coefficients. In particular, we identified regions in which the transmission is fully suppressed. We also considered the transmission coefficients of some series and parallel arrangements of the two basic graphs, with the vertices still preserving the degree 3 condition, and then identified specific series and parallel compositions that allow for windows of no transmission. Inside some of these windows, we found very narrow peaks of full transmission, which are consequences of constructive quantum interference. Possibilities of practical use as the experimental construction of devices of current interest to control and manipulate quantum transmission are also discussed.

categories: quant-ph cond-mat.mes-hall math-ph math.MP


title: Optical Reservoir Computing using multiple light scattering for chaotic systems prediction

abstract: Reservoir Computing is a relatively recent computational framework based on a large Recurrent Neural Network with fixed weights. Many physical implementations of Reservoir Computing have been proposed to improve speed and energy efficiency. In this study, we report new advances in Optical Reservoir Computing using multiple light scattering to accelerate the recursive computation of the reservoir states. Two different spatial light modulation technologies, namely, phase or binary amplitude modulations, are compared. Phase modulation is a promising direction already employed in other photonic implementations of Reservoir Computing. Additionally, we report a Digital-Micromirror-based Reservoir Computing at up to 640 Hz, more than double the previously reported frequency using a remotely controlled optical device developed by LightOn, and present new binarization strategies to improve the performance of binarized Reservoir Computing.


title: On the Notions of Rudimentarity, Primitive Recursivity and Representability of Functions and Relations

abstract: It is quite well-known from Kurt Godel's (1931) ground-breaking result on the Incompleteness Theorem that rudimentary relations (i.e., those definable by bounded formulae) are primitive recursive, and that primitive recursive functions are representable in sufficiently strong arithmetical theories. It is also known, though perhaps not as well-known as the former one, that some primitive recursive relations are not rudimentary. We present a simple and elementary proof of this fact in the first part of the paper. In the second part, we review some possible notions of representability of functions studied in the literature, and give a new proof of the equivalence of the weak representability with the (strong) representability of functions in sufficiently strong arithmetical theories. Our results shed some new light on the notions of rudimentary, primitive recursive, and representable functions and relations, and clarify, hopefully, some misunderstandings and confusing errors in the literature.


title: Modernizing Historical Documents: a User Study

abstract: Accessibility to historical documents is mostly limited to scholars. This is due to the language barrier inherent in human language and the linguistic properties of these documents. Given a historical document, modernization aims to generate a new version of it, written in the modern version of the document's language. Its goal is to tackle the language barrier, decreasing the comprehension difficulty and making historical documents accessible to a broader audience. In this work, we proposed a new neural machine translation approach that profits from modern documents to enrich its systems. We tested this approach with both automatic and human evaluation, and conducted a user study. Results showed that modernization is successfully reaching its goal, although it still has room for improvement.


title: Order extreme points and solid convex hulls

abstract: We consider the "order" analogues of some classical notions of Banach space geometry: extreme points and convex hulls. A Hahn-Banach type separation result is obtained, which allows us to establish an "order" Krein-Milman Theorem. We show that the unit ball of any infinite dimensional reflexive space contains uncountably many order extreme points, and investigate the set of positive norm-attaining functionals. Finally,we introduce the "solid" version of the Krein-Milman Property, and show it is equivalent to the Radon-Nikodym Property.


title: The Resale Price Prediction of Secondhand Jewelry Items Using a Multi-modal Deep Model with Iterative Co-Attention

abstract: The resale price assessment of secondhand jewelry items relies heavily on the individual knowledge and skill of domain experts. In this paper, we propose a methodology for reconstructing an AI system that autonomously assesses the resale prices of secondhand jewelry items without the need for professional knowledge. As shown in recent studies on fashion items, multimodal approaches combining specifications and visual information of items have succeeded in obtaining fine-grained representations of fashion items, although they generally apply simple vector operations through a multimodal fusion. We similarly build a multimodal model using images and attributes of the product and further employ state-of-the-art multimodal deep neural networks applied in computer vision to achieve a practical performance level. In addition, we model the pricing procedure of an expert using iterative co-attention networks in which the appearance and attributes of the product are carefully and iteratively observed. Herein, we demonstrate the effectiveness of our model using a large dataset of secondhand no brand jewelry items received from a collaborating fashion retailer, and show that the iterative co-attention process operates effectively in the context of resale price prediction. Our model architecture is widely applicable to other fashion items where appearance and specifications are important aspects.


title: Short-term prediction of Electricity Outages Caused by Convective Storms

abstract: Prediction of power outages caused by convective storms which are highly localised in space and time is of crucial importance to power grid operators. We propose a new machine learning approach to predict the damage caused by storms. This approach hinges identifying and tracking of storm cells using weather radar images on the application of machine learning techniques. Overall prediction process consists of identifying storm cells from CAPPI weather radar images by contouring them with a solid 35 dBZ threshold, predicting a track of storm cells and classifying them based on their damage potential to power grid operators. Tracked storm cells are then classified by combining data obtained from weather radar, ground weather observations and lightning detectors. We compare random forest classifiers and deep neural networks as alternative methods to classify storm cells. The main challenge is that the training data are heavily imbalanced as extreme weather events are rare.


title: Doping dependence of electromagnetic response in cuprate superconductors

abstract: The study of the electromagnetic response in cuprate superconductors plays a crucial role in the understanding of the essential physics of these materials. Here the doping dependence of the electromagnetic response in cuprate superconductors is studied within the kinetic-energy driven superconducting mechanism. The kernel of the response function is evaluated based on the linear response approximation for a purely transverse vector potential, and can be broken up into its diamagnetic and paramagnetic parts. In particular, this paramagnetic part exactly cancels the corresponding diamagnetic part in the normal-state, and then the Meissner effect is obtained within the entire superconducting phase. Following this kernel of the response function, the electromagnetic response calculation in terms of the specular reflection model qualitatively reproduces many of the striking features observed in the experiments. In particular, the local magnetic-field profile follows an exponential law, while the superfluid density exhibits the nonlinear temperature behavior at the lowest temperatures, followed by the linear temperature dependence extending over the most of the superconducting temperature range. Moreover, the maximal value of the superfluid density occurs at around the critical doping $\delta_{\rm critical}\sim 0.16$, and then decreases in both lower doped and higher doped regimes. The theory also shows that the nonlinear temperature dependence of the superfluid density at the lowest temperatures can be attributed to the nonlocal effects induced by the d-wave gap nodes on the electron Fermi surface.


title: Learning World Graphs to Accelerate Hierarchical Reinforcement Learning

abstract: In many real-world scenarios, an autonomous agent often encounters various tasks within a single complex environment. We propose to build a graph abstraction over the environment structure to accelerate the learning of these tasks. Here, nodes are important points of interest (pivotal states) and edges represent feasible traversals between them. Our approach has two stages. First, we jointly train a latent pivotal state model and a curiosity-driven goal-conditioned policy in a task-agnostic manner. Second, provided with the information from the world graph, a high-level Manager quickly finds solution to new tasks and expresses subgoals in reference to pivotal states to a low-level Worker. The Worker can then also leverage the graph to easily traverse to the pivotal states of interest, even across long distance, and explore non-locally. We perform a thorough ablation study to evaluate our approach on a suite of challenging maze tasks, demonstrating significant advantages from the proposed framework over baselines that lack world graph knowledge in terms of performance and efficiency.


title: Stacks in Einstein Gravity and a Stacky Equivalence of 3D Quantum Gravity with Gauge Theory

abstract: In this paper, we examine stacky structures in Einstein's theory of gravity. In brief, we first give a construction of the moduli stack of solutions to (vacuum) Einstein field equations on $n$-dimensional spacetimes, with vanishing cosmological constant. Using a similar approach, we also study Einstein's gravity on families of manifolds and define another stack encoding this situation as well. Secondly, we focus on the gauge theoretical interpretation of 3D gravity and the concept of equivalence of 3D quantum gravity with gauge theory. By equivalence, we essentially mean the existence of an isomorphism between the phase spaces of 3D gravity and the associated gauge theory. In this regard, we show that once it exists, the equivalence induces an isomorphism between the corresponding moduli stacks.


title: Quantum duets working as autonomous thermal motors

abstract: We study the dynamic properties of a thermal autonomous machine made up of two quantum Brownian particles, each of which is in contact with an environment at different temperature and moves on a periodic sinusoidal track. When such tracks are shifted, the center of mass of the system exhibits a non-vanishing velocity, for which we provide an exact expression in the limit of small track undulations. We discuss the role of the broken spatial symmetry in the emergence of directed motion in thermal machines. We then consider the case in which external deterministic forces are applied to the system, and characterize its steady state velocity. If the applied external force opposes the system motion, work can be extracted from such a steady state thermal machine, without any external cyclic protocol. When the two particles are not interacting, our results reduce to those of refs. [1,2] for a single particle moving in a periodic tilted potential. We finally use our results for the motor velocity to check the validity of the quantum molecular dynamics algorithm in the non--linear, non--equilibrium regime.


title: Compression challenges in large scale PDE solvers

abstract: Solvers for partial differential equations (PDE) are one of the cornerstones of computational science. For large problems, they involve huge amounts of data that needs to be stored and transmitted on all levels of the memory hierarchy. Often, bandwidth is the limiting factor due to relatively small arithmetic intensity, and increasingly so due to the growing disparity between computing power and bandwidth. Consequently, data compression techniques have been investigated and tailored towards the specific requirements of PDE solvers during the last decades. This paper surveys data compression challenges and corresponding solution approaches for PDE problems, covering all levels of the memory hierarchy from mass storage up to main memory. Exemplarily, we illustrate concepts at particular methods, and give references to alternatives.


title: Power Lindley distribution and software metrics

abstract: The Lindley distribution and its numerous generalizations are widely used in statistical and engineering practice. Recently, a power transformation of Lindley distribution, called the power Lindley distribution, has been introduced by M. E. Ghitany et al., who initiated the investigation of its properties and possible applications. In this article, new results on the power Lindley distribution are presented. The focus of this work is on the moment-(in)determinacy of the distribution for various values of the parameters. Afterwards, certain applications are provided to describe data sets of software metrics.


title: Special cubic perturbations of the Duffing oscillator $x"=x-x^3$ near the eight-loop

abstract: We find an upper bound for the number of limit cycles, bifurcating from the 8-loop of the Duffing oscillator $x"= x-x^{3}$ under the special cubic perturbation $$ x"= x-x^{3}+\lambda_{1}y+\lambda_{2}x^{2}+\lambda_{3}xy+\lambda_{4}x^{2}y . $$


title: Fully-Asynchronous Fully-Implicit Variable-Order Variable-Timestep Simulation of Neural Networks

abstract: State-of-the-art simulations of detailed neural models follow the Bulk Synchronous Parallel execution model. Execution is divided in equidistant communication intervals, equivalent to the shortest synaptic delay in the network. Neurons stepping is performed independently, with collective communication guiding synchronization and exchange of synaptic events. The interpolation step size is fixed and chosen based on some prior knowledge of the fastest possible dynamics in the system. However, simulations driven by stiff dynamics or a wide range of time scales - such as multiscale simulations of neural networks - struggle with fixed step interpolation methods, yielding excessive computation of intervals of quasi-constant activity, inaccurate interpolation of periods of high volatility solution, and being incapable of handling unknown or distinct time constants. A common alternative is the usage of adaptive stepping methods, however they have been deemed inefficient in parallel executions due to computational load imbalance at the synchronization barriers that characterize the BSP execution model. We introduce a distributed fully-asynchronous execution model that removes global synchronization, allowing for longer variable timestep interpolations. Asynchronicity is provided by active point-to-point communication notifying neurons' time advancement to synaptic connectivities. Time stepping is driven by scheduled neuron advancements based on synaptic delays across neurons, yielding an "exhaustive yet not speculative" adaptive-step execution. Execution benchmarks on 64 Cray XE6 compute nodes demonstrate a reduced number of interpolation steps, higher numerical accuracy and lower time to solution, compared to state-of-the-art methods. Efficiency is shown to be activity-dependent, with scaling of the algorithm demonstrated on a simulation of a laboratory experiment.


title: Online Primary Channel Selection for Dynamic Channel Bonding in High-Density WLANs

abstract: In order to dynamically adapt the transmission bandwidth in wireless local area networks (WLANs), dynamic channel bonding (DCB) was introduced in IEEE 802.11n. It has been extended since then, and it is expected to be a key element in IEEE 802.11ax and future amendments such as IEEE 802.11be. While DCB is proven to be a compelling mechanism by itself, its performance is deeply tied to the primary channel selection, especially in high-density (HD) deployments, where multiple nodes contend for the spectrum. Traditionally, this primary channel selection relied on picking the most free one without any further consideration. In this paper, in contrast, we propose dynamic-wise (DyWi), a light-weight, decentralized, online primary channel selection algorithm for DCB that maximizes the expected WLAN throughput by considering not only the occupancy of the target primary channel but also the activity of the secondary channels. Even when assuming important delay costs due to primary switching, simulation results show a significant improvement both in terms of average delay and throughput.


title: Directed Graphs of Cayley Functions

abstract: In this paper we describe a condition under which a given function that commute with an idempotent function on an infinite set is a Cayley function using its functional digraph.


title: The occupied electronic structure of ultrathin boron doped diamond

abstract: Using angle-resolved photoelectron spectroscopy, we compare the electronic band structure of an ultrathin (1.8 nm) {\delta}-layer of boron-doped diamond with a bulk-like boron doped diamond film (3 {\mu}m). Surprisingly, the measurements indicate that except for a small change in the effective mass, there is no significant difference between the electronic structure of these samples, irrespective of their physical dimensionality. While this suggests that, at the current time, it is not possible to fabricate boron-doped diamond structures with quantum properties, it also means that nanoscale doped diamond structures can be fabricated which retain the classical electronic properties of bulk-doped diamond, without a need to consider the influence of quantum confinement.


title: On 3 and 9-regular cubic partitions

abstract: Let $a_3(n)$ and $a_9(n)$ are 3 and 9-regular cubic partitions of $n$. In this paper, we find the infinite family of congruences modulo powers of 3 for $a_3(n)$ and $a_9(n)$ such as \[a_3\left (3^{2\alpha}n+\frac{3^{2\alpha}-1}{4}\right )\equiv 0 \pmod{3^{\alpha}}\] and \[a_9\left (3^{\alpha+1}n+3^{\alpha+1}-1\right )\equiv 0 \pmod{3^{\alpha+1}}.\]


title: A transcendental dynamical degree

abstract: We give an example of a dominant rational selfmap of the projective plane whose dynamical degree is a transcendental number.


title: Space-Efficient Vertex Separators for Treewidth

abstract: For $n$-vertex graphs with treewidth $k = O(n^{1/2-\epsilon})$ and an arbitrary $\epsilon>0$, we present a word-RAM algorithm to compute vertex separators using only $O(n)$ bits of working memory. As an application of our algorithm, we give an $O(1)$-approximation algorithm for tree decomposition. Our algorithm computes a tree decomposition in $c^k n (\log \log n) \log^* n$ time using $O(n)$ bits for some constant $c > 0$. We finally use the tree decomposition obtained by our algorithm to solve Vertex Cover, Independent Set, Dominating Set, MaxCut and $q$-Coloring by using $O(n)$ bits as long as the treewidth of the graph is smaller than $c' \log n$ for some problem dependent constant $0 < c' < 1$.


title: Towards the Definition of Enterprise Architecture Debts

abstract: In the software development industry, technical debt is regarded as a critical issue in term of the negative consequences such as increased software development cost, low product quality, decreased maintainability, and slowed progress to the long-term success of developing software. However, despite the vast research contributions in technical debt management for software engineering, the idea of technical debt fails to provide a holistic consideration to include both IT and business aspects. Further, implementing an enterprise architecture (EA) project might not always be a success due to uncertainty and unavailability of resources. Therefore, we relate the consequences of EA implementation failure with a new metaphor --Enterprise Architecture Debt (EA Debt). We anticipate that the accumulation of EA Debt will negatively influence EA quality, also expose the business into risk.


title: Two-stage Optimization for Machine Learning Workflow

abstract: Machines learning techniques plays a preponderant role in dealing with massive amount of data and are employed in almost every possible domain. Building a high quality machine learning model to be deployed in production is a challenging task, from both, the subject matter experts and the machine learning practitioners. For a broader adoption and scalability of machine learning systems, the construction and configuration of machine learning workflow need to gain in automation. In the last few years, several techniques have been developed in this direction, known as autoML. In this paper, we present a two-stage optimization process to build data pipelines and configure machine learning algorithms. First, we study the impact of data pipelines compared to algorithm configuration in order to show the importance of data preprocessing over hyperparameter tuning. The second part presents policies to efficiently allocate search time between data pipeline construction and algorithm configuration. Those policies are agnostic from the metaoptimizer. Last, we present a metric to determine if a data pipeline is specific or independent from the algorithm, enabling fine-grain pipeline pruning and meta-learning for the coldstart problem.


title: A note on weak-star and norm Borel sets in the dual of the space of continuous functions

abstract: Let $Bo(T,\tau)$ be the Borel $\sigma$-algebra generated by the topology $\tau$ on $T$. In this paper we show that if $K$ is a Hausdorff compact space, then every subset of $K$ is a Borel set if, and only if, $$Bo(C^*(K),w^*)=Bo(C^*(K),\|\cdot\|);$$ where $w^*$ denotes the weak-star topology and $\|\cdot\|$ is the dual norm with respect to the sup-norm on the space of real-valued continuous functions $C(K)$. Furthermore we study the topological properties of the Hausdorff compact spaces $K$ such that every subset is a Borel set. In particular we show that, if the axiom of choice holds true, then $K$ is scattered.


title: The SpectACl of Nonconvex Clustering: A Spectral Approach to Density-Based Clustering

abstract: When it comes to clustering nonconvex shapes, two paradigms are used to find the most suitable clustering: minimum cut and maximum density. The most popular algorithms incorporating these paradigms are Spectral Clustering and DBSCAN. Both paradigms have their pros and cons. While minimum cut clusterings are sensitive to noise, density-based clusterings have trouble handling clusters with varying densities. In this paper, we propose \textsc{SpectACl}: a method combining the advantages of both approaches, while solving the two mentioned drawbacks. Our method is easy to implement, such as spectral clustering, and theoretically founded to optimize a proposed density criterion of clusterings. Through experiments on synthetic and real-world data, we demonstrate that our approach provides robust and reliable clusterings.


title: On a solution to the Monge transport problem on the real line arising from the strictly concave case

abstract: It is well-known that the optimal transport problem on the real line for the classical distance cost may not have a unique solution. In this paper we recover uniqueness by considering the transport problems where the costs are a power smaller than one of the distance, and letting this parameter tend to one. A complete construction of this solution that we call excursion coupling is given. This is reminiscent to the one in the convex case. It is also characterized as the solution of secondary transport problems. Moreover, a combinatoric/geometric characterization of the routes used for this transport plan is provided.


title: Anomaly non-renormalization in interacting Weyl semimetals

abstract: Weyl semimetals are 3D condensed matter systems characterized by a degenerate Fermi surface, consisting of a pair of `Weyl nodes'. Correspondingly, in the infrared limit, these systems behave effectively as Weyl fermions in $3+1$ dimensions. We consider a class of interacting 3D lattice models for Weyl semimetals and prove that the quadratic response of the quasi-particle flow between the Weyl nodes is universal, that is, independent of the interaction strength and form. Universality is the counterpart of the Adler-Bardeen non-renormalization property of the chiral anomaly for the infrared emergent description, which is proved here in the presence of a lattice and at a non-perturbative level. Our proof relies on constructive bounds for the Euclidean ground state correlations combined with lattice Ward Identities, and it is valid arbitrarily close to the critical point where the Weyl points merge and the relativistic description breaks down.


title: Self-intersecting marginally outer trapped surfaces

abstract: We have shown previously that a merger of marginally outer trapped surfaces (MOTSs) occurs in a binary black hole merger and that there is a continuous sequence of MOTSs which connects the initial two black holes to the final one. In this paper, we confirm this scenario numerically and we detail further improvements in the numerical methods for locating MOTSs. With these improvements, we confirm the merger scenario and demonstrate the existence of self-intersecting MOTSs formed in the immediate aftermath of the merger. These results will allow us to track physical quantities across the non-linear merger process and to potentially infer properties of the merger from gravitational wave observations.


title: Enabling Dialogue Management with Dynamically Created Dialogue Actions

abstract: In order to take up the challenge of realising user-adaptive system behaviour, we present an extension for the existing OwlSpeak Dialogue Manager which enables the handling of dynamically created dialogue actions. This leads to an increase in flexibility which can be used for adaptation tasks. After the implementation of the modifications and the integration of the Dialogue Manager into a full Spoken Dialogue System, an evaluation of the system has been carried out. The results indicate that the participants were able to conduct meaningful dialogues and that the system performs satisfactorily, showing that the implementation of the Dialogue Manager was successful.


title: Degenerations of nilpotent associative commutative algebras

abstract: We give a complete description of degenerations of complex $5$-dimensional nilpotent associative commutative algebras.


title: Sparse regular variation

abstract: Regular variation provides a convenient theoretical framework to study large events. In the multivariate setting, the dependence structure of the positive extremes is characterized by a measure - the spectral measure - defined on the positive orthant of the unit sphere. This measure gathers information on the localization of extreme events and has often a sparse support since severe events do not simultaneously occur in all directions. However, it is defined through weak convergence which does not provide a natural way to capture this sparsity structure.In this paper, we introduce the notion of sparse regular variation which allows to better learn the dependence structure of extreme events. This concept is based on the Euclidean projection onto the simplex for which efficient algorithms are known. We prove that under mild assumptions sparse regular variation and regular variation are two equivalent notions and we establish several results for sparsely regularly varying random vectors. Finally, we illustrate on numerical examples how this new concept allows one to detect extremal directions.


title: A Capsule Network for Recommendation and Explaining What You Like and Dislike

abstract: User reviews contain rich semantics towards the preference of users to features of items. Recently, many deep learning based solutions have been proposed by exploiting reviews for recommendation. The attention mechanism is mainly adopted in these works to identify words or aspects that are important for rating prediction. However, it is still hard to understand whether a user likes or dislikes an aspect of an item according to what viewpoint the user holds and to what extent, without examining the review details. Here, we consider a pair of a viewpoint held by a user and an aspect of an item as a logic unit. Reasoning a rating behavior by discovering the informative logic units from the reviews and resolving their corresponding sentiments could enable a better rating prediction with explanation. To this end, in this paper, we propose a capsule network based model for rating prediction with user reviews, named CARP. For each user-item pair, CARP is devised to extract the informative logic units from the reviews and infer their corresponding sentiments. The model firstly extracts the viewpoints and aspects from the user and item review documents respectively. Then we derive the representation of each logic unit based on its constituent viewpoint and aspect. A sentiment capsule architecture with a novel Routing by Bi-Agreement mechanism is proposed to identify the informative logic unit and the sentiment based representations in user-item level for rating prediction. Extensive experiments are conducted over seven real-world datasets with diverse characteristics. Our results demonstrate that the proposed CARP obtains substantial performance gain over recently proposed state-of-the-art models in terms of prediction accuracy. Further analysis shows that our model can successfully discover the interpretable reasons at a finer level of granularity.


title: On the photometric signature of fast rotators

abstract: Rapidly rotating stars have been recently recognized as having a major role in the interpretation of colour-magnitude diagrams of young and intermediate-age star clusters in the Magellanic Clouds and in the Milky Way. In this work, we evaluate the distinctive spectra and distributions in colour-colour space that follow from the presence of a substantial range in effective temperatures across the surface of fast rotators. The calculations are inserted in a formalism similar to the one usually adopted for non-rotating stars, which allows us to derive tables of bolometric corrections as a function not only of a reference effective temperature, surface gravity and metallicity, but also of the rotational speed with respect to the break-up value, $\omega$, and the inclination angle, $i$. We find that only very fast rotators ($\omega>0.95$) observed nearly equator-on ($i>45^\circ$) present sizable deviations from the colour-colour relations of non-rotating stars. In light of these results, we discuss the photometry of the $\sim$ 200-Myr-old cluster NGC 1866 and its split main sequence, which has been attributed to the simultaneous presence of slow and fast rotators. The small dispersion of its stars in colour-colour diagrams allow us to conclude that fast rotators in this cluster either have rotational velocities $\omega<0.95$, or are all observed nearly pole-on. Such geometric colour-colour effects, although small, might be potentially detectable in the huge, high-quality photometric samples in the post-Gaia era, in addition to the evolutionary effects caused by rotation-induced mixing.


title: Application and Computation of Probabilistic Neural Plasticity

abstract: The discovery of neural plasticity has proved that throughout the life of a human being, the brain reorganizes itself through forming new neural connections. The formation of new neural connections are achieved through the brain's effort to adapt to new environments or to changes in the existing environment. Despite the realization of neural plasticity, there is a lack of understanding the probability of neural plasticity occurring given some event. Using ordinary differential equations, neural firing equations and spike-train statistics, we show how an additive short-term memory (STM) equation can be formulated to approach the computation of neural plasticity. We then show how the additive STM equation can be used for probabilistic inference in computable neural plasticity, and the computation of probabilistic neural plasticity. We will also provide a brief introduction to the theory of probabilistic neural plasticity and conclude with showing how it can be applied to multiple disciplines such as behavioural science, machine learning, artificial intelligence and psychiatry.


title: On pointwise $\ell^r$-sparse domination in a space of homogeneous type

abstract: We prove a general sparse domination theorem in a space of homogeneous type, in which a vector-valued operator is controlled pointwise by a positive, local expression called a sparse operator. We use the structure of the operator to get sparse domination in which the usual $\ell^1$-sum in the sparse operator is replaced by an $\ell^r$-sum. This sparse domination theorem is applicable to various operators from both harmonic analysis and (S)PDE. Using our main theorem, we prove the $A_2$-theorem for vector-valued Calder\'on--Zygmund operators in a space of homogeneous type, from which we deduce an anisotropic, mixed norm Mihlin multiplier theorem. Furthermore, we show quantitative weighted norm inequalities for the Rademacher maximal operator, for which Banach space geometry plays a major role.


title: Improved Techniques for the Surveillance of the Near Earth Space Environment with the Murchison Widefield Array

abstract: In this paper we demonstrate improved techniques to extend coherent processing intervals for passive radar processing, with the Murchison Widefield Array. Specifically, we apply a two stage linear range and Doppler migration compensation by utilising Keystone Formatting and a recent dechirping method. These methods are used to further demonstrate the potential for the surveillance of space with the Murchison Widefield Array using passive radar, by detecting objects orders of magnitude smaller than previous work. This paper also demonstrates how the linear Doppler migration methods can be extended to higher order compensation to further increase potential processing intervals.


title: Event extraction based on open information extraction and ontology

abstract: The work presented in this master thesis consists of extracting a set of events from texts written in natural language. For this purpose, we have based ourselves on the basic notions of the information extraction as well as the open information extraction. First, we applied an open information extraction(OIE) system for the relationship extraction, to highlight the importance of OIEs in event extraction, and we used the ontology to the event modeling. We tested the results of our approach with test metrics. As a result, the two-level event extraction approach has shown good performance results but requires a lot of expert intervention in the construction of classifiers and this will take time. In this context we have proposed an approach that reduces the expert intervention in the relation extraction, the recognition of entities and the reasoning which are automatic and based on techniques of adaptation and correspondence. Finally, to prove the relevance of the extracted results, we conducted a set of experiments using different test metrics as well as a comparative study.


title: Scene Text Magnifier

abstract: Scene text magnifier aims to magnify text in natural scene images without recognition. It could help the special groups, who have myopia or dyslexia to better understand the scene. In this paper, we design the scene text magnifier through interacted four CNN-based networks: character erasing, character extraction, character magnify, and image synthesis. The architecture of the networks are extended based on the hourglass encoder-decoders. It inputs the original scene text image and outputs the text magnified image while keeps the background unchange. Intermediately, we can get the side-output results of text erasing and text extraction. The four sub-networks are first trained independently and fine-tuned in end-to-end mode. The training samples for each stage are processed through a flow with original image and text annotation in ICDAR2013 and Flickr dataset as input, and corresponding text erased image, magnified text annotation, and text magnified scene image as output. To evaluate the performance of text magnifier, the Structural Similarity is used to measure the regional changes in each character region. The experimental results demonstrate our method can magnify scene text effectively without effecting the background.


title: Quickly fading afterimages: hierarchical adaptations in human perception

abstract: Afterimages result from a prolonged exposure to still visual stimuli. They are best detectable when viewed against uniform backgrounds and can persist for multiple seconds. Consequently, the dynamics of afterimages appears to be slow by their very nature. To the contrary, we report here that about 50% of an afterimage intensity can be erased rapidly--within less than a second. The prerequisite is that subjects view a rich visual content to erase the afterimage; fast erasure of afterimages does not occur if subjects view a blank screen. Moreover, we find evidence that fast removal of afterimages is a skill learned with practice as our subjects were always more effective in cleaning up afterimages in later parts of the experiment. These results can be explained by a tri-level hierarchy of adaptive mechanisms, as has been proposed by the theory of practopoiesis.


title: Multi-atlas image registration of clinical data with automated quality assessment using ventricle segmentation

abstract: Registration is a core component of many imaging pipelines. In case of clinical scans, with lower resolution and sometimes substantial motion artifacts, registration can produce poor results. Visual assessment of registration quality in large clinical datasets is inefficient. In this work, we propose to automatically assess the quality of registration to an atlas in clinical FLAIR MRI scans of the brain. The method consists of automatically segmenting the ventricles of a given scan using a neural network, and comparing the segmentation to the atlas' ventricles propagated to image space. We used the proposed method to improve clinical image registration to a general atlas by computing multiple registrations and then selecting the registration that yielded the highest ventricle overlap. Methods were evaluated in a single-site dataset of more than 1000 scans, as well as a multi-center dataset comprising 142 clinical scans from 12 sites. The automated ventricle segmentation reached a Dice coefficient with manual annotations of 0.89 in the single-site dataset, and 0.83 in the multi-center dataset. Registration via age-specific atlases could improve ventricle overlap compared to a direct registration to the general atlas (Dice similarity coefficient increase up to 0.15). Experiments also showed that selecting scans with the registration quality assessment method could improve the quality of average maps of white matter hyperintensity burden, instead of using all scans for the computation of the white matter hyperintensity map. In this work, we demonstrated the utility of an automated tool for assessing image registration quality in clinical scans. This image quality assessment step could ultimately assist in the translation of automated neuroimaging pipelines to the clinic.


title: The dynamic behaviors of local quantum uncertainty for three-qubit X states under decoherence channels

abstract: We derive the analytical expression of local quantum uncertainty for three-qubit X-states. We give also the expressions of quantum discord and the negativity. A comparison of these three quantum correlations quantifiers is discussed in the special cases of mixed GHZ states and Bell-type states. We find that local quantum uncertainty gives the same amount of non-classical correlations as are measured by entropic quantum discord and goes beyond negativity. We also discuss the dynamics of non-classical correlations under the effect of phase damping, depolarizing and phase reversal channels. We find the local quantum uncertainty shows more robustness and exhibits, under phase reversal effect, revival and frozen phenomena. The monogamy property of local quantum uncertainty is also discussed. It is shown that it is monogamous for three-qubit states.


title: The Trustworthy Pal: Controlling the False Discovery Rate in Boolean Matrix Factorization

abstract: Boolean matrix factorization (BMF) is a popular and powerful technique for inferring knowledge from data. The mining result is the Boolean product of two matrices, approximating the input dataset. The Boolean product is a disjunction of rank-1 binary matrices, each describing a feature-relation, called pattern, for a group of samples. Yet, there are no guarantees that any of the returned patterns do not actually arise from noise, i.e., are false discoveries. In this paper, we propose and discuss the usage of the false discovery rate in the unsupervised BMF setting. We prove two bounds on the probability that a found pattern is constituted of random Bernoulli-distributed noise. Each bound exploits a specific property of the factorization which minimizes the approximation error---yielding new insights on the minimizers of Boolean matrix factorization. This leads to improved BMF algorithms by replacing heuristic rank selection techniques with a theoretically well-based approach. Our empirical demonstration shows that both bounds deliver excellent results in various practical settings.


title: Contact phase-field modeling for chemo-mechanical degradation processes. Part II: Numerical applications with focus on pressure solution

abstract: The microstructural geometry (MG) of materials has a significant influence on their macroscopic response, all the more when the process is essentially microscopic as for microstructural degradation processes. However, the MG tends to be approximated by ideal spherical packings with constitutive description of the microstructural contacts. Interfaces tracking models like phase-field modeling (PFM) are promising candidates to capture the microstructures dynamics. Contact PFM (CPFM) enables to include catalyzing/inhibiting (CI) effects, accelerating/delaying equilibrium, such as temperature or the presence of certain constituents. To emphasize the influence of geometry and CI effects, we study numerically the chemo-mechanical response of digitalized geomaterials at the grain scale. An application to pressure solution creep (PSC) shows the importance of the MG and how the influence of temperature and clay can be taken into account without explicit modeling. As already inferred in previous works on PSC, the lack of MG considerations could be the reason why a unique description of PSC is missing. A simple reason could be that PSC is directly dependent on the strain concentration, which is directly dependent on the MG. This is our motivation here to investigate and suggest the influence of the MG on a degradation process like PSC.


title: Perturbations of Stealth Black Holes in DHOST Theories

abstract: Among the Scalar-Tensor modified theories of gravity, DHOST models could play a special role for dark energy while being consistent with current observations, notably those constraining the speed of gravitational waves. Schwarzschild-de Sitter black holes were shown to be exact solutions of a particular subclass of quadratic DHOST theories, while carrying a nontrivial scalar profile that linearly evolves in time and hence potentially providing exciting new phenomenological windows to explore this model. We investigate the physical perturbations about such black holes and find that the odd-parity tensor perturbations behave in a way indistinguishable to GR. On the other hand, the effective metric for the (even-parity) scalar perturbations is singular, indicating that those exact black hole solutions are infinitely strongly coupled and cannot be trusted within the regime of validity of the DHOST effective field theory. We show how this strong coupling result is generalizable to a whole class of solutions with arbitrary manifolds both for DHOST and Horndeski.


title: An Improvement of PAA on Trend-Based Approximation for Time Series

abstract: Piecewise Aggregate Approximation (PAA) is a competitive basic dimension reduction method for high-dimensional time series mining. When deployed, however, the limitations are obvious that some important information will be missed, especially the trend. In this paper, we propose two new approaches for time series that utilize approximate trend feature information. Our first method is based on relative mean value of each segment to record the trend, which divide each segment into two parts and use the numerical average respectively to represent the trend. We proved that this method satisfies lower bound which guarantee no false dismissals. Our second method uses a binary string to record the trend which is also relative to mean in each segment. Our methods are applied on similarity measurement in classification and anomaly detection, the experimental results show the improvement of accuracy and effectiveness by extracting the trend feature suitably.


title: Anomaly Subsequence Detection with Dynamic Local Density for Time Series

abstract: Anomaly subsequence detection is to detect inconsistent data, which always contains important information, among time series. Due to the high dimensionality of the time series, traditional anomaly detection often requires a large time overhead; furthermore, even if the dimensionality reduction techniques can improve the efficiency, they will lose some information and suffer from time drift and parameter tuning. In this paper, we propose a new anomaly subsequence detection with Dynamic Local Density Estimation (DLDE) to improve the detection effect without losing the trend information by dynamically dividing the time series using Time Split Tree. In order to avoid the impact of the hash function and the randomness of dynamic time segments, ensemble learning is used. Experimental results on different types of data sets verify that the proposed model outperforms the state-of-art methods, and the accuracy has big improvement.


abstract: We give a characterization, in terms of simplicial sets, of Frobenius objects in the category of relations. This result generalizes a result of Heunen, Contreras, and Cattaneo showing that special dagger Frobenius objects in the category of relations are in correspondence with groupoids. As an additional example, we construct a Frobenius object in the category of relations whose elements are certain cohomology classes in a compact oriented Riemannian manifold.


title: Information Flow Theory (IFT) of Biologic and Machine Consciousness: Implications for Artificial General Intelligence and the Technological Singularity

abstract: The subjective experience of consciousness is at once familiar and yet deeply mysterious. Strategies exploring the top-down mechanisms of conscious thought within the human brain have been unable to produce a generalized explanatory theory that scales through evolution and can be applied to artificial systems. Information Flow Theory (IFT) provides a novel framework for understanding both the development and nature of consciousness in any system capable of processing information. In prioritizing the direction of information flow over information computation, IFT produces a range of unexpected predictions. The purpose of this manuscript is to introduce the basic concepts of IFT and explore the manifold implications regarding artificial intelligence, superhuman consciousness, and our basic perception of reality.


title: Electromagnetic Classical Field Theory in a Form Independent of Specific Units

abstract: In this article we have illustrated how is possible to formulate Maxwell's equations in vacuum in an independent form of the usual systems of units. Maxwell's equations, are then specialized to the most commonly used systems of units: International system of units (SI), Gaussian normal, Gaussian rational (Heaviside-Lorentz), C.G.S. (electric), C.G.S. (magnetic), natural normal and natural rational. Both, the differential and the integral formulations of Maxwell's equations in vacuum, are illustrated. Also the covariant formulation of Maxwell's equation is illustrated.


title: Uniqueness of the Isotropic Frame and Usefulness of the Lorentz Transformation

abstract: According to the postulates of the special theory of relativity (STR), physical quantities such as proper times and Doppler shifts can be obtained from any inertial frame by regarding it as isotropic. Nonetheless many inconsistencies arise from the postulates, as shown in this paper. However, there are numerous experimental results that agree with the predictions of STR. It is explained why they are accurate despite the inconsistencies. The Lorentz transformation (LT), unless subject to the postulates of STR, may be a useful method to approach physics problems. As an example to show the usefulness of LT, the problem of the generalized Sagnac effect is solved by utilizing it.


title: Lightcone fluctuations in a nonlinear medium due to thermal fluctuations

abstract: We study the flight time fluctuations of a probe light propagating in a slab of nonlinear optical material with an effective fluctuating refractive index caused by thermal fluctuations of background photons at a temperature $T$, which are analogous to the lightcone fluctuations due to fluctuating spacetime geometry when gravity is quantized. A smoothly varying second order susceptibility is introduced, which results in that background field modes whose wavelengths are of the order of the thickness of the slab give the main contribution. We show that, in the low-temperature limit, the contribution of thermal fluctuations to the flight time fluctuations is proportional to $T^4$, which is a small correction compared with the contributions from vacuum fluctuations, while in the high-temperature limit, the contribution of thermal fluctuations increases linearly with $T$, which dominates over that of vacuum fluctuations. Numerical estimation shows that, in realistic situations, the contributions from thermal fluctuations are still small compared with that from vacuum fluctuations even at room temperature.


title: Quantum-Assisted Genetic Algorithm

abstract: Genetic algorithms, which mimic evolutionary processes to solve optimization problems, can be enhanced by using powerful semi-local search algorithms as mutation operators. Here, we introduce reverse quantum annealing, a class of quantum evolutions that can be used for performing families of quasi-local or quasi-nonlocal search starting from a classical state, as novel sources of mutations. Reverse annealing enables the development of genetic algorithms that use quantum fluctuation for mutations and classical mechanisms for the crossovers -- we refer to these as Quantum-Assisted Genetic Algorithms (QAGAs). We describe a QAGA and present experimental results using a D-Wave 2000Q quantum annealing processor. On a set of spin-glass inputs, standard (forward) quantum annealing finds good solutions very quickly but struggles to find global optima. In contrast, our QAGA proves effective at finding global optima for these inputs. This successful interplay of non-local classical and quantum fluctuations could provide a promising step toward practical applications of Noisy Intermediate-Scale Quantum (NISQ) devices for heuristic discrete optimization.


title: EQuANt (Enhanced Question Answer Network)

abstract: Machine Reading Comprehension (MRC) is an important topic in the domain of automated question answering and in natural language processing more generally. Since the release of the SQuAD 1.1 and SQuAD 2 datasets, progress in the field has been particularly significant, with current state-of-the-art models now exhibiting near-human performance at both answering well-posed questions and detecting questions which are unanswerable given a corresponding context. In this work, we present Enhanced Question Answer Network (EQuANt), an MRC model which extends the successful QANet architecture of Yu et al. to cope with unanswerable questions. By training and evaluating EQuANt on SQuAD 2, we show that it is indeed possible to extend QANet to the unanswerable domain. We achieve results which are close to 2 times better than our chosen baseline obtained by evaluating a lightweight version of the original QANet architecture on SQuAD 2. In addition, we report that the performance of EQuANt on SQuAD 1.1 after being trained on SQuAD2 exceeds that of our lightweight QANet architecture trained and evaluated on SQuAD 1.1, demonstrating the utility of multi-task learning in the MRC context.


title: An interdisciplinary overview of developmental indices and behavioral measures of the minimal self

abstract: In this review paper we discuss the development of the minimal self in humans, the behavioural measures indicating the presence of different aspects of the minimal self, namely, body ownership and sense of agency, and also discuss robotics research investigating and developing these concepts in artificial agents. We investigate possible avenues for expanding the research in robotics to further explore the development of an artificial minimal self.


title: Deep Conversational Recommender in Travel

abstract: When traveling to a foreign country, we are often in dire need of an intelligent conversational agent to provide instant and informative responses to our various queries. However, to build such a travel agent is non-trivial. First of all, travel naturally involves several sub-tasks such as hotel reservation, restaurant recommendation and taxi booking etc, which invokes the need for global topic control. Secondly, the agent should consider various constraints like price or distance given by the user to recommend an appropriate venue. In this paper, we present a Deep Conversational Recommender (DCR) and apply to travel. It augments the sequence-to-sequence (seq2seq) models with a neural latent topic component to better guide response generation and make the training easier. To consider the various constraints for venue recommendation, we leverage a graph convolutional network (GCN) based approach to capture the relationships between different venues and the match between venue and dialog context. For response generation, we combine the topic-based component with the idea of pointer networks, which allows us to effectively incorporate recommendation results. We perform extensive evaluation on a multi-turn task-oriented dialog dataset in travel domain and the results show that our method achieves superior performance as compared to a wide range of baselines.


title: On certain q-trigonometric identities

abstract: Finding theta function (or $q$-)analogues for well-known trigonometric identities is an interesting topic. In this paper, we first introduce the definition of $q$-analogues for $\mathrm{tan}z$ and $\mathrm{cot}z$ and then apply the theory of elliptic functions to establish a theta function identity. From this identity we deduce two $q$-trigonometric identities involving $\mathrm{tan}_{q}z$ and $\cot_{q}z,$ which are theta function analogues for two well-known trigonometric identities concerning $\mathrm{tan}z$ and $\cot z.$ Some other $q$-trigonometric identities are also given.


title: Some new estimates of precision of Cusa-Huygens and Huygens approximations

abstract: In this paper we present some new upper bounds of the Cusa-Huygens and the Huygens approximations. Bounds are obtained in the forms of some polynomial and some rational functions.


title: Verifying that a compiler preserves concurrent value-dependent information-flow security

abstract: It is common to prove by reasoning over source code that programs do not leak sensitive data. But doing so leaves a gap between reasoning and reality that can only be filled by accounting for the behaviour of the compiler. This task is complicated when programs enforce value-dependent information-flow security properties (in which classification of locations can vary depending on values in other locations) and complicated further when programs exploit shared-variable concurrency. Prior work has formally defined a notion of concurrency-aware refinement for preserving value-dependent security properties. However, that notion is considerably more complex than standard refinement definitions typically applied in the verification of semantics preservation by compilers. To date it remains unclear whether it can be applied to a realistic compiler, because there exist no general decomposition principles for separating it into smaller, more familiar, proof obligations. In this work, we provide such a decomposition principle, which we show can almost halve the complexity of proving secure refinement. Further, we demonstrate its applicability to secure compilation, by proving in Isabelle/HOL the preservation of value-dependent security by a proof-of-concept compiler from an imperative While language to a generic RISC-style assembly language, for programs with shared-memory concurrency mediated by locking primitives. Finally, we execute our compiler in Isabelle on a While language model of the Cross Domain Desktop Compositor, demonstrating to our knowledge the first use of a compiler verification result to carry an information-flow security property down to the assembly-level model of a non-trivial concurrent program.


title: On a first order transition in QCD with up, down and strange quarks

abstract: We consider the quark-mass dependence of the baryon octet and decuplet ground state masses. It is predicted that QCD dynamics implies a first order transition when increasing the strange quark mass from its chiral limit towards its physical value. Our claim relies on a global fit to the available QCD lattice data on such baryon masses. Quantitative results based on an application of the chiral SU(3) Lagrangian at N$^3$LO are discussed. We predict an anomalous sector of QCD where stable baryonic matter would be composed of lambda or anti-lambda particles rather than nucleons and anti-nucleons.


title: Spontaneous excitation of an accelerated atom coupled with quantum fluctuations of spacetime

abstract: A direct consequence of quantization of gravity would be quantum gravitational vacuum fluctuations which induce quadrupole moments in gravitationally polarizable atoms. In this paper, we study the spontaneous excitation of a gravitationally polarizable atom with a uniform acceleration $a$ in interaction with a bath of fluctuating quantum gravitational fields in vacuum, and compare the result with that of a static one in a thermal bath of gravitons at the Unruh temperature. We find that, under the fluctuations of spacetime itself, transitions to higher-lying excited states from the ground state are possible for both the uniformly accelerated atom in vacuum and the static one in a thermal bath. The appearance of terms in the transition rates proportional to $a^4$ and $a^2$ indicates that the equivalence between uniform acceleration and thermal field is lost.


title: Evidential distance measure in complex belief function theory

abstract: In this paper, an evidential distance measure is proposed which can measure the difference or dissimilarity between complex basic belief assignments (CBBAs), in which the CBBAs are composed of complex numbers. When the CBBAs are degenerated from complex numbers to real numbers, i.e., BBAs, the proposed distance will degrade into the Jousselme et al.'s distance. Therefore, the proposed distance provides a promising way to measure the differences between evidences in a more general framework of complex plane space.


title: Non-spherical Harish-Chandra Fourier transforms on real reductive groups

abstract: The Harish-Chandra Fourier transform, $f\mapsto\mathcal{H}f,$ is a linear topological algebra isomorphism of the spherical (Schwartz) convolution algebra $\mathcal{C}^{p}(G//K)$ (where $K$ is a maximal compact subgroup of any arbitrarily chosen group $G$ in the Harish-Chandra class and $0<p\leq2$) onto the (Schwartz) multiplication algebra $\bar{\mathcal{Z}}({\mathfrak{F}}^{\epsilon})$ (of $\mathfrak{w}-$invariant members of $\mathcal{Z}({\mathfrak{F}}^{\epsilon}),$ with $\epsilon=(2/p)-1$). This is the well-known Trombi-Varadarajan theorem for spherical functions on the real reductive group, $G.$ Even though $\mathcal{C}^{p}(G//K)$ is a closed subalgebra of $\mathcal{C}^{p}(G),$ a similar theorem cannot however be proved for the full Schwartz convolution algebra $\mathcal{C}^{p}(G)$ except; for $\mathcal{C}^{p}(G/K)$ (whose method is essentially that of Trombi-Varadarajan, as shown by M. Eguchi); for few specific examples of groups (notably $G=SL(2,\R)$) and; for some notable values of $p$ (with restrictions on $G$ and/or on members of $\;\mathcal{C}^{p}(G)$). In this paper, we construct an appropriate image of the Harish-Chandra Fourier transform for the full Schwartz convolution algebra $\mathcal{C}^{p}(G),$ without any restriction on any of $G,p$ and members of $\;\mathcal{C}^{p}(G).$ Our proof, that the Harish-Chandra Fourier transform, $f\mapsto\mathcal{H}f,$ is a linear topological algebra isomorphism on $\mathcal{C}^{p}(G),$ equally shows that its image $\mathcal{C}^{p}(\widehat{G})$ can be nicely decomposed, that the full invariant harmonic analysis is available and implies that the definition of the Harish-Chandra Fourier transform may now be extended to include all $p-$tempered distributions on $G$ and to the zero-Schwartz spaces


title: Fast uncertainty quantification of reservoir simulation with variational U-Net

abstract: Quantification of uncertainty in production/injection forecasting is an important aspect of reservoir simulation studies. Conventional approaches include intrusive Galerkin-based methods (e.g., generalized polynomial chaos (gPC) and stochastic collocation (SC) methods) and non-intrusive Monte Carlo (MC) based methods. Nevertheless, the quantification is conducted in reformulations of the underlying stochastic PDEs with fixed well controls. If one wants to take various well control plans into account, expensive computations need to be repeated for each well design independently. In this project, we take advantages of the equation-free spirit of convolutional neural network (CNN) to overcome this challenge and thus achieve the flexibility of efficient uncertainty quantification with various well controls. We are interested in the development of surrogate models for uncertainty quantification and propagation in reservoir simulations using a deep convolutional encoder-decoder network as an analogue to the image-to-image regression tasks in computer science. First, a U-Net architecture is applied to replace conventional expensive deterministic PDE solver. Then we adopt the idea from shape-guided image generation using variational U-Net and design a new variational U-Net architecture for "control-guided" reservoir simulation. Backward propagation is learned in the network to extract the hidden physical quantities and then predict the future production by the learned forward propagation using the hidden variable with various well controls. Comparisons in computational efficiency are made between our proposed CNN approach and conventional MC approach. Significant improvements in computational speed with reasonable accuracy loss are observed in the numerical tests.


title: Expression of the peak time for time-domain boundary measurements in diffuse light

abstract: Light propagation through diffusive media can be described by the diffusion equation in a space-time domain. Further, fluorescence can be described by a system of coupled diffusion equations. This paper analyzes time-domain measurements, which measure the temporal point-spread function (TPSF), at a boundary of such diffusive media with a given source and detector. We focus on the temporal position of the TPSF maximum, which we refer to as the peak time. Although some unique properties of solutions of this system have been numerically studied, we give a mathematical analysis of peak time, providing proof of the existence, uniqueness, and the explicit expression of the peak time. We clearly show the relationship between the peak time and the object position in a medium.


title: Constructing Information-Lossless Biological Knowledge Graphs from Conditional Statements

abstract: Conditions are essential in the statements of biological literature. Without the conditions (e.g., environment, equipment) that were precisely specified, the facts (e.g., observations) in the statements may no longer be valid. One biological statement has one or multiple fact(s) and/or condition(s). Their subject and object can be either a concept or a concept's attribute. Existing information extraction methods do not consider the role of condition in the biological statement nor the role of attribute in the subject/object. In this work, we design a new tag schema and propose a deep sequence tagging framework to structure conditional statement into fact and condition tuples from biological text. Experiments demonstrate that our method yields a information-lossless structure of the literature.


title: Anti-orthotomics of frontals and their applications

abstract: Let $f: N^n\to \mathbb{R}^{n+1}$ be a frontal with its Gauss mapping $\nu: N\to S^n$ and let $P\in \mathbb{R}^{n+1}$ be a point such that $(f(x)-P)\cdot \nu(x) \ne 0$ for any $x\in N$. In this paper, for the mapping $\widetilde{f}: N\to \mathbb{R}^{n+1}$ defined by $$ \widetilde{f}(x)=f(x)-\frac{||f(x)-P||^2}{2(f(x)-P) \cdot \nu(x)}\nu(x), $$ the following four are shown. (1) $\widetilde{f}$ is a frontal with its Gauss mapping $\widetilde{\nu}(x)=\frac{f(x)-P}{||f(x)-P||}$ at $\widetilde{f}(x)$. (2) $\widetilde{f}$ is the unique anti-orthotomic of $f$ relative to $P$. (3) The property $(\widetilde{f}(x)-P)\cdot \widetilde{\nu}(x)\ne 0 $ holds for any $x\in N$. (4) The equality $||\widetilde{f}(x)-P||=||\widetilde{f}(x)-f(x)||$ holds for any $x\in N$. Moreover, three applications of the main result are given. As the first application, a generalization of Cahn-Hoffman vector formula is given. The second application is to clarify an optical meaning of anti-orthotomics. The third application gives a criterion to be a front for a given frontal.


title: Floating Zone Growth of Sr Substituted Han Purple: Ba$_{0.9}$Sr$_{0.1}$CuSi$_{2}$O$_{6}$

abstract: We present a route to grow single crystals of Ba$_{0.9}$Sr$_{0.1}$CuSi$_{2}$O$_{6}$ suitable for inelastic neutron studies via the floating zone technique. Neutron single crystal diffraction was utilized to check their bulk quality and orientation. Finally, the high quality of the grown crystals was proven by X-ray diffraction and magnetic susceptibility.


title: A greedy algorithm for sparse precision matrix approximation

abstract: Precision matrix estimation is an important problem in statistical data analysis. This paper introduces a fast sparse precision matrix estimation algorithm, namely GISS$^{{\rho}}$, which is originally introduced for compressive sensing. The algorithm GISS$^{{\rho}}$ is derived based on $l_1$ minimization while with the computation advantage of greedy algorithms. We analyze the asymptotic convergence rate of the proposed GISS$^{{\rho}}$ for sparse precision matrix estimation and sparsity recovery properties with respect to the stopping criteria. Finally, we numerically compare GISS$^{\rho}$ to other sparse recovery algorithms, such as ADMM and HTP in three settings of precision matrix estimation. The numerical results show the advantages of the proposed algorithm.


title: Flapping, swirling and flipping: Non-linear dynamics of pre-stressed active filaments

abstract: Initially straight slender elastic rods with geometrically constrained ends buckle and form stable two-dimensional shapes when compressed by bringing the ends together. It is also known that beyond a critical value of the pre-stress, clamped rods transition to bent, twisted three-dimensional equilibrium shapes. Recently, we showed that pre-stressed planar shapes when immersed in a dissipative fluid and animated by nonconservative follower forces exhibit stable large-amplitude flapping oscillations. Here, we use time-stepper methods to analyze the three-dimensional instabilities and dynamics of pre-stressed planar and non-planar filament configurations when subject to active follower forces and dissipative fluid drag. First, we find that type of boundary constraint determines the nature of the non-linear patterns following instability. When the filament is clamped at one end and pinned at the other with follower forces directed towards the clamped end, we observe only stable planar (flapping) oscillations termed flapping result. When both ends are clamped however, we observe a secondary instability wherein planar oscillations are destabilized by off-planar perturbations and result in fully three-dimensional swirling patterns characterized by two distinct time-scales. The first time scale characterizes continuous and unidirectional swirling rotation around the end-to-end axis. The second time scale captures the rate at which the direction of swirling reverses or flips. The overall time over which the direction of swirling flips is very short compared to the long times over which the filament swirls in the same direction. Computations indicate that the reversal of swirling oscillations resembles relaxation oscillations with each cycle initiated by a sudden jump in torsional deformation and then followed by a period of gradual decrease in net torsion until the next cycle of variations.


title: Social Media-based User Embedding: A Literature Review

abstract: Automated representation learning is behind many recent success stories in machine learning. It is often used to transfer knowledge learned from a large dataset (e.g., raw text) to tasks for which only a small number of training examples are available. In this paper, we review recent advance in learning to represent social media users in low-dimensional embeddings. The technology is critical for creating high performance social media-based human traits and behavior models since the ground truth for assessing latent human traits and behavior is often expensive to acquire at a large scale. In this survey, we review typical methods for learning a unified user embeddings from heterogeneous user data (e.g., combines social media texts with images to learn a unified user representation). Finally we point out some current issues and future directions.


title: Metallic K\"ahler and Nearly Metallic Kahler Manifolds

abstract: In this paper, we construct metallic K\"ahler and nearly metallic K\"ahler structures on Riemanian manifolds. For such manifolds with these structures, we study curvature properties. Also we describe linear connections on the manifold, which preserve the associated fundamental 2-form and satisfy some additional conditions and present some results concerning them.


title: Controlling photonic spin Hall effect via exceptional points

abstract: The photonic spin Hall effect (SHE), featured by a spin-dependent transverse shift of an impinging optical beam driven by its polarization handedness, has many applications including precise metrology and spin-based nanophotonic devices. It is highly desirable to control and enhance the photonic SHE. However, such a goal remains elusive, due to the weak spin-orbit interaction of light, especially for systems with optical loss. Here we reveal a flexible way to modulate the photonic SHE via exceptional points, by exploiting the transverse shift in a parity-time (PT) symmetric system with balanced gain and loss. The underlying physics is associated with the near-zero value and abrupt phase jump of the reflection coefficients at exceptional points. We find that the transverse shift is zero at exceptional points, but it is largely enhanced in their vicinity. In addition, the transverse shift switches its sign across the exceptional point, resulting from spontaneous PT-symmetry breaking. Due to the sensitivity of transverse shift at exceptional points, our work also indicates that the photonic SHE can enable a precise way to probe the location of exceptional point in photonic systems.


title: The Hawking temperature in the context of dark energy for Kerr-Newman and Kerr-Newman-AdS backgrounds

abstract: We show that the Hawking temperature is modified in the presence of dark energy in an emergent gravity scenario for Kerr-Newman(KN) and Kerr-Newman-AdS(KNAdS) background metrics. The emergent gravity metric is not conformally equivalent to the gravitational metric. We calculate the Hawking temperatures for these emergent gravity metrics along $\theta=0$. Also we show that the emergent black hole metrics are satisfying Einstein's equations for large $r$ and $\theta=0$. Our analysis is done in the context of dark energy in an emergent gravity scenario having $k-$essence scalar fields $\phi$ with a Dirac-Born-Infeld type lagrangian. In KN and KNAdS background, the scalar field $\phi(r,t)=\phi_{1}(r)+\phi_{2}(t)$ satisfies the emergent gravity equations of motion at $r\rightarrow\infty$ for $\theta=0$.


title: Precision Test of the Limits to Universality in Few-Body Physics

abstract: We perform precise studies of two- and three-body interactions near an intermediate-strength Feshbach resonance in $^{39}\mathrm{K}$ at $33.5820(14)\thinspace$G. Precise measurement of dimer binding energies, spanning three orders of magnitude, enables the construction of a complete two-body coupled-channel model for determination of the scattering lengths with an unprecedented low uncertainty. Utilizing an accurate scattering length map, we measure the precise location of the Efimov ground state to test van der Waals universality. Precise control of the sample's temperature and density ensures that systematic effects on the Efimov trimer state are well understood. We measure the ground Efimov resonance location to be at $-14.05(17)$ times the van der Waals length $r_{\mathrm{vdW}}$, significantly deviating from the value of $-9.7 \thinspace r_{\mathrm{vdW}}$ predicted by van der Waals universality. We find that a refined multichannel three-body model, built on our measurement of two-body physics, can account for this difference and even successfully predict the Efimov inelasticity parameter $\eta$.


title: A simple proof of the complete metric approximation property for q-Gaussian algebras

abstract: The aim of this note is to give a simpler proof of a result of Avsec, which states that $q$-Gaussian algebras have the complete metric approximation property.


title: The molecular outflow in NGC253 at a resolution of two parsecs

abstract: We present 0.15'' (~2.5pc) resolution ALMA CO(3-2) observations of the starbursting center in NGC253. Together with archival ALMA CO(1-0) and CO(2-1) data we decompose the emission into a disk and non-disk component. We find ~7-16% of the CO luminosity to be associated with the non-disk component ($1.2-4.2 \times 10^7$ K km s$^{-1}$ pc$^2$). The total molecular gas mass in the center of NGC253 is $\sim 3.6 \times 10^8$ M$_\odot$ with $\sim 0.5 \times 10^8$ M$_\odot$ (~15%) in the non-disk component. These measurements are consistent across independent mass estimates through three CO transitions. The high-resolution CO(3-2) observations allow us to identify the molecular outflow within the non-disk gas. Using a starburst conversion factor, we estimate the deprojected molecular mass outflow rate, kinetic energy and momentum in the starburst of NGC253. The deprojected molecular mass outflow rate is in the range ~14-39 M$_\odot$ yr$^{-1}$ with an uncertainty of 0.4dex. The large spread arises due to different interpretations of the kinematics of the observed gas while the errors are due to unknown geometry. The majority of this outflow rate is contributed by distinct outflows perpendicular to the disk, with a significant contribution by diffuse molecular gas. This results in a mass loading factor $\eta = \dot{M}_\mathrm{out} / \dot{M}_\mathrm{SFR}$ in the range $\eta \sim 8-20$ for gas ejected out to ~300pc. We find the kinetic energy of the outflow to be $\sim 2.5-4.5 \times 10^{54}$ erg and ~0.8dex typical error which is ~0.1% of the total or ~8% of the kinetic energy supplied by the starburst. The outflow momentum is $4.8-8.7 \times 10^8$ M$_\odot$ km s$^{-1}$ (~0.5dex error) or ~2.5-4% of the kinetic momentum released into the ISM by feedback. The unknown outflow geometry and launching sites are the primary source of uncertainty in this study.


title: Manifolds of classical probability distributions and quantum density operators in infinite dimensions

abstract: The manifold structure of subsets of classical probability distributions and quantum density operators in infinite dimensions is investigated in the context of $C^{*}$-algebras and actions of Banach-Lie groups. Specificaly, classical probability distributions and quantum density operators may be both described as states (in the functional analytic sense) on a given $C^{*}$-algebra $\mathscr{A}$ which is Abelian for Classical states, and non-Abelian for Quantum states. In this contribution, the space of states $\mathscr{S}$ of a possibly infinite-dimensional, unital $C^{*}$-algebra $\mathscr{A}$ is partitioned into the disjoint union of the orbits of an action of the group $\mathscr{G}$ of invertible elements of $\mathscr{A}$. Then, we prove that the orbits through density operators on an infinite-dimensional, separable Hilbert space $\mathcal{H}$ are smooth, homogeneous Banach manifolds of $\mathscr{G}=\mathcal{GL}(\mathcal{H})$, and, when $\mathscr{A}$ admits a faithful tracial state $\tau$ like it happens in the Classical case when we consider probability distributions with full support, we prove that the orbit through $\tau$ is a smooth, homogeneous Banach manifold for $\mathscr{G}$.


title: Quantization of nonlocal fractional field theories via the extension problem

abstract: We use the extension problem proposed by Caffarelli and Silvestre to study the quantization of a scalar nonlocal quantum field theory built out of the fractional Laplacian. We show that the quantum behavior of such a nonlocal field theory in $d$-dimensions can be described in terms of a local action in $d+1$ dimensions which can be quantized using the canonical operator formalism though giving up local commutativity. In particular, we discuss how to obtain the two-point correlation functions and the vacuum energy density of the nonlocal fractional theory as a brane limit of the bulk correlators. We show explicitly how the quantized extension problem reproduces exactly the same particle content of other approaches based on the spectral representation of the fractional propagator. We also briefly discuss the inverse fractional Laplacian and possible applications of this approach in general relativity and cosmology.


title: Learning Objectness from Sonar Images for Class-Independent Object Detection

abstract: Detecting novel objects without class information is not trivial, as it is difficult to generalize from a small training set. This is an interesting problem for underwater robotics, as modeling marine objects is inherently more difficult in sonar images, and training data might not be available apriori. Detection proposals algorithms can be used for this purpose but usually requires a large amount of output bounding boxes. In this paper we propose the use of a fully convolutional neural network that regresses an objectness value directly from a Forward-Looking sonar image. By ranking objectness, we can produce high recall (96 %) with only 100 proposals per image. In comparison, EdgeBoxes requires 5000 proposals to achieve a slightly better recall of 97 %, while Selective Search requires 2000 proposals to achieve 95 % recall. We also show that our method outperforms a template matching baseline by a considerable margin, and is able to generalize to completely new objects. We expect that this kind of technique can be used in the field to find lost objects under the sea.


title: From Bilingual to Multilingual Neural Machine Translation by Incremental Training

abstract: Multilingual Neural Machine Translation approaches are based on the use of task-specific models and the addition of one more language can only be done by retraining the whole system. In this work, we propose a new training schedule that allows the system to scale to more languages without modification of the previous components based on joint training and language-independent encoder/decoder modules allowing for zero-shot translation. This work in progress shows close results to the state-of-the-art in the WMT task.


title: TRIDENT: A load-balancing Clos-network Packet Switch with Queues between Input and Central Stages and In-Order Forwarding

abstract: We propose a three-stage load balancing packet switch and its configuration scheme. The input- and central-stage switches are bufferless crossbars, and the output-stage switches are buffered crossbars. We call this switch ThRee-stage Clos-network swItch with queues at the middle stage and DEtermiNisTic scheduling (TRIDENT), and the switch is cell based. The proposed configuration scheme uses predetermined and periodic interconnection patterns in the input and central modules to load-balance and route traffic, therefore; it has low configuration complexity. The operation of the switch includes a mechanism applied at input and output modules to forward cells in sequence. TRIDENT achieves 100% throughput under uniform and nonuniform admissible traffic with independent and identical distributions (i.i.d.). The switch achieves this high performance using a low-complexity architecture while performing in-sequence forwarding and no central-stage expansion or memory speedup. Our discussion includes throughput analysis, where we describe the operations the configuration mechanism performs on the traffic traversing the switch, and proof of in-sequence forwarding. We present a simulation analysis as a practical demonstration of the switch performance under uniform and nonuniform i.i.d. traffic.


title: Construction and Categoricity of the Real Number System Using Decimals

abstract: In this expository article, the real numbers are defined as infinite decimals. After defining an ordering relation and the arithmetic operations, it is shown that the set of real numbers is a complete ordered field. It is further shown that any complete ordered field is isomorphic to the constructed set of real numbers.


title: Mapping electromagnetic fields structure in plasma using a spin polarized electron beam

abstract: We propose a scheme to mapping electromagnetic fields structure in plasma by using a spin polarized relativistic electron beam. Especially by using Particle-in-Cell (PIC) and electron spin tracing simulations, we have successfully reconstructed a plasma wakefield from the spin evolution of a transmitted electron beam. Electron trajectories of the probe beam are obtained from PIC simulations, and the spin evolutions during the beam propagating through the fields are calculated by a spin tracing code. The reconstructed fields illustrate the main characters of the original fields, which demonstrates the feasibility of fields detection by use of spin polarized relativistic electron beams.


title: Space-like maximal surfaces containing entire null lines in Lorentz-Minkowski 3-space

abstract: Consider a surface $S$ immersed in the Lorentz-Minkowski 3-space $\boldsymbol R^3_1$. A complete light-like line in $\boldsymbol R^3_1$ is called an entire null line on the surface $S$ in $\boldsymbol R^3_1$ if it lies on $S$ and consists of only null points with respect to the induced metric. In this paper, we show the existence of embedded space-like maximal graphs containing entire null lines. If such a graph is defined on a convex domain in $\boldsymbol R^2$, then it must be a light-like plane. Our example is critical in the sense that it is defined on a certain non-convex domain.


title: Generalized Elko Theory

abstract: By using a totally antisymmetric spinor field we generalize Elko theory. We compare our proposed theory with traditional totally antisymmetric spinor field theory based on the Dirac equation. As an application of our formalism we comment about the possibility to link our generalized Elko theory with matroids, qubits and surreal numbers.


title: Abstract induced modules for reductive algebraic groups with Frobenius maps

abstract: Let ${\bf G}$ be a connected reductive algebraic group defined over a finite field $\mathbb{F}_q$ of $q$ elements, and ${\bf B}$ be a Borel subgroup of ${\bf G}$ defined over $\mathbb{F}_q$. Let $\Bbbk$ be a field and we assume that $\Bbbk=\bar{\mathbb{F}}_q $ when $\text{char}\ \Bbbk=\text{char} \ \mathbb{F}_q$. We show that the abstract induced module $\mathbb{M}(\theta)=\Bbbk{\bf G}\otimes_{\Bbbk{\bf B}}\theta$ (here $\Bbbk{\bf H}$ is the group algebra of ${\bf H}$ over the field $\Bbbk$ and $\theta$ is a character of ${\bf B}$ over $\Bbbk$) has a composition series (of finite length) if $\text{char}\ \Bbbk\ne \text{char} \ \mathbb{F}_q$. In the case $\Bbbk=\bar{\mathbb{F}}_q$ and $\theta$ is a rational character, we give a necessary and sufficient condition for the existence of a composition series (of finite length) of $\mathbb{M}(\theta)$. We determine all the composition factors whenever a composition series exists. Thus we obtain a large class of abstract infinite-dimensional irreducible $\Bbbk{\bf G}$-modules.


title: Determined Admissible Sets

abstract: It is shown, from hypotheses in the region of $\omega^2$ Woodin cardinals, that there is a transitive model of KP + AD$_\mathbb{R}$ containing all reals.


title: Nonlinear theory of magnetohydrodynamic flows of stratified rotating plasma in two-layer shallow water approximation. Rossby waves and their three-wave interactions

abstract: This article deals with rotating magnetohydrodynamic flows of a thin stratified layer of astrophysical plasma in a gravitational field with a free-surface in a vertical external magnetic field. Magnetohydrodynamic equations are obtained in the two-layer shallow water approximation in an external magnetic field when plasma is divided into two layers of different densities. In the beta-plane approximation a system of shallow water equations for rotating stratified plasma in an external magnetic field is obtained. For stationary initial conditions in the form of vertical or horizontal magnetic field a linear theory has been developed and solutions have been found in the form of magneto-Rossby waves with modifications to them describing the effects of stratification. A qualitative analysis of the dispersion curves shows the presence of three-wave nonlinear interactions of magneto-Rossby waves for each of the stationary solutions. The appearance of parametric instabilities is shown and their increments are found.

categories: physics.plasm-ph astro-ph.SR physics.flu-dyn physics.space-ph


title: Geometric and combinatorial aspects of submonoids of a finite-rank free commutative monoid

abstract: If $\mathbb{F}$ is an ordered field and $M$ is a finite-rank torsion-free monoid, then one can embed $M$ into a finite-dimensional vector space over $\mathbb{F}$ via the inclusion $M \hookrightarrow \text{gp}(M) \hookrightarrow \mathbb{F} \otimes_{\mathbb{Z}} \text{gp}(M)$, where $\text{gp}(M)$ is the Grothendieck group of $M$. Let $\mathcal{C}$ be the class consisting of all monoids (up to isomorphism) that can be embedded into a finite-rank free commutative monoid. Here we investigate how the atomic structure and arithmetic properties of a monoid $M$ in $\mathcal{C}$ are connected to the combinatorics and geometry of its conic hull $\text{cone}(M) \subseteq \mathbb{F} \otimes_{\mathbb{Z}} \text{gp}(M)$. First, we show that the submonoids of $M$ determined by the faces of $\text{cone}(M)$ account for all divisor-closed submonoids of $M$. Then we appeal to the geometry of $\text{cone}(M)$ to characterize whether $M$ is a factorial, half-factorial, and other-half-factorial monoid. Finally, we investigate the cones of finitary, primary, finitely primary, and strongly primary monoids in $\mathcal{C}$. Along the way, we determine the cones that can be realized by monoids in $\mathcal{C}$ and by finitary monoids in $\mathcal{C}$.