title: Fansmitter: Acoustic Data Exfiltration from (Speakerless) Air-Gapped Computers

abstract: Because computers may contain or interact with sensitive information, they are often air-gapped and in this way kept isolated and disconnected from the Internet. In recent years the ability of malware to communicate over an air-gap by transmitting sonic and ultrasonic signals from a computer speaker to a nearby receiver has been shown. In order to eliminate such acoustic channels, current best practice recommends the elimination of speakers (internal or external) in secure computers, thereby creating a so-called 'audio-gap'. In this paper, we present Fansmitter, a malware that can acoustically exfiltrate data from air-gapped computers, even when audio hardware and speakers are not present. Our method utilizes the noise emitted from the CPU and chassis fans which are present in virtually every computer today. We show that a software can regulate the internal fans' speed in order to control the acoustic waveform emitted from a computer. Binary data can be modulated and transmitted over these audio signals to a remote microphone (e.g., on a nearby mobile phone). We present Fansmitter's design considerations, including acoustic signature analysis, data modulation, and data transmission. We also evaluate the acoustic channel, present our results, and discuss countermeasures. Using our method we successfully transmitted data from air-gapped computer without audio hardware, to a smartphone receiver in the same room. We demonstrated the effective transmission of encryption keys and passwords from a distance of zero to eight meters, with bit rate of up to 900 bits/hour. We show that our method can also be used to leak data from different types of IT equipment, embedded systems, and IoT devices that have no audio hardware, but contain fans of various types and sizes.


title: On the homotopy groups of spheres in homotopy type theory

abstract: The goal of this thesis is to prove that $\pi_4(S^3) \simeq \mathbb{Z}/2\mathbb{Z}$ in homotopy type theory. In particular it is a constructive and purely homotopy-theoretic proof. We first recall the basic concepts of homotopy type theory, and we prove some well-known results about the homotopy groups of spheres: the computation of the homotopy groups of the circle, the triviality of those of the form $\pi_k(S^n)$ with $k < n$, and the construction of the Hopf fibration. We then move to more advanced tools. In particular, we define the James construction which allows us to prove the Freudenthal suspension theorem and the fact that there exists a natural number $n$ such that $\pi_4(S^3) \simeq \mathbb{Z}/n\mathbb{Z}$. Then we study the smash product of spheres, we construct the cohomology ring of a space, and we introduce the Hopf invariant, allowing us to narrow down the $n$ to either $1$ or $2$. The Hopf invariant also allows us to prove that all the groups of the form $\pi_{4n-1}(S^{2n})$ are infinite. Finally we construct the Gysin exact sequence, allowing us to compute the cohomology of $\mathbb{C}P^2$ and to prove that $\pi_4(S^3) \simeq \mathbb{Z}/2\mathbb{Z}$ and that more generally $\pi_{n+1}(S^n) \simeq \mathbb{Z}/2\mathbb{Z}$ for every $n \ge 3$.


title: How to verify computation with a rational network

abstract: The present paper introduces a practical protocol for provably secure, outsourced computation. Our protocol minimizes overhead for verification by requiring solutions to withstand an interactive game between a prover and challenger. For optimization problems, the best or nearly best of all submitted solutions is expected to be accepted by this approach. Financial incentives and deposits are used in order to overcome the problem of fake participants.


title: Slack and Margin Rescaling as Convex Extensions of Supermodular Functions

abstract: Slack and margin rescaling are variants of the structured output SVM, which is frequently applied to problems in computer vision such as image segmentation, object localization, and learning parts based object models. They define convex surrogates to task specific loss functions, which, when specialized to non-additive loss functions for multi-label problems, yield extensions to increasing set functions. We demonstrate in this paper that we may use these concepts to define polynomial time convex extensions of arbitrary supermodular functions, providing an analysis framework for the tightness of these surrogates. This analysis framework shows that, while neither margin nor slack rescaling dominate the other, known bounds on supermodular functions can be used to derive extensions that dominate both of these, indicating possible directions for defining novel structured output prediction surrogates. In addition to the analysis of structured prediction loss functions, these results imply an approach to supermodular minimization in which margin rescaling is combined with non-polynomial time convex extensions to compute a sequence of LP relaxations reminiscent of a cutting plane method. This approach is applied to the problem of selecting representative exemplars from a set of images, validating our theoretical contributions.


title: Multilayer Silicene: a clear evidence

abstract: One year after the publication of the seminal paper on monolayer 3 by 3 reconstructed silicene grown on a silver (111) substrate, evidence of the synthesis of epitaxial root3 by root3 reconstructed multilayer silicene hosting Dirac fermions was presented. Although a general consensus was immediately reached in the former case, in the latter one, the mere existence of multilayer silicene was questioned and strongly debated. Here, we demonstrate by means of a comprehensive x-ray crystallographic study, that multilayer silicene is effectively realized upon growth at rather low growth temperatures (~200{\deg}C), while, instead, 3D growth of silicon crystallites takes place at higher temperatures, (~300{\deg}C). This transition to bulk like silicon perfectly explains the various data presented and discussed in the literature and solves their conflicting interpretations.


title: Gleason parts and point derivations for uniform algebras with dense invertible group

abstract: It is shown that there exists a compact set $X$ in ${\bf C}^N$ ($N\geq 2$) such that $\widehat X\setminus X$ is nonempty and the uniform algebra $P(X)$ has a dense set of invertible elements, a large Gleason part, and an abundance of nonzero bounded point derivations. The existence of a Swiss cheese $X$ such that $R(X)$ has a Gleason part of full planar measure and a nonzero bounded point derivation at almost every point is established. An analogous result in ${\bf C}^N$ is presented. The analogue for rational hulls of a result of Duval and Levenberg on polynomial hulls containing no analytic discs is established. The results presented address questions raised by Dales and Feinstein.


title: Matter localization on brane-worlds generated by deformed defects

abstract: Localization and mass spectrum of bosonic and fermionic matter fields of some novel families of asymmetric thick brane configurations generated by deformed defects are investigated. The localization profiles of spin 0, spin 1/2 and spin 1 bulk fields are identified for novel matter field potentials supported by thick branes with internal structures. The condition for localization is constrained by the brane thickness of each model such that thickest branes strongly induces matter localization. The bulk mass terms for both fermion and boson fields are included in the global action as to produce some imprints on mass-independent potentials of the Kaluza-Klein modes associated to the corresponding Schr\"odinger equations. In particular, for spin 1/2 fermions, a complete analytical profile of localization is obtained for the four classes of superpotentials here discussed. Regarding the localization of fermion fields, our overall conclusion indicates that thick branes produce a left-right asymmetric chiral localization of spin 1/2 particles.


title: Quantum Capacitance Modifies Interionic Interactions in Semiconducting Nanopores

abstract: Nanopores made with low dimensional semiconducting materials, such as carbon nanotubes and graphene slit pores, are used in supercapacitors. In theories and simulations of their operation, it is often assumed that such pores screen ion-ion interactions like metallic pores, i.e. that screening leads to an exponential decay of the interaction potential with ion separation. By introducing a quantum capacitance that accounts for the density of states in the material, we show that ion-ion interactions in carbon nanotubes and graphene slit pores actually decay algebraically with ion separation. This result suggests a new avenue of capacitance optimization based on tuning the electronic structure of a pore: a marked enhancement in capacitance might be achieved by developing nanopores made with metallic materials or bulk semimetallic materials.

categories: cond-mat.mtrl-sci cond-mat.mes-hall cond-mat.soft physics.chem-ph


title: Embedding large graphs into a random graph

abstract: In this paper we consider the problem of embedding almost-spanning, bounded degree graphs in a random graph. In particular, let $\Delta\geq 5$, $\varepsilon > 0$ and let $H$ be a graph on $(1-\varepsilon)n$ vertices and with maximum degree $\Delta$. We show that a random graph $G_{n,p}$ with high probability contains a copy of $H$, provided that $p\gg (n^{-1}\log^{1/\Delta}n)^{2/(\Delta+1)}$. Our assumption on $p$ is optimal up to the $polylog$ factor. We note that this $polylog$ term matches the conjectured threshold for the spanning case.


title: Engineering design optimisation using tabu search

abstract: This paper describes an optimisation methodology that has been specifically developed for engineering design problems. The methodology is based on a Tabu search (TS) algorithm that has been shown to find high quality solutions with a relatively low number of objective function evaluations. Whilst the methodology was originally intended for a small range of design problems it has since been successfully applied to problems from different domains with no alteration to the underlying method. This paper describes the method and its application to three different problems. The first is from the field of structural design, the second relates to the design of electromagnetic pole shapes and the third involves the design of turbomachinery blades.


title: Graph based manifold regularized deep neural networks for automatic speech recognition

abstract: Deep neural networks (DNNs) have been successfully applied to a wide variety of acoustic modeling tasks in recent years. These include the applications of DNNs either in a discriminative feature extraction or in a hybrid acoustic modeling scenario. Despite the rapid progress in this area, a number of challenges remain in training DNNs. This paper presents an effective way of training DNNs using a manifold learning based regularization framework. In this framework, the parameters of the network are optimized to preserve underlying manifold based relationships between speech feature vectors while minimizing a measure of loss between network outputs and targets. This is achieved by incorporating manifold based locality constraints in the objective criterion of DNNs. Empirical evidence is provided to demonstrate that training a network with manifold constraints preserves structural compactness in the hidden layers of the network. Manifold regularization is applied to train bottleneck DNNs for feature extraction in hidden Markov model (HMM) based speech recognition. The experiments in this work are conducted on the Aurora-2 spoken digits and the Aurora-4 read news large vocabulary continuous speech recognition tasks. The performance is measured in terms of word error rate (WER) on these tasks. It is shown that the manifold regularized DNNs result in up to 37% reduction in WER relative to standard DNNs.


title: Probabilistic estimation of software project duration

abstract: This paper presents a framework for the representation of uncertainty in the estimates for software design projects for use throughout the entire project lifecycle. The framework is flexible in order to accommodate uncertainty in the project and utilises Monte Carlo simulation to compute the propagation of uncertainty in effort estimates towards the total project uncertainty and therefore gives a project manager the means to make informed decisions throughout the project life. The framework also provides a mechanism for accumulating project knowledge through the use of a historical database, allowing effort estimates to be informed by, or indeed based upon, the outcome of previous projects. Initial results using simulated data are presented and avenues for further work are discussed.


title: Minimum cost polygon overlay with rectangular shape stock panels

abstract: Minimum Cost Polygon Overlay (MCPO) is a unique two-dimensional optimization problem that involves the task of covering a polygon shaped area with a series of rectangular shaped panels. This has a number of applications in the construction industry. This work examines the MCPO problem in order to construct a model that captures essential parameters of the problem to be solved automatically using numerical optimization algorithms. Three algorithms have been implemented of the actual optimization task: the greedy search, the Monte Carlo (MC) method, and the Genetic Algorithm (GA). Results are presented to show the relative effectiveness of the algorithms. This is followed by critical analysis of various findings of this research.


title: Tamm-Langmuir surface waves

abstract: In this work we develop a theory of surface electromagnetic waves localized at the interface of periodic metal-dielectric structures. We have shown that the anisotropy of plasma frequency in metal layers lifts the degeneracy of plasma oscillations and opens a series of photonic band gaps. This results in appearance of surface waves with singular density of states - we refer to them as Tamm-Langmuir waves. Such naming is natural since we have found that their properties are very similar to the properties of both bulk Langmuir and surface Tamm waves. Depending on the anisotropy parameters, Tamm-Langmuir waves can be either forward or backward waves. Singular density of states and high sensitivity of the dispersion to the anisotropy of the structure makes Tamm-Langmuir waves very promising for potential applications in nanophotonics and biosensing.


title: Learning Convolutional Neural Networks using Hybrid Orthogonal Projection and Estimation

abstract: Convolutional neural networks (CNNs) have yielded the excellent performance in a variety of computer vision tasks, where CNNs typically adopt a similar structure consisting of convolution layers, pooling layers and fully connected layers. In this paper, we propose to apply a novel method, namely Hybrid Orthogonal Projection and Estimation (HOPE), to CNNs in order to introduce orthogonality into the CNN structure. The HOPE model can be viewed as a hybrid model to combine feature extraction using orthogonal linear projection with mixture models. It is an effective model to extract useful information from the original high-dimension feature vectors and meanwhile filter out irrelevant noises. In this work, we present three different ways to apply the HOPE models to CNNs, i.e., {\em HOPE-Input}, {\em single-HOPE-Block} and {\em multi-HOPE-Blocks}. For {\em HOPE-Input} CNNs, a HOPE layer is directly used right after the input to de-correlate high-dimension input feature vectors. Alternatively, in {\em single-HOPE-Block} and {\em multi-HOPE-Blocks} CNNs, we consider to use HOPE layers to replace one or more blocks in the CNNs, where one block may include several convolutional layers and one pooling layer. The experimental results on both Cifar-10 and Cifar-100 data sets have shown that the orthogonal constraints imposed by the HOPE layers can significantly improve the performance of CNNs in these image classification tasks (we have achieved one of the best performance when image augmentation has not been applied, and top 5 performance with image augmentation).


title: Constraint on Matter Power Spectrum on $10^6-10^9M_\odot$ Scales from ${\large\tau_e}$

abstract: An analysis of the physics-rich endgame of reionization at $z=5.7$ is performed, utilizing jointly the observations of the Ly$\alpha$ forest, the mean free path of ionizing photons, the luminosity function of galaxies and new physical insight. We find that an upper limit on ${\rm \tau_e}$ provides a constraint on the minimum mean free path (of ionizing photons) that is primarily due to dwarf galaxies, which in turn yields a new and yet the strongest constraint on the matter power spectrum on $10^6-10^9M_\odot$ scales. With the latest Planck measurements of ${\rm \tau_e = 0.055 \pm 0.009}$, we can place an upper limit of $(8.9\times 10^6, 3.8\times 10^7, 4.2\times 10^8)M_\odot$ on the lower cutoff mass of the halo mass function, or equivalent a lower limit on warm dark matter particle mass ${\rm m_x \ge (15.1, 9.8, 4.6)keV}$ or on sterile neutrino mass ${\rm m_s \ge (161, 90, 33)keV}$, at $(1, 1.4, 2.2)\sigma$ confidence level, respectively.


title: Analytical Coverage Probability of a Typical User In Heterogeneous Cellular Networks

abstract: In a Poisson Point Process (PPP) network model, in which the locations of Base Stations (BSs) are randomly distributed according to a Spatial Poisson Process, has been recently used as a tractable stochastic model to analyse the performance of downlink Heterogeneous Cellular Networks (HCNs). The HCN is modelled as a multi-tier cellular network where each tier is characterised by the transmission power level, propagation path loss exponent and density of BSs. The current works on HCN enabling Intercell Interference Coordination (ICIC) technique usually deal with Strict Frequency Reuse (FR) or Soft FR with a reuse factor of $\Delta=1$ in a Rayleigh fading channel. It has been assumed that all Base Stations (BSs) transmit continuously which leads to a reduction on the impact of number of users and RBs on network performance. In this paper, the performance of Soft FR with a reuse factor of $\Delta>1$ in Rayleigh-Lognormal fading channel is evaluated. The impact of the number of users and Resource Blocks (RBs) on Intercell Interference (ICI) are presented for Round Robin scheduling and indicator functions. The results show that there are opposite trends between coverage probability of Cell-Center User (CCU) and Cell-Edge User (CEU).


title: Surfaces with $\chi=5, K^{2}=9$ and a canonical involution

abstract: In this paper, we classify the minimal surfaces of general type with $\chi=5$, $K^{2}=9$ whose canonical map is composed with an involution. We obtain 6 families, whose dimensions in the moduli space are 28, 27, 33, 32, 31 and 32 respectively. Among them, the family of surfaces having a genus 2 fibration forms an irreducible component of $\mathfrak{M}_{\chi=5, K^{2}=9}$.


title: Criticality Aware Multiprocessors

abstract: Typically, a memory request from a processor may need to go through many intermediate interconnect routers, directory node, owner node, etc before it is finally serviced. Current multiprocessors do not give preference to any particular memory request. But certain memory requests are more critical to multiprocessor's performance than other requests. Example: memory requests from critical sections, load request feeding into multiple dependent instructions, etc. This knowledge can be used to improve the performance of current multiprocessors by letting the ordering point and the interconnect routers prioritize critical requests over non-critical ones. In this paper, we evaluate using SIMICS/GEMS infrastructure. For lock-intensive microbenchmarks, criticality-aware multiprocessors showed 5-15% performance improvement over baseline multiprocessor. Criticality aware multiprocessor provides a new direction for tapping performance in a shared memory multiprocessor and can provide substantial speedup in lock intensive benchmarks.


title: Adapting ELM to Time Series Classification: A Novel Diversified Top-k Shapelets Extraction Method

abstract: ELM (Extreme Learning Machine) is a single hidden layer feed-forward network, where the weights between input and hidden layer are initialized randomly. ELM is efficient due to its utilization of the analytical approach to compute weights between hidden and output layer. However, ELM still fails to output the semantic classification outcome. To address such limitation, in this paper, we propose a diversified top-k shapelets transform framework, where the shapelets are the subsequences i.e., the best representative and interpretative features of each class. As we identified, the most challenge problems are how to extract the best k shapelets in original candidate sets and how to automatically determine the k value. Specifically, we first define the similar shapelets and diversified top-k shapelets to construct diversity shapelets graph. Then, a novel diversity graph based top-k shapelets extraction algorithm named as \textbf{DivTopkshapelets}\ is proposed to search top-k diversified shapelets. Finally, we propose a shapelets transformed ELM algorithm named as \textbf{DivShapELM} to automatically determine the k value, which is further utilized for time series classification. The experimental results over public data sets demonstrate that the proposed approach significantly outperforms traditional ELM algorithm in terms of effectiveness and efficiency.


title: Nanostructured intense-laser cleaner

abstract: A nanostructured target is proposed to enhance an intense-laser contrast: when a laser prepulse irradiates a nanostructured solid target surface, the prepulse is absorbed effectively by the nanostructured surface. The nanostructure size should be less than the laser wavelength. After the prepulse absorption, the front part of the main pulse destroys the microstructure and makes the surface a flat plasma mirror. The body of the main pulse is reflected almost perfectly. Compared with conventional plasma mirrors, the nanostructured surface is effective for the absorption of the intense laser prepulse, whose intensity is higher than 10^14 W/cm2. The nanostructured laser cleaner improves the laser pulse contrast by about a hundredfold. The nanostructured laser cleaner works well for next-generation intense lasers.


title: Secure Multiparty Sessions with Topics

abstract: Multiparty session calculi have been recently equipped with security requirements, in order to guarantee properties such as access control and leak freedom. However, the proposed security requirements seem to be overly restrictive in some cases. In particular, a party is not allowed to communicate any kind of public information after receiving a secret information. This does not seem justified in case the two pieces of information are totally unrelated. The aim of the present paper is to overcome this restriction, by designing a type discipline for a simple multiparty session calculus, which classifies messages according to their topics and allows unrestricted sequencing of messages on independent topics.


title: Formalization of Phase Ordering

abstract: Phasers pose an interesting synchronization mechanism that generalizes many collective synchronization patterns seen in parallel programming languages, including barriers, clocks, and point-to-point synchronization using latches or semaphores. This work characterizes scheduling constraints on phaser operations, by relating the execution state of two tasks that operate on the same phaser. We propose a formalization of Habanero phasers, May-Happen-In-Parallel, and Happens-Before relations for phaser operations, and show that these relations conform with the semantics. Our formalization and proofs are fully mechanized using the Coq proof assistant, and are available online.


title: Parallel Monitors for Self-adaptive Sessions

abstract: The paper presents a data-driven model of self-adaptivity for multiparty sessions. System choreography is prescribed by a global type. Participants are incarnated by processes associated with monitors, which control their behaviour. Each participant can access and modify a set of global data, which are able to trigger adaptations in the presence of critical changes of values. The use of the parallel composition for building global types, monitors and processes enables a significant degree of flexibility: an adaptation step can dynamically reconfigure a set of participants only, without altering the remaining participants, even if the two groups communicate.


title: Event-driven Adaptation in COP

abstract: Context-Oriented Programming languages provide us with primitive constructs to adapt program behaviour depending on the evolution of their operational environment, namely the context. In previous work we proposed ML_CoDa, a context-oriented language with two-components: a declarative constituent for programming the context and a functional one for computing. This paper describes an extension of ML_CoDa to deal with adaptation to unpredictable context changes notified by asynchronous events.


title: From Events to Reactions: A Progress Report

abstract: Syndicate is a new coordinated, concurrent programming language. It occupies a novel point on the spectrum between the shared-everything paradigm of threads and the shared-nothing approach of actors. Syndicate actors exchange messages and share common knowledge via a carefully controlled database that clearly scopes conversations. This approach clearly simplifies coordination of concurrent activities. Experience in programming with Syndicate, however, suggests a need to raise the level of linguistic abstraction. In addition to writing event handlers and managing event subscriptions directly, the language will have to support a reactive style of programming. This paper presents event-oriented Syndicate programming and then describes a preliminary design for augmenting it with new reactive programming constructs.


title: Reversible Sessions Using Monitors

abstract: Much research has studied foundations for correct and reliable communication-centric systems. A salient approach to correctness uses session types to enforce structured communications; a recent approach to reliability uses reversible actions as a way of reacting to unanticipated events or failures. This note develops a simple observation: the machinery required to define asynchronous semantics and monitoring can also support reversible protocols. We propose a process framework of session communication in which monitors support reversibility. A key novelty in our approach are session types with present and past, which allow us to streamline the semantics of reversible actions.


title: Future-based Static Analysis of Message Passing Programs

abstract: Message passing is widely used in industry to develop programs consisting of several distributed communicating components. Developing functionally correct message passing software is very challenging due to the concurrent nature of message exchanges. Nonetheless, many safety-critical applications rely on the message passing paradigm, including air traffic control systems and emergency services, which makes proving their correctness crucial. We focus on the modular verification of MPI programs by statically verifying concrete Java code. We use separation logic to reason about local correctness and define abstractions of the communication protocol in the process algebra used by mCRL2. We call these abstractions futures as they predict how components will interact during program execution. We establish a provable link between futures and program code and analyse the abstract futures via model checking to prove global correctness. Finally, we verify a leader election protocol to demonstrate our approach.


title: Multiparty Compatibility for Concurrent Objects

abstract: Objects and actors are communicating state machines, offering and consuming different services at different points in their lifecycle. Two complementary challenges arise when programming such systems. When objects interact, their state machines must be "compatible", so that services are requested only when they are available. Dually, when objects refine other objects, their state machines must be "compliant", so that services are honoured whenever they are promised. In this paper we show how the idea of multiparty compatibility from the session types literature can be applied to both of these problems. We present an untyped language in which concurrent objects are checked automatically for compatibility and compliance. For simple objects, checking can be exhaustive and has the feel of a type system. More complex objects can be partially validated via test cases, leading to a methodology closer to continuous testing. Our proof-of-concept implementation is limited in some important respects, but demonstrates the potential value of the approach and the relationship to existing software development practices.


title: Program Execution on Reconfigurable Multicore Architectures

abstract: Based on the two observations that diverse applications perform better on different multicore architectures, and that different phases of an application may have vastly different resource requirements, Pal et al. proposed a novel reconfigurable hardware approach for executing multithreaded programs. Instead of mapping a concurrent program to a fixed architecture, the architecture adaptively reconfigures itself to meet the application's concurrency and communication requirements, yielding significant improvements in performance. Based on our earlier abstract operational framework for multicore execution with hierarchical memory structures, we describe execution of multithreaded programs on reconfigurable architectures that support a variety of clustered configurations. Such reconfiguration may not preserve the semantics of programs due to the possible introduction of race conditions arising from concurrent accesses to shared memory by threads running on the different cores. We present an intuitive partial ordering notion on the cluster configurations, and show that the semantics of multithreaded programs is always preserved for reconfigurations "upward" in that ordering, whereas semantics preservation for arbitrary reconfigurations can be guaranteed for well-synchronised programs. We further show that a simple approximate notion of efficiency of execution on the different configurations can be obtained using the notion of amortised bisimulations, and extend it to dynamic reconfiguration.


title: Extending Nunchaku to Dependent Type Theory

abstract: Nunchaku is a new higher-order counterexample generator based on a sequence of transformations from polymorphic higher-order logic to first-order logic. Unlike its predecessor Nitpick for Isabelle, it is designed as a stand-alone tool, with frontends for various proof assistants. In this short paper, we present some ideas to extend Nunchaku with partial support for dependent types and type classes, to make frontends for Coq and other systems based on dependent type theory more useful.


title: Goal Translation for a Hammer for Coq (Extended Abstract)

abstract: Hammers are tools that provide general purpose automation for formal proof assistants. Despite the gaining popularity of the more advanced versions of type theory, there are no hammers for such systems. We present an extension of the various hammer components to type theory: (i) a translation of a significant part of the Coq logic into the format of automated proof systems; (ii) a proof reconstruction mechanism based on a Ben-Yelles-type algorithm combined with limited rewriting, congruence closure and a first-order generalization of the left rules of Dyckhoff's system LJT.


title: Extending SMTCoq, a Certified Checker for SMT (Extended Abstract)

abstract: This extended abstract reports on current progress of SMTCoq, a communication tool between the Coq proof assistant and external SAT and SMT solvers. Based on a checker for generic first-order certificates implemented and proved correct in Coq, SMTCoq offers facilities both to check external SAT and SMT answers and to improve Coq's automation using such solvers, in a safe way. Currently supporting the SAT solver zChaff, and the SMT solver veriT for the combination of the theories of congruence closure and linear integer arithmetic, SMTCoq is meant to be extendable with a reasonable amount of effort: we present work in progress to support the SMT solver CVC4 and the theory of bit vectors.


title: Towards the Integration of an Intuitionistic First-Order Prover into Coq

abstract: An efficient intuitionistic first-order prover integrated into Coq is useful to replay proofs found by external automated theorem provers. We propose a two-phase approach: An intuitionistic prover generates a certificate based on the matrix characterization of intuitionistic first-order logic; the certificate is then translated into a sequent-style proof.


title: The Outer Envelopes of Globular Clusters. I. NGC 7089 (M2)

abstract: We present the results of a wide-field imaging survey of the periphery of the Milky Way globular cluster NGC 7089 (M2). Data were obtained with MegaCam on the Magellan Clay Telescope, and the Dark Energy Camera on the Blanco Telescope. We find that M2 is embedded in a diffuse stellar envelope extending to a radial distance of at least $\sim 60^{\prime}$ ($\sim 210$ pc) -- five times the nominal tidal radius of the cluster. The envelope appears nearly circular in shape, has a radial density decline well described by a power law of index $\gamma = -2.2 \pm 0.2$, and contains approximately $1.6\%$ of the luminosity of the entire system. While the origin of the envelope cannot be robustly identified using the presently available data, the fact that M2 also hosts stellar populations exhibiting a broad dispersion in the abundances of both iron and a variety of neutron capture elements suggests that this object might plausibly constitute the stripped nucleus of a dwarf Galaxy that was long ago accreted and destroyed by the Milky Way.


title: The quotients between the (revised) Szeged index and Wiener index of graphs

abstract: Let $Sz(G),Sz^*(G)$ and $W(G)$ be the Szeged index, revised Szeged index and Wiener index of a graph $G.$ In this paper, the graphs with the fourth, fifth, sixth and seventh largest Wiener indices among all unicyclic graphs of order $n\geqslant 10$ are characterized; as well the graphs with the first, second, third, and fourth largest Wiener indices among all bicyclic graphs are identified. Based on these results, further relation on the quotients between the (revised) Szeged index and the Wiener index are studied. Sharp lower bound on $Sz(G)/W(G)$ is determined for all connected graphs each of which contains at least one non-complete block. As well the connected graph with the second smallest value on $Sz^*(G)/W(G)$ is identified for $G$ containing at least one cycle.


title: Inflection point in running kinetic term inflation

abstract: In this work, we consider inflection point inflation in the framework of running kinetic term inflation in supergravity. We study the inflationary dynamics and show that the predicted value of the scalar spectral index and tensor-to-scalar ratio can lie within the $1\sigma$ confidence region allowed by the result of Planck 2015.


title: On the Detection of Non-Transiting Exoplanets with Dusty Tails

abstract: We present a way of searching for non-transiting exoplanets with dusty tails. In the transiting case, the extinction by dust during the transit removes more light from the beam than is scattered into it. Thus, the forward scattering component of the light is best seen either just prior to ingress, or just after egress, but with reduced amplitude over the larger peak that is obscured by the transit. This picture suggests that it should be equally productive to search for positive-going peaks in the flux from non-transiting exoplanets with dusty tails. We discuss what amplitudes are expected for different orbital inclination angles. The signature of such objects should be distinct from normal transits, starspots, and most - but not all - types of stellar pulsations.


title: Radio variability in the Phoenix Deep Survey at 1.4GHz

abstract: We use archival data from the Phoenix Deep Survey to investigate the variable radio source population above 1mJy/beam at 1.4GHz. Given the similarity of this survey to other such surveys we take the opportunity to investigate the conflicting results which have appeared in the literature. Two previous surveys for variability conducted with the Very Large Array (VLA) achieved a sensitivity of 1mJy/beam. However, one survey found an areal density of radio variables on timescales of decades that is a factor of ~4 times greater than a second survey which was conducted on timescales of less than a few years. In the Phoenix deep field we measure the density of variable radio sources to be $\rho =0.98\mathrm{deg}^{-2}$ on timescales of 6 months to 8 years. We make use of WISE infrared cross-ids, and identify all variable sources as an AGN of some description. We suggest that the discrepancy between previous VLA results is due to the different time scales probed by each of the surveys, and that radio variability at 1.4 GHz is greatest on timescales of 2 - 5 years.


title: The Wiretapped Diamond-Relay Channel

abstract: In this paper, we study a diamond-relay channel where the source is connected to $M$ relays through orthogonal links and the relays transmit to the destination over a wireless multiple-access channel in the presence of an eavesdropper. The eavesdropper not only observes the relay transmissions through another multiple-access channel, but also observes a certain number of source-relay links. The legitimate terminals know neither the eavesdropper's channel state information nor the location of source-relay links revealed to the eavesdropper except the total number of such links. For this wiretapped diamond-relay channel, we establish the optimal secure degrees of freedom. In the achievability part, our proposed scheme uses the source-relay links to transmit a judiciously constructed combination of message symbols, artificial noise symbols as well as fictitious message symbols associated with secure network coding. The relays use a combination of beamforming and interference alignment in their transmission scheme. For the converse part, we take a genie-aided approach assuming that the location of wiretapped links is known.


title: Galaxy candidates at z ~ 10 in archival data from the Brightest of Reionizing Galaxies (BoRG[z8]) survey

abstract: The Wide Field Camera 3 (WFC3) on the Hubble Space Telescope (HST) enabled the search for the first galaxies observed at z ~ 8 - 11 (500 - 700 Myr after the Big Bang). To continue quantifying the number density of the most luminous galaxies (M_AB ~ -22.0) at the earliest epoch observable with HST, we search for z ~ 10 galaxies (F125W-dropouts) in archival data from the Brightest of Reionizing Galaxies (BoRG[z8]) survey, originally designed for detection of z ~ 8 galaxies (F098M-dropouts). By focusing on the deepest 293 arcmin^2 of the data along 62 independent lines of sight, we identify six z ~ 10 candidates satisfying the color selection criteria, detected at S/N > 8 in F160W with M_AB = -22.8 to -21.1 if at z = 10. Three of the six sources, including the two brightest, are in a single WFC3 pointing (~ 4 arcmin^2), suggestive of significant clustering, which is expected from bright galaxies at z ~ 10. However, the two brightest galaxies are too extended to be likely at z ~ 10, and one additional source is unresolved and possibly a brown dwarf. The remaining three candidates have m_AB ~ 26, and given the area and completeness of our search, our best estimate is a number density of sources that is marginally higher but consistent at 2{\sigma} with searches in legacy fields. Our study highlights that z ~ 10 searches can yield a small number of candidates, making tailored follow-ups of HST pure-parallel observations viable and effective.


title: QCD and a New Paradigm for Nuclear Structure

abstract: We review the reasons why one might choose to seriously re-examine the traditional approach to nuclear theory where nucleons are treated as immutable. This examination leads us to argue that the modification of the structure of the nucleon when immersed in a nuclear medium is fundamental to how atomic nuclei are built. Consistent with this approach we suggest key experiments which should tell us unambiguously whether there is such a change in the structure of a bound nucleon. We also briefly report on extremely promising recent calculations of the structure of nuclei across the periodic table based upon this idea.


title: On the f-vectors of Gelfand-Cetlin polytopes

abstract: A Gelfand-Cetlin polytope is a convex polytope obtained as an image of certain completely integrable system on a partial flag variety. In this paper, we give an equivalent description of the face structure of a GC-polytope in terms of so called the face structure of a ladder diagram. Using our description, we obtain a partial differential equation whose solution is the exponential generating function of f-vectors of GC-polytopes. This solves the open problem (2) posed by Gusev, Kritchenko, and Timorin in [GKT].


title: Goldbach for Gaussian, Hurwitz, Octavian and Eisenstein primes

abstract: We formulate Goldbach type questions for Gaussian, Hurwitz, Octavian and Eisenstein primes. They are different from Goldbach type statements by Takayoshi Mitsui from 1960 for number fields or C.A. Holben and James Jordan from 1968 for Gaussian integers. Here is what we meeasure: 1) Every even Gaussian integer a+ib satisfying a>2, b>2 is a sum of two Gaussian primes with positive coefficients. 2) Every Eisenstein integer a+bw with a>3,b>3 and w=(1+sqrt(-3))/2 is the sum of two Eisenstein primes with positive coefficients. Note that no evenness condition is asked in the Eisenstein case. 3) Every Lipschitz integer quaternion with positive entries is the sum of two Hurwitz primes. 4) There exists a constant K such that every Octavian integer with coefficients larger than K is the sum of two Octavian primes. Except in the Octonion case, where the fewest experiments were done, the statements can be linked to difficult questions like Landau or Bunyakovsky conjectures. We therefore look also more closely and numerically at some Hardy-Littlewood constants following early computations from Daniel Shanks and Marvin Wunderlich from the 50ies and 70ies.


title: Hyperscaling violating black hole solutions and Magneto-thermoelectric DC conductivities in holography

abstract: We derive new black hole solutions in Einstein-Maxwell-Axion-Dilaton theory with a hyperscaling violation exponent. We then examine the corresponding anomalous transport exhibited by cuprate strange metals in the normal phase of high-temperature superconductors via gauge/gravity duality. Linear temperature dependence resistivity and quadratic temperature dependence inverse Hall angle can be achieved. In the high temperature regime, the heat conductivity and Hall Lorenz ratio are proportional to the temperature. The Nernst signal first increases as temperature goes up but it then decreases with increasing temperature in the high temperature regime.


title: Three-generation neutrino oscillations in curved spacetime

abstract: Three-generation MSW effect in curved spacetime is studied and a brief discussion on the gravitational correction to the neutrino self-energy is given. The modified mixing parameters and corresponding conversion probabilities of neutrinos after traveling through celestial objects of constant densities are obtained. The method to distinguish between the normal hierarchy and inverted hierarchy is discussed in this framework. Due to the gravitational redshift of energy, in some extreme situations, the resonance energy of neutrinos might be shifted noticeably and the gravitational effect on the self-energy of neutrino becomes significant at the vicinities of spacetime singularities.


title: $\Z_3$-orbifold construction of the Moonshine vertex operator algebra and some maximal $3$-local subgroups of the Monster

abstract: In this article, we describe some maximal $3$-local subgroups of the Monster simple group using vertex operator algebras (VOA). We first study the holomorphic vertex operator algebra obtained by applying the orbifold construction to the Leech lattice vertex operator algebra and a lift of a fixed-point free isometry of order $3$ of the Leech lattice. We also consider some of its special subVOAs and study their stabilizer subgroups using the symmetries of the subVOAs. It turns out that these stabilizer subgroups are $3$-local subgroups of its full automorphism group. As one of our main results, we show that its full automorphism group is isomorphic to the Monster simple group by using a $3$-local characterization and that the holomorphic VOA is isomorphic to the Moonshine VOA. This approach allows us to obtain relatively explicit descriptions of two maximal $3$-local subgroups of the shape $3^{1+12}.2.\Suz{:}2$ and $3^8.\Omega^-(8,3).2$ in the Monster simple group.


title: Efficient Timestamps for Capturing Causality

abstract: Consider an asynchronous system consisting of processes that communicate via message-passing. The processes communicate over a potentially {\em incomplete} communication network consisting of reliable bidirectional communication channels. Thus, not every pair of processes is necessarily able to communicate with each other directly. % For instance, when the communication network is a {\em star} graph, there is a {\em central} process % that can communicate with all the remaining processes (which are called {\em radial} processes), % but the radial processes cannot communicate with each other directly. The goal of the algorithms discussed in this paper is to assign timestamps to the events at all the processes such that (a) distinct events are assigned distinct timestamps, and (b) the happened-before relationship between the events can be inferred from the timestamps. We consider three types of algorithms for assigning timestamps to events: (i) Online algorithms that must (greedily) assign a timestamp to each event when the event occurs. (ii) Offline algorithms that assign timestamps to event after a finite execution is complete. (iii) Inline algorithms that assign a timestamp to each event when it occurs, but may modify some elements of a timestamp again at a later time. For specific classes of graphs, particularly {\em star} graphs and graphs with connectivity $\geq 1$, the paper presents bounds on the length of vector timestamps assigned by an {\em online} algorithm. The paper then presents an {\em inline} algorithm, which typically assigns substantially smaller timestamps than the optimal-length {\em online} vector timestamps. In particular, the inline algorithm assigns timestamp in the form of a tuple containing $2c+2$ integer elements, where $c$ is the size of the vertex cover for the underlying communication graph.


title: Debugging OpenStack Problems Using a State Graph Approach

abstract: It is hard to operate and debug systems like OpenStack that integrate many independently developed modules with multiple levels of abstractions. A major challenge is to navigate through the complex dependencies and relationships of the states in different modules or subsystems, to ensure the correctness and consistency of these states. We present a system that captures the runtime states and events from the entire OpenStack-Ceph stack, and automatically organizes these data into a graph that we call system operation state graph (SOSG).With SOSG we can use intuitive graph traversal techniques to solve problems like reasoning about the state of a virtual machine. Also, using graph-based anomaly detection, we can automatically discover hidden problems in OpenStack. We have a scalable implementation of SOSG, and evaluate the approach on a 125-node production OpenStack cluster, finding a number of interesting problems.


title: Fourier algebras of hypergroups and central algebras on compact (quantum) groups

abstract: This paper concerns the study of regular Fourier hypergroups through multipliers of their associated Fourier algebras. We establish hypergroup analogues of well-known characterizations of group amenability, introduce a notion of weak amenability for hypergroups, and show that every discrete commutative hypergroup is weakly amenable with constant 1. Using similar techniques, we provide a sufficient condition for amenability of hypergroup Fourier algebras, which, as an immediate application, answers one direction of a conjecture of Azimifard--Samei--Spronk [J. Funct. Anal. 256(5) 1544-1564, 2009] on the amenability of $ZL^1(G)$ for compact groups $G$. In the final section we consider Fourier algebras of hypergroups arising from compact quantum groups $\mathbb{G}$, and in particular, establish a completely isometric isomorphism with the center of the quantum group algebra for compact $\mathbb{G}$ of Kac type.


title: How the Dark Energy Can Reconcile \textit{Planck} with Local Determination of the Hubble Constant

abstract: We try to reconcile the tension between the local 2.4\% determination of Hubble constant and its global determination by $\textit{Planck}$ CMB data and BAO data through modeling the dark energy variously. We find that the chi-square is significantly reduced by $\Delta\chi^2_\text{all}=-6.76$ in the redshift-binned dark energy model where the $68\%$ limits of the equation of state of dark energy read $w(0\leq z\leq 0.1)=-1.958_{-0.508}^{+0.509}$, $w(0.1< z\leq 1.5)=-1.006_{-0.082}^{+0.092}$, and here $w(z>1.5)$ is fixed to $-1$.


title: Combination of affine deformations on a hyperbolic surface

abstract: This paper is a continuation of the previous paper of the author[M]. We show that an affine deformation space of a hyperbolic surface of type (g,b) can be parametrized by Margulis invariants and affine twist parameters with a certain decomposition of the surface, which are associated with the Fenchel-Nielsen coordinates in Teichmuller theory. W.Goldman and G.Margulis[GM] introduced that a translation part of an affine deformation canonically corresponds to a tangent vector on the Teichmuller space. By this correspondence, we explicitly represent tangent vectors on the Teichmuller space from the perspective of Lorentzian geometry, only when the tangent vectors correspond to Fenchel-Nielsen twists along separating geodesic curves on a hyperbolic surface.


title: A Nonparametric Bayesian Approach for Spoken Term detection by Example Query

abstract: State of the art speech recognition systems use data-intensive context-dependent phonemes as acoustic units. However, these approaches do not translate well to low resourced languages where large amounts of training data is not available. For such languages, automatic discovery of acoustic units is critical. In this paper, we demonstrate the application of nonparametric Bayesian models to acoustic unit discovery. We show that the discovered units are correlated with phonemes and therefore are linguistically meaningful. We also present a spoken term detection (STD) by example query algorithm based on these automatically learned units. We show that our proposed system produces a P@N of 61.2% and an EER of 13.95% on the TIMIT dataset. The improvement in the EER is 5% while P@N is only slightly lower than the best reported system in the literature.


title: Cancellation for 4-manifolds with virtually abelian fundamental group

abstract: Suppose $X$ and $Y$ are compact connected topological 4-manifolds with fundamental group $\pi$. For any $r \geqslant 0$, $Y$ is $r$-stably homeomorphic to $X$ if $Y \# r(S^2 \times S^2)$ is homeomorphic to $X \# r(S^2\times S^2)$. How close is stable homeomorphism to homeomorphism? When the common fundamental group $\pi$ is virtually abelian, we show that large $r$ can be diminished to $n+2$, where $\pi$ has a finite-index subgroup that is free-abelian of rank $n$. In particular, if $\pi$ is finite then $n=0$, hence $X$ and $Y$ are $2$-stably homeomorphic, which is one $S^2 \times S^2$ summand in excess of the cancellation theorem of Hambleton--Kreck. The last section is a case-study investigation of the homeomorphism classification of closed manifolds in the tangential homotopy type of $X = X_- \# X_+$, where $X_\pm$ are closed nonorientable topological 4-manifolds whose fundamental groups have order two.


title: Yet Another Proof of the Entropy Power Inequality

abstract: Yet another simple proof of the entropy power inequality is given, which avoids both the integration over a path of Gaussian perturbation and the use of Young's inequality with sharp constant or R\'enyi entropies. The proof is based on a simple change of variables, is formally identical in one and several dimensions, and easily settles the equality case.


title: A new approach of couple fixed point results on JS-metric spaces

abstract: In this article, we study coupled fixed point theorems in newly appeared JS-metric spaces. It is important to note that the class of JS-metric spaces includes standard metric space, dislocated metric space, b-metric space etc. The purpose of this paper is to present several coupled fixed point results in a more general way. Moreover, the techniques used in our proofs are indeed different from the comparable existing literature. Finally, we present a non- trivial example to validate our main result.


title: Some experiments in number theory

abstract: We experiment with some topics in elementary number theory. For matrices defined by Gaussian primes we observe a circular spectral law for the eigenvalues. We look at matrices defined by Gaussian primes and look at the growth of the determinant, trace. We experiment with various Goldbach conjectures for Gaussian primes, Eisenstein primes, Hurwitz primes or Octavian primes. These conjectures relate with Landau or Bunyakovsky or Andrica type conjectures for rational primes. We also look at some graphs finite simple defined by primes. Finally we look at some spectra of almost periodic pseudo random matrices defined by Diophantine irrational rotations, where fractal spectral phenomena occur. The matrix is the real part of a van der Monde matrix.


title: Resistivity scaling in metallic thin films and nanowires due to grain boundary and surface roughness scattering

abstract: A modeling approach, based on an analytical solution of the semiclassical multi-subband Boltzmann transport equation, is presented to study resistivity scaling in metallic thin films and nanowires due to grain boundary and surface roughness scattering. While taking into account the detailed statistical properties of grains, roughness and barrier material as well as the metallic band structure and quantum mechanical aspects of scattering and confinement, the model does not rely on phenomenological fitting parameters.


title: A New Parallel Algorithm for Two-Pass Connected Component Labeling

abstract: Connected Component Labeling (CCL) is an important step in pattern recognition and image processing. It assigns labels to the pixels such that adjacent pixels sharing the same features are assigned the same label. Typically, CCL requires several passes over the data. We focus on two-pass technique where each pixel is given a provisional label in the first pass whereas an actual label is assigned in the second pass. We present a scalable parallel two-pass CCL algorithm, called PAREMSP, which employs a scan strategy and the best union-find technique called REMSP, which uses REM's algorithm for storing label equivalence information of pixels in a 2-D image. In the first pass, we divide the image among threads and each thread runs the scan phase along with REMSP simultaneously. In the second phase, we assign the final labels to the pixels. As REMSP is easily parallelizable, we use the parallel version of REMSP for merging the pixels on the boundary. Our experiments show the scalability of PAREMSP achieving speedups up to $20.1$ using $24$ cores on shared memory architecture using OpenMP for an image of size $465.20$ MB. We find that our proposed parallel algorithm achieves linear scaling for a large resolution fixed problem size as the number of processing elements are increased. Additionally, the parallel algorithm does not make use of any hardware specific routines, and thus is highly portable.


title: Low Radio Frequency Observations and Spectral Modelling of the Remnant of Supernova 1987A

abstract: We present Murchison Widefield Array observations of the supernova remnant (SNR) 1987A between 72 and 230 MHz, representing the lowest frequency observations of the source to date. This large lever arm in frequency space constrains the properties of the circumstellar medium created by the progenitor of SNR 1987A when it was in its red supergiant phase. As of late-2013, the radio spectrum of SNR 1987A between 72 MHz and 8.64 GHz does not show any deviation from a non-thermal power-law with a spectral index of $-0.74 \pm 0.02$. This spectral index is consistent with that derived at higher frequencies, beneath 100 GHz, and with a shock in its adiabatic phase. A spectral turnover due to free-free absorption by the circumstellar medium has to occur below 72 MHz, which places upper limits on the optical depth of $\leq$ 0.1 at a reference frequency of 72 MHz, emission measure of $\lesssim$ 13,000 cm$^{-6}$ pc, and an electron density of $\lesssim$ 110 cm$^{-3}$. This upper limit on the electron density is consistent with the detection of prompt radio emission and models of the X-ray emission from the supernova. The electron density upper limit implies that some hydrodynamic simulations derived a red supergiant mass loss rate that is too high, or a wind velocity that is too low. The mass loss rate of $\sim 5 \times 10^{-6}$ $M_{\odot}$ yr$^{-1}$ and wind velocity of 10 km s$^{-1}$ obtained from optical observations are consistent with our upper limits, predicting a current turnover frequency due to free-free absorption between 5 and 60 MHz.


title: Cutwidth: obstructions and algorithmic aspects

abstract: Cutwidth is one of the classic layout parameters for graphs. It measures how well one can order the vertices of a graph in a linear manner, so that the maximum number of edges between any prefix and its complement suffix is minimized. As graphs of cutwidth at most $k$ are closed under taking immersions, the results of Robertson and Seymour imply that there is a finite list of minimal immersion obstructions for admitting a cut layout of width at most $k$. We prove that every minimal immersion obstruction for cutwidth at most $k$ has size at most $2^{O(k^3\log k)}$. As an interesting algorithmic byproduct, we design a new fixed-parameter algorithm for computing the cutwidth of a graph that runs in time $2^{O(k^2\log k)}\cdot n$, where $k$ is the optimum width and $n$ is the number of vertices. While being slower by a $\log k$-factor in the exponent than the fastest known algorithm, given by Thilikos, Bodlaender, and Serna in [Cutwidth I: A linear time fixed parameter algorithm, J. Algorithms, 56(1):1--24, 2005] and [Cutwidth II: Algorithms for partial $w$-trees of bounded degree, J. Algorithms, 56(1):25--49, 2005], our algorithm has the advantage of being simpler and self-contained; arguably, it explains better the combinatorics of optimum-width layouts.


title: Solution to the Pompeiu problem and the related symmetry problem

abstract: Assume that $D\subset \mathbb{R}^3$ is a bounded domain with $C^1-$smooth boundary. Our result is: {\bf Theorem 1.} {\em If $D$ has $P-$property, then $D$ is a ball.} Four equivalent formulations of the Pompeiu problem are discussed. A domain $D$ has $P-$property if there exists an $f\neq 0$, $f\in L^1_{loc}(\mathbb{R}^3)$ such that $\int_{D}f(gx+y)dx=0$ for all $y\in \mathbb{R}^3$ and all $g\in SO(2)$, where $ SO(2)$ is the rotation group. The result obtained concerning the related symmetry problem is: {\bf Theorem 2.} {\em If $(\nabla^2 +k^2)u=0$ in $D$, $u|_S=1$, $u_N|_S=0$, and $k>0$ is a constant, then $D$ is a ball.}


title: The anti-proton charge radius

abstract: The upcoming operation of the Extra Low ENergy Antiprotons (ELENA) ring at CERN, the upgrade of the anti-proton decelerator (AD), and the installation in the AD hall of an intense slow positron beam with an expected flux of $10^{8}$ e$^+$/s will open the possibility for new experiments with anti-hydrogen ($\bar{\text{H}}$). Here we propose a scheme to measure the Lamb shift of $\bar{\text{H}}$. For a month of data taking, we anticipate an uncertainty of 100 ppm. This will provide a test of CPT and the first determination of the anti-proton charge radius at the level of 10%.


title: M3A: Model, MetaModel, and Anomaly Detection in Web Searches

abstract: 'Alice' is submitting one web search per five minutes, for three hours in a row - is it normal? How to detect abnormal search behaviors, among Alice and other users? Is there any distinct pattern in Alice's (or other users') search behavior? We studied what is probably the largest, publicly available, query log that contains more than 30 million queries from 0.6 million users. In this paper, we present a novel, user-and group-level framework, M3A: Model, MetaModel and Anomaly detection. For each user, we discover and explain a surprising, bi-modal pattern of the inter-arrival time (IAT) of landed queries (queries with user click-through). Specifically, the model Camel-Log is proposed to describe such an IAT distribution; we then notice the correlations among its parameters at the group level. Thus, we further propose the metamodel Meta-Click, to capture and explain the two-dimensional, heavy-tail distribution of the parameters. Combining Camel-Log and Meta-Click, the proposed M3A has the following strong points: (1) the accurate modeling of marginal IAT distribution, (2) quantitative interpretations, and (3) anomaly detection.


title: Strategic Bidding for Producers in Nodal Electricity Markets: A Convex Relaxation Approach

abstract: Strategic bidding problems in electricity markets are widely studied in power systems, often by formulating complex bi-level optimization problems that are hard to solve. The state-of-the-art approach to solve such problems is to reformulate them as mixed-integer linear programs (MILPs). However, the computational time of such MILP reformulations grows dramatically, once the network size increases, scheduling horizon increases, or randomness is taken into consideration. In this paper, we take a fundamentally different approach and propose effective and customized convex programming tools to solve the strategic bidding problem for producers in nodal electricity markets. Our approach is inspired by the Schmudgen's Positivstellensatz Theorem in semi-algebraic geometry; but then we go through several steps based upon both convex optimization and mixed-integer programming that results in obtaining close to optimal bidding solutions, as evidenced by several numerical case studies, besides having a huge advantage on reducing computation time. While the computation time of the state-of-the-art MILP approach grows exponentially when we increase the scheduling horizon or the number of random scenarios, the computation time of our approach increases rather linearly.


title: Consensus with Output Saturations

abstract: This paper consider a standard consensus algorithm under output saturations. In the presence of output saturations, global consensus can not be realized due to the existence of stable, unachievable equilibrium points for the consensus. Therefore, this paper investigates necessary and sufficient initial conditions for the achievement of consensus, that is an exact domain of attraction. Specifically, this paper considers singe-integrator agents with both fixed and time-varying undirected graphs, as well as double-integrator agents with fixed undirected graph. Then, we derive that the consensus will be achieved if and only if the average of the initial states (only velocities for double-integrator agents with homogeneous saturation levels for the outputs) is within the minimum saturation level. An extension to the case of fixed directed graph is also provided in which an weighted average is required to be within the minimum saturation limit.


title: Area products for ${\cal H}^{\pm}$ in AdS space

abstract: We derive the thermodynamic products particularly area (or entropy) products of ${\cal H}^{\pm}$ for certain class of black holes in AdS space. We show by explicit and exact calculations that more complicated function of event horizon area and Cauchy horizon area is indeed mass-independent. This mass-independent quantities indicate that they \emph{could turn out to be an "universal" quantity} provided that they depends only on the quantized angular momentum, quantized charges, and cosmological constant respectively. Furthermore, these area (or entropy) product relations for several class of black holes in AdS space gives us strong indication to understanding the nature of non-extremal black hole entropy (both inner and outer) at the microscopic level. Moreover, we compute the Penrose's famous \emph{Cosmic Censorship Inequality} (which requires Cosmic-Censorship hypothesis) for these class of black holes in AdS space . Local thermodynamic stability has been discussed for these black holes and under certain condition certain black holes displayed second order phase transition.


title: Optimal Finite-Length and Asymptotic Index Codes for Five or Fewer Receivers

abstract: Index coding models broadcast networks in which a sender sends different messages to different receivers simultaneously, where each receiver may know some of the messages a priori. The aim is to find the minimum (normalised) index codelength that the sender sends. This paper considers unicast index coding, where each receiver requests exactly one message, and each message is requested by exactly one receiver. Each unicast index-coding instances can be fully described by a directed graph and vice versa, where each vertex corresponds to one receiver. For any directed graph representing a unicast index-coding instance, we show that if a maximum acyclic induced subgraph (MAIS) is obtained by removing two or fewer vertices from the graph, then the minimum index codelength equals the number of vertices in the MAIS, and linear codes are optimal for the corresponding index-coding instance. Using this result, we solved all unicast index-coding instances with up to five receivers, which correspond to all graphs with up to five vertices. For 9819 non-isomorphic graphs among all graphs up to five vertices, we obtained the minimum index codelength for all message alphabet sizes; for the remaining 28 graphs, we obtained the minimum index codelength if the message alphabet size is $k^2$ for any positive integer $k$. This work complements the result by Arbabjolfaei et al. (ISIT 2013), who solved all unicast index-coding instances with up to five receivers in the asymptotic regime, where the message alphabet size tends to infinity.


title: Complex and Lagrangian surfaces of the complex projective plane via K\"ahlerian Killing Spin$^c$ spinors

abstract: The complex projective space $\mathbb C P^2$ of complex dimension $2$ has a Spin$^c$ structure carrying K\"ahlerian Killing spinors. The restriction of one of these K\"ahlerian Killing spinors to a surface $M^2$ characterizes the isometric immersion of $M^2$ into $\mathbb C P^2$ if the immersion is either Lagrangian or complex.


title: Temperature dependence of anisotropic thermal conductivity tensor of bulk black phosphorus

abstract: To date, the intrinsic thermal conductivity tensor of bulk black phosphorus (BP), an important 2D material, is still unknown, since recent studies focus on BP flakes not on bulk BP. Here we report the anisotropic thermal conductivity tensor of bulk BP, for temperature range 80 - 300 K. Our measurements are similar to prior measurements on submicron BP flakes along zigzag and armchair axes, but are >25% higher in the through-plane axis, suggesting that phonon mean-free-paths are substantially longer in the through-plane direction. We find that despite the anisotropy in thermal conductivity, phonons are predominantly scattered by the same Umklapp processes in all directions. We also find that the phonon relaxation time is rather isotropic in the basal planes, but is highly anisotropic in the through-plane direction. Our work advances fundamental knowledge of anisotropic scattering of phonons in BP and is an important benchmark for future studies on thermal properties of BP nanostructures.


title: Multipole structure of compact objects

abstract: We analyze the applications of general relativity in relativistic astrophysics in order to solve the problem of describing the geometric and physical properties of the interior and exterior gravitational and electromagnetic fields of compact objects. We focus on the interpretation of exact solutions of Einstein's equations in terms of their multipole moments structure. In view of the lack of physical interior solutions, we propose an alternative approach in which higher multipoles should be taken into account.


title: Asymmetric Pt/Co/Pt structure as a platform for extracting pure spin Hall torque

abstract: We have quantitatively studied the spin-orbit torque purely generated by the spin Hall effect in a wide range of temperatures by intensionally eliminating the Rashba spin-orbit torque using Pt/Co/Pt trilayers with asymmetric thicknesses of the top and bottom Pt layers. The vanishingly small contribution from the Rashba effect has been confirmed through the vector measurements of the current-induced effective fields. In order to precisely determine the value of the spin Hall torque, the complete cancelation of the spin Hall torque has been verified by fabricating symmetric Pt/Co/Pt structure on SiO2 and Gd3Ga5O12 (GGG) substrates. Despite of the complete cance- lation on the GGG substrate, the spin Hall torque cannot be completely canceled out even when the top and bottom Pt layers have same thicknesses on the SiO2 substrate, which suggests that Pt/Co/Pt trilayers on a GGG substrate is a suitable system for precise measurements of the spin Hall torque. The result of the vector measurements on Pt/Co/Pt/GGG from 300 to 10 K shows that the spin Hall torque is almost independent of temperature, which is quantitatively reproduced under the assumption of the temperature-independent spin Hall angle of Pt.


title: Simplifying the Kohlberg Criterion on the Nucleolus

abstract: The nucleolus offers a desirable payoff-sharing solution in cooperative games thanks to its attractive properties - it always exists and lies in the core (if the core is non-empty), and is unique. Although computing the nucleolus is very challenging, the Kohlberg criterion offers a powerful method for verifying whether a solution is the nucleolus in relatively small games (i.e., the number of players $n \leq 20$). This, however, becomes more challenging for larger games because of the need to form and check the balancedness of possibly exponentially large sets of coalitions, each set could be of an exponentially large size. We develop a simplifying set of the Kohlberg criteria that involves checking the balancedness of at most $(n-1)$ sets of coalitions. We also provide a method for reducing the size of these sets and a fast algorithm for verifying the balancedness.


title: Continuum directions for supervised dimension reduction

abstract: Dimension reduction of multivariate data supervised by auxiliary information is considered. A series of basis for dimension reduction is obtained as minimizers of a novel criterion. The proposed method is akin to continuum regression, and the resulting basis is called continuum directions. With a presence of binary supervision data, these directions continuously bridge the principal component, mean difference and linear discriminant directions, thus ranging from unsupervised to fully supervised dimension reduction. High-dimensional asymptotic studies of continuum directions for binary supervision reveal several interesting facts. The conditions under which the sample continuum directions are inconsistent, but their classification performance is good, are specified. While the proposed method can be directly used for binary and multi-category classification, its generalizations to incorporate any form of auxiliary data are also presented. The proposed method enjoys fast computation, and the performance is better or on par with more computer-intensive alternatives.


title: F-index of Total Transformation Graphs

abstract: The F-index of a graph $G$ is the sum of the cubes of the degrees of the vertices of $G$. In this paper, explicit expressions for the F-index of different transformation graphs of type ${{G}^{xyz}}$ with $x, y, z\in \{-, + \}$ are obtained. F-index for semitotal point graph and semitotal line graph are also obtained here.


title: A New Training Method for Feedforward Neural Networks Based on Geometric Contraction Property of Activation Functions

abstract: We propose a new training method for a feedforward neural network having the activation functions with the geometric contraction property. The method consists of constructing a new functional that is less nonlinear in comparison with the classical functional by removing the nonlinearity of the activation function from the output layer. We validate this new method by a series of experiments that show an improved learning speed and better classification error.


title: Modeling and Self-Configuring SaaS Application

abstract: The main objectives of SaaS application are to make the management and control of software easier and take the management strain away from consumers. However, it also leads to software services available globally and this has been realized in our paper by designing a new model for SaaS application. The three levels we have classified in our model easy adapted to workflow and services. From the application layers meat-model description we discovered a new algorithm for the self-configuration of SaaS application. We used a feature model to define the variation of our model's management levels. The Xml file obtained from the feature model gave interactive communication between three levels and our new self-configuration algorithm. That increased the performance by selecting from the web a suitable configuration for every level. We have explained all the processes by an online booking example. Finally we present a conclusion and future work.


title: Recollements and stratifying ideals

abstract: Surjective homological epimorphisms with stratifying kernel can be used to construct recollements of derived module categories. These `stratifying' recollements are derived from recollements of module categories. Can every recollement be put in this form, up to equivalence? A negative answer will be given after providing a characterisation of recollements equivalent to stratifying ones. Moreover, criteria for a ring epimorphism to be `stratifying' will be presented as well as constructions of such epimorphisms.


title: On some study of the Fine Spectra of $n$-th band triangular matrices

abstract: It has been observed that for the 2nd and 3rd band lower triangular matrices $B(r,s)$ and $B(r,s,t)$, only the boundary of the spectrum gives the continuous spectrum while the rest of the entire interior region gives the residual spectrum over the sequence spaces $c_0$, $l_p$ and $bv_p$. The main focus of our present study is to investigate the possibilities of the occurrence of the similar kinds of behavior for the cases of $n (\ge4)$ band lower triangular matrices over the sequence spaces $c_0$, $l_p$ and $bv_p$. The outcomes depicts that not only the boundary part but a finite set from the interior region of the spectrum is included in the continuous spectrum while the same set is excluded from the residual spectrum. In this context, we have proved an interesting result regarding the image of the closed unit disk $|z|\le 1$ under a polynomial of degree $n\ge 1$ which plays the key role in our study. Similar studies has also been done for the sequence spaces $c$, $l_1$, $bv$ and $l_\infty$. Upper triangular matrices has also been investigated for some sequence spaces.


title: The Role of CNL and AMR in Scalable Abstractive Summarization for Multilingual Media Monitoring

abstract: In the era of Big Data and Deep Learning, there is a common view that machine learning approaches are the only way to cope with the robust and scalable information extraction and summarization. It has been recently proposed that the CNL approach could be scaled up, building on the concept of embedded CNL and, thus, allowing for CNL-based information extraction from e.g. normative or medical texts that are rather controlled by nature but still infringe the boundaries of CNL. Although it is arguable if CNL can be exploited to approach the robust wide-coverage semantic parsing for use cases like media monitoring, its potential becomes much more obvious in the opposite direction: generation of story highlights from the summarized AMR graphs, which is in the focus of this position paper.


title: MeDICINE: Rapid Prototyping of Production-Ready Network Services in Multi-PoP Environments

abstract: Virtualized network services consisting of multiple individual network functions are already today deployed across multiple sites, so called multi-PoP (points of presence) environ- ments. This allows to improve service performance by optimizing its placement in the network. But prototyping and testing of these complex distributed software systems becomes extremely challenging. The reason is that not only the network service as such has to be tested but also its integration with management and orchestration systems. Existing solutions, like simulators, basic network emulators, or local cloud testbeds, do not support all aspects of these tasks. To this end, we introduce MeDICINE, a novel NFV prototyping platform that is able to execute production-ready network func- tions, provided as software containers, in an emulated multi-PoP environment. These network functions can be controlled by any third-party management and orchestration system that connects to our platform through standard interfaces. Based on this, a developer can use our platform to prototype and test complex network services in a realistic environment running on his laptop.


title: On the boundary of the numerical range of some Jacobi operators

abstract: In this paper, we study the numerical range of Jacobi operators and it is shown that under certain conditions, the boundary of the numerical range of these operators can be non-round only at the points where it touches the essential spectrum. It is further shown that these points cannot be the eigenvalue of the Jacobi operators.


title: Mass and angular momentum of black holes in 3D gravity theories with first order formalism

abstract: We apply the Wald formalism to obtain masses and angular momenta of black holes in three dimensional gravity theories using the first order formalism. Wald formalism suggests that the entropy of a black hole can be defined by an integration of a conserved charge on the bifurcation horizon, and mass and angular momentum of a black hole as an integration of some charge variation form at spatial infinity. The action of three dimensional gravity theories can be represented by a form including some auxiliary fields. As well-known examples we have calculated masses and angular momenta of some black holes in topologically massive gravity and new massive gravity theories using the first order formalism. We have also calculated mass and angular momentum of BTZ black hole and new type black hole in minimal massive gravity theory with the action represented by the first order formalism. We have also calculated the entropy and central charges of new type black hole. According to $AdS/CFT$ correspondence we suggest that the left and right moving temperatures should be equal to the Hawking temperature in the case of new type black hole in minimal massive gravity.


title: Boundary Arm Exponents for SLE$(\kappa)$

abstract: We derive boundary arm exponents for SLE. Combining with the convergence of critical lattice models to SLE, these exponents would give the alternating half-plane arm exponents for the corresponding lattice models.


title: On the structure of spaces of vector-valued Lipschitz functions

abstract: We analyse the strong connections between spaces of vector-valued Lipschitz functions and spaces of linear continuous operators. We apply these links to study duality, Schur properties and norm attainment in the former class of spaces as well as in their canonical preduals


title: An induced real quaternion spherical ensemble of random matrices

abstract: We study the induced spherical ensemble of non-Hermitian matrices with real quaternion entries (considering each quaternion as a $2\times 2$ complex matrix). We define the ensemble by the matrix probability distribution function that is proportional to $$\frac{\det (\mathbf{G} \mathbf{G}^{\dagger})^{2 L}} {\det(1_N+ \mathbf{G} \mathbf{G}^{\dagger})^{2(n+N+L)}}.$$ These matrices can also be constructed via a procedure called `inducing', using a product of a Wishart matrix (with parameters $n,N$) and a rectangular Ginibre matrix of size $(N+L)\times N$. The inducing procedure imposes a repulsion of eigenvalues from $0$ and $\infty$ in the complex plane, with the effect that in the limit of large matrix dimension, they lie in an annulus whose inner and outer radii depend on the relative size of $L$, $n$ and $N$. By using functional differentiation of a generalized partition function, we make use of skew-orthogonal polynomials to find expressions for the eigenvalue $m$-point correlation functions, and in particular the eigenvalue density (given by $m=1$). We find the scaled limits of the density in the bulk (away from the real line) as well as near the inner and outer annular radii, in the four regimes corresponding to large or small values of $n$ and $L$. After a stereographic projection the density is uniform on a spherical annulus, except for a depletion of eigenvalues on a great circle corresponding to the real axis (as expected for a real quaternion ensemble). We also form a conjecture for the behaviour of the density near the real line based on analogous results in the $\beta=1$ and $\beta=2$ ensembles; we support our conjecture with data from Monte Carlo simulations of a large number of matrices drawn from the $\beta=4$ induced spherical ensemble.


title: The Evolution of Advanced Merger (U)LIRGs on the Color-Stellar Mass Diagram

abstract: Based on a sample of 79 local advanced merger (adv-merger) (U)LIRGs, we search for the evidence of quenching process by investigating the distributions of the star formation history indicators (EW(H$\alpha$), EW(H$\delta$$_A$) and D$_n(4000)$) on the NUV-r color-mass and SFR-$M_{\ast}$ diagrams. The distributions of the EW(H$\alpha$) and D$_n(4000)$ on the NUV-r color-mass diagram show clear trends that at a given stellar mass, galaxies with redder NUV-r colors have smaller EW(H$\alpha$) and larger D$_n(4000)$. The reddest adv-merger (U)LIRGs close to the green valley have D$_n(4000)$$>1.4$ mostly. In addition, in the SFR-$M_{\ast}$ diagram, as the SFR decreases, the EW(H$\alpha$) decreases and the D$_n(4000)$ increases, implying that the adv-merger (U)LIRGs on the star formation main sequence have more evolved stellar populations than those above the main sequence. These results indicate that a fraction of the adv-merger (U)LIRGs have already exhibited signs of fading from the starburst phase and that the NUV-r reddest adv-merger (U)LIRGs are likely at the initial stage of post-starbursts with age of $\sim 1$ Gyr, which is consistent with the gas exhausting time-scales. Therefore, our results offer additional support for the fast evolutionary track from the blue cloud to the red sequence.


title: Coupled cluster method with single and double excitations tailored by matrix product state wave functions

abstract: In the last decade, the quantum chemical version of the density matrix renormalization group (DMRG) method has established itself as the method of choice for calculations of strongly correlated molecular systems. Despite its favourable scaling, it is in practice not suitable for computations of dynamic correlation. We present a novel method for accurate "post-DMRG" treatment of dynamic correlation based on the tailored coupled cluster (CC) theory in which the DMRG method is responsible for the proper description of non-dynamic correlation, whereas dynamic correlation is incorporated through the framework of the CC theory. We illustrate the potential of this method on prominent multireference systems, in particular N$_2$, Cr$_2$ molecules and also oxo-Mn(Salen) for which we have performed the first "post-DMRG" computations in order to shed light on the energy ordering of the lowest spin states.


title: Using String Invariants for Prediction Searching for Optimal Parameters

abstract: We have developed a novel prediction method based on string invariants. The method does not require learning but a small set of parameters must be set to achieve optimal performance. We have implemented an evolutionary algorithm for the parametric optimization. We have tested the performance of the method on artificial and real world data and compared the performance to statistical methods and to a number of artificial intelligence methods. We have used data and the results of a prediction competition as a benchmark. The results show that the method performs well in single step prediction but the methods performance for multiple step prediction needs to be improved. The method works well for a wide range of parameters.


title: Amenable crossed product Banach algebras associated with a class of $\mathrm{C}^\ast$-dynamical systems

abstract: We prove that the crossed product Banach algebra $\ell^1(A,G,\alpha)$ that is associated with a $\mathrm{C}^\ast$-dynamical system $(A,G,\alpha)$ is amenable if $G$ is a discrete amenable group and $A$ is a commutative or finite dimensional $\mathrm{C}^\ast$-algebra. Perspectives for further developments are indicated.


title: On the dependent conjunction and implication

abstract: We give a theoretical model of conjunctions $E\wedge F$ and implications $E\implies F$ where $F$ is meaningful only when $E$ is true, a situation which is very often encountered in everyday mathematics, and which was already formalized by several type theorists. We present a version of these concepts which should be more attractive for mathematicians and in particular for non logicians, by using an extension of Lawvere's definition of the quantifiers. We explain the link of this phenomenon with the principle of description, why this dependency is obtained through the use of a "hidden" variable, and more generally the link of these concepts with the vernacular language of mathematics, which is actually our main motivation. Despite its links with topos theory, this article is readable by non specialists.


title: Bayesian constraints on the global 21-cm signal from the Cosmic Dawn

abstract: The birth of the first luminous sources and the ensuing epoch of reionization are best studied via the redshifted 21-cm emission line, the signature of the first two imprinting the last. In this work we present a fully-Bayesian method, \textsc{hibayes}, for extracting the faint, global (sky-averaged) 21-cm signal from the much brighter foreground emission. We show that a simplified (but plausible), Gaussian model of the 21-cm emission from the Cosmic Dawn epoch ($15 \lesssim z \lesssim 30$), parameterized by an amplitude $A_{\rm HI}$, a frequency peak $\nu_{\rm HI}$ and a width $\sigma_{\rm HI}$, can be extracted even in the presence of a structured foreground frequency spectrum (parameterized as a $7^{\rm th}$-order polynomial), provided sufficient signal-to-noise (400~hours of observation with a single dipole). We apply our method to an early, 19-minute long observation from the Large aperture Experiment to detect the Dark Ages, constraining the 21-cm signal amplitude and width to be $-890 < A_{\rm HI} < 0$ mK and $\sigma_{\rm HI} > 6.5$ MHz (corresponding to $\Delta z > 1.9$ at redshift $z \simeq 20$) respectively at the 95-per-cent confidence level in the range $13.2 < z < 27.4$ ($100 > \nu > 50$ MHz).


title: Perfect Fingerprint Orientation Fields by Locally Adaptive Global Models

abstract: Fingerprint recognition is widely used for verification and identification in many commercial, governmental and forensic applications. The orientation field (OF) plays an important role at various processing stages in fingerprint recognition systems. OFs are used for image enhancement, fingerprint alignment, for fingerprint liveness detection, fingerprint alteration detection and fingerprint matching. In this paper, a novel approach is presented to globally model an OF combined with locally adaptive methods. We show that this model adapts perfectly to the 'true OF' in the limit. This perfect OF is described by a small number of parameters with straightforward geometric interpretation. Applications are manifold: Quick expert marking of very poor quality (for instance latent) OFs, high fidelity low parameter OF compression and a direct road to ground truth OFs markings for large databases, say. In this contribution we describe an algorithm to perfectly estimate OF parameters automatically or semi-automatically, depending on image quality, and we establish the main underlying claim of high fidelity low parameter OF compression.


title: Contrast and phase-shift of a trapped atom interferometer using a thermal ensemble with internal state labelling

abstract: We report a theoretical study of a double-well Ramsey interferometer using internal state labelling. We consider the use of a thermal ensemble of cold atoms rather than a Bose-Einstein condensate to minimize the effects of atomic interactions. To maintain a satisfactory level of coherence in this case, a high degree of symmetry is required between the two arms of the interferometer. Assuming that the splitting and recombination processes are adiabatic, we theoretically derive the phase-shift and the contrast of such an interferometer in the presence of gravity or an acceleration field. We also consider using a "shortcut to adiabaticity" protocol to speed up the splitting process and discuss how such a procedure affects the phase shift and contrast. We find that the two procedures lead to phase-shifts of the same form.


title: Hofstadter butterfly in the Falicov-Kimball model on some finite 2D lattices

abstract: Spinless, interacting electrons on a finite size triangular lattice moving in an extremely strong perpendicular magnetic field are studied and compared with the results on a square lattice. Using a Falicov-Kimball model, the effects of the magnetic field, Coulomb correlation and finite system size on their energy spectrum are observed. It is possible to induce a gap in the spectrum by tuning the magnetic field even in the absence of correlation, though extra states appear in the gap due to finite size. An orbital current is calculated for both the square and triangular lattice with and without electron correlation. In the noninteracting limit, the bulk current shows several patterns, while the edge current shows oscillations with magnetic flux. The oscillations persist in the interacting limit for the square lattice but not for the triangular lattice. Using exact diagonalization techniques, the recursive structure of Hofstadter spectrum is examined with strong electronic correlations for different system sizes. Electronic correlation is found to suppress these extra states in the gap in some cases.


title: The Moments of L\'evy's area using a sticky shuffle Hopf algebra

abstract: L\'evy's stochastic area for planar Brownian motion is the difference of two iterated integrals of second rank against its component one-dimen\-sional Brownian motions. Such iterated integrals can be multiplied using the sticky shuffle product determined by the underlying It\^o algebra of stochastic differentials. We use combinatorial enumerations that arise from the distributive law in the corresponding Hopf algebra structure to evaluate the moments of L\'evy's area. These L\'evy moments are well known to be given essentially by the Euler numbers. This has recently been confirmed in a novel combinatorial approach by Levin and Wildon. Our combinatorial calculations considerably simplify their approach.


title: A new class of graphs that satisfies the Chen-Chv\'atal Conjecture

abstract: A well-known combinatorial theorem says that a set of n non-collinear points in the plane determines at least n distinct lines. Chen and Chv\'atal conjectured that this theorem extends to metric spaces, with an appropriated definition of line. In this work we prove a slightly stronger version of Chen and Chv\'atal conjecture for a family of graphs containing chordal graphs and distance-hereditary graphs.


title: Quantitative Harris type theorems for diffusions and McKean-Vlasov processes

abstract: We consider $\mathbb{R}^d$-valued diffusion processes of type \begin{align*} dX_t\ =\ b(X_t)dt\, +\, dB_t. \end{align*} Assuming a geometric drift condition, we establish contractions of the transitions kernels in Kantorovich ($L^1$ Wasserstein) distances with explicit constants. Our results are in the spirit of Hairer and Mattingly's extension of Harris' Theorem. In particular, they do not rely on a small set condition. Instead we combine Lyapunov functions with reflection coupling and concave distance functions. We retrieve constants that are explicit in parameters which can be computed with little effort from one-sided Lipschitz conditions for the drift coefficient and the growth of a chosen Lyapunov function. Consequences include exponential convergence in weighted total variation norms, gradient bounds, bounds for ergodic averages, and Kantorovich contractions for nonlinear McKean-Vlasov diffusions in the case of sufficiently weak but not necessarily bounded nonlinearities. We also establish quantitative bounds for sub-geometric ergodicity assuming a sub-geometric drift condition.


title: Effective realization of random magnetic fields in compounds with large single-ion anisotropy

abstract: We show that spin $S=1$ system with large and random single--ion anisotropy can be at low energies mapped to a $S=1/2$ system with random magnetic fields. This is for example realized in \mbox{Ni(Cl$_{1-x}$Br$_{x}$)$_2$-4SC(NH$_2$)$_2$} compound (DTNX) and therefore it represents a long sought realization of random local (on-site) magnetic fields in antiferromagnetic systems. We support the mapping by numerical study of $S=1$ and effective $S=1/2$ anisotropic Heisenberg chains and find excellent agreement for static quantities and also for the spin conductivity. Such systems can therefore be used to study the effects of local random magnetic fields on transport properties.


title: An Efficient Robust Solution to the Two-Stage Stochastic Unit Commitment Problem

abstract: This paper proposes a reformulation of the scenario-based two-stage unit commitment problem under uncertainty that allows finding unit-commitment plans that perform reasonably well both in expectation and for the worst case realization of the uncertainties. The proposed reformulation is based on partitioning the sample space of the uncertain factors by clustering the scenarios that approximate their probability distributions. It is, furthermore, very amenable to decomposition and parallelization using a column-and-constraint generation procedure.


title: Factorization of differential expansion for antiparallel double-braid knots

abstract: Continuing the quest for exclusive Racah matrices, which are needed for evaluation of colored arborescent-knot polynomials in Chern-Simons theory, we suggest to extract them from a new kind of a double-evolution -- that of the antiparallel double-braids, which is a simple two-parametric family of two-bridge knots, generalizing the one-parametric family of twist knots. In the case of rectangular representations $R=[r^s]$ we found an evidence that the corresponding differential expansion miraculously factorizes and can be obtained from that for the twist knots. This reduces the problem of rectangular exclusive Racah to constructing the answers for just a few twist knots. We develop a recent conjecture on the structure of differential expansion for the simplest members of this family (the trefoil and the figure-eight knot) and provide the exhaustive answer for the first unknown case of $R=[33]$. The answer includes HOMFLY of arbitrary twist and double-braid knots and Racah matrices $\bar S$ and $S$ -- what allows to calculate $[33]$-colored polynomials for arbitrary arborescent (double-fat) knots. For generic rectangular representations described in detail are only the contributions of the single- and two-floor pyramids, the way to proceed is explicitly illustrated by the examples of $R=[44]$ and $R=[55]$. This solves the difficult part of the problem, but the last tedious step towards explicit formulas for generic exclusive rectangular Racah matrices still remains to be made.