title: Deep-neural-network based sinogram synthesis for sparse-view CT image reconstruction

abstract: Recently, a number of approaches to low-dose computed tomography (CT) have been developed and deployed in commercialized CT scanners. Tube current reduction is perhaps the most actively explored technology with advanced image reconstruction algorithms. Sparse data sampling is another viable option to the low-dose CT, and sparse-view CT has been particularly of interest among the researchers in CT community. Since analytic image reconstruction algorithms would lead to severe image artifacts, various iterative algorithms have been developed for reconstructing images from sparsely view-sampled projection data. However, iterative algorithms take much longer computation time than the analytic algorithms, and images are usually prone to different types of image artifacts that heavily depend on the reconstruction parameters. Interpolation methods have also been utilized to fill the missing data in the sinogram of sparse-view CT thus providing synthetically full data for analytic image reconstruction. In this work, we introduce a deep-neural-network-enabled sinogram synthesis method for sparse-view CT, and show its outperformance to the existing interpolation methods and also to the iterative image reconstruction approach.


title: Low resolution spectroscopy of selected Algol systems

abstract: The analysis of spectroscopic data for 30 Algol-type binaries is presented. All these systems are short period Algols having primaries with spectral types B and A. Dominant spectral lines were identified for the spectra collected and their equivalent widths were calculated. All the spectra were examined to understand presence of mass transfer, a disk or circumstellar matter and chromospheric emission. We also present first spectroscopic and period study for few Algols and conclude that high resolution spectra within and outside the primary minimum are needed for better understanding of these Algol type close binaries.


title: Qutrit ZX-calculus is Complete for Stabilizer Quantum Mechanics

abstract: In this paper, we show that a qutrit version of ZX-calculus, with rules significantly different from that of the qubit version, is complete for pure qutrit stabilizer quantum mechanics, where state preparations and measurements are based on the three dimensional computational basis, and unitary operations are required to be in the generalized Clifford group. This means that any equation of diagrams that holds true under the standard interpretation in Hilbert spaces can be derived diagrammatically. In contrast to the qubit case, the situation here is more complicated due to the richer structure of this qutrit ZX-calculus.


title: Common Denominator for Value and Expectation No-go Theorems: Extended Abstract

abstract: Hidden-variable (HV) theories allege that a quantum state describes an ensemble of systems distinguished by the values of hidden variables. No-go theorems assert that HV theories cannot match the predictions of quantum theory. The present work started with repairing flaws in the literature on no-go theorems asserting that HV theories cannot predict the expectation values of measurements. That literature gives one an impression that expectation no-go theorems subsume the time-honored no-go theorems asserting that HV theories cannot predict the possible values of measurements. But the two approaches speak about different kinds of measurement. This hinders comparing them to each other. Only projection measurements are common to both. Here, we sharpen the results of both approaches so that only projection measurements are used. This allows us to clarify the similarities and differences between the two approaches. Neither one dominates the other.


title: Next Steps for the Colorado Risk-Limiting Audit (CORLA) Program

abstract: Colorado conducted risk-limiting tabulation audits (RLAs) across the state in 2017, including both ballot-level comparison audits and ballot-polling audits. Those audits only covered contests restricted to a single county; methods to efficiently audit contests that cross county boundaries and combine ballot polling and ballot-level comparisons have not been available. Colorado's current audit software (RLATool) needs to be improved to audit these contests that cross county lines and to audit small contests efficiently. This paper addresses these needs. It presents extremely simple but inefficient methods, more efficient methods that combine ballot polling and ballot-level comparisons using stratified samples, and methods that combine ballot-level comparison and variable-size batch comparison audits in a way that does not require stratified sampling. We conclude with some recommendations, and illustrate our recommended method using examples that compare them to existing approaches. Exemplar open-source code and interactive Jupyter notebooks are provided that implement the methods and allow further exploration.


title: QWIRE Practice: Formal Verification of Quantum Circuits in Coq

abstract: We describe an embedding of the QWIRE quantum circuit language in the Coq proof assistant. This allows programmers to write quantum circuits using high-level abstractions and to prove properties of those circuits using Coq's theorem proving features. The implementation uses higher-order abstract syntax to represent variable binding and provides a type-checking algorithm for linear wire types, ensuring that quantum circuits are well-formed. We formalize a denotational semantics that interprets QWIRE circuits as superoperators on density matrices, and prove the correctness of some simple quantum programs.


title: Double Dilation $\neq$ Double Mixing (extended abstract)

abstract: Density operators are one of the key ingredients of quantum theory. They can be constructed in two ways: via a convex sum of 'doubled kets' (i.e. mixing), and by tracing out part of a 'doubled' two-system ket (i.e. dilation). Both constructions can be iterated, yielding new mathematical species that have already found applications outside physics. However, as we show in this paper, the iterated constructions no longer yield the same mathematical species. Hence, the constructions 'mixing' and 'dilation' themselves are by no means equivalent. Concretely, when applying the Choi-Jamiolkowski isomorphism to the second iteration, dilation produces arbitrary symmetric bipartite states, while mixing only yields the disentangled ones. All results are proven using diagrams, and hence they hold not only for quantum theory, but also for a much more general class of process theories.


title: CLX: Towards verifiable PBE data transformation

abstract: Effective data analytics on data collected from the real world usually begins with a notoriously expensive pre-processing step of data transformation and wrangling. Programming By Example (PBE) systems have been proposed to automatically infer transformations using simple examples that users provide as hints. However, an important usability issue - verification - limits the effective use of such PBE data transformation systems, since the verification process is often effort-consuming and unreliable. We propose a data transformation paradigm design CLX (pronounced "clicks") with a focus on facilitating verification for end users in a PBE-like data transformation. CLX performs pattern clustering in both input and output data, which allows the user to verify at the pattern level, rather than the data instance level, without having to write any regular expressions, thereby significantly reducing user verification effort. Thereafter, CLX automatically generates transformation programs as regular-expression replace operations that are easy for average users to verify. We experimentally compared the CLX prototype with both FlashFill, a state-of-the-art PBE data transformation tool, and Trifacta, an influential system supporting interactive data transformation. The results show improvements over the state of the art tools in saving user verification effort, without loss of efficiency or expressive power. In a user effort study on data sets of various sizes, when the data size grew by a factor of 30, the user verification time required by the CLX prototype grew by 1.3x whereas that required by FlashFill grew by 11.4x. In another test assessing the users' understanding of the transformation logic - a key ingredient in effective verification - CLX users achieved a success rate about twice that of FlashFill users.


title: Raw Multi-Channel Audio Source Separation using Multi-Resolution Convolutional Auto-Encoders

abstract: Supervised multi-channel audio source separation requires extracting useful spectral, temporal, and spatial features from the mixed signals. The success of many existing systems is therefore largely dependent on the choice of features used for training. In this work, we introduce a novel multi-channel, multi-resolution convolutional auto-encoder neural network that works on raw time-domain signals to determine appropriate multi-resolution features for separating the singing-voice from stereo music. Our experimental results show that the proposed method can achieve multi-channel audio source separation without the need for hand-crafted features or any pre- or post-processing.


title: Structures and Physical Properties of CsV$_2$Se$_{2-x}$O and V$_2$Se$_2$O

abstract: By using solid-state reactions, we successfully synthesize new oxyselenides CsV$_2$Se$_{2-x}$O (x = 0, 0.5). These compounds containing V$_2$O planar layers with a square lattice crystallize in the CeCr$_2$Si$_2$C structure with the space group of $P4/mmm$. Another new compound V$_2$Se$_2$O which crystallizes in space group $I4/mmm$ is fabricated by topochemical deintercalation of cesium from CsV$_2$Se$_2$O powder with iodine in tetrahydrofuran(THF). Resistivity measurements show a semiconducting behavior for CsV$_2$Se$_2$O, while a metallic behavior for CsV$_2$Se$_{1.5}$O, and an insulating feature for V$_2$Se$_2$O. A charge- or spin-density wave-like anomaly has been observed at 168 K for CsV$_2$Se$_2$O and 150 K for CsV$_2$Se$_{1.5}$O, respectively. And these anomalies are also confirmed by the magnetic susceptibility measurements. The resistivity in V$_2$Se$_2$O exhibits an anomalous log(1/$T$) temperature dependence, which is similar to the case in parent phase or very underdoped cuprates indicating the involvement of strong correlation. Magnetic susceptibility measurements show that the magnetic moment per V-site in V$_2$Se$_2$O is much larger than that of CsV$_2$Se$_{2-x}$O, which again suggests the correlation induced localization effect in the former.


title: Extension of PCA to Higher Order Data Structures: An Introduction to Tensors, Tensor Decompositions, and Tensor PCA

abstract: The widespread use of multisensor technology and the emergence of big data sets have brought the necessity to develop more versatile tools to represent higher-order data with multiple aspects and high dimensionality. Data in the form of multidimensional arrays, also referred to as tensors, arises in a variety of applications including chemometrics, hyperspectral imaging, high resolution videos, neuroimaging, biometrics, and social network analysis. Early multiway data analysis approaches reformatted such tensor data as large vectors or matrices and then resorted to dimensionality reduction methods developed for classical two-way analysis such as PCA. However, one cannot discover hidden components within multiway data using conventional PCA. To this end, tensor decomposition methods which are flexible in the choice of the constraints and that extract more general latent components have been proposed. In this paper, we review the major tensor decomposition methods with a focus on problems targeted by classical PCA. In particular, we present tensor methods that aim to solve three important challenges typically addressed by PCA: dimensionality reduction, i.e. low-rank tensor approximation, supervised learning, i.e. learning linear subspaces for feature extraction, and robust low-rank tensor recovery. We also provide experimental results to compare different tensor models for both dimensionality reduction and supervised learning applications.


title: On the Structure of Abstract H*-Algebras

abstract: Previously we have shown that the topos approach to quantum theory of Doering and Isham can be generalised to a class of categories typically studied within the monoidal approach to quantum theory of Abramsky and Coecke. In the monoidal approach to quantum theory H*-algebras provide an axiomatisation of states and observables. Here we show that H*-algebras naturally correspond with the notions of states and observables in the generalised topos approach to quantum theory. We then combine these results with the dagger-kernel approach to quantum logic of Heunen and Jacobs, which we use to prove a structure theorem for H*-algebras. This structure theorem is a generalisation of the structure theorem of Ambrose for H*-algebras the category of Hilbert spaces.


title: Information Theoretically Secure Hypothesis Test for Temporally Unstructured Quantum Computation (Extended Abstract)

abstract: The efficient certification of classically intractable quantum devices has been a central research question for some time. However, to observe a "quantum advantage", it is believed that one does not need to build a large scale universal quantum computer, a task which has proven extremely challenging. Intermediate quantum models that are easier to implement, but which also exhibit this quantum advantage over classical computers, have been proposed. In this work, we present a certification technique for such a sub-universal quantum server which only performs commuting gates and requires very limited quantum memory. By allowing a verifying client to manipulate single qubits, we exploit properties of measurement based blind quantum computing to give them the tools to test the "quantum superiority" of the server.


title: A Shortcut from Categorical Quantum Theory to Convex Operational Theories

abstract: This paper charts a very direct path between the categorical approach to quantum mechanics, due to Abramsky and Coecke, and the older convex-operational approach based on ordered vector spaces (recently reincarnated as "generalized probabilistic theories"). In the former, the objects of a symmetric monoidal category C are understood to represent physical systems and morphisms, physical processes. Elements of the monoid C(I,I) are interpreted somewhat metaphorically as probabilities. Any monoid homomorphism from the scalars of a symmetric monoidal category C gives rise to a covariant functor V_o from C to a category of dual-pairs of ordered vector spaces. Specifying a natural transformation u from V_o to 1 (where 1 is the trivial such functor) allows us to identify normalized states, and, thus, to regard the image category V_o(C) as consisting of concrete operational models. In this case, if A and B are objects in C, then V_o(A x B) defines a non-signaling composite of V_o(A) and V_o(B). Provided either that C satisfies a "local tomography" condition, or that C is compact closed, this defines a symmetric monoidal structure on the image category, and makes V_o a (strict) monoidal functor.


title: Uniqueness of Composition in Quantum Theory and Linguistics

abstract: We derive a uniqueness result for non-Cartesian composition of systems in a large class of process theories, with important implications for quantum theory and linguistics. Specifically, we consider theories of wavefunctions valued in commutative involutive semirings -- as modelled by categories of free finite-dimensional modules -- and we prove that the only bilinear compact-closed symmetric monoidal structure is the canonical one (up to linear monoidal equivalence). Our results apply to conventional quantum theory and other toy theories of interest in the literature, such as real quantum theory, relational quantum theory, hyperbolic quantum theory and modal quantum theory. In computational linguistics they imply that linear models for categorical compositional distributional semantics (DisCoCat) -- such as vector spaces, sets and relations, and sets and histograms -- admit an (essentially) unique compatible pregroup grammar.


title: Spectral Presheaves, Kochen-Specker Contextuality, and Quantale-Valued Relations

abstract: In the topos approach to quantum theory of Doering and Isham the Kochen-Specker Theorem, which asserts the contextual nature of quantum theory, can be reformulated in terms of the global sections of a presheaf characterised by the Gelfand spectrum of a commutative C*-algebra. In previous work we showed how this topos perspective can be generalised to a class of categories typically studied within the monoidal approach to quantum theory of Abramsky and Coecke, and in particular how one can generalise the Gelfand spectrum. Here we study the Gelfand spectrum presheaf for categories of quantale-valued relations, and by considering its global sections we give a non-contextuality result for these categories. We also show that the Gelfand spectrum comes equipped with a topology which has a natural interpretation when thinking of these structures as representing physical theories.


title: Reinforcement Learning to Rank in E-Commerce Search Engine: Formalization, Analysis, and Application

abstract: In e-commerce platforms such as Amazon and TaoBao, ranking items in a search session is a typical multi-step decision-making problem. Learning to rank (LTR) methods have been widely applied to ranking problems. However, such methods often consider different ranking steps in a session to be independent, which conversely may be highly correlated to each other. For better utilizing the correlation between different ranking steps, in this paper, we propose to use reinforcement learning (RL) to learn an optimal ranking policy which maximizes the expected accumulative rewards in a search session. Firstly, we formally define the concept of search session Markov decision process (SSMDP) to formulate the multi-step ranking problem. Secondly, we analyze the property of SSMDP and theoretically prove the necessity of maximizing accumulative rewards. Lastly, we propose a novel policy gradient algorithm for learning an optimal ranking policy, which is able to deal with the problem of high reward variance and unbalanced reward distribution of an SSMDP. Experiments are conducted in simulation and TaoBao search engine. The results demonstrate that our algorithm performs much better than online LTR methods, with more than 40% and 30% growth of total transaction amount in the simulation and the real application, respectively.


title: Performance of a Relay-Assisted Hybrid FSO/RF Communication System

abstract: This paper investigates performance of a relay assisted hybrid Free Space Optical / Radio Frequency (FSO/RF) communication system. The proposed structure is particularly recommended anywhere that direct RF communication between mobile users and base station is not possible due to atmospheric conditions. In this system, a multiuser RF link connects mobile users to relay and a FSO link connects relay to the base station. It is the first time that effect of number of users within the cell, on the performance of such structure, is investigated. Also it is the first time that performance of a dual hop hybrid FSO / RF system is investigated in Negative Exponential atmospheric turbulence. Considering wide range of atmospheric turbulence regimes, from moderate to saturated, for the first time, closed-form expressions are derived for Bit Error Rate (BER) and outage probability (P_out) of the proposed structure. MATLAB simulations verified accuracy of the derived expressions. Considering fixed and adaptive gain amplify and forward protocols at relay, it is shown that adaptive gain relay is less sensitive to the number of users within the cell. It is also shown that fixed gain relay, despite its low complexity, has better performance; because its gain is adjusted such that the performance be favorable even at the worst case scenario.


title: A Factoid Question Answering System for Vietnamese

abstract: In this paper, we describe the development of an end-to-end factoid question answering system for the Vietnamese language. This system combines both statistical models and ontology-based methods in a chain of processing modules to provide high-quality mappings from natural language text to entities. We present the challenges in the development of such an intelligent user interface for an isolating language like Vietnamese and show that techniques developed for inflectional languages cannot be applied "as is". Our question answering system can answer a wide range of general knowledge questions with promising accuracy on a test set.


title: Formation of the active star forming region LHA 120-N 44 triggered by tidally-driven colliding HI flows

abstract: N44 is the second active site of high mass star formation next to R136 in the Large Magellanic Cloud (LMC). We carried out a detailed analysis of HI at 60 arcsec resolution by using the ATCA & Parkes data. We presented decomposition of the HI emission into two velocity components (the L- and D-components) with the velocity separation of 60 km s$^{-1}$. In addition, we newly defined the I-component whose velocity is intermediate between the L- and D-components. The D-component was used to derive the rotation curve of the LMC disk, which is consistent with the stellar rotation curve (Alves et al. 2000). Toward the active cluster forming region of LHA 120-N 44, the three velocity components of HI gas show signatures of dynamical interaction including bridges and complementary spatial distributions. We hypothesize that the L- and D-components have been colliding with each other since 5 Myrs ago and the interaction triggered formation of the O and early B stars ionizing N44. In the hypothesis the I-component is interpreted as decelerated gas in terms of momentum exchange in the collisional interaction of the L- and D-components. In the N44 region the Planck sub-mm dust optical depth is correlated with the HI intensity, which is well approximated by a linear regression. We found that the N44 region shows a significantly steeper regression line than in the Bar region indicating less dust abundance in the N44 region, which is ascribed to the tidal interaction between the LMC with the SMC 0.2 Gyrs ago.


title: Interference in spin-orbit coupled transverse magnetic focusing; emergent phase due to in-plane magnetic fields

abstract: Spin-orbit (SO) interactions in two dimensional systems split the Fermi surface, and allow for the spatial separation of spin-states via transverse magnetic focusing (TMF). In this work, we consider the case of combined Rashba and Zeeman interactions, which leads to a Fermi surface without cylindrical symmetry. While the classical trajectories are effectively unchanged, we predict an additional contribution to the phase, linear in the applied in-plane magnetic field. We show that this term is unique to TMF, and vanishes for magnetic (Shubnikov de Haas) oscillations. Finally we propose some experimental signatures of this phase.


title: Robust Multivariate Nonparametric Tests via Projection-Averaging

abstract: In this work, we generalize the Cram\'er-von Mises statistic via projection-averaging to obtain a robust test for the multivariate two-sample problem. The proposed test is consistent against all fixed alternatives, robust to heavy-tailed data and minimax rate optimal against a certain class of alternatives. Our test statistic is completely free of tuning parameters and is computationally efficient even in high dimensions. When the dimension tends to infinity, the proposed test is shown to have comparable power to the existing high-dimensional mean tests under certain location models. As a by-product of our approach, we introduce a new metric called the angular distance which can be thought of as a robust alternative to the Euclidean distance. Using the angular distance, we connect the proposed method to the reproducing kernel Hilbert space approach. In addition to the Cram\'er-von Mises statistic, we demonstrate that the projection-averaging technique can be used to define robust, multivariate tests in many other problems.


title: Anisotropic exciton transport in transition-metal dichalcogenides

abstract: Due to the Coulomb interaction exciton eignestates in monolayer transitional metal dichalcogenides are coherent superposition of two valleys. The exciton band which couples to the transverse electric mode of light has parabolic dispersion for the center of mass momentum, whereas the one which couples to the transverse magnetic mode has both parabolic and linear components. In this work we present an experimental proposal to observe the signatures of linear component of the dispersion. In particular, it is demonstrated that by pumping the system with linearly polarized light the exciton transport is anisotropic compared to circularly polarized pump. We show that the results persist for moderate level of disorder present in realistic systems. Finally, we demonstrate that similar effects can be obtained for positively detuned exciton-polaritons, in less stringent experimental requirements compared to bare exciton case.


title: Nonlinear uniaxial pressure dependence of $T_c$ in iron-based superconductors

abstract: We have systematically studied the effects of in-plane uniaxial pressure $p$ on the superconducting transition temperature $T_c$ in many iron-based superconductors. The change of $T_c$ with $p$ is composed of linear and nonlinear components. The latter can be described as a quadratic term plus a much smaller fourth-order term. In contrast to the linear component, the nonlinear $p$ dependence of $T_c$ displays a pronounced in-plane anisotropy, which is similar to the anisotropic response of the resistivity to $p$. As a result, it can be attributed to the coupling between the superconducting and nematic orders, in accordance with the expectations of a phenomenological Landau theory. Our results provide direct evidences for the interplay between nematic fluctuations and superconductivity, which may be a common behavior in iron-based superconductors.


title: Smoothed Variable Sample-size Accelerated Proximal Methods for Nonsmooth Stochastic Convex Programs

abstract: We consider minimizing $f(x) = \mathbb{E}[f(x,\omega)]$ when $f(x,\omega)$ is possibly nonsmooth and either strongly convex or convex in $x$. (I) Strongly convex. When $f(x,\omega)$ is $\mu-$strongly convex in $x$, we propose a variable sample-size accelerated proximal scheme (VS-APM) and apply it on $f_{\eta}(x)$, the ($\eta$-)Moreau smoothed variant of $\mathbb{E}[f(x,\omega)]$; we term such a scheme as (m-VS-APM). We consider three settings. (a) Bounded domains. In this setting, VS-APM displays linear convergence in inexact gradient steps, each of which requires utilizing an inner (SSG) scheme. Specifically, mVS-APM achieves an optimal oracle complexity in SSG steps; (b) Unbounded domains. In this regime, under a weaker assumption of suitable state-dependent bounds on subgradients, an unaccelerated variant mVS-PM is linearly convergent; (c) Smooth ill-conditioned $f$. When $f$ is $L$-smooth and $\kappa = L/\mu \ggg 1$, we employ mVS-APM where increasingly accurate gradients $\nabla_x f_{\eta}(x)$ are obtained by VS-APM. Notably, mVS-APM displays linear convergence and near-optimal complexity in inner proximal evaluations (upto a log factor) compared to VS-APM. But, unlike a direct application of VS-APM, this scheme is characterized by larger steplengths and better empirical behavior; (II) Convex. When $f(x,\omega)$ is merely convex but smoothable, by suitable choices of the smoothing, steplength, and batch-size sequences, smoothed VS-APM (or sVS-APM) produces sequences for which expected sub-optimality diminishes at the rate of $\mathcal{O}(1/k)$ with an optimal oracle complexity of $\mathcal{O}(1/\epsilon^2)$. Finally, sVS-APM and VS-APM produce sequences that converge almost surely to a solution of the original problem.


title: RankDCG: Rank-Ordering Evaluation Measure

abstract: Ranking is used for a wide array of problems, most notably information retrieval (search). There are a number of popular approaches to the evaluation of ranking such as Kendall's $\tau$, Average Precision, and nDCG. When dealing with problems such as user ranking or recommendation systems, all these measures suffer from various problems, including an inability to deal with elements of the same rank, inconsistent and ambiguous lower bound scores, and an inappropriate cost function. We propose a new measure, rankDCG, that addresses these problems. This is a modification of the popular nDCG algorithm. We provide a number of criteria for any effective ranking algorithm and show that only rankDCG satisfies all of them. Results are presented on constructed and real data sets. We release a publicly available rankDCG evaluation package.


title: Model Predictive Climate Control of Connected and Automated Vehicles for Improved Energy Efficiency

abstract: This paper considers an application of model predictive control to automotive air conditioning (A/C) system in future connected and automated vehicles (CAVs) with battery electric or hybrid electric powertrains. A control-oriented prediction model for A/C system is proposed, identified, and validated against a higher fidelity simulation model (CoolSim). Based on the developed prediction model, a nonlinear model predictive control (NMPC) problem is formulated and solved online to minimize the energy consumption of the A/C system. Simulation results illustrate the desirable characteristics of the proposed NMPC solution such as being able to enforce physical constraints of the A/C system and maintain cabin temperature within a specified range. Moreover, it is shown that by utilizing the vehicle speed preview and through coordinated adjustment of the cabin temperature constraints, energy efficiency improvements of up to 9% can be achieved.


title: Age Group Classification with Speech and Metadata Multimodality Fusion

abstract: Children comprise a significant proportion of TV viewers and it is worthwhile to customize the experience for them. However, identifying who is a child in the audience can be a challenging task. Identifying gender and age from audio commands is a well-studied problem but is still very challenging to get good accuracy when the utterances are typically only a couple of seconds long. We present initial studies of a novel method which combines utterances with user metadata. In particular, we develop an ensemble of different machine learning techniques on different subsets of data to improve child detection. Our initial results show a 9.2\% absolute improvement over the baseline, leading to a state-of-the-art performance.


title: Proceedings 6th International Workshop on Theorem proving components for Educational software

abstract: The 6th International Workshop on Theorem proving components for Educational software (ThEdu'17) was held in Gothenburg, Sweden, on 6 Aug 2017. It was associated to the conference CADE26. Topics of interest include: methods of automated deduction applied to checking students' input; methods of automated deduction applied to prove post-conditions for particular problem solutions; combinations of deduction and computation enabling systems to propose next steps; automated provers specific for dynamic geometry systems; proof and proving in mathematics education. ThEdu'17 was a vibrant workshop, with one invited talk and eight contributions. It triggered the post-proceedings at hand.


title: Chiral electric separation effect in Weyl semimetals

abstract: We study the chiral electric separation effect (CESE) in Weyl semimetals (WSM). Within the model based on the kinetic equation we show that there is a non-zero chirality current in external electric and magnetic fields. We distinguish longitudinal, in-plane transverse, Hall, and anomalous Hall components of the CESE. It is shown that the first two components are quadratic in electric field and linear in magnetic field, while the Hall component is quadratic in both the electric and magnetic fields. All three are due to the chiral anomaly. In WSMs the chirality current can be associated with the spin current, which can be experimentally observed.


title: Transformation representations of sandwich semigroups

abstract: Let $a$ be an element of a semigroup $S$. The local subsemigroup of $S$ with respect to $a$ is the subsemigroup $aSa$ of $S$. The variant of $S$ with respect to $a$ is the semigroup with underlying set $S$ and operation $\star_a$ defined by $x\star_ay=xay$ for $x,y\in S$. We show that the following classes contain precisely the same semigroups, up to isomorphism: all local subsemigroups of all finite full transformation semigroups; and all variants of all finite full transformation semigroups. This result was discovered as a result of some experiments (and accidents) when working with the Semigroups package for GAP.


title: An uncertainty estimation module for turbulence model predictions in SU2

abstract: With the advent of improved computational resources, aerospace design has testing-based process to a simulation-driven procedure, wherein uncertainties in design and operating conditions are explicitly accounted for in the design under uncertainty methodology. A key source of such uncertainties in design are the closure models used to account for fluid turbulence. In spite of their importance, no reliable and extensively tested modules are available to estimate this epistemic uncertainty. In this article, we outline the EQUiPS uncertainty estimation module developed for the SU2 CFD suite that focuses on uncertainty due to turbulence models. The theoretical foundations underlying this uncertainty estimation and its computational implementation are detailed. Thence, the performance of this module is presented for a range of test cases, including both benchmark problems and flows relevant to aerospace design. Across the range of test cases, the uncertainty estimates of the module were able to account for a significant portion of the discrepancy between RANS predictions and high fidelity data.


title: Pentagram maps and refactorization in Poisson-Lie groups

abstract: The pentagram map was introduced by R. Schwartz in 1992 and is now one of the most renowned discrete integrable systems. In the present paper we prove that this map, as well as all its known integrable multidimensional generalizations, can be seen as refactorization-type mappings in the Poisson-Lie group of pseudo-difference operators. This brings the pentagram map into the rich framework of Poisson-Lie groups, both describing new structures and simplifying and revealing the origin of its known properties. In particular, for multidimensional pentagram maps the Poisson-Lie group setting provides new Lax forms with a spectral parameter and, more importantly, invariant Poisson structures in all dimensions, the existence of which has been an open problem since the introduction of those maps. Furthermore, for the classical pentagram map our approach naturally yields its combinatorial description in terms of weighted directed networks and cluster algebras.


title: Study of the $\gamma p\to \pi^0\eta p$ reaction with the A2 setup at MAMI

abstract: The data available from the A2 Collaboration at MAMI were analyzed to select the $\gamma p\to \pi^0\eta p$ reaction on an event-by-event basis, which allows for partial-wave analyses of three-body final states to obtain more reliable results, compared to fits to measured distributions. These data provide the world's best statistical accuracy in the energy range from threshold to $E_{\gamma}=1.45$ GeV, allowing a finer energy binning in the measurement of all observables needed for understanding the reaction dynamics. The results obtained for the measured observables are compared to existing models, and the impact from the new data is checked by the fit with the revised Mainz model.


title: Accurate determination of halo velocity bias in simulations and its cosmological implications

abstract: A long-standing issue in peculiar velocity cosmology is whether the halo/galaxy velocity bias $b_v=1$ at large scale. The resolution of this important issue must resort to high precision cosmological simulations. However, this is hampered by another long-standing `sampling artifact' problem in volume weighted velocity measurement. We circumvent this problem with a hybrid approach. We first measure statistics free of sampling artifact, then link them to volume weighted statistics in theory, finally solve for the velocity bias. $b_v$ determined by our method is not only free of sampling artifact, but also free of cosmic variance. We apply this method to a $\Lambda$CDM N-body simulation of $3072^3$ particles and $1200 Mpc/{\rm h}$ box size. For the first time, we determine the halo velocity bias to $0.1\%$-$1\%$ accuracy. Our major findings are as follows: (1) $b_v\neq 1$ at $k>0.1 h/{\rm Mpc}$. The deviation from unity ($|b_v-1|$) increases with $k$. Depending on halo mass and redshift, it may reach $\mathcal{O}(0.01)$ at $k=0.2 h/{\rm Mpc}$ and $\mathcal{O}(0.05)$ at $k\sim 0.3 h/{\rm Mpc}$. The discovered $b_v\neq 1$ has statistically significant impact on structure growth rate measurement by spectroscopic redshift surveys, including DESI, Euclid and SKA. (2) Both the sign and the amplitude of $b_v-1$ depend on mass and redshift. These results disagree with the peak model prediction in that $b_v$ has much weaker deviation from unity, varies with redshift, and can be bigger than unity. (3) Most of the mass and redshift dependences can be compressed into a single dependence on the halo density bias. Based on this finding, we provide an approximate two-parameter fitting formula.


title: Representing Verbs as Argument Concepts

abstract: Verbs play an important role in the understanding of natural language text. This paper studies the problem of abstracting the subject and object arguments of a verb into a set of noun concepts, known as the "argument concepts". This set of concepts, whose size is parameterized, represents the fine-grained semantics of a verb. For example, the object of "enjoy" can be abstracted into time, hobby and event, etc. We present a novel framework to automatically infer human readable and machine computable action concepts with high accuracy.


title: On stability properties of powers of polymatroidal ideals

abstract: Let $R=K[x_1,...,x_n]$ be the polynomial ring in $n$ variables over a field $K$ with the maximal ideal $\frak{m}=(x_1,...,x_n)$. Let $\astab(I)$ and $\dstab(I)$ be the smallest integer $n$ for which $\Ass(I^n)$ and $\depth(I^n)$ stabilize, respectively. In this paper we show that $\astab(I)=\dstab(I)$ in the following cases: \begin{itemize} \item[(i)] $I$ is a matroidal ideal and $n\leq 5$. \item[(ii)] $I$ is a polymatroidal ideal, $n=4$ and $\frak{m}\notin\Ass^{\infty}(I)$, where $\Ass^{\infty}(I)$ is the stable set of associated prime ideals of $I$. \item[(iii)] $I$ is a polymatroidal ideal of degree $2$. \end{itemize} Moreover, we give an example of a polymatroidal ideal for which $\astab(I)\neq\dstab(I)$. This is a counterexample to the conjecture of Herzog and Qureshi, according to which these two numbers are the same for polymatroidal ideals.


title: Antiferroelectric and Magnetodielectric Coupling Response of La0.2Sr0.7Fe12O19 Ceramics

abstract: Multiferroics is a class of functional materials that simultaneously exhibit ferroelectricity and ferromagnetism in a single structure. We report here the integration of anti-ferroelectricity and ferromagnetism in a new M-type hexaferrite compound, in which 0.3 Sr ions was substituted by 0.2 La3+ ions in SrFe12O19 so as to keep the charge balance. This doped compound is expressed as a molecular formula of La0.2Sr0.7Fe12O19, which was confirmed by XRD to have the same structure as SrFe12O19 with a lattice contraction of 0.59%. Surprisingly, the doping effect turns La0.2Sr0.7Fe12O19 from ferroelectric to antiferroelectric phase, which displays double hysteresis loops with a maximum polarization of 154 uC/cm2 and a remnant one of 38uC/cm2. The dielectric constant is also greatly improved from 1462 to 1451778 at 10.2Hz by this substitution. This compound simultaneously demonstrates strong ferromagnetism, the remnant magnetic moment and coercive field are 52 emu/g and 5876 Oe, respectively. In addition, La0.2Sr0.7Fe12O19 also exhibits strong magnetodielectric (MD) response, in which a applying magnetic field B lifts the whole e1-f spectra up and right shifts e2-f spectra to higher frequency side. Both real and imaginary parts of the dielectric constant varies with frequency and B field and obey Debye relaxation model. The maximum MD increment in e1 reaches as high as 540830 upon a B field of 926mT. The capacitance of the La0.2Sr0.7Fe12O19 ceramics could be much more enhanced by applying a magnetic field B, which could induce an additional polarization P(H) upon the conventional P(E) by the cycloid conical spin in the intermediate phases. These results suggest that La0.2Sr0.7Fe12O19 exhibits a strong interplay between magnetic ordering and ferroelectricity, which makes it a good magnetoelectric coupling candidate.


title: Bootstrapping Non-commutative Gauge Theories from L$_\infty$ algebras

abstract: Non-commutative gauge theories with a non-constant NC-parameter are investigated. As a novel approach, we propose that such theories should admit an underlying L$_\infty$ algebra, that governs not only the action of the symmetries but also the dynamics of the theory. Our approach is well motivated from string theory. We recall that such field theories arise in the context of branes in WZW models and briefly comment on its appearance for integrable deformations of AdS$_5$ sigma models. For the SU(2) WZW model, we show that the earlier proposed matrix valued gauge theory on the fuzzy 2-sphere can be bootstrapped via an L$_\infty$ algebra. We then apply this approach to the construction of non-commutative Chern-Simons and Yang-Mills theories on flat and curved backgrounds with non-constant NC-structure. More concretely, up to the second order, we demonstrate how derivative and curvature corrections to the equations of motion can be bootstrapped in an algebraic way from the L$_\infty$ algebra. The appearance of a non-trivial A$_\infty$ algebra is discussed, as well.


title: Continuous-time GARCH process driven by semi-L\'evy process

abstract: In this paper we study the simple semi-L\'evy driven continuous-time generalized autoregressive conditionally heteroscedastic (SS-COGARCH) process. The statistical properties of this process are characterized. This process has the potential to approximate any semi-L\'evy driven COGARCH processes. We show that the state representation of such SS-COGARCH process can be described by a random recurrence equation with periodic random coefficients. The almost sure absolute convergence of the state process is proved. The periodically stationary solution of the state process is shown which cause the volatility to be periodically stationary under some suitable conditions. Also it is shown that the increments with constant length of such SS-COGARCH process is itself a periodically correlated (PC) process. Finally, we apply some test to investigate the PC behavior of the increments (with constant length) of the simulated samples of proposed SS-COGARCH process.


title: Stable amplitude chimera states in a network of locally coupled Stuart-Landau oscillators

abstract: We investigate the occurrence of collective dynamical states such as transient amplitude chimera, stable amplitude chimera and imperfect breathing chimera states in a \textit{locally coupled} network of Stuart-Landau oscillators. In an imperfect breathing chimera state, the synchronized group of oscillators exhibits oscillations with large amplitudes while the desynchronized group of oscillators oscillates with small amplitudes and this behavior of coexistence of synchronized and desynchronized oscillations fluctuates with time. Then we analyze the stability of the amplitude chimera states under various circumstances, including variations in system parameters and coupling strength, and perturbations in the initial states of the oscillators. For an increase in the value of the system parameter, namely the nonisochronicity parameter, the transient chimera state becomes a stable chimera state for a sufficiently large value of coupling strength. In addition, we also analyze the stability of these states by perturbing the initial states of the oscillators. We find that while a small perturbation allows one to perturb a large number of oscillators resulting in a stable amplitude chimera state, a large perturbation allows one to perturb a small number of oscillators to get a stable amplitude chimera state. We also find the stability of the transient and stable amplitude chimera states as well as traveling wave states for appropriate number of oscillators using Floquet theory. In addition, we also find the stability of the incoherent oscillation death states.


title: A Quantum N-Queens Solver

abstract: The N-queens problem is to find the position of N queens on an N by N chess board such that no queens attack each other. The excluded diagonals N-queens problem is a variation where queens cannot be placed on some predefined fields along diagonals. This variation is proven NP-complete and the parameter regime to generate hard instances that are intractable with current classical algorithms is known. We propose a special purpose quantum simulator that implements the excluded diagonals N-queens completion problem using atoms in an optical lattice and cavity-mediated long-range interactions. Our implementation has no overhead from the embedding allowing to directly probe for a possible quantum advantage in near term devices for optimization problems.


title: Stress-stress correlator in lambda phi^4 theory: Poles or a Cut?

abstract: We explore the analytical properties of the traceless stress tensor 2-point function at zero momentum and small frequency (relevant for shear viscosity and hydrodynamic response) in hot, weakly coupled lambda phi^4 theory. We show that, rather than one or a small number of poles, the correlator has a cut along the negative imaginary frequency axis. We briefly discuss this result's relevance for constructing 2'nd order hydrodynamic models of hot relativistic field theories.


title: Fusion of multispectral satellite imagery using a cluster of graphics processing unit

abstract: The paper presents a parallel implementation of existing image fusion methods on a graphical cluster. Parallel implementations of methods based on discrete wavelet transformation (Haars and Daubechies discrete wavelet transform) are developed. Experiments were performed on a cluster using GPU and CPU and performance gains were estimated for the use of the developed parallel implementations to process satellite images from satellite Landsat 7. The implementation on a graphic cluster provides performance improvement from 2 to 18 times. The quality of the considered methods was evaluated by ERGAS and QNR metrics. The results show performance gains and retaining of quality with the cluster of GPU compared to the results obtained by the authors and other researchers for a CPU and single GPU.


title: Notes on the gravitational, electromagnetic and axion memory effects

abstract: We investigate the memory effects associated with the kicks of particles. Recently, the equivalence between the memory effect and soft theorem has been established. By computing the memory effect from the radiation solutions, we explicitly confirm that, in addition to the leading piece, the subleading and subsubleading soft theorems are equivalent to the subleading and subsubleading memory effects, respectively. It is known that the memory effects can be probed by the displacements or kicks of the test particles. We point out that the these memory effects are also probed by the permanent change of the direction of the spin. We also show that the axion memory effect, recently proposed by the current authors, can be detected as the change of the spin of the test particle. We discuss that if we consider the magnetic monopole as an external particle, the parity-odd electromagnetic memory appears.


title: Markov Switch Smooth Transition HYGARCH Model: Stability and Estimation

abstract: HYGARCH model is basically used to model long-range dependence in volatility. We propose Markov switch smooth-transition HYGARCH model, where the volatility in each state is a time-dependent convex combination of GARCH and FIGARCH. This model provides a flexible structure to capture different levels of volatilities and also short and long memory effects. The necessary and sufficient condition for the asymptotic stability is derived. Forecast of conditional variance is studied by using all past information through a parsimonious way. Bayesian estimations based on Gibbs sampling are provided. A simulation study has been given to evaluate the estimations and model stability. The competitive performance of the proposed model is shown by comparing it with the HYGARCH and smooth-transition HYGARCH models for some period of the \textit{S}\&\textit{P}500 indices based on volatility and value-at-risk forecasts.


title: Interrogating Seyferts with NebulaBayes: Spatially probing the narrow-line region radiation fields and chemical abundances

abstract: NebulaBayes is a new Bayesian code that implements a general method of comparing observed emission-line fluxes to photoionization model grids. The code enables us to extract robust, spatially resolved measurements of abundances in the extended narrow line regions (ENLRs) produced by Active Galactic Nuclei (AGN). We observe near-constant ionization parameters but steeply radially-declining pressures, which together imply that radiation pressure regulates the ENLR density structure on large scales. Our sample includes four `pure Seyfert' galaxies from the S7 survey that have extensive ENLRs. NGC2992 shows steep metallicity gradients from the nucleus into the ionization cones. An {\it inverse} metallicity gradient is observed in ESO138-G01, which we attribute to a recent gas inflow or minor merger. A uniformly high metallicity and hard ionizing continuum are inferred across the ENLR of Mrk573. Our analysis of IC5063 is likely affected by contamination from shock excitation, which appears to soften the inferred ionizing spectrum. The peak of the ionizing continuum E_peak is determined by the nuclear spectrum and the absorbing column between the nucleus and the ionized nebula. We cannot separate variation in this intrinsic E_peak from the effects of shock or HII region contamination, but E_peak measurements nevertheless give insights into ENLR excitation. We demonstrate the general applicability of NebulaBayes by analyzing a nuclear spectrum from the non-active galaxy NGC4691 using a HII region grid. The NLR and HII region model grids are provided with NebulaBayes for use by the astronomical community.


title: On Topologized Fundamental Group and covering spaces of topological groups

abstract: In this paper, we show that every topological group is a strong small loop transfer space at the identity element. This implies that the quasitopological fundamental group of a connected locally path connected topological group is a topological group. Also, we show that every covering space of a connected locally path connected topological group is a topological group and its covering map is homomorphism.


title: Selective resolution of phonon modes in STM-IETS on clean and oxygen-adsorbed Cu(100) surfaces

abstract: The observation of surface phonon dispersion using local probes can provide important information related to local structural and thermal properties. In this study, surface phonon modes on a Cu(100) surface were measured using the inelastic tunneling spectroscopy of scanning tunneling microscopy (STM-IETS) with atomically sharp tips. Different phonon modes were selectively measured depending on the structures of the probing tips or the surfaces. Two different surface phonon modes, at 19.0 meV on a clean Cu(100) surface and at 13.5 meV on an oxygen-adsorbed Cu(100) surface, are explained by the selection rules. Additionally, the spatial variation in STM-IETS showed surface stress relaxation.


title: Brauer correspondent blocks with one simple module

abstract: One of the main problems in representation theory is to understand the exact relationship between Brauer corresponding blocks of finite groups. The case where the local correspondent has a unique simple module seems key. We characterize this situation for the principal p-blocks where p is odd.


title: Clinically Meaningful Comparisons Over Time: An Approach to Measuring Patient Similarity based on Subsequence Alignment

abstract: Longitudinal patient data has the potential to improve clinical risk stratification models for disease. However, chronic diseases that progress slowly over time are often heterogeneous in their clinical presentation. Patients may progress through disease stages at varying rates. This leads to pathophysiological misalignment over time, making it difficult to consistently compare patients in a clinically meaningful way. Furthermore, patients present clinically for the first time at different stages of disease. This eliminates the possibility of simply aligning patients based on their initial presentation. Finally, patient data may be sampled at different rates due to differences in schedules or missed visits. To address these challenges, we propose a robust measure of patient similarity based on subsequence alignment. Compared to global alignment techniques that do not account for pathophysiological misalignment, focusing on the most relevant subsequences allows for an accurate measure of similarity between patients. We demonstrate the utility of our approach in settings where longitudinal data, while useful, are limited and lack a clear temporal alignment for comparison. Applied to the task of stratifying patients for risk of progression to probable Alzheimer's Disease, our approach outperforms models that use only snapshot data (AUROC of 0.839 vs. 0.812) and models that use global alignment techniques (AUROC of 0.822). Our results support the hypothesis that patients' trajectories are useful for quantifying inter-patient similarities and that using subsequence matching and can help account for heterogeneity and misalignment in longitudinal data.


title: Quantum Circuit Learning

abstract: We propose a classical-quantum hybrid algorithm for machine learning on near-term quantum processors, which we call quantum circuit learning. A quantum circuit driven by our framework learns a given task by tuning parameters implemented on it. The iterative optimization of the parameters allows us to circumvent the high-depth circuit. Theoretical investigation shows that a quantum circuit can approximate nonlinear functions, which is further confirmed by numerical simulations. Hybridizing a low-depth quantum circuit and a classical computer for machine learning, the proposed framework paves the way toward applications of near-term quantum devices for quantum machine learning.


title: Shear relaxation behind the shock front in $\langle$110$\rangle$ Molybdenum - From the Atomic Scale to Continuous Dislocation Fields

abstract: In this work we study shock-induced plasticity in Mo single crystals, impacted along the <110> crystal orientation. In particular, the shear relaxation behind the shock front is quantitatively inspected. Molecular dynamics (MD) simulations are employed to simulate the deformation during shock, followed by post-processing to identify and quantify the dislocation lines nucleated behind the shock front. The information on the dislocation lines is ensemble averaged inside slabs of the simulation box and over different realizations of the MD simulations, from which continuous dislocation fields are extracted using the Discrete-to-Continuous method. The continuous dislocation fields are correlated with the stress and strain fields obtained from the MD simulations. Based on this analysis, we show that the elastic precursor overshoots the shear stress, after which dislocations on a specific group of slip planes are nucleated, slightly lagging behind the elastic front. Consequently, the resolved shear stress is relaxed, but the principal lateral stress increases. The latter leads to an increase in the resolved shear stress on a plane parallel to the shock wave, resulting in an additional retarded front of dislocation nucleation on planes parallel to the shock front. Finally, the two-stage process of plasticity results in an isotropic stress state in the plane parallel to the shock wave. The MD simulation results are employed to calculate the dislocation densities on specific slip planes and the plastic deformation behind the shock, bridging the gap between the information on the atomic scale and the continuum level.


title: SCALAR - Simultaneous Calibration of 2D Laser and Robot's Kinematic Parameters Using Three Planar Constraints

abstract: Industrial robots are increasingly used in various applications where the robot accuracy becomes very important, hence calibrations of the robot's kinematic parameters and the measurement system's extrinsic parameters are required. However, the existing calibration approaches are either too cumbersome or require another expensive external measurement system such as laser tracker or measurement spinarm. In this paper, we propose SCALAR, a calibration method to simultaneously improve the kinematic parameters of a 6-DoF robot and the extrinsic parameters of a 2D Laser Range Finder (LRF) which is attached to the robot. Three flat planes are placed around the robot, and for each plane the robot moves to several poses such that the LRF's ray intersect the respective plane. Geometric planar constraints are then used to optimize the calibration parameters using Levenberg- Marquardt nonlinear optimization algorithm. We demonstrate through simulations that SCALAR can reduce the average position and orientation errors of the robot system from 14.6mm and 4.05 degrees to 0.09mm and 0.02 degrees.


title: Large second harmonic generation of LiCs2PO4 caused by the metal-cation-centered groups

abstract: We evaluated the individual atom contributions to the second harmonic generation (SHG) coefficients of LiCs2PO4 (LCPO) by introducing the partial response functionals on the basis of first principles calculations. The SHG response of LCPO is dominated by the metal-cation-centered groups CsO6 and LiO4, not by the nonmetal-cation-centered groups PO4 one expects from the existing models and theories. The SHG coefficients of LCPO are determined mainly by the occupied orbitals O-2p and Cs-5p as well as by the unoccupied orbitals Cs-5d and Li-2p. For the SHG response of a material, the polarizable atomic orbitals of the occupied and the unoccupied states are both important.


title: Coherent electron transport in silicon quantum dots

abstract: With silicon being the go-to material for spin qubits, and motivated by the demand of a scalable quantum computer architecture for fast and reliable quantum information transfer on-chip, we study coherent electron transport in a silicon double quantum dot. We first examine the valley-orbital dynamics in a silicon double dot, and discuss how to properly measure the tunnel couplings as well as the valley phase difference between two quantum dots. We then focus on possible phase and spin flip errors during spin transport across a silicon double dot. In particular, we clarify correction on the effective $g$-factor for the electron spin from the double dot confinement potential, and quantify the resulting phase error. We then study spin fidelity loss due to spin-valley mixing, which is a unique feature of silicon quantum dots. We show that a small phase correction between valleys can cause a significant coherence loss. We also investigate spin flip errors caused by either an external inhomogeneous magnetic field or the intrinsic spin-orbit coupling. We show that the presence of valleys makes it possible to have much broader (in terms of interdot detuning) level anti-crossings compared to typical anti-crossings in, for example, a GaAs double dot, and such broad anti-crossings lead to amplification of spin flip errors. Lastly, we design a pulse sequence to suppress various possible spin flip errors by taking advantage of the multiple level anti-crossings in a silicon double dot and employing Landau-Zener transitions.


title: No Nonlocality. No Fractional Derivative

abstract: The paper discusses the characteristic properties of fractional derivatives of non-integer order. It is known that derivatives of integer orders are determined by properties of differentiable functions only in an infinitely small neighborhood of the considered point. Therefore differential equation, which is considered for this point and contains a finite number of integer-order derivatives, cannot describe nonlocality in space and time. This allows us to propose a principle of nonlocality for fractional derivatives. We state that if the differential equation with fractional derivative can be presented as a differential equation with a finite number of integer-order derivatives, then this fractional derivative cannot be considered as a derivative of non-integer order. This means that all results obtained for this type of fractional derivatives can be derived by using differential operators with integer orders. To illustrate the application of the nonlocality principle, we prove that the conformable fractional derivative, the M-fractional derivative, the alternative fractional derivative, the local fractional derivative and the Caputo-Fabrizio fractional derivatives with exponential kernels cannot be considered as fractional derivatives of non-integer orders.


title: Charge transport in doped zigzag phosphorene nanoribbons

abstract: The effects of lattice distortion and chemical disorder on charge transport properties of two-terminal zigzag phosphorene nanoribbons (zPNRs), which shows resonant tunneling behavior under an electrical applied bias, are studied. Our comprehensive study is based on an {\it ab~initio} quantum transport calculations on the basis of the Landauer theory. We use nitrogen and silicon substitutional dopant atoms, and employ different physical quantities such as $I-V$ curve, voltage drop behavior, transmission spectrum, transmission pathway, and atomic current, to explore the transport mechanism of zPNR devices under a bias voltage. The calculated transmission pathways show the transition from a ballistic transport regime to a diffusive and in some particular cases to localized transport regimes. Current flowing via the chemical bonds and hopping are monitored, however, the conductance originates mainly from a charge traveling through the chemical bonds in the vicinity of the zigzag edges. Our results show that, in the doped systems, the device conductance decreases and negative differential resistance characteristic becomes weak or eliminates. Besides, the conductance in a pure zPNR system is almost independent of the ribbon width.


title: Angular dependence of columnar recombination in high pressure xenon gas using time profile of scintillation emission

abstract: The angular dependence of the columnar recombination in xenon gas, if observed for low energy nuclear tracks, can be used for a direction-sensitive dark matter search. We measured both scintillation and ionization to study columnar recombination for 5.4 MeV alpha particles in a high pressure gas detector filled with 8 atm xenon. Since the recombination photons are emitted several~$\mu$s after de-excitation emission, scintillation photons are separated to the fast and slow components. The fast component does not show dependence on the track angle relative to the drift electric field, on the other hand, the slow component increases when the track is aligned with the electric field. The result indicates that the track angle relative to the electric field can be reconstructed from the scintillation time profile.


title: Decoupling of Two Closely Located Dipole Antennas by a Split-Loop Resonator

abstract: In this letter, we theoretically and experimentally prove the possibility of the complete passive decoupling for two parallel resonant dipoles by a split-loop resonator. Unlike previously achieved decoupling by a similar resonant dipole, this decoupling technique allows us to avoid the shrink of the operation band. Compare to previous work, simulation and measurement show 100\% enhancemnet of relative operation band from 0.2% to 0.4%


title: Convolutional Geometric Matrix Completion

abstract: Geometric matrix completion (GMC) has been proposed for recommendation by integrating the relationship (link) graphs among users/items into matrix completion (MC). Traditional GMC methods typically adopt graph regularization to impose smoothness priors for MC. Recently, geometric deep learning on graphs (GDLG) is proposed to solve the GMC problem, showing better performance than existing GMC methods including traditional graph regularization based methods. To the best of our knowledge, there exists only one GDLG method for GMC, which is called RMGCNN. RMGCNN combines graph convolutional network (GCN) and recurrent neural network (RNN) together for GMC. In the original work of RMGCNN, RMGCNN demonstrates better performance than pure GCN-based method. In this paper, we propose a new GMC method, called convolutional geometric matrix completion (CGMC), for recommendation with graphs among users/items. CGMC is a pure GCN-based method with a newly designed graph convolutional network. Experimental results on real datasets show that CGMC can outperform other state-of-the-art methods including RMGCNN in terms of both accuracy and speed.


title: Electronic Correlations Among the Dirac Electrons in $\alpha$-(BEDT-TTF)$_2$I$_3$ Unveiled by High-Pressure Optical Spectroscopy

abstract: The charge-ordered insulator $\alpha$-(BEDT-TTF)$_2$I$_3$ gradually evolves to a metal when pressure is applied, and at low temperatures the electronic bands form tilted Dirac-like cones. A metallic state with a frequency-independent optical conductivity indicates the coexistence of the trivial and massless Dirac electrons in the system. Our infrared investigations also reveal that at the boundary between insulating and metallic states an energy gap opens due to correlated massive Dirac fermions, which is gradually suppressed when pressure increases.


title: Study of systematics effects on the Cross Power Spectrum of 21 cm Line and Cosmic Microwave Background using Murchison Widefield Array Data

abstract: Observation of the 21cm line signal from neutral hydrogen during the Epoch of Reionization is challenging due to extremely bright Galactic and extragalactic foregrounds and complicated instrumental calibration. A reasonable approach for mitigating these problems is the cross correlation with other observables. In this work, we present the first results of the cross power spectrum (CPS) between radio images observed by the Murchison Widefield Array and the cosmic microwave background (CMB), measured by the Planck experiment. We study the systematics due to the ionospheric activity, the dependence of CPS on group of pointings, and frequency. The resulting CPS is consistent with zero because the error is dominated by the foregrounds in the 21cm observation. Additionally, the variance of the signal indicates the presence of unexpected systematics error at small scales. Furthermore, we reduce the error by one order of magnitude with application of a foreground removal using a polynomial fitting method. Based on the results, we find that the detection of the 21cm-CMB CPS with the MWA Phase I requires more than 99.95% of the foreground signal removed, 2000 hours of deep observation and 50% of the sky fraction coverage.


title: Gesture-based Piloting of an Aerial Robot using Monocular Vision

abstract: Aerial robots are becoming popular among general public, and with the development of artificial intelligence (AI), there is a trend to equip aerial robots with a natural user interface (NUI). Hand/arm gestures are an intuitive way to communicate for humans, and various research works have focused on controlling an aerial robot with natural gestures. However, the techniques in this area are still far from mature. Many issues in this area have been poorly addressed, such as the principles of choosing gestures from the design point of view, hardware requirements from an economic point of view, considerations of data availability, and algorithm complexity from a practical perspective. Our work focuses on building an economical monocular system particularly designed for gesture-based piloting of an aerial robot. Natural arm gestures are mapped to rich target directions and convenient fine adjustment is achieved. Practical piloting scenarios, hardware cost and algorithm applicability are jointly considered in our system design. The entire system is successfully implemented in an aerial robot and various properties of the system are tested.


title: Driving Digital Rock towards Machine Learning: predicting permeability with Gradient Boosting and Deep Neural Networks

abstract: We present a research study aimed at testing of applicability of machine learning techniques for prediction of permeability of digitized rock samples. We prepare a training set containing 3D images of sandstone samples imaged with X-ray microtomography and corresponding permeability values simulated with Pore Network approach. We also use Minkowski functionals and Deep Learning-based descriptors of 3D images and 2D slices as input features for predictive model training and prediction. We compare predictive power of various feature sets and methods. The later include Gradient Boosting and various architectures of Deep Neural Networks (DNN). The results demonstrate applicability of machine learning for image-based permeability prediction and open a new area of Digital Rock research.


title: Gauged Peccei-Quinn Symmetry - A Case of Simultaneous Breaking of SUSY and PQ Symmetry

abstract: Recently, a simple prescription to embed the global Peccei-Quinn (PQ) symmetry into a gauged $U(1)$ symmetry has been proposed. There, explicit breaking of the global PQ symmetry expected in quantum gravity are highly suppressed due to the gauged PQ symmetry. In this paper, we apply the gauged PQ mechanism to models where the global PQ symmetry and supersymmetry (SUSY) are simultaneously broken at around $\mathcal{O}(10^{11-12})$\,GeV. Such scenario is motivated by an intriguing coincidence between the supersymmetry breaking scale which explains the observed Higgs boson mass by the gravity mediated sfermion masses, and the PQ breaking scale which evades all the astrophysical and the cosmological constraints. As a concrete example, we construct a model which consists of a simultaneous supersymmetry/PQ symmetry breaking sector based on $SU(2)$ dynamics and an additional PQ symmetry breaking sector based on $SU(N)$ dynamics. We also show that new vector-like particles are predicted in the TeV range in the minimum model, which can be tested by the LHC experiments.


title: On large values of $L(\sigma,\chi)$

abstract: In recent years a variant of the resonance method was developed which allowed to obtain improved $\Omega$-results for the Riemann zeta function along vertical lines in the critical strip. In the present paper we show how this method can be adapted to prove the existence of large values of $|L(\sigma, \chi)|$ in the range $\sigma \in (1/2,1]$, and to estimate the proportion of characters for which $|L(\sigma, \chi)|$ is of such a large order. More precisely, for every fixed $\sigma \in (1/2,1)$ we show that for all sufficiently large $q$ there is a non-principal character $\chi$ (mod $q$) such that $\log |L(\sigma,\chi)| \geq C(\sigma) (\log q)^{1-\sigma} (\log \log q)^{-\sigma}$. In the case $\sigma=1$ we show that there is a non-principal character $\chi$ (mod $q$) for which $|L(1,\chi)| \geq e^\gamma \left(\log_2 q + \log_3 q - C \right)$. In both cases, our results essentially match the prediction for the actual order of such extreme values, based on probabilistic models.


title: Investigation of Noise Limitation Standardization and Evaluating the Low Frequency Noise's Influence on Human Performance using Online Psychoacoustic Test

abstract: A lot of research has been carried out to find out the influence of low frequency noise on human behavior. Based on currently available results, some countries have been developing National Standard to limit the low frequency noise to protect people's health and working performance. However, after investigating 28 National Standards about noise limitation of working machine and other noise emission standards of China, it is found that the stipulation of low frequency noise covers limited aspects. Most of the limitation used A-weight sound level as the evaluation index, which only presents the loudness perception of sound, not its influence. In this paper, two connected topics are presented. One is to investigate the Chinese National Standard and International Standard, in order to summarize all the noise limitation on low frequency noise. The second topic is the application of online psychoacoustic test to evaluate the influence of low frequency noise on human performance, which can enlarge the subjective testing sample size in order to facilitate the establishment of related National Standard. The online Hass effect experiment is repeated to verify the accuracy of online psychoacoustic test. The volunteers are asked to conduct several sessions of the colour identification problems under different kind of controlled noise. The accuracy and finishing time are taken into consideration to evaluate their performance under different kinds of noise. The results show that low frequency noise does affect humans' working performance and the existing Chinese Noise limitation Standards are inadequate in low frequency noise limitation.


title: On order automorphisms of the effect algebra

abstract: We give short proofs of two \v{S}emrl's descriptions of order automorphisms of the effect algebra. This sheds new light on both formulas that look quite complicated. Our proofs rely on Moln\'{a}r's characterization of order automorphisms of the cone of all positive operators.


title: Tingley's problem for $p$-Schatten von Neumann classes

abstract: Let $H$ and $H'$ be a complex Hilbert spaces. For $p\in(1, \infty)\backslash\{2\}$ we consider the Banach space $C_p(H)$ of all $p$-Schatten von Neumann operators, whose unit sphere is denoted by $S(C_p(H))$. We prove that every surjective isometry $\Delta: S(C_p(H))\to S(C_p(H'))$ can be extended to a complex linear or to a conjugate linear surjective isometry $T:C_p(H)\to C_p(H')$.


title: Aspl{\"u}nd's metric defined in the Logarithmic Image Processing (LIP) framework for colour and multivariate images

abstract: Aspl{\"u}nd's metric, which is useful for pattern matching, consists in a double-sided probing, i.e. the over-graph and the sub-graph of a function are probed jointly. It has previously been defined for grey-scale images using the Logarithmic Image Processing (LIP) framework. LIP is a non-linear model to perform operations between images while being consistent with the human visual system. Our contribution consists in extending the Aspl{\"u}nd's metric to colour and multivariate images using the LIP framework. Aspl{\"u}nd's metric is insensitive to lighting variations and we propose a colour variant which is robust to noise.


title: Objectivity (or lack there of): a comparison between predictions of quantum Darwinism and spectrum broadcast structure

abstract: Quantum Darwinism and spectrum broadcast structure describe the emergence of objectivity in quantum systems. However, it is unclear whether these two frameworks lead to consistent predictions on the objectivity of the state of a quantum system in a given scenario. In this paper, we jointly investigate quantum Darwinism and spectrum broadcasting, as well as the subdivision of quantum Darwinism into accessible information and quantum discord, in a two-level system interacting with an $N$-level environment via a random matrix coupling. We propose a novel partial trace method to suitably and consistently partition the effective $N$-level environment, and compare the predictions with those obtained using the partitioning method proposed by Perez [Phys. Rev. A 81, 052326 (2010)]. We find that Quantum Darwinism can apparently emerge under the Perez trace even when spectrum broadcast structure does not emerge, and the majority of the quantum mutual information between system and environment fractions is in fact quantum in nature. This work therefore shows there can be discrepancies between quantum Darwinism, and the nature of information and spectrum broadcast structure.


title: A test of reality using quantum entanglement in J/{\psi} $\to$ {\Lambda}$\bar{\Lambda}$

abstract: Quantum mechanics (QM) has been criticized for its violation of locality and reality since it was put forward. A series of hidden variable theories (HVTs) were evolved to ensure reality. In this paper, a new method to distinguish QM and HVTs is proposed. The angle between two decay planes is introduced as the observable and the distribution of it under two conditions is deduced. The feasibility to test it on BESIII experiment is discussed.


title: Black Hole Space-time In Dark Matter Halo

abstract: For the first time, we obtain the analytical form of black hole space-time metric in dark matter halo for the stationary situation. Using the relation between the rotation velocity (in the equatorial plane) and the spherical symmetric space-time metric coefficient, we obtain the space-time metric for pure dark matter. By considering the dark matter halo in spherical symmetric space-time as part of the energy-momentum tensors in the Einstein field equation, we then obtain the spherical symmetric black hole solutions in dark matter halo. Utilizing Newman-Jains method, we further generalize spherical symmetric black holes to rotational black holes. As examples, we obtain the space-time metric of black holes surrounded by Cold Dark Matter and Scalar Field Dark Matter halos, respectively. Our main results regarding the interaction between black hole and dark matter halo are as follows: (i) For both dark matter models, the density profile always produces "cusp" phenomenon in small scale in the relativity situation; (ii) Dark matter halo makes the black hole horizon to increase but the ergosphere to decrease, while the magnitude is small; (iii) Dark matter does not change the singularity of black holes. These results are useful to study the interaction of black hole and dark matter halo in stationary situation. Particularly, the "cusp" produced in the $0\sim 1$ kpc scale would be observable in the Milky Way. Perspectives on future work regarding the applications of our results in astrophysics are also briefly discussed.


title: Periodic Gibbs measures for the Potts-SOS model on a Cayley tree

abstract: In this paper for the Potts-SOS model on a Cayley tree under some conditions the existence of at least one periodic (non translation-invariant) Gibbs measure is proved.


title: Ground states for Potts model with a countable set of spin values on a Cayley tree

abstract: We consider Potts model, with competing interactions and countable spin values $\Phi=\{0,1,\dots \}$ on a Cayley tree of order three. We study periodic ground states for this model.


title: Anomalous Critical Slowdown at a First Order Phase Transition in Single Polymer Chains

abstract: Using Brownian Dynamics, we study the dynamical behavior of a polymer grafted onto an adhesive surface close to the mechanically induced adsorption-stretching transition. Even though the transition is first order, (in the infinite chain length limit, the stretching degree of the chain jumps discontinuously), the characteristic relaxation time is found to grow according to a power law as the transition point is approached. We present a dynamic effective interface model which reproduces these observations and provides an excellent quantitaive description of the simulations data. The generic nature of the theoretical model suggests that the unconventional mixing of features that are characteristic for first-order transitions (a jump in an order parameter) and features that are characteristic of critical points (anomalous slowdown) may be a common phenomenon in force-driven phase transitions of macromolecules.


title: Modified midpoint integration rule for the trilinear element in large deformation elasticity

abstract: In this paper we suggest two modified one-point Gauss integration rules for the Q1 bi- or trilinear element. The modifications both stabilize the hourglass modes of the one-point rule, and one of them is accurate also on severely distorted elements. We investigate the performance of the integration rules for the hexahedron element, and combine standard one-point integration of the volumetric terms with the modified rules for the isochoric terms to handle near incompressible situations.


title: Guiding neutral particles endowed with a magnetic moment by an electromagnetic wave carrying orbital angular momentum. II. Quantum mechanics

abstract: The quantum mechanical states of the neutral particle endowed with a magnetic moment in the combination of electromagnetic vortex field together with the constant magnetic field are dealt with. It is shown that this system of fields is capable to capture the particle in the perpendicular direction and guide it along the propagating wave. The quantum evolution is subject to tunneling processes, which can destroy the delicate trapping mechanism. The probability of these processes show that it should be in principle possible to catch and guide the particle for the time of several microseconds. This time can be lengthened by the appropriate adjustments of the external magnetic field.


title: Optimality of 1-norm regularization among weighted 1-norms for sparse recovery: a case study on how to find optimal regularizations

abstract: The 1-norm was proven to be a good convex regularizer for the recovery of sparse vectors from under-determined linear measurements. It has been shown that with an appropriate measurement operator, a number of measurements of the order of the sparsity of the signal (up to log factors) is sufficient for stable and robust recovery. More recently, it has been shown that such recovery results can be generalized to more general low-dimensional model sets and (convex) regularizers. These results lead to the following question: to recover a given low-dimensional model set from linear measurements, what is the "best" convex regularizer? To approach this problem, we propose a general framework to define several notions of "best regularizer" with respect to a low-dimensional model. We show in the minimal case of sparse recovery in dimension 3 that the 1-norm is optimal for these notions. However, generalization of such results to the n-dimensional case seems out of reach. To tackle this problem, we propose looser notions of best regularizer and show that the 1-norm is optimal among weighted 1-norms for sparse recovery within this framework.


title: Competition in periodic media: III -- Existence \& stability of segregated periodic coexistence states

abstract: In this paper we consider a system of parabolic reaction-diffusion equations with strong competition and two related scalar reaction-diffusion equations. We are mainly concerned with the case of periodic coefficients and periodic solutions. We show that, for sufficiently large periods, these models have stationary, non-constant, fully non-trivial and stable solutions. We compare our results with already known results about the existence and non-existence of such solutions. Finally, we provide ecological interpretations for these results in terms of resistance against an invasion.


title: Higher derivative corrections to the entropic force from holography

abstract: The entropic force has been recently argued to be responsible for dissociation of heavy quarkonia. In this paper, we analyze $R^2$ corrections and $R^4$ corrections to the entropic force, respectively. It is shown that for $R^2$ corrections, increasing $\lambda_{GB}$ (Gauss-Bonnet factor) leads to increasing the entropic force. While for $R^4$ corrections, increasing $\lambda$ ('t Hooft coupling) leads to decreasing the entropic force. Also, we discuss how the entropic force changes with the shear viscosity to entropy density ratio, $\eta/s$, at strong coupling.


title: Microhartree Precision in Density-Functional-Theory Calculations

abstract: To address ultimate precision in density-functional-theory calculations we employ the full-potential linearized augmented planewave + local-orbital (LAPW+lo) method and justify its usage as a benchmark method. LAPW+lo and two completely unrelated numerical approaches, multi-resolution analysis (MRA) and linear combination of atomic orbitals, yield total energies of atoms with a mean deviation of 0.9~{\mu}Ha and 0.2~{\mu}Ha, respectively. Spectacular agreement with the MRA is reached also for total and atomization energies of the G2-1 set consisting of 55 molecules. With the example of $\alpha$-iron we demonstrate the capability of LAPW+lo of reaching {\mu}Ha/atom precision also for periodic systems, which allows also for distinction between numerical precision and the accuracy of a given functional.


title: A Universal Break in the Planet-to-Star Mass-Ratio Function of Kepler MKG stars

abstract: We follow the microlensing approach and quantify the occurrence of Kepler exoplanets as a function of planet-to-star mass ratio, q, rather than planet radius or mass. For planets with radii ~1-6 R_earth and periods <100 days, we find that, except for a normalization factor, the occurrence rate vs q can be described by the same broken power law with a break at ~3 x10^{-5} independent of host type for hosts below 1 M_sun. These findings indicate that the planet-to-star mass ratio is a more fundamental quantity in planet formation than planet mass. We then compare our results to those from microlensing for which the overwhelming majority satisfies the M_host<1 M_sun criterion. The break in q for the microlensing planet population, which mostly probes the region outside the snowline, is 3-10 times higher than that inferred from Kepler. Thus, the most common planet inside the snowline is ~3-10 times less massive than the one outside. With rocky planets interior to gaseous planets, the Solar System broadly follows the combined mass-ratio function inferred from Kepler and microlensing. However, the exoplanet population has a less extreme radial distribution of planetary masses than the Solar System. Establishing whether the mass-ratio function beyond the snowline is also host type independent will be crucial to build a comprehensive theory of planet formation.


title: Finite-system effects on high-harmonic generation: from atoms to solids

abstract: Using time-dependent density functional theory, high-harmonic generation (HHG) is studied in one-dimensional structures of sizes from a single nucleus up to hundreds of nuclei. The HHG cutoff is observed to extent linearly with the system size from the well known atomic HHG cutoff and is found to converge into the previously observed cutoffs for bulk solids only for large systems. A change in the response from that of single atoms or small molecules is observed from system sizes of $N$ $\approx$ 6 nuclei and becomes independent of system size at $N \gtrsim 60$. The system-size dependence of the observed HHG cutoffs is found to follow the limitations, set by the finite size solid, on the classical motion of electron-hole pairs. Because of the relation between recombination energy and electron-hole propagation length in the system, high-energy recombination events are not possible in small systems but become accessible for larger systems resulting in the change of the cutoff energies with system size. When varying the field intensity we observe that the cutoffs move linearly with the intensity even for small systems of $N\gtrsim 6$ that are far from the limit of a bulk solid.


title: Neutron spin resonance in the 112-type iron-based superconductor

abstract: We use inelastic neutron scattering to study the low-energy spin excitations of 112-type iron pnictide Ca$_{0.82}$La$_{0.18}$Fe$_{0.96}$Ni$_{0.04}$As$_{2}$ with bulk superconductivity below $T_c=22$ K. A two-dimensional spin resonance mode is found around $E=$ 11 meV, where the resonance energy is almost temperature independent and linearly scales with $T_c$ along with other iron-based superconductors. Polarized neutron analysis reveals the resonance is nearly isotropic in spin space without any $L$ modulations. Due to the unique monoclinic structure with additional zigzag arsenic chains, the As $4p$ orbitals contribute to a three-dimensional hole pocket around $\Gamma$ point and an extra electron pocket at $X$ point. Our results suggest that the energy and momentum distribution of spin resonance does not directly response to the $k_z$ dependence of fermiology, and the spin resonance intrinsically is a spin-1 mode from singlet-triplet excitations of the Cooper pairs in the case of weak spin-orbital coupling.


title: Laser induced phase transition in epitaxial FeRh layers studied by pump-probe valence band photoemission

abstract: We use time-resolved X-ray photoelectron spectroscopy to probe the electronic and magnetization dynamics in FeRh films after ultrafast laser excitations. We present experimental and theoretical results which investigate the electronic structure of the FeRh during the first-order phase transition identifying a clear signature of the magnetic phase. We find that a spin polarized feature at the Fermi edge is a fingerprint of the magnetic status of the system that is independent of the long-range ferromagnetic alignment of the magnetic domains. We use this feature to follow the phase transition induced by a laser pulse in a pump-probe experiment and find that the magnetic transition occurs in less than 50 ps, and reaches its maximum in 100 ps.


title: Unsupervised Learning of Goal Spaces for Intrinsically Motivated Goal Exploration

abstract: Intrinsically motivated goal exploration algorithms enable machines to discover repertoires of policies that produce a diversity of effects in complex environments. These exploration algorithms have been shown to allow real world robots to acquire skills such as tool use in high-dimensional continuous state and action spaces. However, they have so far assumed that self-generated goals are sampled in a specifically engineered feature space, limiting their autonomy. In this work, we propose to use deep representation learning algorithms to learn an adequate goal space. This is a developmental 2-stage approach: first, in a perceptual learning stage, deep learning algorithms use passive raw sensor observations of world changes to learn a corresponding latent space; then goal exploration happens in a second stage by sampling goals in this latent space. We present experiments where a simulated robot arm interacts with an object, and we show that exploration algorithms using such learned representations can match the performance obtained using engineered representations.


title: Anisotropic pressure effects on superconductivity in Fe1+yTe1-xSx

abstract: We have investigated uniaxial and hydrostatic pressure effects on superconductivity in Fe1.07Te0.88S0.12 through magnetic-susceptibility measurements down to 1.8 K. The superconducting transition temperature Tc is enhanced by out-of-plane pressure (uniaxial pressure along the c-axis); the onset temperature of the superconductivity reaches 11.8 K at 0.4 GPa. In contrast, Tc is reduced by in-plane pressure (uniaxial pressure along the ab-plane) and hydrostatic pressure. Taking into account these results, it is inferred that the superconductivity of Fe1+yTe1-xSx is enhanced when the lattice constant c considerably shrinks. This implies that the relationship between Tc and the anion height for Fe1+yTe1-xSx is similar to that applicable to most iron-based superconductors. We consider the reduction of Tc by hydrostatic pressure due to suppression of spin fluctuations because the system moves away from antiferromagnetic ordering, and the enhancement of Tc by out-of-plane pressure due to the anion height effect on Tc.


title: Sparse Multiple Kernel Learning: Support Identification via Mirror Stratifiability

abstract: In statistical machine learning, kernel methods allow to consider infinite dimensional feature spaces with a computational cost that only depends on the number of observations. This is usually done by solving an optimization problem depending on a data fit term and a suitable regularizer. In this paper we consider feature maps which are the concatenation of a fixed, possibly large, set of simpler feature maps. The penalty is a sparsity inducing one, promoting solutions depending only on a small subset of the features. The group lasso problem is a special case of this more general setting. We show that one of the most popular optimization algorithms to solve the regularized objective function, the forward-backward splitting method, allows to perform feature selection in a stable manner. In particular, we prove that the set of relevant features is identified by the algorithm after a finite number of iterations if a suitable qualification condition holds. The main tools used in the proofs are the notions of stratification and mirror stratifiability.


title: Pseudo-hyperbolic Gauss maps of Lorentzian surfaces in anti-de Sitter space

abstract: In this paper, we determine the type numbers of the pseudo-hyperbolic Gauss maps of all oriented Lorentzian surfaces of constant mean and Gaussian curvatures and non-diagonalizable shape operator in the $3$-dimensional anti-de Sitter space. Also, we investigate the behavior of type numbers of the pseudo-hyperbolic Gauss map along the parallel family of such oriented Lorentzian surfaces in the $3$-dimensional anti-de Sitter space. Furthermore, we investigate the type number of the pseudo-hyperbolic Gauss map of one of Lorentzian hypersurfaces of B-scroll type in a general dimensional anti-de Sitter space.


title: Convergence rates for discretized Monge-Amp\`ere equations and quantitative stability of optimal transport

abstract: In recent works - both experimental and theoretical - it has been shown how to use computational geometry to efficently construct approximations to the optimal transport map between two given probability measures on Euclidean space, by discretizing one of the measures. Here we provide a quantative convergence analysis for the solutions of the corresponding discretized Monge-Amp\`ere equations. This yields L^{2}-converge rates, in terms of the corresponding spatial resolution h, of the discrete approximations of the optimal transport map, when the source measure is discretized and the target measure has bounded convex support. Periodic variants of the results are also established. The proofs are based on quantitative stability results for optimal transport maps, shown using complex geometry.


title: Simple and Local Independent Set Approximation

abstract: We bound the performance guarantees that follow from Tur\'an-like bounds for unweighted and weighted independent sets in bounded-degree graphs. In particular, a randomized approach of Boppana forms a simple 1-round distributed algorithm, as well as a streaming and preemptive online algorithm. We show it gives a tight $(\Delta+1)/2$-approximation in unweighted graphs of maximum degree $\Delta$, which is best possible for 1-round distributed algorithms. For weighted graphs, it gives only a $\Delta$-approximation, but a simple modification results in an asymptotic expected $0.529 \Delta$-approximation. This compares with a recent, more complex $\Delta$-approximation~\cite{BCGS17}, which holds deterministically.


title: Evaluation of tsunami wave energy generated by earthquakes in the Makran subduction zone

abstract: The Makran subduction zone, an approximate 1000 km section of the Eurasian-Arabian plate, is located offshore of Southern Iran and Pakistan. In 1945, the Makran subduction zone (MSZ) generated a tsunamigenic earthquake with a magnitude of Mw 8.1. The region has also experienced large historical earthquakes but the data regarding these events are poorly documented. Therefore, the need to investigate tsunamis in Makran must be taken into serious consideration. Using hydrodynamic numerical simulation, we evaluate the tsunami wave energy generated by bottom motion for a tsunamigenic source model distributed along the full length of the Makran subduction zone. The whole rupture of the plate boundary is divided into 20 segments with width of order of 200 km and a co-seismic slip of 10 m but with various lengths. Exchanges between kinetic and potential components of tsunami wave energy are shown. The total tsunami wave energy displays only 0.33% of the seismic energy released from the earthquake source. As a result, for every increase in magnitude by one unit, the associated tsunami wave energy becomes about 10^3 times greater.