title: Deep Convolutional Neural Networks for Anomaly Event Classification on Distributed Systems

abstract: The increasing popularity of server usage has brought a plenty of anomaly log events, which have threatened a vast collection of machines. Recognizing and categorizing the anomalous events thereby is a much salient work for our systems, especially the ones generate the massive amount of data and harness it for technology value creation and business development. To assist in focusing on the classification and the prediction of anomaly events, and gaining critical insights from system event records, we propose a novel log preprocessing method which is very effective to filter abundant information and retain critical characteristics. Additionally, a competitive approach for automated classification of anomalous events detected from the distributed system logs with the state-of-the-art deep (Convolutional Neural Network) architectures is proposed in this paper. We measure a series of deep CNN algorithms with varied hyper-parameter combinations by using standard evaluation metrics, the results of our study reveals the advantages and potential capabilities of the proposed deep CNN models for anomaly event classification tasks on real-world systems. The optimal classification precision of our approach is 98.14%, which surpasses the popular traditional machine learning methods.


title: Controlled Quantum Search

abstract: Quantum searching for one of $N$ marked items in an unsorted database of $n$ items is solved in $\mathcal{O}(\sqrt{n/N})$ steps using Grover's algorithm. Using nonlinear quantum dynamics with a Gross-Pitaevskii type quadratic nonlinearity, Childs and Young discovered an unstructured quantum search algorithm with a complexity $\mathcal{O}( \min \{ 1/g \, \log (g n), \sqrt{n} \} ) $, which can be used to find a marked item after $o(\log(n))$ repetitions, where $g$ is the nonlinearity strength [PhysRevA.93.022314]. In this work we develop a structured search on a complete graph using a time dependent nonlinearity which obtains one of the $N$ marked items with certainty. The protocol has runtime $\mathcal{O}((N^{\perp} - N) / (G \sqrt{N N^{\perp}}) ) if N^{\perp} > N$, where $N^{\perp}$ denotes the number of unmarked items and $G$ is related to the time dependent nonlinearity. If $N^{\perp} \leq N$, we obtain a runtime $\mathcal{O}( 1 )$. We also extend the analysis to a quantum search on general symmetric graphs and can greatly simplify the resulting equations when the graph diameter is less than 5.


title: Holographic heat engine with momentum relaxation

abstract: We investigate the heat engine defined via black hole with momentum relaxation, which is introduced by massless axion fields. We first study the extended thermodynamical properties of the black hole and then apply it to define a heat engine. Then, we analyze how the momentum relaxation affects the efficiency of the heat engine in the limit of high temperature. We find that depending on the schemes of specified parameters in the engine circle, the influence of momentum relaxation on the efficiency of the heat engine behaves novelly, and the qualitative behaviors do depend on the dimension of the gravity theory.


title: We Don't Need Another Hero? The Impact of "Heroes" on Software Development

abstract: A software project has "Hero Developers" when 80% of contributions are delivered by 20% of the developers. Are such heroes a good idea? Are too many heroes bad for software quality? Is it better to have more/less heroes for different kinds of projects? To answer these questions, we studied 661 open source projects from Public open source software (OSS) Github and 171 projects from an Enterprise Github. We find that hero projects are very common. In fact, as projects grow in size, nearly all project become hero projects. These findings motivated us to look more closely at the effects of heroes on software development. Analysis shows that the frequency to close issues and bugs are not significantly affected by the presence of project type (Public or Enterprise). Similarly, the time needed to resolve an issue/bug/enhancement is not affected by heroes or project type. This is a surprising result since, before looking at the data, we expected that increasing heroes on a project will slow down howfast that project reacts to change. However, we do find a statistically significant association between heroes, project types, and enhancement resolution rates. Heroes do not affect enhancement resolution rates in Public projects. However, in Enterprise projects, the more heroes increase the rate at which project complete enhancements. In summary, our empirical results call for a revision of a long-held truism in software engineering. Software heroes are far more common and valuable than suggested by the literature, particularly for medium to large Enterprise developments. Organizations should reflect on better ways to find and retain more of these heroes


title: Cooling Flexural Modes of a Mechanical Oscillator by Magnetic Trapped Bose-Einstein Condensate Atoms

abstract: We theoretically study cooling of flexural modes of a mechanical oscillator by Bose-Einstein Condensate (BEC) atoms (Rb87) trapped in a magnetic trap. The mechanical oscillator with a tiny magnet attached on one of its free ends produces an oscillating magnetic field. When its oscillating frequency matches certain hyperfine Zeeman energy of Rb87 atoms, the trapped BEC atoms are coupled out of the magnetic trap by the mechanical oscillator, flying away from the trap with stolen energy from the mechanical oscillator. Thus the mode temperature of the mechanical oscillator is reduced. The mode temperature of the steady state of a mechanical oscillator, measured by the mean steady-state phonon number in the flexural mode of the mechanical oscillator, is analyzed. It is found that ground state (phonon number less than 1) may be accessible with optimal parameters of the hybrid system of a mechanical oscillator and trapped BEC atoms.


title: Time-dependent wave packet dynamics calculations of cross sections for ultracold scattering of molecules

abstract: Because the de Broglie wavelength of ultracold molecules is very large, the cross sections for collisions of molecules at ultracold temperatures are always computed by the time-independent quantum scattering approach. Here, we report the first accurate time-dependent wave packet dynamics calculation for reactive scattering of ultracold molecules. Wave packet dynamics calculations can be applied to molecular systems with more dimensions and provide real-time information on the process of bond-rearrangement and/or energy exchange in molecular collisions. Our work thus makes possible the extension of rigorous quantum calculations of ultracold reaction properties to polyatomic molecules and adds a new powerful tool for the study of ultracold chemistry.


title: Statistical properties for compositions of standard maps with increasing coefficent

abstract: The Chirikov standard map family is a one-parameter family of volume-preserving maps exhibiting hyperbolicity on a `large' but noninvariant subset of phase space. Based on this predominant hyperbolicity and numerical experiments, it is anticipated that the standard map has positive metric entropy for many parameter values. However, rigorous analysis is notoriously difficult, and it remains an open question whether the standard map has positive metric entropy for any parameter value. Here we study a problem of intermediate difficulty: compositions of standard maps with increasing parameter. When the coefficients increase to infinity at a sufficiently fast polynomial rate, we obtain a Strong Law, Central Limit Theorem, and quantitative mixing estimate for Holder observables. The methods used are not specific to the standard map and apply to a class of compositions of `prototypical' 2D maps with hyperbolicity on `most' of phase space.


title: NaSn2As2: An Exfoliatable Layered van der Waals Zintl Phase

abstract: The discovery of new families of exfoliatable 2D crystals that have diverse sets of electronic, optical, and spin-orbit coupling properties, enables the realization of unique physical phenomena in these few-atom thick building blocks and in proximity to other materials. Herein, using NaSn2As2 as a model system, we demonstrate that layered Zintl phases having the stoichiometry ATt2Pn2 (A = Group 1 or 2 element, Tt = Group 14 tetrel element and Pn = Group 15 pnictogen element) and feature networks separated by van der Waals gaps can be readily exfoliated with both mechanical and liquid-phase methods. We identified the symmetries of the Raman active modes of the bulk crystals via polarized Raman spectroscopy. The bulk and mechanically exfoliated NaSn2As2 samples are resistant towards oxidation, with only the top surface oxidizing in ambient conditions over a couple of days, while the liquid-exfoliated samples oxidize much more quickly in ambient conditions. Employing angle-resolved photoemission spectroscopy (ARPES), density functional theory (DFT), and transport on bulk and exfoliated samples, we show that NaSn2As2 is a highly conducting 2D semimetal, with resistivities on the order of 10-6 {\Omega} m. Due to peculiarities in the band structure, the dominating p-type carriers at low temperature are nearly compensated by the opening of n-type conduction channels as temperature increases. This work further expands the family of exfoliatable 2D materials to layered van der Waals Zintl phases, opening up opportunities in electronics and spintronics.


title: Device model for pixelless infrared image up-converters based on polycrystalline graphene heterostructures

abstract: We develop a device model for pixelless converters of far/mid-infrared radiation (FIR/MIR) images into near-infrared/visible (NIR/VIR) images. These converters use polycrystalline graphene layers (PGLs) immersed in the van der Waals (vdW) materials integrated with light emitting diode (LED). The PGL serves as an element of the PGL infrared photodetector (PGLIP) sensitive to the incoming FIR/MIR due to the interband absorption. The spatially non-uniform photocurrent generated in the PGLIP repeats (mimics) the non-uniform distribution (image) created by the incident FIR/MIR. The injection of the nonuniform photocurrent into the LED active layer results in the nonuniform NIR/VIR image reproducing the FIR/MIR image. The PGL and the entire layer structure are not deliberately partitioned into pixels. We analyze the characteristics of such pixelless PGLIP-LED up-converters and show that their image contrast transfer function and the up-conversion efficiency depend on the PGL lateral resistivity. The up-converter exhibits high photoconductive gain and conversion efficiency when the lateral resistivity is sufficiently high. Several teams have successfully demonstrated the large area PGLs with the resistivities varying in a wide range. Such layers can be used in the pixelless PGLIP-LED image up-converters. The PGLIP-LED image up-converters can substantially surpass the image up-converters based on the quantum-well infrared photodetector (QWIP) integrated with the LED. These advantages are due to the use of the interband FIR/NIR absorption and a high photoconductive gain in the GLIPs.


title: Leaking Uninitialized Secure Enclave Memory via Structure Padding (Extended Abstract)

abstract: Intel software guard extensions (SGX) aims to provide an isolated execution environment, known as an enclave, for a user-level process to maximize its confidentiality and integrity. In this paper, we study how uninitialized data inside a secure enclave can be leaked via structure padding. We found that, during ECALL and OCALL, proxy functions that are automatically generated by the Intel SGX Software Development Kit (SDK) fully copy structure variables from an enclave to the normal memory to return the result of an ECALL function and to pass input parameters to an OCALL function. If the structure variables contain padding bytes, uninitialized enclave memory, which might contain confidential data like a private key, can be copied to the normal memory through the padding bytes. We also consider potential countermeasures against these security threats.


title: Mass hierarchy and energy scaling of the Tsallis--Pareto parameters in hadron productions at RHIC and LHC energies

abstract: The latest, high-accuracy identified hadron spectra measurements in high-energy nuclear collisions led us to the investigation of the strongly interacting particles and collective effects in small systems. Since microscopical processes result in a statistical Tsallis-Pareto distribution, the fit parameters $q$ and $T$ are well suited for identifying system size scalings and initial conditions. Moreover, parameter values provide information on the deviation from the extensive, Boltzmann-Gibbs statistics in finite-volumes. We apply here the fit procedure developed in our earlier study for proton-proton collisions. The observed mass and $\sqrt{s}$ energy trends in the hadron production are compared to RHIC dAu and LHC pPb data in different centrality/multiplicity classes. Here we present new results on mass hierarchy in pp and pA from light to heavy hadrons.


title: From Gauss Graphs to Giants

abstract: We identify the operators in ${\cal N}=4$ super Yang-Mills theory that correspond to ${1\over 8}$-BPS giant gravitons in AdS$_5\times$S$^5$. Our evidence for the identification comes from (1) counting these operators and showing agreement with independent counts of the number of giant graviton states, and (2) by demonstrating a correspondence between correlation functions of the super Yang-Mills operators and overlaps of the giant graviton wave functions.


title: End-to-End Optimized Speech Coding with Deep Neural Networks

abstract: Modern compression algorithms are often the result of laborious domain-specific research; industry standards such as MP3, JPEG, and AMR-WB took years to develop and were largely hand-designed. We present a deep neural network model which optimizes all the steps of a wideband speech coding pipeline (compression, quantization, entropy coding, and decompression) end-to-end directly from raw speech data -- no manual feature engineering necessary, and it trains in hours. In testing, our DNN-based coder performs on par with the AMR-WB standard at a variety of bitrates (~9kbps up to ~24kbps). It also runs in realtime on a 3.8GhZ Intel CPU.


title: Three-dimensional discrete Boltzmann models for compressible flows in and out of equilibrium

abstract: We present a series of three-dimensional discrete Boltzmann (DB) models for compressible flows in and out of equilibrium. The key formulating technique is the construction of discrete equilibrium distribution function through inversely solving the kinetic moment relations that it satisfies. The crucial physical requirement is that all the used kinetic moment relations must be consistent with the non-equilibrium statistical mechanics. The necessity of such a kinetic model is that, with increasing the complexity of flows, the dynamical characterization of non-equilibrium state and the understanding of the constitutive relations need higher order kinetic moments and their evolution. The DB models at the Euler and Navier-Stokes levels proposed by this scheme are validated by several well-known benchmarks, ranging from one-dimension to three-dimension. Particularly, when the local Mach number, temperature ratio, and pressure ratio are as large as $10^2$, $10^4$, and $10^5$, respectively, the simulation results are still in excellent agreement with the Riemann solutions. How to model deeper thermodynamic non-equilibrium flows by DB is indicated. Via the DB method, it convenient to simulate nonequilibrium flows without knowing exact form of the hydrodynamic equations.


title: The spectrum of the Laplacian on forms over flat manifolds

abstract: In this article we prove that the spectrum of the Laplacian on $k$-forms over a noncompact flat manifold is always a connected closed interval of the nonnegative real line. The proof is based on a detailed decomposition of the structure of flat manifolds.


title: Local-to-Global Extensions to Wildly Ramified Covers of Curves

abstract: Given a Galois cover of curves X to Y with Galois group G which is totally ramified at a point x and unramified elsewhere, restriction to the punctured formal neighborhood of x induces a Galois extension of Laurent series rings k((u))/k((t)). If we fix a base curve Y , we can ask when a Galois extension of Laurent series rings comes from a global cover of Y in this way. Harbater proved that over a separably closed field, this local-to-global principle holds for any base curve if G is a p-group, and gave a condition for the uniqueness of such an extension. Using a generalization of Artin-Schreier theory to non-abelian p-groups, we characterize the curves Y for which this lifting property holds and when it is unique, but over a more general ground field.


title: The connection between zero chromaticity and long in-plane polarization lifetime in a magnetic storage ring

abstract: In this paper, we demonstrate the connection between a magnetic storage ring with additional sextupole fields set so that the x and y chromaticities vanish and the maximizing of the lifetime of in-plane polarization (IPP) for a 0.97-GeV/c deuteron beam. The IPP magnitude was measured by continuously monitoring the down-up scattering asymmetry (sensitive to sideways polarization) in an in-beam, carbon-target polarimeter and unfolding the precession of the IPP due to the magnetic anomaly of the deuteron. The optimum operating conditions for a long IPP lifetime were made by scanning the field of the storage ring sextupole magnet families while observing the rate of IPP loss during storage of the beam. The beam was bunched and electron cooled. The IPP losses appear to arise from the change of the orbit circumference, and consequently the particle speed and spin tune, due to the transverse betatron oscillations of individual particles in the beam. The effects of these changes are canceled by an appropriate sextupole field setting.


title: Shape-Constrained Density Estimation via Optimal Transport

abstract: Constraining the maximum likelihood density estimator to satisfy a sufficiently strong constraint, $\log-$concavity being a common example, has the effect of restoring consistency without requiring additional parameters. Since many results in economics require densities to satisfy a regularity condition, these estimators are also attractive for the structural estimation of economic models. In all of the examples of regularity conditions provided by Bagnoli and Bergstrom (2005) and Ewerhart (2013), $\log-$concavity is sufficient to ensure that the density satisfies the required conditions. However, in many cases $\log-$concavity is far from necessary, and it has the unfortunate side effect of ruling out sub-exponential tail behavior. In this paper, we use optimal transport to formulate a shape constrained density estimator. We initially describe the estimator using a $\rho-$concavity constraint. In this setting we provide results on consistency, asymptotic distribution, convexity of the optimization problem defining the estimator, and formulate a test for the null hypothesis that the population density satisfies a shape constraint. Afterward, we provide sufficient conditions for these results to hold using an arbitrary shape constraint. This generalization is used to explore whether the California Department of Transportation's decision to award construction contracts with the use of a first price auction is cost minimizing. We estimate the marginal costs of construction firms subject to Myerson's (1981) regularity condition, which is a requirement for the first price reverse auction to be cost minimizing. The proposed test fails to reject that the regularity condition is satisfied.


title: Confinement Loss in Hollow-Core Negative Curvature Fiber: a Multi-Layered Model

abstract: Simple structures are always a pursuit but sometimes not easily attainable. It took researchers nearly two decades for conceiving the structure of single-ring hollow-core negative curvature fiber (NCF). Recently NCF eventually approaches to the centre of intense study in fiber optics. The reason behind this slow-pace development is, undoubtfully, its inexplicit guidance mechanism. This paper aims at gaining a clear physical insight into the optical guidance mechanism in NCF. To clarify the origins of light confinement, we boldly disassemble the NCF structure into several layers and develop a multi-layered model. Four physical origins, namely single-path Fresnel transmission through cascaded interfaces, near-grazing incidence, multi-path interference caused by Fresnel reflection, and glass wall shape are revealed and their individual contributions are quantified for the first time. Such an elegant model could not only elucidate the optical guidance in existing types of hollow-core fibers but also assist in design of novel structure for new functions.


title: Asymptotic properties and approximation of Bayesian logspline density estimators for communication-free parallel computing methods

abstract: In this article we perform an asymptotic analysis of parallel Bayesian logspline density estimators. Such estimators are useful for the analysis of datasets that are partitioned into subsets and stored in separate databases without the capability of accessing the full dataset from a single computer. The parallel estimator we introduce is in the spirit of a kernel density estimator introduced in recent studies. We provide a numerical procedure that produces the normalized density estimator itself in place of the sampling algorithm. We then derive an error bound for the mean integrated squared error of the full dataset posterior estimator. The error bound depends upon the parameters that arise in logspline density estimation and the numerical approximation procedure. In our analysis, we identify the choices for the parameters that result in the error bound scaling optimally in relation to the number of samples. This provides our method with increased estimation accuracy, while also minimizing the computational cost.


title: Asymptotically Efficient Estimation of Smooth Functionals of Covariance Operators

abstract: Let $X$ be a centered Gaussian random variable in a separable Hilbert space ${\mathbb H}$ with covariance operator $\Sigma.$ We study a problem of estimation of a smooth functional of $\Sigma$ based on a sample $X_1,\dots ,X_n$ of $n$ independent observations of $X.$ More specifically, we are interested in functionals of the form $\langle f(\Sigma), B\rangle,$ where $f:{\mathbb R}\mapsto {\mathbb R}$ is a smooth function and $B$ is a nuclear operator in ${\mathbb H}.$ We prove concentration and normal approximation bounds for plug-in estimator $\langle f(\hat \Sigma),B\rangle,$ $\hat \Sigma:=n^{-1}\sum_{j=1}^n X_j\otimes X_j$ being the sample covariance based on $X_1,\dots, X_n.$ These bounds show that $\langle f(\hat \Sigma),B\rangle$ is an asymptotically normal estimator of its expectation ${\mathbb E}_{\Sigma} \langle f(\hat \Sigma),B\rangle$ (rather than of parameter of interest $\langle f(\Sigma),B\rangle$) with a parametric convergence rate $O(n^{-1/2})$ provided that the effective rank ${\bf r}(\Sigma):= \frac{{\bf tr}(\Sigma)}{\|\Sigma\|}$ (${\rm tr}(\Sigma)$ being the trace and $\|\Sigma\|$ being the operator norm of $\Sigma$) satisfies the assumption ${\bf r}(\Sigma)=o(n).$ At the same time, we show that the bias of this estimator is typically as large as $\frac{{\bf r}(\Sigma)}{n}$ (which is larger than $n^{-1/2}$ if ${\bf r}(\Sigma)\geq n^{1/2}$). In the case when ${\mathbb H}$ is finite-dimensional space of dimension $d=o(n),$ we develop a method of bias reduction and construct an estimator $\langle h(\hat \Sigma),B\rangle$ of $\langle f(\Sigma),B\rangle$ that is asymptotically normal with convergence rate $O(n^{-1/2}).$ Moreover, we study asymptotic properties of the risk of this estimator and prove minimax lower bounds for arbitrary estimators showing the asymptotic efficiency of $\langle h(\hat \Sigma),B\rangle$ in a semi-parametric sense.


title: Isomorphisms of $AC(\sigma)$ spaces for countable sets

abstract: It is known that the classical Banach--Stone theorem does not extend to the class of $AC(\sigma)$ spaces of absolutely continuous functions defined on compact subsets of the complex plane. On the other hand, if $\sigma$ is restricted to the set of compact polygons, then all the corresponding $AC(\sigma)$ spaces are isomorphic. In this paper we examine the case where $\sigma$ is the spectrum of a compact operator, and show that in this case one can obtain an infinite family of homeomorphic sets for which the corresponding function spaces are not isomorphic.


title: A Pattern Language for High-Performance Computing Resilience

abstract: High-performance computing systems (HPC) provide powerful capabilities for modeling, simulation, and data analytics for a broad class of computational problems. They enable extreme performance of the order of quadrillion floating-point arithmetic calculations per second by aggregating the power of millions of compute, memory, networking and storage components. With the rapidly growing scale and complexity of HPC systems for achieving even greater performance, ensuring their reliable operation in the face of system degradations and failures is a critical challenge. System fault events often lead the scientific applications to produce incorrect results, or may even cause their untimely termination. The sheer number of components in modern extreme-scale HPC systems and the complex interactions and dependencies among the hardware and software components, the applications, and the physical environment makes the design of practical solutions that support fault resilience a complex undertaking. To manage this complexity, we developed a methodology for designing HPC resilience solutions using design patterns. We codified the well-known techniques for handling faults, errors and failures that have been devised, applied and improved upon over the past three decades in the form of design patterns. In this paper, we present a pattern language to enable a structured approach to the development of HPC resilience solutions. The pattern language reveals the relations among the resilience patterns and provides the means to explore alternative techniques for handling a specific fault model that may have different efficiency and complexity characteristics. Using the pattern language enables the design and implementation of comprehensive resilience solutions as a set of interconnected resilience patterns that can be instantiated across layers of the system stack.


title: On the strict convexity of the K-energy

abstract: Let (X,L) be a polarized projective complex manifold. We show, by a simple toric one-dimensional example, that Mabuchi's K-energy functional on the geodesically complete space of bounded positive (1,1)-forms in the first Chern class of L, endowed with the Mabuchi metric, is not strictly convex modulo automorphisms. However, under some further assumptions the strict convexity in question does hold in the toric case. This leads to a uniqueness result saying that a finite energy minimizer of the K-energy (which exists on any toric polarized manifold (X,L) which is uniformly K-stable) is uniquely determined modulo automorphisms under the assumption that there exists some minimizer with strictly positive curvature current.


title: Emergence of Leadership in Communication

abstract: We study a neuro-inspired model that mimics a discussion (or information dissemination) process in a network of agents. During their interaction, agents redistribute activity and network weights, resulting in emergence of leader(s). The model is able to reproduce the basic scenarios of leadership known in nature and society: laissez-faire (irregular activity, weak leadership, sizable inter-follower interaction, autonomous sub-leaders); participative or democratic (strong leadership, but with feedback from followers); and autocratic (no feedback, one-way influence). Several pertinent aspects of these scenarios are found as well---e.g., hidden leadership (a hidden clique of agents driving the official autocratic leader), and successive leadership (two leaders influence followers by turns). We study how these scenarios emerge from inter-agent dynamics and how they depend on behavior rules of agents---in particular, on their inertia against state changes.


title: Crop Planning using Stochastic Visual Optimization

abstract: As the world population increases and arable land decreases, it becomes vital to improve the productivity of the agricultural land available. Given the weather and soil properties, farmers need to take critical decisions such as which seed variety to plant and in what proportion, in order to maximize productivity. These decisions are irreversible and any unusual behavior of external factors, such as weather, can have catastrophic impact on the productivity of crop. A variety which is highly desirable to a farmer might be unavailable or in short supply, therefore, it is very critical to evaluate which variety or varieties are more likely to be chosen by farmers from a growing region in order to meet demand. In this paper, we present our visual analytics tool, ViSeed, showcased on the data given in Syngenta 2016 crop data challenge 1 . This tool helps to predict optimal soybean seed variety or mix of varieties in appropriate proportions which is more likely to be chosen by farmers from a growing region. It also allows to analyse solutions generated from our approach and helps in the decision making process by providing insightful visualizations


title: A Quantum inspired proof of $P^{\#P} \subseteq IP$

abstract: We provide a new, quantum inspired, proof for the celebrated claim of [LFKN92] that $P^{\#P} \subseteq IP$. The protocol is fundamentally different from the original sum-check protocol of [LFKN92, Sha92], as well as from variants of this proof [GKR08, Mei09], though it still possesses the overall structure of inductively checking consistency between subsequent step. The protocol is inspired by [AAV13]. Hopefully, this protocol will be helpful in making progress towards two major open problems: resolving the quantum PCP question, and verification of quantum computations using a classical BPP verifier. Given the historical importance of the sum-check protocol in classical computational complexity, we hope that the new protocol will also find applications in classical complexity theory.


title: The Polynomial Method Strikes Back: Tight Quantum Query Bounds via Dual Polynomials

abstract: The approximate degree of a Boolean function f is the least degree of a real polynomial that approximates f pointwise to error at most 1/3. Approximate degree is known to be a lower bound on quantum query complexity. We resolve or nearly resolve the approximate degree and quantum query complexities of the following basic functions: $\bullet$ $k$-distinctness: For any constant $k$, the approximate degree and quantum query complexity of $k$-distinctness is $\Omega(n^{3/4-1/(2k)})$. This is nearly tight for large $k$ (Belovs, FOCS 2012). $\bullet$ Image size testing: The approximate degree and quantum query complexity of testing the size of the image of a function $[n] \to [n]$ is $\tilde{\Omega}(n^{1/2})$. This proves a conjecture of Ambainis et al. (SODA 2016), and it implies the following lower bounds: $-$ $k$-junta testing: A tight $\tilde{\Omega}(k^{1/2})$ lower bound, answering the main open question of Ambainis et al. (SODA 2016). $-$ Statistical Distance from Uniform: A tight $\tilde{\Omega}(n^{1/2})$ lower bound, answering the main question left open by Bravyi et al. (STACS 2010 and IEEE Trans. Inf. Theory 2011). $-$ Shannon entropy: A tight $\tilde{\Omega}(n^{1/2})$ lower bound, answering a question of Li and Wu (2017). $\bullet$ Surjectivity: The approximate degree of the Surjectivity function is $\tilde{\Omega}(n^{3/4})$. The best prior lower bound was $\Omega(n^{2/3})$. Our result matches an upper bound of $\tilde{O}(n^{3/4})$ due to Sherstov, which we reprove using different techniques. The quantum query complexity of this function is known to be $\Theta(n)$ (Beame and Machmouchi, QIC 2012 and Sherstov, FOCS 2015). Our upper bound for Surjectivity introduces new techniques for approximating Boolean functions by low-degree polynomials. Our lower bounds are proved by significantly refining techniques recently introduced by Bun and Thaler (FOCS 2017).


title: Invariant and anti-invariant submanifolds of special quasi-sasakian manifolds

abstract: The present paper deals with the study of Chaki-pseudo parallel and Deszcz-pseudo parallel invariant submanifolds of SQ-Sasakian manifolds with respect to Levi-Civita connection and semisymmetric metric connection and obtain that these two classes are equivalent with a certain condition. Also the invariant and anti-invariant submanifolds of SQ-Sasakian manifolds with respect to Levi-Civita connection as well as semisymmetric metric connection whose metrics are Ricci solitons are studied.


title: Signatures of Mechanosensitive Gating

abstract: The question of how mechanically-gated membrane channels open and close is notoriously difficult to address, especially if the protein structure is not available. This perspective highlights the relevance of micropipette-aspirated single-particle tracking--- used to obtain a channel's diffusion coefficient, $D$, as a function of applied membrane tension, $\sigma$--- as an indirect assay for determining functional behaviour in mechanosensitive channels. Whilst ensuring that the protein remains integral to the membrane, such methods can be used to identify not only the gating mechanism of a protein, but also associated physical moduli, such as torsional- and dilational-rigidity, which correspond to the protein's effective shape change. As an example, three distinct $D$ versus $\sigma$ "signatures" are calculated, corresponding to gating by dilation, gating by tilt, and a combination of both dilation and tilt. Both advantages and disadvantages of the approach are discussed.


title: Josephson Effect in Singlet Superconductor-Ferromagnet-Triplet Superconductor Junction

abstract: We study the current-phase relation of a ballistic SIFIT junction, consisting of a spin-singlet superconductor (S), a weak ferromagnetic metal (F), a spin-triplet superconductor (T), and insulating ferromagnetic interfaces (I). We use the generalized quasiclassical formalism developed by A. Millis et al. to compute the current density and the free energy of the junction for arbitrary orientation of the magnetizations of the junction barrier. We investigate in detail the effect of the distribution of magnetization on the various harmonics of the current-phase relation and the transition of the ground state of the junction. The $\phi$-state junction can be realized for a noncollinear orientation of the barrier magnetizations in the plane perpendicular to the d-vector of the triplet superconductor.


title: State Space Reduction for Reachability Graph of CSM Automata

abstract: Classical CTL temporal logics are built over systems with interleaving model concurrency. Many attempts are made to fight a state space explosion problem (for instance, compositional model checking). There are some methods of reduction of a state space based on independence of actions. However, in CSM model, which is based on coincidences rather than on interleaving, independence of actions cannot be defined. Therefore a state space reduction basing on identical temporal consequences rather than on independence of action is proposed. The new reduction is not as good as for interleaving systems, because all successors of a state (in depth of two levels) must be obtained before a reduction may be applied. This leads to reduction of space required for representation of a state space, but not in time of state space construction. Yet much savings may occur in regular state spaces for CSM systems.


title: Verification of Design Decisions in Communication Protocol by Evaluation of Temporal Logic Formulas

abstract: During the project of a communication protocol, many design decisions influence the behavior of the protocol and its correctness. Formal specification and verification of the protocol may prove its correctness. In this paper, an example of a verification of design decision using formal specification in CSM automata and verification in temporal logic is presented.


title: Re-evaluating the need for Modelling Term-Dependence in Text Classification Problems

abstract: A substantial amount of research has been carried out in developing machine learning algorithms that account for term dependence in text classification. These algorithms offer acceptable performance in most cases but they are associated with a substantial cost. They require significantly greater resources to operate. This paper argues against the justification of the higher costs of these algorithms, based on their performance in text classification problems. In order to prove the conjecture, the performance of one of the best dependence models is compared to several well established algorithms in text classification. A very specific collection of datasets have been designed, which would best reflect the disparity in the nature of text data, that are present in real world applications. The results show that even one of the best term dependence models, performs decent at best when compared to other independence models. Coupled with their substantially greater requirement for hardware resources for operation, this makes them an impractical choice for being used in real world scenarios.


title: Forbidding rank-preserving copies of a poset

abstract: The maximum size, $La(n,P)$, of a family of subsets of $[n]=\{1,2,...,n\}$ without containing a copy of $P$ as a subposet, has been intensively studied. Let $P$ be a graded poset. We say that a family $\mathcal{F}$ of subsets of $[n]=\{1,2,...,n\}$ contains a \emph{rank-preserving} copy of $P$ if it contains a copy of $P$ such that elements of $P$ having the same rank are mapped to sets of same size in $\mathcal{F}$. The largest size of a family of subsets of $[n]=\{1,2,...,n\}$ without containing a rank-preserving copy of $P$ as a subposet is denoted by $La_{rp}(n,P)$. Clearly, $La(n,P) \le La_{rp}(n,P)$ holds. In this paper we prove asymptotically optimal upper bounds on $La_{rp}(n,P)$ for tree posets of height $2$ and monotone tree posets of height $3$, strengthening a result of Bukh in these cases. We also obtain the exact value of $La_{rp}(n,\{Y_{h,s},Y_{h,s}'\})$ and $La(n,\{Y_{h,s},Y_{h,s}'\})$, where $Y_{h,s}$ denotes the poset on $h+s$ elements $x_1,\dots,x_h,y_1,\dots,y_s$ with $x_1<\dots<x_h<y_1,\dots,y_s$ and $Y'_{h,s}$ denotes the dual poset of $Y_{h,s}$.


title: Cold Atoms in Driven Optical Lattices

abstract: The center of mass dynamics of cold atoms and the Bose-Einstein condensate in one dimensional optical lattice is considered both in the absence and in the presence of external forcing. We discuss three situations for matter waves: first, the cold atoms; second, sufficiently dilute condensate where the dynamics are governed by the single particle wave packet dynamics; third, strong interaction regime, where, inter-atomic interaction can no longer be ignored. The analytical formalism developed for the two regimes, namely, deep optical lattice and shallow optical lattice. Parametric dependencies of energy spectrum and classical period, revival time and super revival are explained for the two regimes. The dynamics of condensate in driven optical lattice crystal are analyzed by studying dynamical stability of the condensate. The stability is determined by the dispersion behavior of the condensate excited in driven optical lattice. The recurrence behavior of the condensate close to the nonlinear resonances is analyzed as a function of time for delicate recurrences which take place for instance when lattice is weakly perturbed and robust recurrences which may manifest themselves for sufficiently strong external driving force. The analysis is not only valid for dilute condensate but also applicable for strongly interacting homogeneous condensate provided, the external modulation causes no significant change in density profile of the condensate. We explain parametric dependence of the dynamical recurrence times which can easily be realized in laboratory experiments. In addition, we find a good agreement between the obtained analytical results and numerical calculations. The stability of condensate is also explored in driven optical lattice numerically.


title: Extracting phase information about the superconducting order parameter from defect bound states

abstract: Impurity bound states and quasi-particle scattering from these can serve as sensitive probes for identifying the pairing state of a superconducting condensate. We introduce and discuss defect bound state quasi-particle interference (DBS-QPI) imaging as a tool to extract information about the symmetry of the order parameter from spatial maps of the density of states around magnetic and non-magnetic impurities. We show that the phase information contained in the scattering patterns around impurities can provide valuable information beyond what is obtained through conventional QPI imaging. Keeping track of phase, rather than just magnitudes, in the Fourier transforms is achieved through phase-referenced Fourier transforms that preserve both real and imaginary parts of the QPI images. We further compare DBS-QPI to other approaches which have been proposed to use either QPI or defect scattering to distinguish different symmetries of the order parameter.


title: Determination of the Superconducting Order Parameter from Defect Bound State Quasiparticle Interference

abstract: The superconducting order parameter is directly related to the pairing interaction, with the amplitude determined by the interaction strength, while the phase reflects the spatial structure of the interaction. However, given the large variety of materials and their rich physical properties within the iron-based high-Tc superconductors, the structure of the order parameter remains controversial in many cases. Here, we introduce Defect Bound State Quasi Particle Interference (DBS-QPI) as a new method to determine the superconducting order parameter. Using a low-temperature scanning tunneling microscope, we image in-gap bound states in the stoichiometric iron-based superconductor LiFeAs and show that the bound states induced by defect scattering are formed from Bogoliubov quasiparticles that have significant spatial extent. Quasiparticle interference from these bound states has unique signatures from which one can determine the phase of the order parameter as well as the nature of the defect, i.e. whether it is better described as a magnetic vs a nonmagnetic scatterer. DBS-QPI provides an easy but general method to characterize the pairing symmetry of superconducting condensates.


title: Kernel-based collocation methods for Zakai equations

abstract: We examine an application of the kernel-based interpolation to numerical solutions for Zakai equations in nonlinear filtering, and aim to prove its rigorous convergence. To this end, we find the class of kernels and the structure of collocation points explicitly under which the process of iterative interpolation is stable. This result together with standard argument in error estimation shows that the approximation error is bounded by the order of the square root of the time step and the error that comes from a single step interpolation. Our theorem is well consistent with the results of numerical experiments.


title: Relative Transfer Function Inverse Regression from Low Dimensional Manifold

abstract: In room acoustic environments, the Relative Transfer Functions (RTFs) are controlled by few underlying modes of variability. Accordingly, they are confined to a low-dimensional manifold. In this letter, we investigate a RTF inverse regression problem, the task of which is to generate the high-dimensional responses from their low-dimensional representations. The problem is addressed from a pure data-driven perspective and a supervised Deep Neural Network (DNN) model is applied to learn a mapping from the source-receiver poses (positions and orientations) to the frequency domain RTF vectors. The experiments show promising results: the model achieves lower prediction error of the RTF than the free field assumption. However, it fails to compete with the linear interpolation technique in small sampling distances.


title: Scattering properties of a PT dipole

abstract: Electromagnetic response of PT-dipole is studied both analytically and numerically. In analytical approach, dipole is represented by two point scatterers. Within the first Born approximation, the asymmetry of the scattering field with respect to the orientation of dipole is proven. In numerical simulations, dipole is represented by two infinitely long, parallel cylinders with opposite sign of imaginary part of refractive index. Numerical data confirm the validity of the Born approximation in the weak scattering limit, while significant deviations from the Born approximation were observed for stronger scatterers and in the near-field range.


title: Site occupancy, composition and magnetic structure dependencies of martensitic transformation in Mn$_{2}$Ni$_{1+x}$Sn$_{1-x}$

abstract: A delicate balance between various factors such as site occupancy, composition and magnetic ordering seems to affect the stability of the martensitic phase in Mn$_{2}$Ni$_{1+x}$Sn$_{1-x}$. Using first-principles DFT calculations, we explore the impacts of each one of these factors on the martensitic stability of this system. Our results on total energies, magnetic moments and electronic structures upon changes in the composition, the magnetic configurations and the site occupancies show that the occupancies at the 4d sites in the Inverse Heusler crystal structure play the most crucial role. The presence of Mn at the 4d sites originally occupied by Sn and it's interaction with the Mn atoms at other sites decide the stability of the martensitic phases. This explains the discrepancy between the experiments and earlier DFT calculations regarding phase stability in Mn$_{2}$NiSn. Our results qualitatively explain the trends observed experimentally with regard to martensitic phase stability and the magnetisations in Ni-excess, Sn-deficient Mn$_{2}$NiSn system.


title: Origin of folded bands in metamaterial crystals

abstract: Recently it has been found numerically that the spectra of metamaterial crystals may contain pairs of bands which disappear inside the Brillouin zone. We observe that the wave equations for such systems are essentially non-Hermitian, but PT -symmetric. We show that the real-frequency spectra correspond to PT -symmetric solutions of the wave quation. At those momenta in the Brillouin zone where apparently no solutions exist, there appear pairs of complex-frequency solutions with spontaneously broken PT symmetry.


title: New results on approximate Hilbert pairs of wavelet filters with common factors

abstract: In this paper, we consider the design of wavelet filters based on the Thiran common-factor approach proposed in Selesnick [2001]. This approach aims at building finite impulseresponse filters of a Hilbert-pair of wavelets serving as real and imaginary part of a complexwavelet. Unfortunately it is not possible to construct wavelets which are both finitelysupported and analytic. The wavelet filters constructed using the common-factor approachare then approximately analytic. Thus, it is of interest to control their analyticity. Thepurpose of this paper is to first provide precise and explicit expressions as well as easilyexploitable bounds for quantifying the analytic approximation of this complex wavelet.Then, we prove the existence of such filters enjoying the classical perfect reconstructionconditions, with arbitrarily many vanishing moments.


title: Perfect quantum state transfer on the Johnson scheme

abstract: For any graph $X$ with the adjacency matrix $A$, the transition matrix of the continuous-time quantum walk at time $t$ is given by the matrix-valued function $\mathcal{H}_X(t)=\mathrm{e}^{itA}$. We say that there is perfect state transfer in $X$ from the vertex $u$ to the vertex $v$ at time $\tau$ if $|\mathcal{H}_X(\tau)_{u,v}| = 1$. It is an important problem to determine whether perfect state transfers can happen on a given family of graphs. In this paper we characterize all the graphs in the Johnson scheme which have this property. Indeed, we show that the Kneser graph $K(2k,k)$ is the only class in the scheme which admits perfect state transfers. We also show that, under some conditions, some of the unions of the graphs in the Johnson scheme admit perfect state transfer.


title: Dimensionality driven enhancement of ferromagnetic superconductivity in URhGe

abstract: In most unconventional superconductors, like the high-Tc cuprates, iron pnictides, or heavy fermion systems, superconductivity emerges in the proximity of an electronic instability. Identifying unambiguously the pairing mechanism remains nevertheless an enormous challenge. Among these systems, the orthorhombic uranium ferromagnetic superconductors have a unique position, notably because magnetic fields couple directly to ferromagnetic order, leading to the fascinating discovery of the re-emergence of superconductivity in URhGe at high field. Here we show that uniaxial stress is a remarkable tool allowing fine-tuning of the pairing strength. With a relatively small stress, the superconducting phase diagram is spectacularly modified, with a merging of the low and high field superconducting states and a significant enhancement of superconductivity. The superconducting critical temperature increases both at zero field and under field, reaching 1K, more than twice higher than at ambient pressure. The enhancement of superconductivity is directly related to a change of the magnetic dimensionality with an increase of the transverse magnetic susceptibility, demonstrating that in addition to the Ising-type longitudinal ferromagnetic fluctuations, transverse magnetic fluctuations also play an important role in the superconducting pairing.


title: Transformable Soft Quantum Device based on Liquid Metals with Sandwiched Liquid Junctions

abstract: Quantum tunneling effect has been an important issue in both fundamental science and practical applications. Classical quantum tunneling devices are generally rigid in structures which may encounter technical difficulties during fabrication, functional tuning and shape adapting. Here through introducing the room-temperature liquid metals as two conductive electrodes and a soft even liquid insulating layer sandwiched between them, we proposed a conceptually innovative all-soft or liquid quantum device which would help realize a couple of unconventional quantum capabilities such as flexibility, deformability, transformability, and reconfigurability, etc. which may not be easily offered by a rigid quantum device. Representative structural configurations to make such transformable quantum devices via sandwiching various liquid metal-insulating layer-liquid metal (LM-IL-LM) components are suggested. The feasibility for making such an all-soft quantum device is interpreted through experimental evidences and theoretical evaluations. Potential future applications of the proposed devices in a group of emerging fields including intelligent quantum systems and quantum computing are prospected.


title: An Efficient Deep Learning Technique for the Navier-Stokes Equations: Application to Unsteady Wake Flow Dynamics

abstract: We present an efficient deep learning technique for the model reduction of the Navier-Stokes equations for unsteady flow problems. The proposed technique relies on the Convolutional Neural Network (CNN) and the stochastic gradient descent method. Of particular interest is to predict the unsteady fluid forces for different bluff body shapes at low Reynolds number. The discrete convolution process with a nonlinear rectification is employed to approximate the mapping between the bluff-body shape and the fluid forces. The deep neural network is fed by the Euclidean distance function as the input and the target data generated by the full-order Navier-Stokes computations for primitive bluff body shapes. The convolutional networks are iteratively trained using the stochastic gradient descent method with the momentum term to predict the fluid force coefficients of different geometries and the results are compared with the full-order computations. We attempt to provide a physical analogy of the stochastic gradient method with the momentum term with the simplified form of the incompressible Navier-Stokes momentum equation. We also construct a direct relationship between the CNN-based deep learning and the Mori-Zwanzig formalism for the model reduction of a fluid dynamical system. A systematic convergence and sensitivity study is performed to identify the effective dimensions of the deep-learned CNN process such as the convolution kernel size, the number of kernels and the convolution layers. Within the error threshold, the prediction based on our deep convolutional network has a speed-up nearly four orders of magnitude compared to the full-order results and consumes an insignificant fraction of computational resources. The proposed CNN-based approximation procedure has a profound impact on the parametric design of bluff bodies and the feedback control of separated flows.


title: The Jacobi morphism and the Hessian in higher order field theory; with applications to a Yang-Mills theory on a Minkowskian background

abstract: We characterize the second variation of an higher order Lagrangian by a Jacobi morphism and by currents strictly related to the geometric structure of the variational problem. We discuss the relation between the Jacobi morphism and the Hessian at an arbitrary order. Furthermore, we prove that a pair of Jacobi fields always generates a (weakly) conserved current. An explicit example is provided for a Yang-Mills theory on a Minkowskian background.


title: Scaling limit of dynamical percolation on critical Erd\"os-R\'enyi random graphs

abstract: Consider a critical Erd\"os-R\'enyi random graph: $n$ is the number of vertices, each one of the $\binom{n}{2}$ possible edges is kept in the graph independently from the others with probability $n^{-1}+\lambda n^{-4/3}$, $\lambda$ being a fixed real number. When $n$ goes to infinity, Addario-Berry, Broutin and Goldschmidt have shown that the collection of connected components, viewed as suitably normalized measured compact metric spaces, converges in distribution to a continuous limit $\mathcal{G}_\lambda$ made of random real graphs. In this paper, we consider notably the dynamical percolation on critical Erd\"os-R\'enyi random graphs. To each pair of vertices is attached a Poisson process of intensity $n^{-1/3}$, and every time it rings, one resamples the corresponding edge. Under this process, the collection of connected components undergoes coalescence and fragmentation. We prove that this process converges in distribution, as $n$ goes to infinity, towards a fragmentation-coalescence process on the continuous limit $\mathcal{G}_\lambda$. We also prove convergence of discrete coalescence and fragmentation processes and provide Feller-type properties associated to fragmentation and coalescence.


title: Sufficient and necessary causation are dual

abstract: Causation has been the issue of philosophic debate since Hippocrates. Recent work defines actual causation in terms of Pearl/Halpern's causality framework, formalizing necessary causes (IJCAI'15). This has inspired causality notions in the security domain (CSF'15), which, perhaps surprisingly, formalize sufficient causes instead. We provide an explicit relation between necessary and sufficient causes.


title: Aspects of the same-sign diboson signature from wino pair production with light higgsinos at the high luminosity LHC

abstract: Naturalness arguments applied to simple supersymmetric (SUSY) theories require a set of light higgsinos with mass $\sim |\mu|$ not too far from $m_h$. These models have an inverted electroweakino spectrum with $|\mu| \ll M_2$ which leads to a rather clean, hadronically quiet, same-sign diboson (SSdB) signature at hadron colliders arising from neutral-plus-charged wino pair production. We improve and expand our earlier studies of this signature for discovering SUSY in natural SUSY models by (i) including backgrounds which were not previously considered and which turn out to be significant, (ii) devising more efficient cuts to successfully contend with these larger backgrounds and determining the discovery reach and exclusion ranges for winos with these cuts, emphasizing projections for the updated integrated luminosity target for HL-LHC of 3 ab$^{-1}$, and (iii) emphasizing the utility of this channel for natural models without gaugino mass unification. We display the kinematic characteristics of the relatively jet-free same sign dilepton+$\not\!\!\!{E_T}$ events (from leptonic decays of both $W$s) and find that these are only weakly sensitive to the parent wino mass. We also examine the charge asymmetry in these events and show that its measurement can be used to check the consistency of the wino origin of the signal. Finally, we show that -- because the wino branching fractions in natural SUSY are essentially independent of details of the underlying model -- a determination of the rate for clean, same-sign dilepton events yields a better than 10% determination of the wino mass over the entire mass range where experiments at the HL-LHC can discover the wino signal.


title: Potential energy surfaces for electron dynamics modeled by floating and breathing Gaussian wave packets with valence-bond spin-coupling: An analysis of high-harmonic generation spectrum

abstract: A model of localized electron wave packets (EWPs), floating and breathing Gaussians with non-orthogonal valence-bond spin-coupling, is applied to compute the high-harmonic generation (HHG) spectrum from a LiH molecule induced by an intense laser pulse. The characteristic features of the spectrum, a plateau up to 50 harmonic-order and a cut-off, agreed well with those from the previous time-dependent complete active-space self-consistent-field calculation [T. Sato and K. L. Ishikawa, Phys. Rev. A \textbf{91}, 023417 (2015)]. In contrast with the conventional molecular orbital picture in which the Li 2s and H 1s atomic orbitals are strongly mixed, the present calculation indicates that an incoherent sum of responses of single electrons reproduces the HHG spectrum, in which the contribution from H 1s electron dominates the plateau and cut-off, whereas the Li 2s electron contributes to the lower frequency response. The results are comprehensive in terms of the shapes of single-electron potential energy curves constructed from the localized EWP model.


title: Coarse-Grid Computational Fluid Dynamic (CG-CFD) Error Prediction using Machine Learning

abstract: Despite the progress in high performance computing, Computational Fluid Dynamics (CFD) simulations are still computationally expensive for many practical engineering applications such as simulating large computational domains and highly turbulent flows. One of the major reasons of the high expense of CFD is the need for a fine grid to resolve phenomena at the relevant scale, and obtain a grid-independent solution. The fine grid requirements often drive the computational time step size down, which makes long transient problems prohibitively expensive. In the research presented, the feasibility of a Coarse Grid CFD (CG-CFD) approach is investigated by utilizing Machine Learning (ML) algorithms. Relying on coarse grids increases the discretization error. Hence, a method is suggested to produce a surrogate model that predicts the CG-CFD local errors to correct the variables of interest. Given high-fidelity data, a surrogate model is trained to predict the CG-CFD local errors as a function of the coarse grid local features. ML regression algorithms are utilized to construct a surrogate model that relates the local error and the coarse grid features. This method is applied to a three-dimensional flow in a lid driven cubic cavity domain. The performance of the method was assessed by training the surrogate model on the flow full field spatial data and tested on new data (from flows of different Reynolds number and/or computed by different grid sizes). The proposed method maximizes the benefit of the available data and shows potential for a good predictive capability.


title: Comments on the multi-spin solution to the Yang-Baxter equation and basic hypergeometric sum/integral identity

abstract: We present a multi-spin solution to the Yang-Baxter equation. The solution corresponds to the integrable lattice spin model of statistical mechanics with positive Boltzmann weights and parameterized in terms of the basic hypergeometric functions. We obtain this solution from a non-trivial basic hypergeometric sum-integral identity which originates from the equality of supersymmetric indices for certain three-dimensional N=2 Seiberg dual theories.

categories: math-ph cond-mat.stat-mech hep-th math.MP nlin.SI


title: Local Real-Space View of the Achiral 1$T$-TiSe$_2$ 2 $\times$ 2 $\times$ 2 Charge Density Wave

abstract: The transition metal dichalcogenide 1$T$-TiSe$_2$ is a quasi-two-dimensional layered material undergoing a commensurate 2 $\times$ 2 $\times$ 2 charge density wave (CDW) transition with a weak periodic lattice distortion (PLD) below $\approx$ 200 K. Scanning tunneling microscopy (STM) combined with intentionally introduced interstitial Ti atoms allows to go beyond the usual spatial resolution of STM and to intimately probe the three-dimensional character of the PLD. Furthermore, the inversion-symmetric, achiral nature of the CDW in the $z$-direction is revealed, contradicting the claimed existence of helical CDW stacking and associated chiral order. This study paves the way to a simultaneous real-space probing of both charge and structural reconstructions in CDW compounds.


title: Deformations of $\mathbb{A}^1$-cylindrical varieties

abstract: An algebraic variety is called $\mathbb{A}^{1}$-cylindrical if it contains an $\mathbb{A}^{1}$-cylinder, i.e. a Zariski open subset of the form $Z\times\mathbb{A}^{1}$ for some algebraic variety Z. We show that the generic fiber of a family $f:X\rightarrow S$ of normal $\mathbb{A}^{1}$-cylindrical varieties becomes $\mathbb{A}^{1}$-cylindrical after a finite extension of the base. Our second result is a criterion for existence of an $\mathbb{A}^{1}$-cylinder in X which we derive from a careful inspection of a relative Minimal Model Program ran from a suitable smooth relative projective model of X over S.


title: Analysis of optimal control problems of semilinear elliptic equations by BV-functions

abstract: Optimal control problems for semilinear elliptic equations with control costs in the space of bounded variations are analysed. BV-based optimal controls favor piecewise constant, and hence 'simple' controls, with few jumps. Existence of optimal controls, necessary and suffcient optimality conditions of first and second order are analysed. Special attention is paid on the effect of the choice of the vector norm in the definition of the BV-seminorm for the optimal primal and adjoined variables.


title: Covariant Active Hydrodynamics of Shape-Changing Epithelial Monolayers

abstract: During the early-stages of embryo development, morphogenesis--- the emergence of shape and form in living organisms--- is almost exclusively associated with monolayers of tightly bound epithelial cells. To understand how such tissues change their shape, we construct a fully covariant active-hydrodynamic theory. At the cellular scale, stresses arise from apical contractility, mechanical response and the constraint of constant cell volume. Tissue-scale deformations emerge due to the balance between such cell-autonomous stresses and the displacement and shear of a low Reynolds number embedding fluid. Tissues with arbitrary curvature or shape can be described, providing a general framework for epithelial monolayer morphology. Analysis of the stability of flat monolayers reveals two generic shape instabilities: passive constrained-buckling, and actively-driven tissue deformation. The active instability can be further categorised into two types, corresponding to cell shape changes that are either "squamous to columnar" or "regular-prism to truncated-pyramid". The deformations resulting from the latter qualitatively reproduce in vivo observations of the onset of both mesoderm and posterior midgut invaginations, which take place during gastrulation in the fruit fly Drosophila melanogaster.


title: Creeping Avalanches of Brownian Granular Suspensions

abstract: We study the avalanche dynamics of a pile of micron-sized silica grains in miniaturized rotating drums filled with water. Contrary to what is expected for classical granular materials, the avalanches do not stop at a finite angle of repose. Below an angle $\theta$\_c, we observe a creep regime where the piles slowly flow until they become flat. In this regime, the relaxation is logarithmic in time and is slower when the ratio between the weight of the grains and the thermal agitation is increased. We propose a simple 1D model based on Kramer's escape rate to describe this flow.


title: Representation growth of compact linear groups

abstract: We study the representation growth of simple compact Lie groups and of $\mathrm{SL}_n(\mathcal{O})$, where $\mathcal{O}$ is a compact discrete valuation ring, as well as the twist representation growth of $\mathrm{GL}_n(\mathcal{O})$. This amounts to a study of the abscissae of convergence of the corresponding (twist) representation zeta functions. We determine the abscissae for a class of Mellin zeta functions which include the Witten zeta functions. As a special case, we obtain a new proof of the theorem of Larsen and Lubotzky that the abscissa of Witten zeta functions is $r/\kappa$, where $r$ is the rank and $\kappa$ the number of positive roots. We then show that the twist zeta function of $\mathrm{GL}_n(\mathcal{O})$ exists and has the same abscissa of convergence as the zeta function of $\mathrm{SL}_n(\mathcal{O})$, provided $n$ does not divide $\text{char}\,{\mathcal{O}}$. We compute the twist zeta function of $\mathrm{GL}_2(\mathcal{O})$ when the residue characteristic $p$ of $\mathcal{O}$ is odd, and approximate the zeta function when $p=2$ to deduce that the abscissa is $1$. Finally, we construct a large part of the representations of $\mathrm{SL}_2(\mathbb{F}_q[[t]])$, $q$ even, and deduce that its abscissa lies in the interval $[1,\,5/2]$.


title: On a Noncommutative Iwasawa Main Conjecture for Function Fields

abstract: We formulate and prove an analogue of the non-commutative Iwasawa Main Conjecture for $\ell$-adic representations of the Galois group of a function field of characteristic $p$. We also prove a functional equation for the resulting non-commutative $L$-functions. As corollaries, we obtain non-commutative generalisations of the main conjecture for Picard-$1$-motives of Greither and Popescu and a main conjecture for abelian varieties over function fields in precise analogy to the $\operatorname{GL}_2$ main conjecture of Coates, Fukaya, Kato, Sujatha and Venjakob.


title: 1/f Flux Noise in low-T$_c$ SQUIDs due to Superparamagnetic Phase Transitions in Defect Clusters

abstract: It is shown here that $1/f^\alpha$ flux noise in conventional low-T$_c$ SQUIDs is a result of low temperature superparamagnetic phase transitions in small clusters of strongly correlated color center defects. The spins in each cluster interact via long-range ferromagnetic interactions. Due to its small size, the cluster behaves like a 'random-telegraphic' macro-spin when transitioning to the superparamagnetic phase. This results in $1/f^{\alpha}$ noise when ensemble averaged over a random distribution of clusters. This model is self-consistent and explains all related experimental results which includes $\alpha\sim 0.8$ independent of system-size. The experimental flux-inductance-noise spectrum is explained through three-point correlation calculations and time reversal symmetry breaking arguments. Also, unlike the flux noise, it is shown why the second-spectrum inductance noise is inherently temperature dependent due to the fluctuation-dissipation theorem. A correlation-function calculation methodology using Ising-Glauber dynamics was key for obtaining these results.


title: On quantitative bounds in the mean martingale central limit theorem

abstract: We provide explicit bounds on the Wasserstein distance between discrete time martingales and the standard normal distribution. The proofs are based on a combination of Lindeberg's and Stein's method.


title: Fast Selection of Spatially Balanced Samples

abstract: Sampling from very large spatial populations is challenging. The solutions suggested in recent literature on this subject often require that the randomly selected units are well distributed across the study region by using complex algorithms that have the feature, essential in a design-based framework, to respect the fixed first-order inclusion probabilities for every unit of the population. The size of the frame, $N$, often causes some problems to these algorithms since, being based on the distance matrix between the units of the population, have at least a computational cost of order $N^2$. In this paper we propose a draw-by-draw algorithm that randomly selects a sample of size $n$ in exactly $n$ steps, updating at each step the selection probability of not-selected units depending on their distance from the units already selected in the previous steps. The performance of this solution is compared with those of other methods derived from the {\it spatially balanced sampling} literature in terms of their root mean squared error (RMSE) using the simple random sampling (SRS) without replacement as benchmark. The fundamental interest is not only to evaluate the efficiency of a such different procedure, but also to understand if similar results can be obtained even with a notable reduction in the computational burden needed to obtain more efficient sampling designs. Repeated sample selections on real and simulated populations support this perspective. An application to the Land Use and Land Cover Survey (LUCAS) 2012 data-set in an Italian region is presented as a concrete and practical illustration of the capabilities of the proposed sample selection method.


title: BAT AGN Spectroscopic Survey--VIII. Type 1 AGN With Massive Absorbing Columns

abstract: We explore the relationship between X-ray absorption and optical obscuration within the BAT AGN Spectroscopic Survey (BASS) which has been collecting and analyzing the optical and X-ray spectra for 641 hard X-ray selected ($E>14$ keV) active galactic nuclei (AGN). We use the deviation from a linear broad H$\alpha$-to-X-ray relationship as an estimate of the maximum optical obscuration towards the broad line region and compare the $A_{\rm V}$ to the hydrogen column densities ($N_{\rm H}$) found through systematic modeling of their X-ray spectra. We find that the inferred columns implied by $A_{\rm V}$ towards the broad line region (BLR) are often orders of magnitude less than the columns measured towards the X-ray emitting region indicating a small scale origin for the X-ray absorbing gas. After removing 30\% of Sy 1.9s that potentially have been misclassified due to outflows, we find that 86\% (164/190) of the Type 1 population (Sy 1--1.9) are X-ray unabsorbed as expected based on a single obscuring structure. However, 14\% (26/190), of which 70\% (18/26) are classified as Sy 1.9, are X-ray absorbed, suggesting the broad line region itself is providing extra obscuration towards the X-ray corona. The fraction of X-ray absorbed Type 1 AGN remains relatively constant with AGN luminosity and Eddington ratio, indicating a stable broad line region covering fraction.


title: Recognition Dynamics in the Brain under the Free Energy Principle

abstract: We formulate the computational processes of perception in the framework of the principle of least action by postulating the theoretical action as a time integral of the free energy in the brain sciences. The free energy principle is accordingly rephrased as that for autopoietic grounds all viable organisms attempt to minimize the sensory uncertainty about the unpredictable environment over a temporal horizon. By varying the informational action, we derive the brain's recognition dynamics (RD) which conducts Bayesian filtering of the external causes from noisy sensory inputs. Consequently, we effectively cast the gradient-descent scheme of minimizing the free energy into Hamiltonian mechanics by addressing only positions and momenta of the organisms' representations of the causal environment. To manifest the utility of our theory, we show how the RD may be implemented in a neuronally based biophysical model at a single-cell level and subsequently in a coarse-grained, hierarchical architecture of the brain. We also present formal solutions to the RD for a model brain in linear regime and analyze the perceptual trajectories around attractors in neural state space.


title: Brain Damage and Motor Cortex Impairment in Chronic Obstructive Pulmonary Disease: Implication of Nonrapid Eye Movement Sleep Desaturation

abstract: Nonrapid eye movement (NREM) sleep desaturation may cause neuronal damage due to the withdrawal of cerebrovascular reactivity. The current study (1) assessed the prevalence of NREM sleep desaturation in nonhypoxemic patients with chronic obstructive pulmonary disease (COPD) and (2) compared a biological marker of cerebral lesion and neuromuscular function in patients with and without NREM sleep desaturation.


title: Uniqueness and symmetry of ground states for higher-order equations

abstract: We establish uniqueness and radial symmetry of ground states for higher-order nonlinear Schr\"odinger and Hartree equations whose higher-order differentials have small coefficients. As an application, we obtain error estimates for higher-order approximations to the pseudo-relativistic ground state. Our proof adapts the strategy of Lenzmann using local uniqueness near the limit of ground states in a variational problem. However, in order to bypass difficulties from lack of symmetrization tools for higher-order differential operators, we employ the contraction mapping argument in our earlier work to construct radially symmetric real-valued solutions, as well as improving local uniqueness near the limit.


title: On the Fibonacci universality classes in nonlinear fluctuating hydrodynamics

abstract: We present a lattice gas model that without fine tuning of parameters is expected to exhibit the so far elusive modified Kardar-Parisi-Zhang (KPZ) universality class. To this end, we review briefly how non-linear fluctuating hydrodynamics in one dimension predicts that all dynamical universality classes in its range of applicability belong to an infinite discrete family which we call Fibonacci family since their dynamical exponents are the Kepler ratios $z_i = F_{i+1}/F_{i}$ of neighbouring Fibonacci numbers $F_i$, including diffusion ($z_2=2$), KPZ ($z_3=3/2$), and the limiting ratio which is the golden mean $z_\infty=(1+\sqrt{5})/2$. Then we revisit the case of two conservation laws to which the modified KPZ model belongs. We also derive criteria on the macroscopic currents to lead to other non-KPZ universality classes.


title: An example of interplay between Physics and Mathematics: Exact resolution of a new class of Riccati Equations

abstract: A novel recipe for exactly solving in finite terms a class of special differential Riccati equations is reported. Our procedure is entirely based on a successful resolution strategy quite recently applied to quantum dynamical time-dependent SU(2) problems. The general integral of exemplary differential Riccati equations, not previously considered in the specialized literature, is explicitly determined to illustrate both mathematical usefulness and easiness of applicability of our proposed treatment. The possibility of exploiting the general integral of a given differential Riccati equation to solve an SU(2) quantum dynamical problem, is succinctly pointed out.


title: Fujita versus Strauss - a never ending story

abstract: In this paper, we obtain a blow-up result for solutions to a semi-linear wave equation with scale-invariant dissipation and mass and power non-linearity, in the case in which the model has a "wave like" behavior. In order to achieve this goal, we perform a change of variables that transforms our starting equation in a strictly hyperbolic semi-linear wave equation with time-dependent speed of propagation. Then, we apply Kato's lemma to find a blow-up result for solutions to the transformed equation under some support and sign assumptions on the initial data. A special emphasis is placed on the limit case, that is, when the exponent p is exactly equal to the upper bound of the range of admissible values of p for which this blow-up result is valid. In this critical case an explicit integral representation formula for solutions of the corresponding linear Cauchy problem in 1d is derived. Finally, carrying out the inverse change of variables we get a non-existence result for global (in time) solutions to the original model.


title: Sub-structure formation in starless cores

abstract: Motivated by recent observational searches of sub-structure in starless molecular cloud cores, we investigate the evolution of density perturbations on scales smaller than the Jeans length embedded in contracting isothermal clouds, adopting the same formalism developed for the expanding Universe and the solar wind. We find that initially small amplitude, Jeans-stable perturbations (propagating as sound waves in the absence of a magnetic field), are amplified adiabatically during the contraction, approximately conserving the wave action density, until they either become nonlinear and steepen into shocks at a time $t_{\rm nl}$, or become gravitationally unstable when the Jeans length decreases below the scale of the perturbations at a time $t_{\rm gr}$. We evaluate analytically the time $t_{\rm nl}$ at which the perturbations enter the non-linear stage using a Burgers' equation approach, and we verify numerically that this time marks the beginning of the phase of rapid dissipation of the kinetic energy of the perturbations. We then show that for typical values of the rms Mach number in molecular cloud cores, $t_{\rm nl}$ is smaller than $t_{\rm gr}$, and therefore density perturbations likely dissipate before becoming gravitational unstable. Solenoidal modes grow at a faster rate than compressible modes, and may eventually promote fragmentation through the formation of vortical structures.


title: Quantum Gravity Effect on the Tunneling Particles from 2+1 dimensional New-type Black Hole

abstract: We investigate the Generalized Uncertainty Principle (GUP) effect on the Hawking temperature for the 2+1 dimensional New-type black hole by using the quantum tunneling method for both the spin-1/2 Dirac and the spin-0 scalar particles. In computation of the GUP correction for the Hawking temperature of the black hole, we modified Dirac and Klein-Gordon equations. We observed that the modified Hawking temperature of the black hole depends not only on the black hole properties, but also on the graviton mass and the intrinsic properties of the tunneling particle, such as total angular momentum, energy and mass. Also, we see that the Hawking temperature was found to be probed by these particles in different manners. The modified Hawking temperature for the scalar particle seems to be lower compared to its standard Hawking temperature. Also, we find that the modified Hawking temperature of the black hole caused by Dirac particle's tunnelling rised by the total angular momentum of the particle. It is diminishable by the energy and mass of the particle and graviton mass as well. These intrinsic properties of the particle, except total angular momentum for the Dirac particle, and graviton mass may cause screening for the black hole radiation.


title: Atmospheric neutrino oscillation analysis with external constraints in Super-Kamiokande I-IV

abstract: An analysis of atmospheric neutrino data from all four run periods of \superk optimized for sensitivity to the neutrino mass hierarchy is presented. Confidence intervals for $\Delta m^2_{32}$, $\sin^2 \theta_{23}$, $\sin^2 \theta_{13}$ and $\delta_{CP}$ are presented for normal neutrino mass hierarchy and inverted neutrino mass hierarchy hypotheses based on atmospheric neutrino data alone. Additional constraints from reactor data on $\theta_{13}$ and from published binned T2K data on muon neutrino disappearance and electron neutrino appearance are added to the atmospheric neutrino fit to give enhanced constraints on the above parameters. Over the range of parameters allowed at 90% confidence level, the normal mass hierarchy is favored by between 91.5% and 94.5% based on the combined result.


title: Design of an optimized $\text{MoS}_2$-based highly sensitive near-infrared surface plasmon resonance imaging biosensor

abstract: A surface plasmon resonance imaging biosensor based on $\text{MoS}_2$ deposited on Aluminium substrate is designed for high imaging sensitivity and detection accuracy. The proposed biosensor exhibits better performance than graphene-based biosensor in the near-infrared regime. A high imaging sensitivity of more than 970 $\text{RIU}^{-1}$ is obtained at the wavelength of 1540 nm. The effect of aluminium thickness, number of $\text{MoS}_2$ layers and the refractive index of sensing layer are investigated to obtain an optimized design for high sensor performance. In addition, the sensor performance comparison of $\text{MoS}_2$ and other two-dimensional transition metal dichalcogenide materials based biosensor in the near-infrared regime are also presented. The designed $\text{MoS}_2$ mediated surface plasmon resonance imaging biosensor could provide potential applications in surface plasmon resonance imaging detection of multiple biomolecular interactions simultaneously.


title: Correlations between the frequencies of twin kHz QPOs and spins of neutron stars in LMXBs

abstract: We investigate the correlation between the frequencies of the twin kilohertz quasi-periodic oscillations (kHz QPOs) and the neutron star (NS) spins in low mass X-ray binaries (LMXBs), based on the data sets of 12 sources with simultaneously detected twin kHz QPOs and NS spins, and find that the histogram of the ratio between the frequency difference of twin kHz QPOs ({\Delta}{\nu} = {\nu}2 - {\nu}1) and NS spin {\nu}s shows a non-uniform distribution with a gap at {\Delta}{\nu}/{\nu}s ~ 0.65. We try to classify the 12 sources into two categories according to this gap: (I) The slow rotators with <{\nu}s> ~ 311 Hz, XTE J1807.4-294, 4U 1915-05, IGR J17191-2821, 4U 1702-43, 4U 1728-34 and 4U 0614+09 follow a relation {\Delta}{\nu}/{\nu}s > 0.65; (II) The fast rotators with <{\nu}s> ~ 546 Hz, SAX J1808.4-3658, KS 1731-260, Aql X-1, 4U 1636-53, SAX J1750.8-2900 and 4U 1608-52 satisfy the relation {\Delta}{\nu}/{\nu}s < 0.65. However, the linear fittings of {\Delta}{\nu} versus {\nu}s relations of group (I) and (II) are unsatisfactory to ensure any certain correlations. We suggest that this phenomenon may arise from the fact that most measured kHz QPOs and spins satisfy the conditions of 1.1 {\nu}s < {\nu}2 < 1300Hz and {\Delta}{\nu} decreasing with {\nu}2. Apparently, the diversified distribution of {\Delta}{\nu}/{\nu}s refutes the simple beat-frequency model, and the statistical correlations between the twin kHz QPOs and NS spins may arise from the magnetosphere-disk boundary environments, e.g., co-rotation radius and NS radius, that modulate the occurrences of X-ray signals. Furthermore, we also find that the distribution of the ratio of {\nu}2 to {\nu}1 clusters around the value of <{\nu}2/{\nu}1> ~ 3 : 2, which shows no obvious correlation with NS spins.


title: Under-liquid Self-Assembly of Submerged Buoyant Polymer Particles

abstract: The self-assembly of submerged cold-plasma-treated polyethylene beads is reported. The plasma-treated immersed millimetrically-sized polyethylene beads formed well-ordered 2D quasi-crystalline structures. The submerged floating of light polyethylene beads is possible due to the energy gain achieved by the wetting of the high-energy plasma-treated polymer surface prevailing over the energy loss due to the upward climb of the liquid over the beads. The capillary immersion attraction force is responsible for the observed self-assembly. The observed 2D quasi-crystalline structures demonstrate dislocations and point defects. Mechanical vibration of self-assembled rafts built of polyethylene beads leads to the healing of point defects. The immersion capillary lateral force governs the self-assembly, whereas the elastic force is responsible for the repulsion of polymer beads.


title: Deformations of conically singular Cayley submanifolds

abstract: In this article we study the deformation theory of conically singular Cayley submanifolds. In particular, we prove a result on the expected dimension of a moduli space of Cayley deformations of a conically singular Cayley submanifold. Moreover, when the Cayley submanifold is a two-dimensional complex submanifold of a Calabi--Yau four-fold we show by comparing Cayley and complex deformations that in this special case the moduli space is a smooth manifold. We also perform calculations of some of the quantities discussed for some examples.


title: Triangle-free induced subgraphs of the unitary polarity graph

abstract: Let $\perp$ be a unitary polarity of a finite projective plane $\pi$ of order $q^2$. The unitary polarity graph is the graph with vertex set the points of $\pi$ where two vertices $x$ and $y$ are adjacent if $x \in y^\perp$. We show that a triangle-free induced subgraph of the unitary polarity graph of an arbitrary projective plane has at most $(q^4+q)/2$ vertices. When $\pi$ is the Desarguesian projective plane $\mathrm{PG}(2,q^2)$ and $q$ is even, we show that the upper bound is asymptotically sharp, by providing an example on $q^4/2$ vertices. Finally, the case when $\pi$ is the Figueroa plane is discussed.


title: Excitonic instability in optically-pumped three-dimensional Dirac materials

abstract: Recently it was suggested that transient excitonic instability can be realized in optically-pumped two-dimensional (2D) Dirac materials (DMs), such as graphene and topological insulator surface states. Here we discuss the possibility of achieving a transient excitonic condensate in optically-pumped three-dimensional (3D) DMs, such as Dirac and Weyl semimetals, described by non-equilibrium chemical potentials for photoexcited electrons and holes. Similar to the equilibrium case with long-range interactions, we find that for pumped 3D DMs with screened Coulomb potential two possible excitonic phases exist, an excitonic insulator phase and the charge density wave phase originating from intranodal and internodal interactions, respectively. In the pumped case, the critical coupling for excitonic instability vanishes; therefore, the two phases coexist for arbitrarily weak coupling strengths. The excitonic gap in the charge density wave phase is always the largest one. The competition between screening effects and the increase of the density of states with optical pumping results in a reach phase diagram for the transient excitonic condensate. Based on the static theory of screening, we find that under certain conditions for the value of the dimensionless coupling constant screening in 3D DMs can be weaker than in 2D DMs. Furthermore, we identify the signatures of the transient excitonic condensate that could be probed by scanning tunneling spectroscopy, photoemission and optical conductivity measurements. Finally, we provide estimates of critical temperatures and excitonic gaps for existing and hypothetical 3D DMs.


title: Non-commutative $L$-functions for $p$-adic representations over totally real fields

abstract: We prove a unicity result for the $L$-functions appearing in the non-commutative Iwasawa main conjecture over totally real fields. We then consider continuous representations $\rho$ of the absolute Galois group of a totally real field $F$ on adic rings in the sense of Fukaya and Kato. Using our unicity result, we show that there exists a unique sensible definition of a non-commutative $L$-function for any such $\rho$ that factors through the Galois group of a possibly infinite totally real extension. We also consider the case of CM-extensions and discuss the relation with the equivariant main conjecture for realisations of abstract $1$-motives of Greither and Popescu.


title: Self-Propelling Rotator Driven by Soluto-Capillary Marangoni Flows

abstract: The self-propelled, longstanding rotation of the polymer tubing containing camphor continuing for dozens of hours is reported. The rotator is driven by the solutocapillary Marangoni flows owing to the dissolution of camphor. The phenomenological model of self-propulsion is suggested and verified. Scaling laws describing the quasi-stationary self-propulsion are proposed and tested experimentally. The change in the surface tension, arising from the dissolution of camphor and driving the rotator is estimated as 0.3 mN/m.


title: Self-Propulsion of a Metallic Superoleophobic Micro-Boat

abstract: The self-propulsion of a heavy, superoleophobic, metallic micro-boat carrying a droplet of various aqueous alcohol solutions as a fuel tank is reported. The micro boat is driven by the solutocapillary Marangoni flow. The jump in the surface tension owing to the condensation of alcohols on the water surface was established experimentally. Maximal velocities of the self-propulsion were registered as high as 0.05 m/s. The maximal velocity of the center mass of the boat correlates with the maximal change in the surface tension, due to the condensation of alcohols. The mechanism of the self-locomotion is discussed. The phenomenological dynamic model describing the self-propulsion is reported.


title: Engineering physics of superconducting hot-electron bolometer mixers

abstract: Superconducting hot-electron bolometers are presently the best performing mixing devices for the frequency range beyond 1.2 THz, where good quality superconductor-insulator-superconductor (SIS) devices do not exist. Their physical appearance is very simple: an antenna consisting of a normal metal, sometimes a normal metal-superconductor bilayer, connected to a thin film of a narrow, short superconductor with a high resistivity in the normal state. The device is brought into an optimal operating regime by applying a dc current and a certain amount of local- oscillator power. Despite this technological simplicity its operation has been found to be controlled by many different aspects of superconductivity, all occurring simultaneously. A core ingredient is the understanding that there are two sources of resistance in a superconductor: a charge conversion resistance occurring at an normal-metal-superconductor interface and a resistance due to time- dependent changes of the superconducting phase. The latter is responsible for the actual mixing process in a non-uniform superconducting environment set up by the bias-conditions and the geometry. The present understanding indicates that further improvement needs to be found in the use of other materials with a faster energy-relaxation rate. Meanwhile several empirical parameters have become physically meaningful indicators of the devices, which will facilitate the technological developments.


title: Linking Tweets with Monolingual and Cross-Lingual News using Transformed Word Embeddings

abstract: Social media platforms have grown into an important medium to spread information about an event published by the traditional media, such as news articles. Grouping such diverse sources of information that discuss the same topic in varied perspectives provide new insights. But the gap in word usage between informal social media content such as tweets and diligently written content (e.g. news articles) make such assembling difficult. In this paper, we propose a transformation framework to bridge the word usage gap between tweets and online news articles across languages by leveraging their word embeddings. Using our framework, word embeddings extracted from tweets and news articles are aligned closer to each other across languages, thus facilitating the identification of similarity between news articles and tweets. Experimental results show a notable improvement over baselines for monolingual tweets and news articles comparison, while new findings are reported for cross-lingual comparison.


title: Co- and contra-directional vertical coupling between ferromagnetic layers with grating for short-wavelength spin wave generation

abstract: The possibility to generate short spin waves is of great interest in the field of magnonics nowadays. We present an effective and technically affordable way of conversion of long spin waves, which may be generated by conventional microwave antenna, to the short, sub-micrometer waves. It is achieved by grating-assisted resonant dynamic dipolar interaction between two ferromagnetic layers separated by some distance. We analyze criteria for the optimal conversion giving a semi-analytical approach for the coupling coefficient. We show by the numerical calculations the efficient energy transfer between layers which may be either of co-directional or contra-directional type. Such a system may operate either as a short spin wave generator or a frequency filter, moving foreward possible application of magnonics.


title: Deep Transfer Learning for Error Decoding from Non-Invasive EEG

abstract: We recorded high-density EEG in a flanker task experiment (31 subjects) and an online BCI control paradigm (4 subjects). On these datasets, we evaluated the use of transfer learning for error decoding with deep convolutional neural networks (deep ConvNets). In comparison with a regularized linear discriminant analysis (rLDA) classifier, ConvNets were significantly better in both intra- and inter-subject decoding, achieving an average accuracy of 84.1 % within subject and 81.7 % on unknown subjects (flanker task). Neither method was, however, able to generalize reliably between paradigms. Visualization of features the ConvNets learned from the data showed plausible patterns of brain activity, revealing both similarities and differences between the different kinds of errors. Our findings indicate that deep learning techniques are useful to infer information about the correctness of action in BCI applications, particularly for the transfer of pre-trained classifiers to new recording sessions or subjects.


title: Close-by planets and flares in their host stars

abstract: The interaction between the magnetic fields of late-type stars and their close-by planets may produce stellar flares as observed in active binary systems. However, in spite of several claims, conclusive evidence is still lacking. We estimate the magnetic energy available in the interaction using analytical models to provide an upper bound to the expected flare energy. We investigate three different mechanisms leading to magnetic energy release. The first two can release an energy up to $(0.2-1.2) B^{2}_{0} R^{3}/\mu$, where $B_{0}$ is the surface field of the star, $R$ its radius, and $\mu$ the magnetic permeability of the plasma. They operate in young active stars whose coronae have closed magnetic field lines up to the distance of their close-by planets that can trigger the energy release. The third mechanism operates in weakly or moderately active stars having a coronal field with predominantly open field lines at the distance of their planets. The released energy is of the order of $(0.002-0.1) B^{2}_{0} R^{3}/\mu$ and depends on the ratio of the planetary to the stellar fields, thus allowing an indirect measurement of the former when the latter is known. We compute the released energy for different separations of the planet and different stellar parameters finding the conditions for the operation of the proposed mechanisms. An application to eight selected systems is presented. The computed energies and dissipation timescales are in agreement with flare observations in the eccentric system HD 17156 and in the circular systems HD 189733 and HD 179949. This kind of star-planet interaction can be unambiguously identified by the higher flaring frequency expected close to periastron in eccentric systems.


title: Sharp-interface limits of a phase-field model with a generalized Navier slip boundary condition for moving contact lines

abstract: The sharp-interface limits of a phase-field model with a generalized Navier slip boundary condition for moving contact line problem are studied by asymptotic analysis and numerical simulations. The effects of the {mobility} number as well as a phenomenological relaxation parameter in the boundary condition are considered. In asymptotic analysis, we focus on the case that the {mobility} number is the same order of the Cahn number and derive the sharp-interface limits for several setups of the boundary relaxation parameter. It is shown that the sharp interface limit of the phase field model is the standard two-phase incompressible Navier-Stokes equations coupled with several different slip boundary conditions. Numerical results are consistent with the analysis results and also illustrate the different convergence rates of the sharp-interface limits for different scalings of the two parameters.