title: Squarefree divisor complexes of certain numerical semigroup elements

abstract: A numerical semigroup $S$ is an additive subsemigroup of the non-negative integers with finite complement, and the squarefree divisor complex of an element $m \in S$ is a simplicial complex $\Delta_m$ that arises in the study of multigraded Betti numbers. We compute squarefree divisor complexes for certain classes numerical semigroups, and exhibit a new family of simplicial complexes that are occur as the squarefree divisor complex of some numerical semigroup element.


title: Variational Disparity Estimation Framework for Plenoptic Image

abstract: This paper presents a computational framework for accurately estimating the disparity map of plenoptic images. The proposed framework is based on the variational principle and provides intrinsic sub-pixel precision. The light-field motion tensor introduced in the framework allows us to combine advanced robust data terms as well as provides explicit treatments for different color channels. A warping strategy is embedded in our framework for tackling the large displacement problem. We also show that by applying a simple regularization term and a guided median filtering, the accuracy of displacement field at occluded area could be greatly enhanced. We demonstrate the excellent performance of the proposed framework by intensive comparisons with the Lytro software and contemporary approaches on both synthetic and real-world datasets.


title: DEA-based benchmarking for performance evaluation in pay-for-performance incentive plans

abstract: Incentive plans involve payments for performance relative to some set of goals. In this paper, we extend Data Envelopment Analysis (DEA) to the evaluation of performance in the specific context of pay-for-performance incentive plans. The approach proposed ensures that the evaluation of performance of decision making units (DMUs) that follow the implementation of incentive plans, is made in terms of targets that are attainable, as well as representing best practices. A model is developed that adjusts the benchmarking to the goals through the corresponding payment of incentives, thus DEA targets are established taking into consideration the improvement strategies that were set out in the incentive plans. To illustrate, we examine an application concerned with the financing of public Spanish universities.


title: NIHAO XVI: The properties and evolution of kinematically selected discs, bulges and stellar haloes

abstract: We use 25 simulated galaxies from the NIHAO project to define and characterize a variety of kinematic stellar structures: thin and thick discs, large scale single discs, classical and pseudo bulges, spheroids, inner discs, and stellar haloes. These structures have masses, spins, shapes and rotational support in good agreement with theoretical expectations and observational data. Above a dark matter halo mass of $2.5\times10^{\rm~11}M_{\rm\odot}$, all galaxies have a classical bulge and 70\% have a thin and thick disc. The kinematic (thin) discs follow a power-law relation between angular momentum and stellar mass $J_{\rm *}=3.4M_{\rm *}^{\rm1.26\pm0.06}$, in very good agreement with the prediction based on the empirical stellar-to-halo mass relation in the same mass range, and show a strong correlation between maximum `observed' rotation velocity and dark matter halo circular velocity $v_{\rm c}=6.4v_{\rm max}^{0.64\pm0.04}$. Tracing back in time these structures' progenitors, we find all to lose a fraction $1-f_j$ of their maximum angular momentum. Thin discs are significantly better at retaining their high-redshift spins ($f_j\sim0.70$) than thick ones ($f_j\sim0.40$). Stellar haloes have their progenitor baryons assembled the latest ($z_{\rm~1/2}\sim1.1$) and over the longest timescales ($\tau\sim6.2$~Gyr), and have the smallest fraction of stars born in-situ ($f_{\rm in-situ}=0.35\pm0.14$). All other structures have $1.5\lesssim z_{\rm1/2}\lesssim3$, $\tau=4\pm2$~Gyr and $f_{\rm in-situ}\gtrsim0.9$.


title: Experiments with Universal CEFR Classification

abstract: The Common European Framework of Reference (CEFR) guidelines describe language proficiency of learners on a scale of 6 levels. While the description of CEFR guidelines is generic across languages, the development of automated proficiency classification systems for different languages follow different approaches. In this paper, we explore universal CEFR classification using domain-specific and domain-agnostic, theory-guided as well as data-driven features. We report the results of our preliminary experiments in monolingual, cross-lingual, and multilingual classification with three languages: German, Czech, and Italian. Our results show that both monolingual and multilingual models achieve similar performance, and cross-lingual classification yields lower, but comparable results to monolingual classification.


title: An Economic-Based Analysis of RANKING for Online Bipartite Matching

abstract: In their seminal paper, Karp, Vazirani and Vazirani (STOC'90) introduce the online bipartite matching problem, and the RANKING algorithm, which admits a tight $1-\frac{1}{e}$ competitive ratio. Since its publication, the problem has received considerable attention, including a sequence of simplified proofs. In this paper we present a new proof that gives an economic interpretation of the RANKING algorithm -- further simplifying the proof and avoiding arguments such as duality. The new proof gives a new perspective on previous proofs.


title: Quaternionic Fundamental Cardinal Splines: Interpolation and Sampling

abstract: B-splines $B_{q}$, $\Sc q > 1$, of quaternionic order $q$, for short quaternionic B-splines, are quaternion-valued piecewise M\"{u}ntz polynomials whose scalar parts interpolate the classical Schoenberg splines $B_{n}$, $n\in\N$, with respect to degree and smoothness. As the Schoenberg splines of order $\geq 3$, they in general do not satisfy the interpolation property $B_{q}(n-k) = \delta_{n,k}$, $n,k\in\Z$. However, the application of the interpolation filter $1/\sum\limits_{k\in\Z} \widehat{B}_{q}(\xi+2 \pi k)$---if well-defined---in the frequency domain yields a cardinal fundamental spline of quaternionic order that does satisfy the interpolation property. We handle the ambiguity of the quaternion-valued exponential function appearing in the denominator of the interpolation filter and relate the filter to interesting properties of a quaternionic Hurwitz zeta function and the existence of complex quaternionic inverses. Finally, we show that the cardinal fundamental splines of quaternionic order fit into the setting of Kramer's Lemma and allow for a family of sampling, respectively, interpolation series.


title: Motion of level sets by inverse anisotropic mean curvature

abstract: In this paper we consider the weak formulation of the inverse anisotropic mean curvature flow, in the spirit of Huisken-Ilmanen. By using approximation method involving Finsler-p-Laplacian, we prove the existence and uniqueness of weak solutions.


title: The nature of generalized scales

abstract: The notion of a generalized scale emerged in recent joint work with Afsar-Brownlowe-Larsen on equilibrium states on C*-algebras of right LCM monoids, where it features as the key datum for the dynamics under investigation. This work provides the structure theory for such monoidal homomorphisms. We establish uniqueness of the generalized scale and characterize its existence in terms of a simplicial graph arising from a new notion of irreducibility inside right LCM monoids. In addition, the method yields an explicit construction of the generalized scale if existent. We discuss applications for graph products as well as algebraic dynamical systems, and reveal a striking connection to Saito's degree map.


title: Rooted complete minors in line graphs with a Kempe coloring

abstract: It has been conjectured that if a finite graph has a vertex coloring such that the union of any two color classes induces a connected graph, then for every set $T$ of vertices containing exactly one member from each color class there exists a complete minor such that $T$ contains exactly one member from each branching set. Here we prove the statement for line graphs.


title: Superframes, A Temporal Video Segmentation

abstract: The goal of video segmentation is to turn video data into a set of concrete motion clusters that can be easily interpreted as building blocks of the video. There are some works on similar topics like detecting scene cuts in a video, but there is few specific research on clustering video data into the desired number of compact segments. It would be more intuitive, and more efficient, to work with perceptually meaningful entity obtained from a low-level grouping process which we call it superframe. This paper presents a new simple and efficient technique to detect superframes of similar content patterns in videos. We calculate the similarity of content-motion to obtain the strength of change between consecutive frames. With the help of existing optical flow technique using deep models, the proposed method is able to perform more accurate motion estimation efficiently. We also propose two criteria for measuring and comparing the performance of different algorithms on various databases. Experimental results on the videos from benchmark databases have demonstrated the effectiveness of the proposed method.


title: The structure of chains of Ulrich ideals in Cohen-Macaulay local rings of dimension one

abstract: This paper studies Ulrich ideals in one-dimensional Cohen-Macaulay local rings. A correspondence between Ulrich ideals and overrings is given. Using the correspondence, chains of Ulrich ideals are closely explored. The specific cases where the rings are of minimal multiplicity and \operatorname{GGL} rings are analyzed.


title: Modular symmetry and non-Abelian discrete flavor symmetries in string compactification

abstract: We study the modular symmetry in magnetized D-brane models on $T^2$. Non-Abelian flavor symmetry $D_4$ in the model with magnetic flux $M=2$ (in a certain unit) is a subgroup of the modular symmetry. We also study the modular symmetry in heterotic orbifold models. The $T^2/Z_4$ orbifold model has the same modular symmetry as the magnetized brane model with $M=2$, and its flavor symmetry $D_4$ is a subgroup of the modular symmetry.


title: An Improved Reversible Data Hiding Scheme by Changing Modification Direction of Partial Coefficients in JPEG Images

abstract: This paper first reviews the reversible data hiding scheme, of Liu et al. in 2018, for JPEG images. After that, a novel reversible data hiding scheme, in which modification directions of partial nonzero quantized alternating current (AC) coefficients are utilized to decrease distortion and file size increase caused by data hiding, is proposed. Experimental results have shown that the proposed scheme has indeed advantages in visual quality and smaller increase in file size of marked JPEG images while compared to the state-of-the-art scheme with the same embedding payload so far.


title: Symmetries of free massless particles and soft theorems

abstract: In an earlier paper we have constructed a basis of massless single particle quantum states which transform in the unitary principal series representation of the four dimensional Lorentz group. The S-matrix written in this basis gives rise to the Mellin transformed amplitude of Pasterski-Shao-Strominger and its generalization. In this basis the particle can be thought of as living on the null-infinity in the Minkowski space. In this paper we take some preliminary steps to see how the connection between soft theorems and symmetries work out in this picture. For simplicity we consider only the leading soft photon and soft graviton theorems which are related to U(1) Kac-Moody and supertranslations.


title: Modular Verification of Vehicle Platooning with Respect to Decisions, Space and Time

abstract: The spread of autonomous systems into safety-critical areas has increased the demand for their formal verification, not only due to stronger certification requirements but also to public uncertainty over these new technologies. However, the complex nature of such systems, for example, the intricate combination of discrete and continuous aspects, ensures that whole system verification is often infeasible. This motivates the need for novel analysis approaches that modularise the problem, allowing us to restrict our analysis to one particular aspect of the system while abstracting away from others. For instance, while verifying the real-time properties of an autonomous system we might hide the details of the internal decision-making components. In this paper we describe verification of a range of properties across distinct dimesnions on a practical hybrid agent architecture. This allows us to verify the autonomous decision-making, real-time aspects, and spatial aspects of an autonomous vehicle platooning system. This modular approach also illustrates how both algorithmic and deductive verification techniques can be applied for the analysis of different system subcomponents.


title: ArXiv and the REF open access policy

abstract: HEFCE's Policy for open access in the post-2014 Research Excellence Framework states "authors' outputs must have been deposited in an institutional or subject repository". There is no definition of a subject repository in the policy: however, there is a footnote stating: "Individuals depositing their outputs in a subject repository are advised to ensure that their chosen repository meets the requirements set out in this policy." The longest standing subject repository (or repository of any kind) is arXiv.org, established in 1991. arXiv is an open access repository of scientific research available to authors and researchers worldwide and acts as a scholarly communications forum informed and guided by scientists. Content held on arXiv is free to the end user and researchers can deposit their content freely. As of April 2018, arXiv held over 1,377,000 eprints. In some disciplines arXiv is considered essential to the sharing and publication of research. The HEFCE requirements on repositories are defined in the Information and Audit Requirements which lists the "Accepted date", the "Version of deposited file" and "available open access immediately after the publisher embargo" are expected as part of the REF submission. However, while many records in arXiv have multiple versions of work, the Author's Accepted Manuscript is not identified and there is no field to record the acceptance date of the work. Because arXiv does not capture these two specific information points it does not meet the technical requirements to be a compliant subject repository for the purposes of REF. This paper is presenting the case that articles deposited to arXiv are, in general, compliant with the requirements of the HEFCE policy. The paper summarises some work undertaken by Jisc to establish if there are other factors that can indicate the likelihood of formal compliance to the HEFCE policy.


title: Considerations Regarding the Modelling of Wind Energy Conversion Systems

abstract: The above paper presents some considerations regarding the modelling of wind energy conversion systems (WECS). There are presented practical problems of grid integration of wind turbines, the usage of general system models, respectively of RMS (root mean squares) models. There are presented models of some WECS components and related, such as: a probabilistic 2D model for instantaneous wind velocities, aerodynamic model of wind turbine, rotating inertia model, asynchronous machine model, grid model. This paper only presents models used in different WECS, models that can be easily simulated with adequate simulation tools such as Matlab-Simulink.


title: Separate or perish - the coevolving voter model

abstract: Recent generalization of the coevolving voter model (J. Toruniewska et al, PRE 96 (2017) 042306) is further generalized here, including spin-dependent probability of rewiring. Mean field results indicate that either the system splits into two separate networks with different spins, or one of spin orientation goes extinct. In both cases, the density of active links is equal to zero. The results are discussed in terms of homophily in social contacts.


title: Magnetic Flux Control of Chiral Majorana Edge Modes in Topological Superconductor

abstract: We study the transport of chiral Majorana edge modes (CMEMs) in a hybrid quantum anomalous Hall insulator-topological superconductor (QAHI-TSC) system in which the TSC region contains a Josephson junction and a cavity. The Josephson junction undergoes a topological transition when the magnetic flux through the cavity passes through half-integer multiples of magnetic flux quantum. For the trivial phase, the CMEMs transmit along the QAHI-TSC interface as without magnetic flux. However, for the nontrivial phase, a zero-energy Majorana state appears in the cavity, leading that a CMEM can resonantly tunnel through the Majorana state to a different CMEM. These findings may provide a feasible scheme to control the transport of CMEMs by using the magnetic flux and the transport pattern can be customized by setting the size of the TSC.


title: A New Phase Transition Related to the Black Hole's Topological Charge

abstract: The topological charge $\epsilon$ of AdS black hole is introduced in Ref.[1,2], where a complete thermodynamic first law is obtained. In this paper, we investigate a new phase transition related to the topological charge in Einstein-Maxwell theory. Firstly, we derive the explicit solutions corresponding to the divergence of specific heat $C_{\epsilon}$ and determine the phase transition critical point. Secondly, the $T-r$ curve and $T-S$ curve are investigated and they exhibit an interesting van der Waals system's behavior. Critical physical quantities are also obtained which are consistent with those derived from the specific heat analysis. Thirdly, a van der Waals system's swallow tail behavior is observed when $\epsilon>\epsilon_{c}$ in the $F-T$ graph. What's more, the analytic phase transition coexistence lines are obtained by using the Maxwell equal area law and free energy analysis, the results of which are consistent with each other.


title: Consensus Community Detection in Multilayer Networks using Parameter-free Graph Pruning

abstract: The clustering ensemble paradigm has emerged as an effective tool for community detection in multilayer networks, which allows for producing consensus solutions that are designed to be more robust to the algorithmic selection and configuration bias. However, one limitation is related to the dependency on a co-association threshold that controls the degree of consensus in the community structure solution. The goal of this work is to overcome this limitation with a new framework of ensemble-based multilayer community detection, which features parameter-free identification of consensus communities based on generative models of graph pruning that are able to filter out noisy co-associations. We also present an enhanced version of the modularity-driven ensemble-based multilayer community detection method, in which community memberships of nodes are reconsidered to optimize the multilayer modularity of the consensus solution. Experimental evidence on real-world networks confirms the beneficial effect of using model-based filtering methods and also shows the superiority of the proposed method on state-of-the-art multilayer community detection.


title: On the enumeration of the set of numerical semigroups with fixed Frobenius number and fixed number of second kind gaps

abstract: We study how certain invariants of numerical semigroups relate to the number of second kind gaps. Furthermore, given two fixed non-negative integers F and k, we provide an algorithm to compute all the numerical semigroups whose Frobenius number is F and which have exactly k second kind gaps.


title: Deep Face Recognition: A Survey

abstract: Deep learning applies multiple processing layers to learn representations of data with multiple levels of feature extraction. This emerging technique has reshaped the research landscape of face recognition (FR) since 2014, launched by the breakthroughs of DeepFace and DeepID. Since then, deep learning technique, characterized by the hierarchical architecture to stitch together pixels into invariant face representation, has dramatically improved the state-of-the-art performance and fostered successful real-world applications. In this survey, we provide a comprehensive review of the recent developments on deep FR, covering broad topics on algorithm designs, databases, protocols, and application scenes. First, we summarize different network architectures and loss functions proposed in the rapid evolution of the deep FR methods. Second, the related face processing methods are categorized into two classes: "one-to-many augmentation" and "many-to-one normalization". Then, we summarize and compare the commonly used databases for both model training and evaluation. Third, we review miscellaneous scenes in deep FR, such as cross-factor, heterogenous, multiple-media and industrial scenes. Finally, the technical challenges and several promising directions are highlighted.


title: Mathematical Models of Specific Elements of Wind Energy Conversion Systems Based on Induction Generator

abstract: In the complex case of wind energy conversion systems (WECS) analysis and synthesis, the mathematical models of each component element are required. In the paper are presented some contributions to preset values establishing strategies and models of specific elements: rotation speed and voltage preset values establishing strategies, a simplified fixed blade wind turbine model, the induction generator squirrel rotor induction generator Park mathematical model, specific to current frequency converter supplier use, current frequency converter inverter model. The presented models are used for WECS analysis in its specific transient regimes as well for its controller design.


title: NTUA-SLP at SemEval-2018 Task 2: Predicting Emojis using RNNs with Context-aware Attention

abstract: In this paper we present a deep-learning model that competed at SemEval-2018 Task 2 "Multilingual Emoji Prediction". We participated in subtask A, in which we are called to predict the most likely associated emoji in English tweets. The proposed architecture relies on a Long Short-Term Memory network, augmented with an attention mechanism, that conditions the weight of each word, on a "context vector" which is taken as the aggregation of a tweet's meaning. Moreover, we initialize the embedding layer of our model, with word2vec word embeddings, pretrained on a dataset of 550 million English tweets. Finally, our model does not rely on hand-crafted features or lexicons and is trained end-to-end with back-propagation. We ranked 2nd out of 48 teams.


title: NTUA-SLP at SemEval-2018 Task 1: Predicting Affective Content in Tweets with Deep Attentive RNNs and Transfer Learning

abstract: In this paper we present deep-learning models that submitted to the SemEval-2018 Task~1 competition: "Affect in Tweets". We participated in all subtasks for English tweets. We propose a Bi-LSTM architecture equipped with a multi-layer self attention mechanism. The attention mechanism improves the model performance and allows us to identify salient words in tweets, as well as gain insight into the models making them more interpretable. Our model utilizes a set of word2vec word embeddings trained on a large collection of 550 million Twitter messages, augmented by a set of word affective features. Due to the limited amount of task-specific training data, we opted for a transfer learning approach by pretraining the Bi-LSTMs on the dataset of Semeval 2017, Task 4A. The proposed approach ranked 1st in Subtask E "Multi-Label Emotion Classification", 2nd in Subtask A "Emotion Intensity Regression" and achieved competitive results in other subtasks.


title: NTUA-SLP at SemEval-2018 Task 3: Tracking Ironic Tweets using Ensembles of Word and Character Level Attentive RNNs

abstract: In this paper we present two deep-learning systems that competed at SemEval-2018 Task 3 "Irony detection in English tweets". We design and ensemble two independent models, based on recurrent neural networks (Bi-LSTM), which operate at the word and character level, in order to capture both the semantic and syntactic information in tweets. Our models are augmented with a self-attention mechanism, in order to identify the most informative words. The embedding layer of our word-level model is initialized with word2vec word embeddings, pretrained on a collection of 550 million English tweets. We did not utilize any handcrafted features, lexicons or external datasets as prior information and our models are trained end-to-end using back propagation on constrained data. Furthermore, we provide visualizations of tweets with annotations for the salient tokens of the attention layer that can help to interpret the inner workings of the proposed models. We ranked 2nd out of 42 teams in Subtask A and 2nd out of 31 teams in Subtask B. However, post-task-completion enhancements of our models achieve state-of-the-art results ranking 1st for both subtasks.


title: Short Term Electric Load Forecast with Artificial Neural Networks

abstract: This paper presents issues regarding short term electric load forecasting using feedforward and Elman recurrent neural networks. The study cases were developed using measured data representing electrical energy consume from Banat area. There were considered 35 different types of structure for both feedforward and recurrent network cases. For each type of neural network structure were performed many trainings and best solution was selected. The issue of forecasting the load on short term is essential in the effective energetic consume management in an open market environment.


title: Positron Beams and Two-Photon Exchange: The Key to Precision Form Factors

abstract: The proton elastic form factor ratio can be measured either via Rosenbluth separation in an unpolarized beam and target experiment, or via the use of polarization degrees of freedom. However, data produced by these two approaches show a discrepancy, increasing with $Q^2$. The proposed explanation of this discrepancy---two-photon exchange---has been tested recently by three experiments. The results support the existence of a small two-photon exchange effect but cannot establish that theoretical treatment at the measured momentum transfers are valid. At larger momentum transfers, theory remains untested. This paper investigates the possibilities of measurements at DESY and Jefferson Lab to measure the effect at larger momentum transfers.


title: A New Radial Basis Function Approximation with Reproduction

abstract: Approximation of scattered geometric data is often a task in many engineering problems. The Radial Basis Function (RBF) approximation is appropriate for large scattered (unordered) datasets in d-dimensional space. This method is useful for a higher dimension d>=2, because the other methods require a conversion of a scattered dataset to a semi-regular mesh using some tessellation techniques, which is computationally expensive. The RBF approximation is non-separable, as it is based on a distance of two points. It leads to a solution of overdetermined Linear System of Equations (LSE). In this paper a new RBF approximation method is derived and presented. The presented approach is applicable for d dimensional cases in general.


title: E- and R-optimality of block designs for treatment-control comparisons

abstract: We study optimal block designs for comparing a set of test treatments with a control treatment. We provide the class of all E-optimal approximate block designs characterized by simple linear constraints. Employing this characterization, we obtain a class of E-optimal exact designs for treatment-control comparisons for unequal block sizes. In the studied model, we justify the use of E-optimality by providing a statistical interpretation for all E-optimal approximate designs and for the known classes of E-optimal exact designs. Moreover, we consider the R-optimality criterion, which minimizes the volume of the rectangular confidence region based on the Bonferroni confidence intervals. We show that all approximate A-optimal designs and a large class of A-optimal exact designs for treatment-control comparisons are also R-optimal. This further reinforces the observation that A-optimal designs perform well even for rectangular confidence regions.


title: Scheduling Intelligent System for Time Shortening

abstract: The paper presents a scheduling intelligent system intended for the project management and for the operation management as well, having integrated a planner time buffer method combined with the PERT (Programme Evaluation and Review Technique) method which can drastically short the planned time. The system also adjusts if necessary the duration for the un-expecting situations during the evolution of the planner recalculating the probability to reach the deadline. The system is developed with a friendly graphical interface, which guide the user during the progress of the project providing warnings and suggestions for adjusting in real time the planner. Once the scheduling intelligent system is launched in progress, its functions are combined at the different levels, depending of the user needs. The base functions of the system are: planning, diagnosis, supervising and forecast. A real implementation is showed as a study case, is related to a software development planner.


title: Two-Photon Exchange: Future experimental prospects

abstract: The proton elastic form factor ratio is accessible in unpolarized Rosenbluth-type experiments as well as experiments which make use of polarization degrees of freedom. The extracted values show a distinct discrepancy, growing with $Q^2$. Three recent experiments tested the proposed explanation, two-photon exchange, by measuring the positron-proton to electron-proton cross section ratio. In the results, a small two-photon exchange effect is visible, significantly different from theoretical calculation. Theory at larger momentum transfer remains untested. This paper discusses the possibilities for future measurements at larger momentum transfer.


title: Application of Vector Sensor for Underwater Acoustic Communications

abstract: The use of vector sensors as receivers for Underwater Acoustic Communications systems is gaining popularity. It has become important to obtain performance measures for such communication systems to quantify their efficacy. The fundamental advantage of using a vector sensor as a receiver is that a single sensor is able to provide diversity gains offered by MIMO systems. In a recent work novel framework for evaluating capacity of underwater channel was proposed. The approach is based on modeling the channel as a set of paths along which the signal arrives at the receiver with different Angles of Arrival. In this work, we build on that framework to provide a bound on the achievable capacity of such a system. The analytical bounds have been compared against simulation results for a vector sensor based SIMO underwater communications system. The channel parameters are modeled by analysing the statistics generated with Bellhop simulation tool. This representation of the channel is flexible and allows for characterizing channels at differenet geographical locations and at different time instances. This characterization in terms of channel parameters enables the computing of the performance measure (channel capacity bound) for different geographical locations


title: A non-regular language of infinite trees that is recognizable by a sort-wise finite algebra

abstract: $\omega$-clones are multi-sorted structures that naturally emerge as algebras for infinite trees, just as $\omega$-semigroups are convenient algebras for infinite words. In the algebraic theory of languages, one hopes that a language is regular if and only if it is recognized by an algebra that is finite in some simple sense. We show that, for infinite trees, the situation is not so simple: there exists an $\omega$-clone that is finite on every sort and finitely generated, but recognizes a non-regular language.


title: Effects of gate errors in digital quantum simulations of fermionic systems

abstract: Digital quantum simulations offer exciting perspectives for the study of fermionic systems such as molecules or lattice models. However, with quantum error correction still being out of reach with present-day technology, a non-vanishing error rate is inevitable. We study the influence of gate errors on simulations of the Trotterized time evolution of the quantum system with focus on the fermionic Hubbard model. Specifically, we consider the effect of stochastic over-rotations in the applied gates. Depending on the particular algorithm implemented such gate errors may lead to a time evolution that corresponds to a disordered fermionic system, or they may correspond to unphysical errors, e.g., violate particle number conservation. We substantiate our analysis by numerical simulations of model systems. In addition we establish the relation between the gate fidelity and the strength of the over-rotations in a Trotterized quantum simulation. Based on this we provide estimates for the maximum number of Trotter steps which can be performed with sufficient accuracy for a given algorithm. This in turn implies, apart from obvious limitations on the maximum time of the simulation, also limits on the system size which can be handled.


title: The Red-Giant Branch Bump Revisited: Constraints on Envelope Overshooting in a Wide Range of Masses and Metallicities

abstract: The red-giant branch bump provides valuable information for the investigation of the internal structure of low-mass stars. Because current models are unable to accurately predict the occurrence and efficiency of mixing processes beyond convective boundaries, one can use the luminosity of the bump --- a diagnostic of the maximum extension of the convective envelope during the first-dredge up --- as a calibrator for such processes. By combining asteroseismic and spectroscopic constraints, we expand the analysis of the bump to masses and metallicities beyond those previously accessible using globular clusters. Our dataset comprises nearly 3000 red-giant stars observed by {\it Kepler} and with APOGEE spectra. Using statistical mixture models, we are able to detect the bump in the average seismic parameters $\nu_{\rm max}$ and $\langle \Delta \nu \rangle$, and show that its observed position reveals general trends with mass and metallicity in line with expectations from models. Moreover, our analysis indicates that standard stellar models underestimate the depth of efficiently mixed envelopes. The inclusion of significant overshooting from the base of the convective envelope, with an efficiency that increases with decreasing metallicity, allows to reproduce the observed location of the bump. Interestingly, this trend was also reported in previous studies of globular clusters.


title: Active Learning for Breast Cancer Identification

abstract: Breast cancer is the second most common malignancy among women and has become a major public health problem in current society. Traditional breast cancer identification requires experienced pathologists to carefully read the breast slice, which is laborious and suffers from inter-observer variations. Consequently, an automatic classification framework for breast cancer identification is worthwhile to develop. Recent years witnessed the development of deep learning technique. Increasing number of medical applications start to use deep learning to improve diagnosis accuracy. In this paper, we proposed a novel training strategy, namely reversed active learning (RAL), to train network to automatically classify breast cancer images. Our RAL is applied to the training set of a simple convolutional neural network (CNN) to remove mislabeled images. We evaluate the CNN trained with RAL on publicly available ICIAR 2018 Breast Cancer Dataset (IBCD). The experimental results show that our RAL increases the slice-based accuracy of CNN from 93.75% to 96.25%.


title: Ahlfors-regular curves and Carleson measures

abstract: We study the relation between the boundary of a simply connected domain being Ahlfors-regular and the invariance of Carleson measures under the push-forward operator induced by a conformal mapping from the unit disk onto the domain. As an application, we characterize the chord-arc curve with small norm and the asymptotically smooth curve in terms of the complex dilatation of some quasiconformal reflection with respect to the curve.


title: L-infinity pairs and applications to singularities

abstract: Over a field of characteristic zero, every deformation problem with cohomology constraints is controlled by a pair consisting of a differential graded Lie algebra together with a module. Unfortunately, these pairs are usually infinite-dimensional. We show that every deformation problem with cohomology constraints is controlled by a typically finite-dimensional L-infinity pair. As a first application, we show that for complex algebraic varieties with no weight-zero 1-cohomology classes, the components of the cohomology jump loci of rank one local systems containing the constant sheaf are tori. This imposes restrictions on the fundamental groups. The same holds for links and Milnor fibers.


title: Bayesian Metabolic Flux Analysis reveals intracellular flux couplings

abstract: Metabolic flux balance analyses are a standard tool in analysing metabolic reaction rates compatible with measurements, steady-state and the metabolic reaction network stoichiometry. Flux analysis methods commonly place unrealistic assumptions on fluxes due to the convenience of formulating the problem as a linear programming model, and most methods ignore the notable uncertainty in flux estimates. We introduce a novel paradigm of Bayesian metabolic flux analysis that models the reactions of the whole genome-scale cellular system in probabilistic terms, and can infer the full flux vector distribution of genome-scale metabolic systems based on exchange and intracellular (e.g. 13C) flux measurements, steady-state assumptions, and target function assumptions. The Bayesian model couples all fluxes jointly together in a simple truncated multivariate posterior distribution, which reveals informative flux couplings. Our model is a plug-in replacement to conventional metabolic balance methods, such as flux balance analysis (FBA). Our experiments indicate that we can characterise the genome-scale flux covariances, reveal flux couplings, and determine more intracellular unobserved fluxes in C. acetobutylicum from 13C data than flux variability analysis. The COBRA compatible software is available at github.com/markusheinonen/bamfa


title: An efficient and effective Decentralized Anonymous Voting System

abstract: A trusted electronic election system requires that all the involved information must go public, that is, it focuses not only on transparency but also privacy issues. In other words, each ballot should be counted anonymously, correctly, and efficiently. In this work, a lightweight E-voting system is proposed for voters to minimize their trust in the authority or government. We ensure the transparency of election by putting all message on the Ethereum blockchain, in the meantime, the privacy of individual voter is protected via an efficient and effective ring signature mechanism. Besides, the attractive self-tallying feature is also built in our system, which guarantees that everyone who can access the blockchain network is able to tally the result on his own, no third party is required after voting phase. More importantly, we ensure the correctness of voting results and keep the Ethereum gas cost of individual participant as low as possible, at the same time. Clearly, the pre-described characteristics make our system more suitable for large-scale election.


title: The Graph Exploration Problem with Advice

abstract: Moving an autonomous agent through an unknown environment is one of the crucial problems for robotics and network analysis. Therefore, it received a lot of attention in the last decades and was analyzed in many different settings. The graph exploration problem is a theoretical and abstract model, where an algorithm has to decide how the agent, also called explorer, moves through a network such that every point of interest is visited at least once. For its decisions, the knowledge of the algorithm is limited by the perception of the explorer. There are different models regarding the perception of the explorer. We look at the fixed graph scenario proposed by Kalyanasundaram and Pruhs (Proc. of ICALP, 1993), where the explorer starts at a vertex of the network and sees all reachable vertices, their unique names and their distance from the current position. Therefore, the algorithm recognizes already seen vertices and can adapt its strategy during exploring, because it does not forget anything. Because the algorithm only learns the structure of the graph during computation, it cannot deterministically compute an optimal tour that visits every vertex at least once without prior knowledge. Therefore, we are interested in the amount of crucial a-priori information needed to solve the problem optimally, which we measure in terms of the well-studied model of advice complexity. [..] We look at different variations of the graph exploration problem and distinguish between directed or undirected edges, cyclic or non-cyclic solutions, unit costs or individual costs for the edges and different amounts of a-priori structural knowledge of the explorer. [..] In this work, we present algorithms with an advice complexity of $\mathcal{O}(m+n)$, thus improving the classical bound for sparse graphs.


title: Near-field coupling of a levitated nanoparticle to a photonic crystal cavity

abstract: Quantum control of levitated dielectric particles is an emerging subject in quantum optomechanics. A major challenge is to efficiently measure and manipulate the particle's motion at the Heisenberg uncertainty limit. Here we present a nanophotonic interface suited to address this problem. By optically trapping a 150 nm silica particle and placing it in the near field of a photonic crystal cavity, we achieve tunable single-photon optomechanical coupling of up to $g_0/2\pi=9$ kHz, three orders of magnitude larger than previously reported for levitated cavity optomechanical systems. Efficient collection and guiding of light through the nanophotonic structure results in a per-photon displacement sensitivity that is increased by two orders of magnitude compared to conventional far-field detection. The demonstrated performance shows a promising route for room temperature quantum optomechanics.


title: Two moonshines for $L_2(11)$ but none for $M_{12}$

abstract: In this paper, we revisit an earlier conjecture by one of us that related conjugacy classes of $M_{12}$ to Jacobi forms of weight one and index zero. We construct Jacobi forms for all conjugacy classes of $M_{12}$ that are consistent with constraints from group theory as well as modularity. However, we obtain 1427 solutions that satisfy these constraints (to the order that we checked) and are unable to provide a unique Jacobi form. Nevertheless, as a consequence, we are able to provide a group theoretic proof of the evenness of the coefficients of all EOT Jacobi forms associated with conjugacy classes of $M_{12}:2 \subset M_{24}$. We show that there exists no solution where the Jacobi forms (for order 4/8 elements of $M_{12}$) transform with phases under the appropriate level. In the absence of a moonshine for $M_{12}$, we show that there exist moonshines for two distinct $L_2(11)$ sub-groups of the $M_{12}$. We construct Siegel modular forms for all $L_2(11)$ conjugacy classes and show that each of them arises as the denominator formula for a distinct Borcherds-Kac-Moody Lie superalgebra.


title: Isomorphism between super Yangian and quantum loop superalgebra. I

abstract: Following V. Toledano-Laredo and S. Gautam approach we construct isomorphism between super $\hbar$-Yangian $Y_{\hbar}(A(m,n))$ of special linear superalgebra and quantum loop superalgebra $U_{\hbar}(LA(m,n))$.


title: Understanding Neural Networks and Individual Neuron Importance via Information-Ordered Cumulative Ablation

abstract: In this work, we investigate the use of three information-theoretic quantities -- entropy, mutual information with the class variable, and a class selectivity measure based on Kullback-Leibler divergence -- to understand and study the behavior of already trained fully-connected feed-forward neural networks. We analyze the connection between these information-theoretic quantities and classification performance on the test set by cumulatively ablating neurons in networks trained on MNIST, FashionMNIST, and CIFAR-10. Our results parallel those recently published by Morcos et al., indicating that class selectivity is not a good indicator for classification performance. However, looking at individual layers separately, both mutual information and class selectivity are positively correlated with classification performance, at least for networks with ReLU activation functions. We provide explanations for this phenomenon and conclude that it is ill-advised to compare the proposed information-theoretic quantities across layers. Furthermore, we show that cumulative ablation of neurons with ascending or descending information-theoretic quantities can be used to formulate hypotheses regarding the joint behavior of multiple neurons, such as redundancy and synergy, with comparably low computational cost. We also draw connections to the information bottleneck theory for neural networks.


title: Temporal Unknown Incremental Clustering (TUIC) Model for Analysis of Traffic Surveillance Videos

abstract: Optimized scene representation is an important characteristic of a framework for detecting abnormalities on live videos. One of the challenges for detecting abnormalities in live videos is real-time detection of objects in a non-parametric way. Another challenge is to efficiently represent the state of objects temporally across frames. In this paper, a Gibbs sampling based heuristic model referred to as Temporal Unknown Incremental Clustering (TUIC) has been proposed to cluster pixels with motion. Pixel motion is first detected using optical flow and a Bayesian algorithm has been applied to associate pixels belonging to similar cluster in subsequent frames. The algorithm is fast and produces accurate results in $\Theta(kn)$ time, where $k$ is the number of clusters and $n$ the number of pixels. Our experimental validation with publicly available datasets reveals that the proposed framework has good potential to open-up new opportunities for real-time traffic analysis.


title: Contact interactions and Kronig-Penney Models in Hermitian and PT-symmetric Quantum Mechanics

abstract: The delta function potential is a simple model of zero-range contact interaction in one dimension. The Kronig-Penney model is a one-dimensional periodic array of delta functions that models the energy bands in a crystal. Here we investigate contact interactions that generalize the delta function potential and corresponding generalizations of the Kronig-Penney model within conventional and parity-time symmetric quantum mechanics (PTQM). In conventional quantum mechanics we determine the most general contact interaction compatible with self-adjointness; in PTQM we consider interactions that are symmetric under the combined transformation PT. In both cases we find that the most general interaction has four independent real parameters; depending on the parameter values the interaction can support more bound states than the conventional delta function. In the PT case the two bound state energies can be both real or a complex conjugate pair, with the transition corresponding to the breaking of PT-symmetry. The scattering states for the PT case are also found to exhibit spontaneous breaking of PT-symmetry. We investigate the energy bands when the generalized contact interactions are repeated periodically in space in one dimension. In the Hermitian case we find that the two bound states result in two narrow bands generically separated by a gap. These bands intersect at a single point in the Brillouin zone as the interaction parameters are varied. Near the intersection the bands form a massless Dirac cone. In the PT-symmetric case, as the parameters of the contact interaction are varied the two bound state bands undergo a PT-symmetry breaking transition wherein the two band energies go from being real to being a complex conjugate pair. The PT-symmetric Kronig-Penney model provides a simple soluble example of the transition which has the same form as in other models of PT-symmetric crystals.


title: A Robot to Shape your Natural Plant: The Machine Learning Approach to Model and Control Bio-Hybrid Systems

abstract: Bio-hybrid systems---close couplings of natural organisms with technology---are high potential and still underexplored. In existing work, robots have mostly influenced group behaviors of animals. We explore the possibilities of mixing robots with natural plants, merging useful attributes. Significant synergies arise by combining the plants' ability to efficiently produce shaped material and the robots' ability to extend sensing and decision-making behaviors. However, programming robots to control plant motion and shape requires good knowledge of complex plant behaviors. Therefore, we use machine learning to create a holistic plant model and evolve robot controllers. As a benchmark task we choose obstacle avoidance. We use computer vision to construct a model of plant stem stiffening and motion dynamics by training an LSTM network. The LSTM network acts as a forward model predicting change in the plant, driving the evolution of neural network robot controllers. The evolved controllers augment the plants' natural light-finding and tissue-stiffening behaviors to avoid obstacles and grow desired shapes. We successfully verify the robot controllers and bio-hybrid behavior in reality, with a physical setup and actual plants.


title: Pressure effects on the electronic properties of the undoped superconductor ThFeAsN

abstract: The recently synthesized ThFeAsN iron-pnictide superconductor exhibits a $T_c$ of 30 K, the highest of the 1111-type series in absence of chemical doping. To understand how pressure affects its electronic properties, we carried out microscopic investigations up to 3 GPa via magnetization, nuclear magnetic resonance, and muon-spin rotation experiments. The temperature dependence of the ${}^{75}$As Knight shift, the spin-lattice relaxation rates, and the magnetic penetration depth suggest a multi-band $s^{\pm}$-wave gap symmetry in the dirty limit, while the gap-to-$T_c$ ratio $\Delta/k_\mathrm{B}T_c$ hints at a strong-coupling scenario. Pressure modulates the geometrical parameters, thus reducing $T_c$, as well as $T_m$, the temperature where magnetic-relaxation rates are maximized, both at the same rate of approximately -1.1 K/GPa. This decrease of $T_c$ with pressure is consistent with band-structure calculations, which relate it to the deformation of the Fe 3$d_{z^2}$ orbitals.


title: Criteria for nilpotency of groups via partitons

abstract: Let $G$ be a finite group and $S< G$. A cover for a group $G$ is a collection of subgroups of $G$ whose union is $G$. We use the term $n$-cover for a cover with $n$ members. A cover $\Pi =\{H_1, H_2, \dots, H_n\}$ is said to be a strict $\mathit{S}$-partition of $G$ if $H_i\cap H_j= S$ for $i\neq j$ and $\Pi$ is said an equal strict $\mathit{S}$-partition (or $ES$-partition ) of $G$, if $\Pi$ is a strict $S$-partition and $|H_i|=|H_j|$ for all $i\neq j$. If $S$ is the identity subgroup and $G$ has a strict $S$-partition (equal strict $\mathit{S}$-partition), then we say that $G$ has a partition (equally partition, resp.).


title: Inducing Spontaneous Electric Polarizations in Double Perovskite Iodide Superlattices for New Ferroelectric Photovoltaic Materials

abstract: In this work, we use density functional theory calculations to demonstrate how spontaneous electric polarizations can be induced \textit{via} a hybrid improper ferroelectric mechanism in iodide perovskites, a family well-known to display solar-optimal band gaps, to create new materials for photoferroic applications. We first assemble three chemically distinct ($A$$A^{\prime}$)($B$$B^{\prime}$)I$_6$ double perovskites using centrosymmetric $AB$I$_3$ perovskite iodides (where $A$ = Cs, Rb, K and $B$ = Sn, Ge) as building units. In each superlattice, we investigate the effects of three types of $A$- and $B$-site cation ordering schemes and three different $B$I$_6$ octahedral rotation patterns. Out of these 27 combinations, we find that 15 produce polar space groups and display spontaneous electric polarizations ranging from 0.26 to 23.33 $\mu$C/cm$^2$. Furthermore, we find that a layered $A$-site/rock salt $B$-site ordering, in the presence of an $a^0a^0c^+$ rotation pattern, produces a chiral "vortex-like" $A$-site displacement pattern. We then investigate the effect of epitaxial strain on one of these systems, (CsRb)(SnGe)I$_6$, in layered and rock salt ordered configurations. In both phases, we find strong competition between the cation ordering schemes as well as an enhancement of the spontaneous polarization magnitude under tensile strain. Finally, using advanced functionals, we demonstrate that these compounds display low band gaps ranging from 0.2 to 1.3 eV. These results demonstrate that cation ordering and epitaxial strain are powerful ways to induce and control new functionalities in technologically-useful families of materials.


title: Spatial heterogeneities shape collective behavior of signaling amoeboid cells

abstract: We present novel experimental results on pattern formation of signaling Dictyostelium discoideum amoeba in the presence of a periodic array of millimeter-sized pillars. We observe concentric cAMP waves that initiate almost synchronously at the pillars and propagate outwards. These waves have higher frequency than the other firing centers and dominate the system dynamics. The cells respond chemotactically to these circular waves and stream towards the pillars, forming periodic Voronoi domains that reflect the periodicity of the underlying lattice. We performed comprehensive numerical simulations of a reaction-diffusion model to study the characteristics of the boundary conditions given by the obstacles. Our simulations show that, the obstacles can act as the wave source depending on the imposed boundary condition. Interestingly, a critical minimum accumulation of cAMP around the obstacles is needed for the pillars to act as the wave source. This critical value is lower at smaller production rates of the intracellular cAMP which can be controlled in our experiments using caffeine. Experiments and simulations also show that in the presence of caffeine the number of firing centers is reduced which is crucial in our system for circular waves emitted from the pillars to successfully take over the dynamics. These results are crucial to understand the signaling mechanism of Dictyostelium cells that experience spatial heterogeneities in its natural habitat.


title: The clocks they are adjunctions:Denotational semantics for Clocked Type Theory

abstract: Clocked Type Theory (CloTT) is a type theory for guarded recursion useful for programming with coinductive types, allowing productivity to be encoded in types, and for reasoning about advanced programming language features using an abstract form of step-indexing. CloTT has previously been shown to enjoy a number of syntactic properties including strong normalisation, canonicity and decidability of type checking. In this paper we present a denotational semantics for CloTT useful, e.g., for studying future extensions of CloTT with constructions such as path types. The main challenge for constructing this model is to model the notion of ticks used in CloTT for coinductive reasoning about coinductive types. We build on a category previously used to model guarded recursion, but in this category there is no object of ticks, so tick-assumptions in a context can not be modelled using standard tools. Instead we show how ticks can be modelled using adjoint functors, and how to model the tick constant using a semantic substitution.


title: High order synaptic learning in neuro-mimicking resistive memories

abstract: Memristors have demonstrated immense potential as building blocks in future adaptive neuromorphic architectures. Recently, there has been focus on emulating specific synaptic functions of the mammalian nervous system by either tailoring the functional oxides or engineering the external programming hardware. However, high device-to-device variability in memristors induced by the electroforming process and complicated programming hardware are among the key challenges that hinder achieving biomimetic neuromorphic networks. Here, an electroforming-free and complementary metal oxide semiconductor (CMOS)-compatible memristor based on oxygen-deficient SrTiO$_{3-x}$ (STO$_x$) is reported to imitate synaptic learning rules. Through spectroscopic and cross-sectional transmission electron microscopic analyses, electroforming-free characteristics are attributed to the bandgap reduction of STO$_x$ by the formation of oxygen vacancies. The potential of such memristors to behave as artificial synapses is demonstrated by successfully implementing high order time- and rate-dependent synaptic learning rules. Also, a simple hybrid CMOS-memristor approach is presented to implement a variety of synaptic learning rules. Results are benchmarked against biological measurements form hippocampal and visual cortices with good agreement. This demonstration is a step towards the realization of large scale adaptive neuromorphic computation and networks.


title: Duality between unprovability and provability in forward proof-search for Intuitionistic Propositional Logic

abstract: The inverse method is a saturation based theorem proving technique; it relies on a forward proof-search strategy and can be applied to cut-free calculi enjoying the subformula property. Here we apply this method to derive the unprovability of a goal formula G in Intuitionistic Propositional Logic. To this aim we design a forward calculus FRJ(G) for Intuitionistic unprovability which is prone to constructively ascertain the unprovability of a formula G by providing a concise countermodel for it; in particular we prove that the generated countermodels have minimal height. Moreover, we clarify the role of the saturated database obtained as result of a failed proof-search in FRJ(G) by showing how to extract from such a database a derivation witnessing the Intuitionistic validity of the goal.


title: Intersection Space Cohomology of Three-Strata Pseudomanifolds

abstract: The theory of intersection spaces assigns cell complexes to certain stratified topological pseudomanifolds depending on a perversity function in the sense of intersection homology. The main property of the intersection spaces is Poincar\'e duality over complementary perversities for the reduced singular (co)homology groups with rational coefficients. This (co)homology theory is not isomorphic to intersection homology, instead they are related by mirror symmetry. Using differential forms, Banagl extended the intersection space cohomology theory to 2-strata pseudomanifolds with a geometrically flat link bundle. In this paper we use differential forms on manifolds with corners to generalize the intersection space cohomology theory to a class of 3-strata spaces with flatness assumptions for the link bundles. We prove Poincar\'e duality over complementary perversities for the cohomology groups. To do so, we investigate fiber bundles on manifolds with boundary. At the end, we give examples for the application of the theory.


title: Modelling Evaluation of MPLS using Physical and virtual Network on GNS3

abstract: The Multi-Protocol Label Switching (MPLS) is an emerging technology which have quality, effectiveness and administration quality. On the contrary, traditional network inside part passage steering conventions ruin the viable acknowledgment of modern activity designing approaches in legacy IP systems. Virtualization of the network could easily be assuring the network performance and virtual network are logically connected with one physical machine so that data could easily be send and get information from one virtual machine to the next machine. The purpose of this Paper is to analyse the traffic of MPLS using physical and virtual networks. This Paper will show that MPLS could also be run on physical and virtual networks. MPLS is running nowadays to provide local area network speed into the wide area Network.


title: Platonic solids, Archimedean solids and semi-equivelar maps on the sphere

abstract: A vertex-transitive map $X$ is a map on a surface on which the automorphism group of $X$ acts transitively on the set of vertices of $X$. If the face-cycles at all the vertices in a map are of same type then the map is called a semi-equivelar map. Clearly, a vertex-transitive map is semi-equivelar. Converse of this is not true in general. In particular, there are semi-equivelar maps on the torus, on the Klein bottle and on the surfaces of Euler characteristics $-1$ $\&$ $-2$ which are not vertex-transitive. It is known that the boundaries of Platonic solids, Archimedean solids, regular prisms and antiprisms are vertex-transitive maps on $\mathbb{S}^2$. Here we show that there is exactly one semi-equivelar map on $\mathbb{S}^2$ which is not vertex-transitive. More precisely, we show that a semi-equivelar map on $\mathbb{S}^2$ is the boundary of a Platonic solid, an Archimedean solid, a regular prism, an antiprism or the pseudorhombicuboctahedron. As a consequence, we show that all the semi-equivelar maps on $\mathbb{RP}^2$ are vertex-transitive. Moreover, every semi-equivelar map on $\mathbb{S}^2$ can be geometrized, i.e., every semi-equivelar map on $\mathbb{S}^2$ is isomorphic to a semi-regular tiling of $\mathbb{S}^2$. In the course of the proof of our main result, we present a combinatorial characterization in terms of an inequality of all the types of semi-equivelar maps on $\mathbb{S}^2$. Here, we present self-contained combinatorial proofs of all our results.


title: Precision spectroscopy of helium in a magic wavelength optical dipole trap

abstract: Improvements in both theory and frequency metrology of few-electron systems such as hydrogen and helium have enabled increasingly sensitive tests of quantum electrodynamics (QED), as well as ever more accurate determinations of fundamental constants and the size of the nucleus. At the same time advances in cooling and trapping of neutral atoms have revolutionized the development of increasingly accurate atomic clocks. Here, we combine these fields to reach the highest precision on an optical tranistion in the helium atom to date by employing a Bose-Einstein condensate confined in a magic wavelength optical dipole trap. The measured transition accurately connects the ortho- and parastates of helium and constitutes a stringent test of QED theory. In addition we test polarizability calculations and ultracold scattering properties of the helium atom. Finally, our measurement probes the size of the nucleus at a level exceeding the projected accuracy of muonic helium measurements currently being performed in the context of the proton radius puzzle.


title: Enhancing of nonlinear thermoelectric response of a correlated quantum dot in the Kondo regime by asymmetrically coupling to the leads

abstract: We study the low temperature properties of the differential response of the current to a temperature gradient at finite voltage in a single level quantum dot including electron-electron interaction, non-symmetric couplings to the leads and non-linear effects. The calculated response is significantly enhanced in setups with large asymmetries between the tunnel couplings. In the investigated range of voltages and temperatures with corresponding energies up to several times the Kondo energy scale, the maximum response is enhanced nearly an order of magnitude with respect to symmetric coupling to the leads.


title: Lattice computation of the Dirac eigenvalue density in the perturbative regime of QCD

abstract: The eigenvalue spectrum $\rho(\lambda)$ of the Dirac operator is numerically calculated in lattice QCD with 2+1 flavors of dynamical domain-wall fermions. In the high-energy regime, the discretization effects become significant. We subtract them at the leading order and then take the continuum limit with lattice data at three lattice spacings. Lattice results for the exponent $\partial\ln\rho/\partial\ln\lambda$ are matched to continuum perturbation theory, which is known up to $O(\alpha_s^4)$, to extract the strong coupling constant $\alpha_s$.


title: Surface localization of gas sources on comet 67P/Churyumov-Gerasimenko based on DFMS/COPS data

abstract: We reconstruct the temporal evolution of the source distribution for the four major gas species H2O, CO2, CO, and O2 on the surface of comet 67P/Churyumov-Gerasimenko during its 2015 apparition. The analysis applies an inverse coma model and fits to data between August 6th 2014 and September 5th 2016 measured with the Double Focusing Mass Spectrometer (DFMS) of the Rosetta Orbiter Spectrometer for Ion and Neutral Analysis (ROSINA) and the COmet Pressure Sensor (COPS). The spatial distribution of gas sources with their temporal variation allows one to construct surface maps for gas emissions and to evaluate integrated productions rates. For all species peak production rates and integrated productions rates per orbit are evaluated separately for the northern and the southern hemisphere. The nine most active emitting areas on the comet's surface are defined and their correlation to emissions for each of the species is discussed.


title: Compactness methods for $\Gamma^{1,\alpha}$ boundary Schauder estimates in Carnot groups

abstract: The aim of this paper is to prove $\Gamma^{1,\alpha}$ Schauder estimates near a $C^{1,\alpha}$ non-characteristic portion of the boundary for $\Gamma^{0, \alpha}$ perturbations of horizontal Laplaceans in Carnot groups. This situation of minimally smooth domains presents itself naturally in the study of subelliptic free boundary problems of obstacle type, see [15].


title: Monte Carlo sampling in diffusive dynamical systems

abstract: We introduce a Monte Carlo algorithm to efficiently compute transport properties of chaotic dynamical systems. Our method exploits the importance sampling technique that favors trajectories in the tail of the distribution of displacements, where deviations from a diffusive process are most prominent. We search for initial conditions using a proposal that correlates states in the Markov chain constructed via a Metropolis-Hastings algorithm. We show that our method outperforms the direct sampling method and also Metropolis-Hastings methods with alternative proposals. We test our general method through numerical simulations in 1D (box-map) and 2D (Lorentz gas) systems.


title: Is a Finite Intersection of Balls Covered by a Finite Union of Balls in Euclidean Spaces ?

abstract: Considering a finite intersection of balls and a finite union of other balls in an Euclidean space, we propose an exact method to test whether the intersection is covered by the union. We reformulate this problem into quadratic programming problems. For each problem, we study the intersection between a sphere and a Voronoi-like polyhedron. That way we get information about a possible overlap between the frontier of the union and the intersection of balls. If the polyhedra are non-degenerate, the initial nonconvex geometric problem, which is NP-hard in general, is tractable in polynomial time by convex optimization tools and vertex enumeration. Under some mild conditions the vertex enumeration can be skipped. Simulations highlight the accuracy and efficiency of our approach compared with competing algorithms in Python for nonconvex quadratically constrained quadratic programming. This work is motivated by an application in statistics to the problem of multidimensional changepoint detection using pruned dynamic programming algorithms.


title: Generalizations of 3-Sasakian manifolds and skew torsion

abstract: In the first part, we define and investigate new classes of almost 3-contact metric manifolds, with two guiding ideas in mind: first, what geometric objects are best suited for capturing the key properties of almost 3-contact metric manifolds, and second, the newly defined classes should admit 'good' metric connections with skew torsion. In particular, we introduce the Reeb commutator function and the Reeb Killing function, we define the new classes of canonical almost 3-contact metric manifolds and of 3-$(\alpha,\delta)$-Sasaki manifolds (including as special cases 3-Sasaki manifolds, quaternionic Heisenberg groups, and many others) and prove that the latter are hypernormal, thus generalizing a seminal result by Kashiwada. We study their behaviour under a new class of deformations, called $\mathcal{H}$-homothetic deformations, and prove that they admit an underlying quaternionic contact structure, from which we deduce the Ricci curvature. For example, a 3-$(\alpha,\delta)$-Sasaki manifold is Einstein either if $\alpha=\delta$ (the 3-$\alpha$-Sasaki case) or if $\delta=(2n+3)\alpha$, where $\dim M=4n+3$. The second part is actually devoted to finding these adapted connections. We start with a very general notion of $\varphi$-compatible connections, where $\varphi$ denotes any element of the associated sphere of almost contact structures, and make them unique by a certain extra condition, thus yielding the notion of canonical connection (they exist exactly on canonical manifolds, hence the name). For 3-$(\alpha,\delta)$-Sasaki manifolds, we compute the torsion of this connection explicitly and we prove that it is parallel, we describe the holonomy, the $\nabla$-Ricci curvature, and we show that the metric cone is a HKT-manifold. In dimension 7, we construct a cocalibrated $G_2$-structure inducing the canonical connection and we prove the existence of four generalized Killing spinors.


title: VeReMi: A Dataset for Comparable Evaluation of Misbehavior Detection in VANETs

abstract: Vehicular networks are networks of communicating vehicles, a major enabling technology for future cooperative and autonomous driving technologies. The most important messages in these networks are broadcast-authenticated periodic one-hop beacons, used for safety and traffic efficiency applications such as collision avoidance and traffic jam detection. However, broadcast authenticity is not sufficient to guarantee message correctness. The goal of misbehavior detection is to analyze application data and knowledge about physical processes in these cyber-physical systems to detect incorrect messages, enabling local revocation of vehicles transmitting malicious messages. Comparative studies between detection mechanisms are rare due to the lack of a reference dataset. We take the first steps to address this challenge by introducing the Vehicular Reference Misbehavior Dataset (VeReMi) and a discussion of valid metrics for such an assessment. VeReMi is the first public extensible dataset, allowing anyone to reproduce the generation process, as well as contribute attacks and use the data to compare new detection mechanisms against existing ones. The result of our analysis shows that the acceptance range threshold and the simple speed check are complementary mechanisms that detect different attacks. This supports the intuitive notion that fusion can lead to better results with data, and we suggest that future work should focus on effective fusion with VeReMi as an evaluation baseline.


title: Liveness Detection Using Implicit 3D Features

abstract: Spoofing attacks are a threat to modern face recognition systems. In this work we present a simple yet effective liveness detection approach to enhance 2D face recognition methods and make them robust against spoofing attacks. We show that the risk to spoofing attacks can be re- duced through the use of an additional source of light, for example a flash. From a pair of input images taken under different illumination, we define discriminative features that implicitly contain facial three-dimensional in- formation. Furthermore, we show that when multiple sources of light are considered, we are able to validate which one has been activated. This makes possible the design of a highly secure active-light authentication framework. Finally, further investigating the use of 3D features without 3D reconstruction, we introduce an approximated disparity-based implicit 3D feature obtained from an uncalibrated stereo-pair of cameras. Valida- tion experiments show that the proposed methods produce state-of-the-art results in challenging scenarios with nearly no feature extraction latency.


title: Index Codes for Interlinked Cycle Structures with Outer Cycles

abstract: Index code construction for a class of side-information graphs called interlinked cycle (IC) structures without outer cycles is given by Thapa, Ong and Johnson (C. Thapa, L. Ong, and S. Johnson, "Interlinked Cycles for Index Coding: Generalizing Cycles and Cliques", in \textit{IEEE Trans. Inf. Theory, vol. 63, no. 6, Jun. 2017}, "Interlinked Cycles for Index Coding: Generalizing Cycles and Cliques", in arxiv (arxiv:1603.00092v2 [cs.IT] 25 Feb 2018)). In this paper, construction of index codes for interlinked cycle (IC) structures with outer cycles is given along with a decoding algorithm.


title: On the Balance of Intercalation and Conversion Reactions in Battery Cathodes

abstract: We present a thermodynamic analysis of the driving forces for intercalation and conversion reactions in battery cathodes across a range of possible working ion, transition metal, and anion chemistries. Using this body of results, we analyze the importance of polymorph selection as well as chemical composition on the ability of a host cathode to support intercalation reactions. We find that the accessibility of high energy charged polymorphs in oxides generally leads to larger intercalation voltages favoring intercalation reactions, whereas sulfides and selenides tend to favor conversion reactions. Furthermore, we observe that Cr-containing cathodes favor intercalation more strongly than those with other transition metals. Finally, we conclude that two-electron reduction of transition metals (as is possible with the intercalation of a $2+$ ion) will favor conversion reactions in the compositions we studied.


title: Alquist: The Alexa Prize Socialbot

abstract: This paper describes a new open domain dialogue system Alquist developed as part of the Alexa Prize competition for the Amazon Echo line of products. The Alquist dialogue system is designed to conduct a coherent and engaging conversation on popular topics. We are presenting a hybrid system combining several machine learning and rule based approaches. We discuss and describe the Alquist pipeline, data acquisition, and processing, dialogue manager, NLG, knowledge aggregation and hierarchy of sub-dialogs. We present some of the experimental results.


title: Optimal Sobolev regularity for the Stokes equations on a 2D wedge domain

abstract: In this note we prove that the solution of the stationary and the instationary Stokes equations subject to perfect slip boundary conditions on a 2D wedge domain admits optimal regularity in the $L^p$-setting, i.p. it is $W^{2,p}$ in space. This improves known results in the literature to a large extend. For instance, in [21, Theorem 1.1 and Corollary 3] it is proved that the Laplace and the Stokes operator in the underlying setting have maximal regularity. In that result the range of p admitting $W^{2,p}$ regularity, however, is restricted to the interval $1<p<1+\delta$ for small $\delta>0$, depending on the opening angle of the wedge. This note gives a detailed answer to the question, whether the optimal Sobolev regularity extends to the full range $1<p<\infty$. We will show that for the Laplacian this does only hold on a suitable subspace, but, depending on the opening angle of the wedge domain, not for every $p\in(1,\infty)$ on the entire $L^p$-space. On the other hand, for the Stokes operator in the space of solenoidal fields $L^p_{\sigma}$ we obtain optimal Sobolev regularity for the full range $1<p<\infty$ and for all opening angles less that $\pi$. Roughly speaking, this relies on the fact that an existing $ bad$ part of $L^p$ for the Laplacian is complementary to the space of solenoidal vector fields.


title: Warranty Cost Analysis with an Alternating Geometric Process

abstract: In this study we model the warranty claims process and evaluate the warranty servicing costs under non-renewing and renewing free repair warranties. We assume that the repair time for rectifying the claims is non-zero and the repair cost is a function of the length of the repair time. To accommodate the ageing of the product and repair equipment, we use a decreasing geometric process to model the consecutive operational times and an increasing geometric process to model the consecutive repair times. We identify and study the alternating geometric process (AGP), which is an alternating process with cycles consisting of the item's operational time followed by the corresponding repair time. We derive new results for the AGP in finite horizon and use them to evaluate the warranty costs over the warranty period and over the life cycle of the product under a non-renewing free repair warranty (NRFRW), a renewing free repair warranty (RFRW) and a restricted renewing free repair warranty (RRFRW(n)). Properties of the model are demonstrated using a simulation study.


title: Nuclear resonant scattering from 193Ir as a probe of the electronic and magnetic properties of iridates

abstract: The high brilliance of the modern synchrotron radiation sources facilitates experiments with high energy x-rays. In this Letter we report on Nuclear Resonance Scattering at the 73 keV nuclear level in 193Ir. The transitions between the hyperfine split levels show an exceptionally large E2/M1 multi-polarity mixing ratio combined with an increased sensitivity to certain changes in the hyperfine field direction compared to non-mixing transitions. The method opens a new way for probing local magnetic and electronic properties of correlated materials containing iridium and provides novel insights into their anisotropic magnetism. In particular, unexpected out-of-plane components of magnetic hyperfine fields and non-zero electric field gradients in Sr2IrO4 have been detected and attributed to the presence of strong spin-orbit interaction. Due to the high, 62% natural abundance of the 193Ir isotope, no isotopic enrichment of the samples is required, qualifying the method for a broad range of applications.


title: Assessing the state of e-Readiness for Small and Medium Companies in Mexico: a Proposed Taxonomy and Adoption Model

abstract: Emerging economies frequently show a large component of their Gross Domestic Product to be dependant on the economic activity of small and medium enterprises. Nevertheless, e-business solutions are more likely designed for large companies. SMEs seem to follow a classical family-based management, used to traditional activities, rather than seeking new ways of adding value to their business strategy. Thus, a large portion of a nations economy may be at disadvantage for competition. This paper aims at assessing the state of e-business readiness of Mexican SMEs based on already published e-business evolution models and by means of a survey research design. Data is being collected in three cities with differing sizes and infrastructure conditions. Statistical results are expected to be presented. A second part of this research aims at applying classical adoption models to suggest potential causal relationships, as well as more suitable recommendations for development.


title: An Attempt at Analyzing the Information Nature of Money

abstract: Money was invented to address the difficulty in the double coincidence of wants between the supply and demand when people exchanged their goods and services. There are two information states in society: one is the initial state that people have goods and services due to division of labor; the other is the final state that people have different goods and services with the initial state due to exchange of goods and services between them. The process is that the initial state is changed to the final state with the help of money. Because the direct exchanges of goods and services are difficult to achieve the double coincidence of wants in time and space, it can be achieved with the help of money which is as a medium and bridge. In this paper the changing process of the state information is analyzed through the matrix representation of money, and then the nature of money with a kind of information of reliable ledger is more apparently shown. This paper also analyzes the common characteristics of physical money, electronic money and digital currency, that is, reliable ledger and explores the future trend of money development from the perspective of history and security technology of money.


title: The CCI30 Index

abstract: We describe the design of the CCI30 cryptocurrency index.


title: Impact of Non-orthogonal Multiple Access on the Offloading of Mobile Edge Computing

abstract: This paper considers the coexistence of two important communication techniques, non-orthogonal multiple access (NOMA) and mobile edge computing (MEC). Both NOMA uplink and downlink transmissions are applied to MEC, and analytical results are developed to demonstrate that the use of NOMA can efficiently reduce the latency and energy consumption of MEC offloading. In addition, various asymptotic studies are carried out to reveal the impact of the users' channel conditions and transmit powers on the application of NOMA to MEC is quite different to those in conventional NOMA scenarios. Computer simulation results are also provided to facilitate the performance evaluation of NOMA-MEC and also verify the accuracy of the developed analytical results.


title: Analytic Solution of a Delay Differential Equation Arising in Cost Functionals for Systems with Distributed Delays

abstract: The solvability of a delay differential equation arising in the construction of quadratic cost functionals, i.e. Lyapunov functionals, for a linear time-delay system with a constant and a distributed delay is investigated. We present a delay-free auxiliary ordinary differential equation system with algebraically coupled split-boundary conditions, that characterizes the solutions of the delay differential equation and is used for solution synthesis. A spectral property of the time-delay system yields a necessary and sufficient condition for existence and uniqueness of solutions to the auxiliary system, equivalently the delay differential equation. The result is a tractable analytic solution framework to the delay differential equation.


title: Discovery of a jet-like structure with overionized plasma in the SNR IC443

abstract: IC443 is a supernova remnant located in a quite complex environment since it interacts with nearby clouds. Indications for the presence of overionized plasma have been found though the possible physical causes of overionization are still debated. Moreover, because of its peculiar position and proper motion, it is not clear if the pulsar wind nebula (PWN) within the remnant is the relic of the IC443 progenitor star or just a rambling one seen in projection on the remnant. Here we address the study of IC443 plasma in order to clarify the relationship PWN-remnant, the presence of overionization and the origin of the latter. We analyzed two \emph{XMM-Newton} observations producing background-subtracted, vignetting-corrected and mosaicked images in two different energy bands and we performed a spatially resolved spectral analysis of the X-ray emission. We identified an elongated (jet-like) structure with Mg-rich plasma in overionization. The head of the jet is interacting with a molecular cloud and the jet is aligned with the position of the PWN at the instant of the supernova explosion. Interestingly, the direction of the jet of ejecta is somehow consistent with the direction of the PWN jet. Our discovery of a jet of ejecta in IC443 enlarge the sample of core-collapse SNRs with collimated ejecta structures. IC443's jet is the first one which shows overionized plasma, possibly associated with the adiabatic expansion of ejecta. The match between the jet's direction and the original position of the PWN strongly supports the association between the neutron star and IC443.


title: Phase Transition Dynamics and Stochastic Resonance in Topologically Confined Nematic Liquid Crystals

abstract: Topological defects resulted from boundary constraints in confined liquid crystals have attracted extensive research interests. In this paper, we use numerical simulation to study the phase transition dynamics in the context of stochastic resonance in a bistable liquid crystal device containing defects. This device is made of nematic liquid crystals confined in a shallow square well, and is described by the planar Lebwohl-Lasher model. The stochastic phase transition processes of the system in the presence of a weak oscillating potential is simulated using an over-damped Langevin dynamics. Our simulation results reveal that, depending on system size, the phase transition may follow two distinct pathways: in small systems the pre-existing defect structures at the corners hold until the last stage and there is no newly formed defect point in the bulk during the phase transition, In large systems new defect points appear spontaneously in the bulk and eventually merge with the pre-existing defects at the corners. For both transition pathways stochastic resonance can be observed, but show dramatic difference in their responses to the boundary anchoring strength. In small systems we observe a "sticky-boundary" effect for a certain range of anchoring strength in which the phase transition gets stuck and stochastic resonance becomes de-activated. Our work demonstrates the dynamical interplay among defects, noises, and boundary conditions in confined liquid crystals.


title: Demo of Sanskrit-Hindi SMT System

abstract: The demo proposal presents a Phrase-based Sanskrit-Hindi (SaHiT) Statistical Machine Translation system. The system has been developed on Moses. 43k sentences of Sanskrit-Hindi parallel corpus and 56k sentences of a monolingual corpus in the target language (Hindi) have been used. This system gives 57 BLEU score.


title: Mass in cosmological perspective

abstract: We consider the total nonlocal energy associated with a particle at rest in the Hubble flow, i.e., the relational energy between this particle and all connected particles within the causal horizon. The particle, even while at rest, partakes in relative recessional and peculiar motion of connected particles in 3 dimensions. A geometrical argument due to Berkeley suggests that the nonlocal mass of recessional energy associated with the particle is 3 times its Newtonian mass. It follows that nonlocal recessional and peculiar energy of the Universe are equal, and match Misner-Sharp energy within the apparent horizon. Contributions of recessional and peculiar nonlocal energy are thus shown to generate a 6 times higher level of matter energy than expected from the Newtonian mass. Accordingly, the nonlocal energy density of baryons is expected to be 6 times the standard local energy density of baryons, i.e., $\Omega_{\textrm{b,eff}}=6\Omega_{\textrm{b}}$. At $\Omega_{\textrm{b}}\sim0.0484\pm0.0017$ (Planck 2015 results) this predicts a nonlocal baryon energy density $\Omega_{\textrm{b,eff}}\sim0.290\pm0.010$, in agreement with observed matter density $\Omega_{\textrm{m}}\sim0.308\pm0.012$. The effect of nonlocal mass on solar system and galactic scales is considered.


title: WASP 0639-32: a new F-type subgiant/K-type main-sequence detached eclipsing binary from the WASP project

abstract: Abridged. Our aim is to measure the masses and radii of the stars in a newly-discovered detached eclipsing binary system to a high precision ($\approx$1%), enabling the system to be used for the calibration of free parameters in stellar evolutionary models. Photometry from the Wide Angle Search for Planets (WASP) project was used to identify 1SWASP J063930.33-322404.8 (TYC 7091-888-1, WASP 0369-32 hereafter) as a detached eclipsing binary system with total eclipses and an orbital period of P=11.66 days. Lightcurve parameters for WASP 0639-32 are obtained using the ebop lightcurve model, with standard errors evaluated using a prayer-bead algorithm. Radial velocities were measured from 11 high-resolution spectra using a broadening function approach, and an orbit was fitted using sbop. Observed spectra were disentangled and an equivalent width fitting method was used to obtain effective temperatures and metallicities for both stars. A Bayesian framework is used to explore a grid of stellar evolution models, where both helium abundance and mixing length are free to vary, and use observed parameters (mass, density, temperature and metallicity) for each star to obtain the age and constrain the helium abundance of the system. The masses and radii are found to be $M_{1}=1.1544\pm0.0043\,M_{\odot}$, $R_{1}=1.833\pm0.023\,R_{\odot}$ and $M_{2}=0.7833\pm0.0028\,M_{\odot}$, $R_{2}=0.7286\pm0.0081\,R_{\odot}$ for the primary and secondary, respectively. The effective temperatures were found to be $T_{1}=6330\pm50$ K and $T_{2}=5400\pm80$ K for the primary and secondary star, respectively. The system has an age of $4.2^{+0.8}_{-0.1}$ Gyr, and a helium abundance in the range 0.251-0.271. WASP 0639-32 is a rare example of a well-characterised detached eclipsing binary system containing a star near the main-sequence turn-off point. This make it possible to measure a precise age for the stars ...


title: Distribution-based Prediction of the Degree of Grammaticalization for German Prepositions

abstract: We test the hypothesis that the degree of grammaticalization of German prepositions correlates with their corpus-based contextual dispersion measured by word entropy. We find that there is indeed a moderate correlation for entropy, but a stronger correlation for frequency and number of context types.


title: Correlated partial disorder in a weakly frustrated quantum antiferromagnet

abstract: Partial disorder --the microscopic coexistence of long-range magnetic order and disorder-- is a rare phenomenon, that has been experimental and theoretically reported in some Ising- or easy plane-spin systems, driven by entropic effects at finite temperatures. Here, we present an analytical and numerical analysis of the $S=1/2$ Heisenberg antiferromagnet on the $\sqrt{3}\times \sqrt{3}$-distorted triangular lattice, which shows that its quantum ground state has partial disorder in the weakly frustrated regime. This state has a 180$^\circ$ N\'eel ordered honeycomb subsystem, coexisting with disordered spins at the hexagon center sites. These central spins are ferromagnetically aligned at short distances, as a consequence of a Casimir-like effect originated by the zero-point quantum fluctuations of the honeycomb lattice.


title: Estimating Treatment Effects in Mover Designs

abstract: Researchers increasingly leverage movement across multiple treatments to estimate causal effects. While these "mover regressions" are often motivated by a linear constant-effects model, it is not clear what they capture under weaker quasi-experimental assumptions. I show that binary treatment mover regressions recover a convex average of four difference-in-difference comparisons and are thus causally interpretable under a standard parallel trends assumption. Estimates from multiple-treatment models, however, need not be causal without stronger restrictions on the heterogeneity of treatment effects and time-varying shocks. I propose a class of two-step estimators to isolate and combine the large set of difference-in-difference quasi-experiments generated by a mover design, identifying mover average treatment effects under conditional-on-covariate parallel trends and effect homogeneity restrictions. I characterize the efficient estimators in this class and derive specification tests based on the model's overidentifying restrictions. Future drafts will apply the theory to the Finkelstein et al. (2016) movers design, analyzing the causal effects of geography on healthcare utilization.


title: Compactifications of the Drinfeld half space over a Finite Field

abstract: When considered as a Deligne-Lusztig variety, the Drinfeld half space $\Omega_V$ over a finite field $k$ has a compactification whose boundary divisor is normal crossing and which can be obtained by successively blowing-up projective space along linear subspaces. Pink and Schieder (2014) have introduced a new compactification of $\Omega_V$ whose strata of the boundary are glued together in a way dual to the way they are for the tautological compactification by projective space. We show that by applying an analogous sequence of blow-ups to this new compactification we arrive at the compactification by Deligne and Lusztig as well. Moreover, we compute for each of these three compactifications the stabilizers of $\bar{k}$-valued points under the canonical $\mathrm{PGL}(V)$-action. We find that in each case the stratification can be recovered from the unipotent radicals of these stabilizers.


title: Tsallis' entropy, modified Newtonian accelerations and the Tully-Fisher relation

abstract: In this paper we have shown that the connection between the number of bits and the area of the holographic screen, where both were established in Verlinde's theory of entropic gravity, may depend on the thermostatistics theory previously chosen. Starting from the Boltzmann-Gibbs (BG) theory, we have reobtained the usual dependency of both, bits number and area. After that, using Tsallis' entropy concept within the entropic gravity formalism, we have derived another relation between the bits number and the holographic screen area. Moreover, we have used this new relation to derive three Newtonian-type accelerations in the context of Tsallis' statistics. Moreover, we have used this new relation to derive three Newtonian-type acceleration in the context of Tsallis statistics which are a modified gravitational acceleration, a modified MOND theory and a modified Friedmann equation. We have obtained the nonextensive version of the Tully-Fisher (TF) relation which shows a dependency of the distance of the star in contrast to the standard TF expression. The BG limit gives the standard TF law.


title: Using Convex Optimization of Autocorrelation with Constrained Support and Windowing for Improved Phase Retrieval Accuracy

abstract: In imaging modalities recording diffraction data, the original image can be reconstructed assuming known phases. When phases are unknown, oversampling and a constraint on the support region in the original object can be used to solve a non-convex optimization problem. Such schemes are ill-suited to find the optimum solution for sparse data, since the recorded image does not correspond exactly to the original wave function. We construct a convex optimization problem using a relaxed support constraint and a maximum-likelihood treatment of the recorded data as a sample from the underlying wave function. We also stress the need to use relevant windowing techniques to account for the sampled pattern being finite. On simulated data, we demonstrate the benefits of our approach in terms of visual quality and an improvement in the crystallographic R-factor from .4 to .1 for highly noisy data.

categories: eess.SP cs.NA physics.bio-ph physics.data-an


title: Room Temperature Valley Polarization and Coherence in Transition Metal Dichalcogenide-Graphene van der Waals Heterostructures

abstract: Van der Waals heterostructures made of graphene and transition metal dichalcogenides (TMD) are an emerging platform for opto-electronic, -spintronic and -valleytronic devices that could benefit from (i) strong light-matter interactions and spin-valley locking in TMDs and (ii) exceptional electron and spin transport in graphene. The operation of such devices requires significant valley polarization and valley coherence, ideally up to room temperature. Here, using a comprehensive Mueller polarimetry analysis, we report \textit{artifact-free} room temperature degrees of valley polarization up to $40~\%$ and, remarkably, of valley coherence up to $20~\%$ in monolayer tungsten disulfide (WS$_2$)/graphene heterostructures. Valley contrasts have been particularly elusive in molybdenum diselenide (MoSe$_2$), even at cryogenic temperatures. Upon interfacing monolayer MoSe$_2$ with graphene, the room temperature degrees of valley polarization and coherence are as high as $14~\%$ and $20~\%$, respectively. Our results are discussed in light of recent reports of highly efficient interlayer coupling and exciton transfer in TMD/graphene heterostructures and hold promise for room temperature chiral light-matter interactions and coherent opto-valleytronic devices.


title: Information Missing Puzzle, Where Is Hawking's Error?

abstract: Matters falling into and consisting of a blackhole can oscillate periodically across instead of accumulate statically on the central point and form singularities there. In quantum language, this oscillation not only resolves central singularities of the blackhole but also blurs its horizon remarkably. This blurring makes the horizon not a zero-thickness geometric surface any more, but an extended physic region whose thickness is comparable with the horizon radius itself. It is our negligence of this fact that leads to the information missing puzzle, and other related question in blackhole physics. Besides the title question and Schwarzschild singularity's resolving, the current work also provides interpretations for the origin of Bekenstein-Hawking entropy and an explicitly unitary formulation of Hawking radiations.