title: A Trigger Sequence in a Leucine Zipper Aids its Dimerization; Simulation Results

abstract: Leucine zippers are alpha helical monomers dimerized to a coiled coil structure. Various scenarios for dimerization span interaction of unstructured monomers that form alpha helices in the process of dimerization to preformed alpha helical monomers dimerizing.Another suggested possibility, a trigger sequence hypothesis (M. O. Steinmetz et al., Proc. Natl. Acad. Sci. U. S. A. 2007, 104, 7062-7067), is that a C terminal (CT) part of each monomer is a trigger sequence that is dimerized and, subsequently, the remainder N terminal (NT) part of each monomer (that is partially ordered) zips together to form the coiled coil. In this work, methods are developed to computationally explore the trigger sequence hypothesis based on an extension of a previously introduced (R. I. Cukier, J. Chem. Phys. 2011, 134, 045104) Hamiltonian Temperature Replica Exchange Method Mean Square (HTREM_MS) procedure, which scales the Hamiltonian in both potential and kinetic energies, to enhance sampling generically, along with additional restraints to enhance sampling in desired regions of conformational space. The method is applied to a 31-residue truncation of the 33-residue leucine zipper (GCN4-p1) of the yeast transcriptional activator GCN4. Using a variety of HTREM_MS simulations, we find that the NT of one monomer of the dimer becomes disordered when the NT parts of the monomers are separated. In contrast, when the CT parts of the monomers are separated, both monomers remain alpha helical. These simulations suggest that the CT does act as a trigger sequence and are consistent with a disordered NT. We also investigate whether the disordered NT can be induced to re-form the dimerized leucine zipper. It does, but with some lack of recovery of alpha helical hydrogen bonding structure in the NT.


title: Countable approximation of topological $G$-manifolds: compact Lie groups $G$

abstract: Let $G$ be a compact Lie group. (Compact) topological $G$-manifolds have the $G$-homotopy type of (finite-dimensional) countable $G$-CW complexes (2.5). This partly generalizes Elfving's theorem for locally linear $G$-manifolds [Elf96], wherein the Lie group $G$ is linear (such as compact).


title: Restricted Khinchine inequality

abstract: We prove a Khintchine type inequality under the assumption that the sum of Rademacher random variables equals zero. As an application we show a new tail-bound for a hypergeometric random variable.


title: On a Luschny question

abstract: Let $E_n(x)$ be Euler polynomial, $\nu_2(n)$ be $2-$adic order of $n,$ $\{g(n)\}$ be the characteristic sequence for $\{2^{n}-1\}_{n\geq1}.$ Recently Peter Luschny asked (cf. \cite{5}, sequence A290646): is for $n\geq1$ A290646=A135517? According to A135517, A091090 and a formula there, this question is equivalent to the following one: is, for $n\geq1,$ the denominator of $E_n(x) - E_n(1)$ equal to $2^{\nu_2(n+1)-g(n)}$? In this note we answer in the affirmative on this question.


title: Quantifying and Visualizing Hidden Preferential Aggregations Amid Heterogeneity

abstract: Biological systems often exhibit a heterogeneous arrangement of objects, such as assorted nuclear chromatin patterns in a tumor, assorted species of bacteria in biofilms, or assorted aggregates of subcellular particles. Principle Component Analysis (PCA) and Multiple Component Analysis (MCA) provide information about which features in multidimensional data aggregate, but do not provide in situ spatial information about these aggregations. This paper outlines the Numericized Histogram Score (NHS) algorithm, which converts the histogram distribution of shortest distances between objects into a continuous variable that can be represented as a spatial heatmap. A histogram can be transformed into an intensity value by assigning a weighting factor to each sequential bin. Each object in an image can be replaced by its NHS value, which when calibrated to a color scale results in a heatmap. These spatial heatmaps reveal regions of aggregation amid heterogeneity that would otherwise mask loco-regional spatial associations, which will be especially useful in the field of digital pathology. In addition to visualizing aggregations as heatmaps, the ability to calculate degrees of recurring patterns of aggregation allows investigators to stratify samples for further insights into clinical outcome, response to treatment, or omic subtypes (genomic, transcriptomic, proteomic, metabolomic, etc.).


title: Capital flow constrained lot sizing problem with loss of goodwill and loan

abstract: We introduce capital flow constraints, loss of good will and loan to the lot sizing problem. Capital flow constraint is different from traditional capacity constraints: when a manufacturer launches production, its present capital should not be less than its present total production cost; otherwise, it must decrease production quantity or suspend production. Unsatisfied demand in one period may cause customer's demand to shrink in the next period considering loss of goodwill. Fixed loan can be adopted in the starting period for production. A mixed integer model for a deterministic single-item problem is constructed. Based on the analysis about the structure of optimal solutions, we approximate it to a traveling salesman problem, and divide it into sub-linear programming problems without integer variables. A forward recursive algorithm with heuristic adjustments is proposed to solve it. When unit variable production costs are equal and goodwill loss rate is zero, the algorithm can obtain optimal solutions. Under other situations, numerical comparisons with CPLEX 12.6.2 show our algorithm can reach optimal in most cases and has computation time advantage for large-size problems. Numerical tests also demonstrate that initial capital availability as well as loan interest rate can substantially affect the manufacturer's optimal lot sizing decisions.


title: An asymptotically sharp form of Ball's integral inequality

abstract: We solve the open problem of determining the second order term in the asymptotic expansion of the integral in Ball's integral inequality. In fact, we provide a method by which one can compute any term in the expansion. We also indicate how to derive an asymptotically sharp form of a generalized Ball's integral inequality.


title: Plain stopping time and conditional complexities revisited

abstract: In this paper we analyze the notion of "stopping time complexity", informally defined as the amount of information needed to specify when to stop while reading an infinite sequence. This notion was introduced by Vovk and Pavlovic (2016). It turns out that plain stopping time complexity of a binary string $x$ could be equivalently defined as (a) the minimal plain complexity of a Turing machine that stops after reading $x$ on a one-directional input tape; (b) the minimal plain complexity of an algorithm that enumerates a prefix-free set containing $x$; (c)~the conditional complexity $C(x|x*)$ where $x$ in the condition is understood as a prefix of an infinite binary sequence while the first $x$ is understood as a terminated binary string; (d) as a minimal upper semicomputable function $K$ such that each binary sequence has at most $2^n$ prefixes $z$ such that $K(z)<n$; (e) as $\max C^X(x)$ where $C^X(z)$ is plain Kolmogorov complexity of $z$ relative to oracle $X$ and the maximum is taken over all extensions $X$ of $x$. We also show that some of these equivalent definitions become non-equivalent in the more general setting where the condition $y$ and the object $x$ may differ. We also answer an open question from Chernov, Hutter and~Schmidhuber.


title: Stabilized rapid oscillations in a delay equation: Feedback control by a small resonant delay

abstract: We study scalar delay equations $$\dot{x} (t) = \lambda f(x(t-1)) + b^{-1} (x(t) + x(t -p/2))$$ with odd nonlinearity $f$, real nonzero parameters $\lambda, \, b$, and two positive time delays $1,\ p/2$. We assume supercritical Hopf~bifurcation from $x \equiv 0$ in the well-understood single-delay case $b = \infty$. Normalizing $f' (0)=1$, branches of constant minimal period $p_k = 2\pi/\omega_k$ are known to bifurcate from eigenvalues $i\omega_k = i(k+\tfrac{1}{2})\pi$ at $\lambda_k = (-1)^{k+1}\omega_k$, for any nonnegative integer $k$. The unstable dimension of these rapidly oscillating periodic solutions is $k$, at the local branch $k$. We obtain stabilization of such branches, for arbitrarily large unstable dimension $k$, and for, necessarily, delicately narrow regions of control amplitudes $b < 0$. For $p$:= $p_k$ the branch $k$ of constant period $p_k$ persists as a solution, for any $b\neq 0$. Indeed the delayed feedback term controlled by $b$ vanishes on branch $k$: the feedback control is noninvasive there. Following an idea of Pyragas (1992), we seek parameter regions $\mathcal{P} = (\underline{b}_k,\overline{b}_k)$ of controls $b \neq 0$ such that the branch $k$ becomes stable, locally at Hopf~bifurcation. We determine rigorous expansions for $\mathcal{P}$ in the limit of large $k$. Our analysis is based on a 2-scale covering lift for the slow and rapid frequencies involved. These results complement earlier results by Fiedler and Oliva (2016) which required control terms $$b^{-1} (x(t-\vartheta) + x(t-\vartheta -p/2))$$ with a third delay $\vartheta$ near 1.


title: Quantitative version of a Silverstein's result

abstract: We prove a quantitative version of a Silverstein's Theorem on a condition for convergence in probability of the norm of random matrix. More precisely, we show that for a random matrix whose entries are i.i.d. random variables, $w_{i,j}$, satisfying certain natural conditions, is not small with large probability.


title: Universal Weak Variable-Length Source Coding on Countable Infinite Alphabets

abstract: Motivated from the fact that universal source coding on countably infinite alphabets is not feasible, this work introduces the notion of almost lossless source coding. Analog to the weak variable-length source coding problem studied by Han (IEEE TIT, 2000, 46, 1217-1226), almost lossless source coding aims at relaxing the lossless block-wise assumption to allow an average per-letter distortion that vanishes asymptotically as the block-length tends to infinity. In this setup, we show on one hand that Shannon entropy characterizes the minimum achievable rate (similarly to the case of finite alphabet sources) while on the other that almost lossless universal source coding becomes feasible for the family of finite-entropy stationary memoryless sources with infinite alphabets. Furthermore, we study a stronger notion of almost lossless universality that demands uniform convergence of the average per-letter distortion to zero, where we establish a necessary and sufficient condition for the so-called family of envelope distributions to achieve it. Remarkably, this condition is the same necessary and sufficient condition needed for the existence of a strongly minimax (lossless) universal source code for the family of envelope distributions. Finally, we show that an almost lossless coding scheme offers faster rate of convergence for the (minimax) redundancy compared to the well-known information radius developed for the lossless case at the expense of tolerating a non-zero distortion that vanishes to zero as the block-length grows. This shows that even when lossless universality is feasible, an almost lossless scheme can offer different regimes on the rates of convergence of the (worst case) redundancy versus the (worst case) distortion.


title: The Effect of `Probability Skew' in Bell-test Experiments

abstract: We consider typical experiments that use Bell-inequalities to test local-realist theories of quantum mechanics and gain insight into how certain results can be obtained. We see that results against local-realism arise from some `quantum skew' of the correlation between entangled qubit pairs. Furthermore, we find some conditions necessary for a conclusion against local-realism. Finally we show that the problem of `no-signalling' that arises in these experiments cannot be reduced to arbitrary experimental accuracy.


title: Numerical study on thermal transpiration flows through a rectangular channel

abstract: Gaseous thermal transpiration flows through a rectangular micro-channel are simulated by the direct simulation BGK (DSBGK) method. These flows are rarefied, within the slip and transitional flow regimes, which are beyond many traditional computational fluid dynamic simulation schemes, such as those based on the continuum flow assumption. The flows are very slow and thus many traditional particle simulation methods suffer large statistical noises. The adopted method is a combination of particle and gas kinetic methods and it can simulate micro-flows properly. The simulation results of mass flow rates have excellent agreement with experimental measurements. In another case of 2D channel, the DSBGK comparisons with the DSMC result and the solution of Shakhov equation are also in very good agreement. Another finding from this study is that numerical simulations by including two reservoirs at the channel ends lead to appreciable differences in simulation results of velocity and pressure distributions within the micro-channel. This is due to the inhaling and exhaling effects of reservoirs at the channel ends. Even though excluding those reservoirs may accelerate the simulations significantly by using a single channel in simulations, special attentions are needed because this treatment may over-simplify the problem, and some procedures and results may be questionable. One example is to determine the surface momentum accommodation coefficient by using analytical solution of the mass flow rate obtained in a single-channel problem without the confinement effect of reservoirs at the two ends.


title: An asymptotically sharp form of Ball's inequality by probability methods

abstract: To prove by probabilistic methods that every $(n-1)$-dimensional section of the unit cube in $R^n$ has volume at most $\sqrt 2$, K. Ball made essential use of the inequality $$ \frac{1}{\pi}\int_{-\infty}^{\infty} \left(\frac{\sin^2 t}{t^2}\right)^pdt\leq \frac{\sqrt 2}{\sqrt p}, \quad p\geq 1, $$ in which equality holds if and only if $p=1$. The right side of above inequality has the correct rate of decay though the limit of the ratio of the right to left side is ${\sqrt{\frac{3}{\pi}}}$ rather then $\sqrt 2$. Applying Ball's methods we put all of this into the improved form of the Ball's inequality.


title: Continuous tensor categories from quantum groups I: algebraic aspects

abstract: We describe the algebraic ingredients of a proof of the conjecture of Frenkel and Ip that the category of positive representations $\mathcal{P}_\lambda$ of the quantum group $U_q(\mathfrak{sl}_{n+1})$ is closed under tensor products. Our results generalize those of Ponsot and Teschner in the rank 1 case of $U_q(\mathfrak{sl}_2)$. In higher rank, many nontrivial features appear, the most important of these being a surprising connection to the quantum integrability of the open Coxeter-Toda lattice. We show that the closure under tensor products follows from the orthogonality and completeness of the Toda eigenfunctions (i.e. the q-Whittaker functions), and obtain an explicit construction of the Clebsch-Gordan intertwiner giving the decomposition of $\mathcal{P}_\lambda \otimes \mathcal{P}_\mu$ into irreducibles.


title: The Asymptotic Behaviour of the $m$-th Order Cardinal $B$-Spline wavelet

abstract: It is well-known that the $m$-th order cardinal $B$-spline wavelet, $\psi_{m},$ decays exponentially. Our aim in this paper is to determine the exact rate of this decay and thereby to describe the asymptotic behaviour of $\psi_{m}$.


title: On the notions of energy tensors in tetrad-affine gravity

abstract: We are concerned with the precise modalities by which mathematical constructions related to energy-tensors can be adapted to a tetrad-affine setting. We show that, for fairly general gauge field theories formulated in that setting, two notions of energy tensor--the canonical tensor and the stress-energy tensor--exactly coincide with no need for tweaking. Moreover we show how both notions of energy-tensor can be naturally extended to include the gravitational field itself, represented by a couple constituted by the tetrad and a spinor connection. Then we examine the on-shell divergences of these tensors in relation to the issue of local energy-conservation in the presence of torsion.


abstract: We prove Inequalities similar to those of Bernstein for non-periodic splines in $L_2$ space.


title: A Combinatorial Formula for Test Functions with Pro-p Iwahori Level Structure

abstract: The Test Function Conjecture due to Haines and Kottwitz predicts that the geometric Bernstein center is a source of test functions required by the Langlands-Kottwitz method for expressing the local semisimple Hasse-Weil zeta function of a Shimura variety in terms of automorphic L-functions. Haines and Rapoport found an explicit formula for such test functions in the Drinfeld case with pro-p Iwahori level structure. This article generalizes the Haines-Rapoport formula for the Drinfeld case to a broader class of split groups. The main theorem presents a new formula for test functions with pro-p Iwahori level structure, which can be computed through some combinatorics on Coxeter groups. Explicit descriptions of the test function in certain low-rank general linear and symplectic group examples are included.


title: Nodal lengths of eigenfunctions in the disc

abstract: In this paper, we derive the sharp lower and upper bounds of nodal lengths of Laplacian eigenfunctions in the disc. Furthermore, we observe a geometric property of the eigenfunctions whose nodal curves maximize the nodal length.


title: Novel Sensor Scheduling Scheme for Intruder Tracking in Energy Efficient Sensor Networks

abstract: We consider the problem of tracking an intruder using a network of wireless sensors. For tracking the intruder at each instant, the optimal number and the right configuration of sensors has to be powered. As powering the sensors consumes energy, there is a trade off between accurately tracking the position of the intruder at each instant and the energy consumption of sensors. This problem has been formulated in the framework of Partially Observable Markov Decision Process (POMDP). Even for the state-of-the-art algorithm in the literature, the curse of dimensionality renders the problem intractable. In this paper, we formulate the Intrusion Detection (ID) problem with a suitable state-action space in the framework of POMDP and develop a Reinforcement Learning (RL) algorithm utilizing the Upper Confidence Tree Search (UCT) method to solve the ID problem. Through simulations, we show that our algorithm performs and scales well with the increasing state and action spaces.


title: Exploiting Algebraic Structure in Global Optimization and the Belgian Chocolate Problem

abstract: The Belgian chocolate problem involves maximizing a parameter {\delta} over a non-convex region of polynomials. In this paper we detail a global optimization method for this problem that outperforms previous such methods by exploiting underlying algebraic structure. Previous work has focused on iterative methods that, due to the complicated non-convex feasible region, may require many iterations or result in non-optimal {\delta}. By contrast, our method locates the largest known value of {\delta} in a non-iterative manner. We do this by using the algebraic structure to go directly to large limiting values, reducing the problem to a simpler combinatorial optimization problem. While these limiting values are not necessarily feasible, we give an explicit algorithm for arbitrarily approximating them by feasible {\delta}. Using this approach, we find the largest known value of {\delta} to date, {\delta} = 0.9808348. We also demonstrate that in low degree settings, our method recovers previously known upper bounds on {\delta} and that prior methods converge towards the {\delta} we find.


title: From Strangeness Enhancement to Quark-Gluon Plasma Discovery

abstract: This is a short survey of signatures and characteristics of the quark-gluon plasma in the light of experimental results that have been obtained over the past three decades. In particular, we present an in-depth discussion of the strangeness observable, including a chronology of the experimental effort to detect QGP at CERN-SPS, BNL-RHIC, and CERN-LHC.


abstract: We are proving a Bernstein type inequality in the shift-invariant spaces of $L_2(R)$.


title: Part-to-whole Registration of Histology and MRI using Shape Elements

abstract: Image registration between histology and magnetic resonance imaging (MRI) is a challenging task due to differences in structural content and contrast. Too thick and wide specimens cannot be processed all at once and must be cut into smaller pieces. This dramatically increases the complexity of the problem, since each piece should be individually and manually pre-aligned. To the best of our knowledge, no automatic method can reliably locate such piece of tissue within its respective whole in the MRI slice, and align it without any prior information. We propose here a novel automatic approach to the joint problem of multimodal registration between histology and MRI, when only a fraction of tissue is available from histology. The approach relies on the representation of images using their level lines so as to reach contrast invariance. Shape elements obtained via the extraction of bitangents are encoded in a projective-invariant manner, which permits the identification of common pieces of curves between two images. We evaluated the approach on human brain histology and compared resulting alignments against manually annotated ground truths. Considering the complexity of the brain folding patterns, preliminary results are promising and suggest the use of characteristic and meaningful shape elements for improved robustness and efficiency.


title: Merge decompositions, two-sided Krohn-Rhodes, and aperiodic pointlikes

abstract: This paper provides short proofs of two fundamental theorems of finite semigroup theory whose previous proofs were significantly longer, namely the two-sided Krohn-Rhodes decomposition theorem and Henckell's aperiodic pointlike theorem, using a new algebraic technique that we call the merge decomposition. A prototypical application of this technique decomposes a semigroup $T$ into a two-sided semidirect product whose components are built from two subsemigroups $T_1,T_2$, which together generate $T$, and the subsemigroup generated by their setwise product $T_1T_2$. In this sense we decompose $T$ by merging the subsemigroups $T_1$ and $T_2$. More generally, our technique merges semigroup homomorphisms from free semigroups.


title: Challenges in Inflationary Magnetogenesis: Constraints from Strong Coupling, Backreaction and the Schwinger Effect

abstract: Models of inflationary magnetogenesis with a coupling to the electromagnetic action of the form $f^2 F_{\mu\nu}F^{\mu\nu}$, are known to suffer from several problems. These include the strong coupling problem, the back reaction problem and also strong constraints due to Schwinger effect. We propose a model which resolves all these issues. In our model, the coupling function, $f$, grows during inflation and transits to a decaying phase post inflation. This evolutionary behaviour is chosen so as to avoid the problem of strong coupling. By assuming a suitable power law form of the coupling function, we can also neglect back reaction effects during inflation. To avoid back reaction post-inflation, we find that the reheating temperature is restricted to be below $ \approx 1.7 \times 10^4$ GeV. The magnetic energy spectrum is predicted to be non-helical and generically blue. The estimated present day magnetic field strength and the corresponding coherence length taking reheating at the QCD epoch(150 MeV) are $ 1.4 \times 10^{-12}$ G and $6.1 \times 10^{-4}$ Mpc, respectively. This is obtained after taking account of nonlinear processing over and above the flux freezing evolution after reheating. If we consider also the possibility of a non-helical inverse cascade, as indicated in direct numerical simulations, the coherence length and the magnetic field strength are even larger. In all cases mentioned above, the magnetic fields generated in our models satisfy the $\gamma$-ray bound below a certain reheating temperature.


title: MSM lag time cannot be used for variational model selection

abstract: The variational principle for conformational dynamics has enabled the systematic construction of Markov state models through the optimization of hyperparameters by approximating the transfer operator. In this note we discuss why lag time of the operator being approximated must be held constant in the variational approach.


title: Earth as a Hybrid Planet - The Anthropocene in an Evolutionary Astrobiological Context

abstract: We develop a classification scheme for the evolutionary state of planets based on the non-equilibrium thermodynamics of their coupled systems, including the presence of a biosphere and the possibility of what we call an agency-dominated biosphere (i.e. an energy-intensive technological species). The premise is that Earths entry into the Anthropocene represents what might be from an astrobiological perspective a predictable planetary transition. We explore this problem from the perspective of the solar system and exoplanet studies. Our classification discriminates planets by the forms of free energy generation driven from stellar forcing. We then explore how timescales for global evolutionary processes on Earth might be synchronized with ecological transformations driven by increases in energy harvesting and its consequences (which might have reached a turning point with global urbanization). Finally, we describe quantitatively the classification scheme based on the maintenance of chemical disequilibrium in the past and current Earth systems and on other worlds in the solar system. In this perspective, the beginning of the Anthropocene can be seen as the onset of the hybridization of the planet - a transitional stage from one class of planetary systems interaction to another. For Earth, this stage occurs as the effects of human civilization yield not just new evolutionary pressures, but new selected directions for novel planetary ecosystem functions and their capacity to generate disequilibrium and enhance planetary dissipation.


title: An ALMA Dynamical Mass Estimate of the Proposed Planetary-mass Companion FW Tau C

abstract: Dynamical mass estimates down to the planet-mass regime can help to understand planet formation. We present Atacama Large Millimeter/submillimeter Array (ALMA) 1.3 mm observations of FW Tau C, a proposed ~10 $M_{\rm Jup}$ planet-mass companion at ~330 au from the host binary FW Tau AB. We spatially and spectrally resolve the accretion disk of FW Tau C in ${}^{12}$CO (2-1). By modeling the Keplerian rotation of gas, we derive a dynamical mass of ~0.1 $M_\odot$. Therefore, FW Tau C is unlikely a planet, but rather a low-mass star with a highly inclined disk. This also suggests that FW Tau is a triple system consisting of three ~0.1 $M_\odot$ stars.


title: Impact of Feature Selection on Micro-Text Classification

abstract: Social media datasets, especially Twitter tweets, are popular in the field of text classification. Tweets are a valuable source of micro-text (sometimes referred to as "micro-blogs"), and have been studied in domains such as sentiment analysis, recommendation systems, spam detection, clustering, among others. Tweets often include keywords referred to as "Hashtags" that can be used as labels for the tweet. Using tweets encompassing 50 labels, we studied the impact of word versus character-level feature selection and extraction on different learners to solve a multi-class classification task. We show that feature extraction of simple character-level groups performs better than simple word groups and pre-processing methods like normalizing using Porter's Stemming and Part-of-Speech ("POS")-Lemmatization.


title: An introduction to moduli stacks, with a view towards Higgs bundles on algebraic curves

abstract: This article is based in part on lecture notes prepared for the summer school "The Geometry, Topology and Physics of Moduli Spaces of Higgs Bundles" at the Institute for Mathematical Sciences at the National University of Singapore in July of 2014. The aim is to provide a brief introduction to algebraic stacks, and then to give several constructions of the moduli stack of Higgs bundles on algebraic curves. The first construction is via a "bootstrap" method from the algebraic stack of vector bundles on an algebraic curve. This construction is motivated in part by Nitsure's GIT construction of a projective moduli space of semi-stable Higgs bundles, and we describe the relationship between Nitsure's moduli space and the algebraic stacks constructed here. The third approach is via deformation theory, where we directly construct the stack of Higgs bundles using Artin's criterion.


title: Dyonic configurations in nonlinear electrodynamics coupled to general relativity

abstract: We consider static, spherically symmetric configurations in general relativity, supported by nonlinear electromagnetic fields with gauge-invariant Lagrangians depending on the single invariant $f = F_{\mu\nu} F^{\mu\nu}$. After a brief review on black hole (BH) and solitonic solutions, obtained so far with pure electric or magnetic fields, an attempt is made to obtain dyonic solutions, those with both electric and magnetic charges. A general scheme is suggested, leading to solutions in quadratures for an arbitrary Lagrangian function $L(f)$ (up to some monotonicity restrictions); such solutions are expressed in terms of $f$ as a new radial coordinate instead of the usual coordinate $r$. For the truncated Born-Infeld theory (depending on the invariant $f$ only), a general dyonic solution is obtained in terms of $r$. A feature of interest in this solution is the existence of a special case with a self-dual electromagnetic field, $f \equiv 0$ and the Reissner-Nordstr\"om metric.


title: Predicting ground-state configurations and electronic properties of the thermoelectric clathrates Ba$_{8}$Al$_{x}$Si$_{46-x}$ and Sr$_{8}$Al$_{x}$Si$_{46-x}$

abstract: The structural and electronic properties of the clathrate compounds Ba$_{8}$Al$_{x}$Si$_{46-x}$ and Sr$_{8}$Al$_{x}$Si$_{46-x}$ are studied from first principles, considering an Al content $x$ between 6 and 16. Due to the large number of possible substitutional configurations we make use of a special iterative cluster-expansion approach, to predict ground states and quasi-degenerate structures in a highly efficient way. These are found from a simulated annealing technique where millions of configurations are sampled. For both compounds, we find a linear increase of the lattice constant with the number of Al substituents, confirming experimental observations for Ba$_{8}$Al$_{x}$Si$_{46-x}$. Also the calculated bond distances between high-symmetry sites agree well with experiment for the full compositional range. For $x$ being below 16, all configurations are metallic for both materials. At the charge-balanced composition ($x=16$), the substitutional ordering leads to a metal-semiconductor transition, and the ground states of Ba$_{8}$Al$_{16}$Si$_{30}$ and Sr$_{8}$Al$_{16}$Si$_{30}$ exhibit indirect Kohn-Sham band gaps of 0.36 and 0.30 eV, respectively, while configurations higher in energy are metals. The finding of semiconducting behavior is a promising result in view of exploiting these materials in thermoelectric applications.


title: RIOT: a Stochastic-based Method for Workflow Scheduling in the Cloud

abstract: Cloud computing provides engineers or scientists a place to run complex computing tasks. Finding a workflow's deployment configuration in a cloud environment is not easy. Traditional workflow scheduling algorithms were based on some heuristics, e.g. reliability greedy, cost greedy, cost-time balancing, etc., or more recently, the meta-heuristic methods, such as genetic algorithms. These methods are very slow and not suitable for rescheduling in the dynamic cloud environment. This paper introduces RIOT (Randomized Instance Order Types), a stochastic based method for workflow scheduling. RIOT groups the tasks in the workflow into virtual machines via a probability model and then uses an effective surrogate-based method to assess a large amount of potential scheduling. Experiments in dozens of study cases showed that RIOT executes tens of times faster than traditional methods while generating comparable results to other methods.


title: The Baire classification of strongly separately continuous functions on $\ell_\infty$

abstract: We prove that for any $\alpha\in[0,\omega_1)$ there exists a strongly separately continuous function $f:\ell_\infty\to [0,1]$ such that $f$ belongs to the $(\alpha+1)$'th /$(\alpha+2)$'th/ Baire class and does not belong to the $\alpha$'th Baire class if $\alpha$ is finite /infinite/.


title: The combinatorics of Lehn's conjecture

abstract: Let S be a smooth projective surface equipped with a line bundle H. Lehn's conjecture is a formula for the top Segre class of the tautological bundle associated to H on the Hilbert scheme of points of S. Voisin has recently reduced Lehn's conjecture to the vanishing of certain coefficients of special power series. The first result of this short note is a proof of the vanishings required by Voisin by residue calculations (A. Szenes and M. Vergne have independently found the same proof). Our second result is an elementary solution of the parallel question for the top Segre class on the symmetric power of a smooth projective curve C associated to a higher rank vector bundle V on C. Finally, we propose a complete conjecture for the top Segre class on the Hilbert scheme of points of S associated to a higher rank vector bundle on S in the K-trivial case.


title: Cosmological Perturbation Theory Using the FFTLog: Formalism and Connection to QFT Loop Integrals

abstract: We present a new method for calculating loops in cosmological perturbation theory. This method is based on approximating a $\Lambda$CDM-like cosmology as a finite sum of complex power-law universes. The decomposition is naturally achieved using an FFTLog algorithm. For power-law cosmologies, all loop integrals are formally equivalent to loop integrals of massless quantum field theory. These integrals have analytic solutions in terms of generalized hypergeometric functions. We provide explicit formulae for the one-loop and the two-loop power spectrum and the one-loop bispectrum. A chief advantage of our approach is that the difficult part of the calculation is cosmology independent, need be done only once, and can be recycled for any relevant predictions. Evaluation of standard loop diagrams then boils down to a simple matrix multiplication. We demonstrate the promise of this method for applications to higher multiplicity/loop correlation functions.


title: Asymptotic behavior of solutions of linear multi-order fractional differential equation systems

abstract: In this paper, we investigate some aspects of the qualitative theory for multi-order fractional differential equation systems. First, we obtain a fundamental result on the existence and uniqueness for multi-order fractional differential equation systems. Next, a representation of solutions of homogeneous linear multi-order fractional differential equation systems in series form is provided. Finally, we give characteristics regarding the asymptotic behavior of solutions to some classes of linear multi-order fractional differential equation systems.


title: Topological Tutte Polynomial

abstract: This is a survey recent works on topological extensions of the Tutte polynomial.


title: Methods for applying the Neural Engineering Framework to neuromorphic hardware

abstract: We review our current software tools and theoretical methods for applying the Neural Engineering Framework to state-of-the-art neuromorphic hardware. These methods can be used to implement linear and nonlinear dynamical systems that exploit axonal transmission time-delays, and to fully account for nonideal mixed-analog-digital synapses that exhibit higher-order dynamics with heterogeneous time-constants. This summarizes earlier versions of these methods that have been discussed in a more biological context (Voelker & Eliasmith, 2017) or regarding a specific neuromorphic architecture (Voelker et al., 2017).


title: Measuring social spam and the effect of bots on information diffusion in social media

abstract: Bots have been playing a crucial role in online platform ecosystems, as efficient and automatic tools to generate content and diffuse information to the social media human population. In this chapter, we will discuss the role of social bots in content spreading dynamics in social media. In particular, we will first investigate some differences between diffusion dynamics of content generated by bots, as opposed to humans, in the context of political communication, then study the characteristics of bots behind the diffusion dynamics of social media spam campaigns.


title: Representability of algebraic topology for biomolecules in machine learning based scoring and virtual screening

abstract: This work introduces a number of algebraic topology approaches, such as multicomponent persistent homology, multi-level persistent homology and electrostatic persistence for the representation, characterization, and description of small molecules and biomolecular complexes. Multicomponent persistent homology retains critical chemical and biological information during the topological simplification of biomolecular geometric complexity. Multi-level persistent homology enables a tailored topological description of inter- and/or intra-molecular interactions of interest. Electrostatic persistence incorporates partial charge information into topological invariants. These topological methods are paired with Wasserstein distance to characterize similarities between molecules and are further integrated with a variety of machine learning algorithms, including k-nearest neighbors, ensemble of trees, and deep convolutional neural networks, to manifest their descriptive and predictive powers for chemical and biological problems. Extensive numerical experiments involving more than 4,000 protein-ligand complexes from the PDBBind database and near 100,000 ligands and decoys in the DUD database are performed to test respectively the scoring power and the virtual screening power of the proposed topological approaches. It is demonstrated that the present approaches outperform the modern machine learning based methods in protein-ligand binding affinity predictions and ligand-decoy discrimination.


title: An Ensemble Framework for Detecting Community Changes in Dynamic Networks

abstract: Dynamic networks, especially those representing social networks, undergo constant evolution of their community structure over time. Nodes can migrate between different communities, communities can split into multiple new communities, communities can merge together, etc. In order to represent dynamic networks with evolving communities it is essential to use a dynamic model rather than a static one. Here we use a dynamic stochastic block model where the underlying block model is different at different times. In order to represent the structural changes expressed by this dynamic model the network will be split into discrete time segments and a clustering algorithm will assign block memberships for each segment. In this paper we show that using an ensemble of clustering assignments accommodates for the variance in scalable clustering algorithms and produces superior results in terms of pairwise-precision and pairwise-recall. We also demonstrate that the dynamic clustering produced by the ensemble can be visualized as a flowchart which encapsulates the community evolution succinctly.


title: Principal Components and Regularized Estimation of Factor Models

abstract: It is known that the common factors in a large panel of data can be consistently estimated by the method of principal components, and principal components can be constructed by iterative least squares regressions. Replacing least squares with ridge regressions turns out to have the effect of shrinking the singular values of the common component and possibly reducing its rank. The method is used in the machine learning literature to recover low-rank matrices. We study the procedure from the perspective of estimating a minimum-rank approximate factor model. We show that the constrained factor estimates are biased but can be more efficient in terms of mean-squared errors. Rank consideration suggests a data-dependent penalty for selecting the number of factors. The new criterion is more conservative in cases when the nominal number of factors is inflated by the presence of weak factors or large measurement noise. The framework is extended to incorporate a priori linear constraints on the loadings. We provide asymptotic results that can be used to test economic hypotheses.


title: Categorizing Hirsch Index Variants

abstract: Utilizing the Hirsch index h and some of its variants for an exploratory factor analysis we discuss whether one of the most important Hirsch-type indices, namely the g-index comprises information about not only the size of the productive core but also the impact of the papers in the core. We also study the effect of logarithmic and square-root transformation of the data utilized in the factor analysis. To demonstrate our approach we use a real data example analysing the citation records of 26 physicists compiled from the Web of Science.


title: Frozen Mode Regime in Finite Periodic Structures

abstract: Periodic structures with Bloch dispersion relation supporting a stationary inflection point (SIP) can display a unique scattering feature, the frozen mode regime (FMR). The FMR is much more robust than common cavity resonances; it is much less sensitive to the boundary conditions, structural imperfections, and losses. Using perturbation theory, we analyze the FMR in the realistic case of a finite fragment of a periodic structure. We show that in close proximity of SIP frequency, the character of the FMR is qualitatively different from the known case of a semi-infinite structure.


title: Femtosecond pulsed laser micro-machining of glass substrates with application to microfluidic devices

abstract: We describe a technique for surface and sub-surface micro-machining of glass substrates using tightly focused femtosecond laser pulses at a wavelength of 1660 nm. Although silicate glass is normally transparent at this wavelength, the extremely high intensity of the focused beam causes multi-photon absorption, resulting in localized ablation of the glass substrate. Ablation is strictly confined to the vicinity of focus, leaving the rest of the substrate unaffected. We exploit this phenomenon to drill a micro-hole through a thin vertical wall that separates two adjacent pits machined by the same laser in a glass plate. A salient feature of pulsed laser micro-machining, therefore, is its ability to drill sub-surface tunnels and canals into glass substrates, a process that requires multiple steps in standard lithography. To demonstrate a potential application of this micro-machining technique, we have fabricated simple micro-fluidic structures on a glass plate. To prevent the evaporation of liquids in open micro-channels and micro-chambers thus fabricated requires a cover plate that seals the device by making point-to-point contact with the flat surface of the substrate. This point-to-point contacting is essential if the fluids are to remain confined within their various channels and chambers on the chip, without leaking into neighboring regions. Methods of protecting and sealing the micro-machined structures for microfluidic applications are also discussed.


title: One-Shot Concept Learning by Simulating Evolutionary Instinct Development

abstract: Object recognition has become a crucial part of machine learning and computer vision recently. The current approach to object recognition involves Deep Learning and uses Convolutional Neural Networks to learn the pixel patterns of the objects implicitly through backpropagation. However, CNNs require thousands of examples in order to generalize successfully and often require heavy computing resources for training. This is considered rather sluggish when compared to the human ability to generalize and learn new categories given just a single example. Additionally, CNNs make it difficult to explicitly programmatically modify or intuitively interpret their learned representations. We propose a computational model that can successfully learn an object category from as few as one example and allows its learning style to be tailored explicitly to a scenario. Our model decomposes each image into two attributes: shape and color distribution. We then use a Bayesian criterion to probabilistically determine the likelihood of each category. The model takes each factor into account based on importance and calculates the conditional probability of the object belonging to each learned category. Our model is not only applicable to visual scenarios, but can also be implemented in a broader and more practical scope of situations such as Natural Language Processing as well as other places where it is possible to retrieve and construct individual attributes. Because the only condition our model presents is the ability to retrieve and construct individual attributes such as shape and color, it can be applied to essentially any class of visual objects.


title: Study of Set-Membership Kernel Adaptive Algorithms and Applications

abstract: Adaptive algorithms based on kernel structures have been a topic of significant research over the past few years. The main advantage is that they form a family of universal approximators, offering an elegant solution to problems with nonlinearities. Nevertheless these methods deal with kernel expansions, creating a growing structure also known as dictionary, whose size depends on the number of new inputs. In this paper we derive the set-membership kernel-based normalized least-mean square (SM-NKLMS) algorithm, which is capable of limiting the size of the dictionary created in stationary environments. We also derive as an extension the set-membership kernelized affine projection (SM-KAP) algorithm. Finally several experiments are presented to compare the proposed SM-NKLMS and SM-KAP algorithms to the existing methods.


title: Log-PCA versus Geodesic PCA of histograms in the Wasserstein space

abstract: This paper is concerned by the statistical analysis of data sets whose elements are random histograms. For the purpose of learning principal modes of variation from such data, we consider the issue of computing the PCA of histograms with respect to the 2-Wasserstein distance between probability measures. To this end, we propose to compare the methods of log-PCA and geodesic PCA in the Wasserstein space as introduced by Bigot et al. (2015) and Seguy and Cuturi (2015). Geodesic PCA involves solving a non-convex optimization problem. To solve it approximately, we propose a novel forward-backward algorithm. This allows a detailed comparison between log-PCA and geodesic PCA of one-dimensional histograms, which we carry out using various data sets, and stress the benefits and drawbacks of each method. We extend these results for two-dimensional data and compare both methods in that setting.


title: Finding by Counting: A Probabilistic Packet Count Model for Indoor Localization in BLE Environments

abstract: We propose a probabilistic packet reception model for Bluetooth Low Energy (BLE) packets in indoor spaces and we validate the model by using it for indoor localization. We expect indoor localization to play an important role in indoor public spaces in the future. We model the probability of reception of a packet as a generalized quadratic function of distance, beacon power and advertising frequency. Then, we use a Bayesian formulation to determine the coefficients of the packet loss model using empirical observations from our testbed. We develop a new sequential Monte-Carlo algorithm that uses our packet count model. The algorithm is general enough to accommodate different spatial configurations. We have good indoor localization experiments: our approach has an average error of ~1.2m, 53% lower than the baseline range-free Monte-Carlo localization algorithm.


title: Optimal explicit stabilized integrator of weak order one for stiff and ergodic stochastic differential equations

abstract: A new explicit stabilized scheme of weak order one for stiff and ergodic stochastic differential equations (SDEs) is introduced. In the absence of noise, the new method coincides with the classical deterministic stabilized scheme (or Chebyshev method) for diffusion dominated advection-diffusion problems and it inherits its optimal stability domain size that grows quadratically with the number of internal stages of the method. For mean-square stable stiff stochastic problems, the scheme has an optimal extended mean-square stability domain that grows at the same quadratic rate as the deterministic stability domain size in contrast to known existing methods for stiff SDEs [A. Abdulle and T. Li. Commun. Math. Sci., 6(4), 2008, A. Abdulle, G. Vilmart, and K. C. Zygalakis, SIAM J. Sci. Comput., 35(4), 2013]. Combined with postprocessing techniques, the new methods achieve a convergence rate of order two for sampling the invariant measure of a class of ergodic SDEs, achieving a stabilized version of the non-Markovian scheme introduced in [B. Leimkuhler, C. Matthews, and M. V. Tretyakov, Proc. R. Soc. A, 470, 2014].


title: Carbon line formation and spectroscopy in O-type stars

abstract: The determination of chemical abundances constitutes a fundamental requirement for obtaining a complete picture of a star. Particularly in massive stars, CNO abundances are of prime interest, due to the nuclear CNO-cycle and various mixing processes which bring these elements to the surface. We aim at enabling a reliable carbon spectroscopy for our unified NLTE atmosphere code FASTWIND. We develop a new carbon model atom including CII/III/IV/V, and discuss problems related to carbon spectroscopy in O-type stars. We describe different tests to examine the reliability of our implementation, and investigate which mechanisms influence the carbon ionization balance. By comparing with high-resolution spectra from six O-type stars, we check in how far observational constraints can be reproduced by our new carbon line synthesis. Carbon lines are even more sensitive to a variation of temperature, gravity, and mass-loss rate, than hydrogen/helium lines. We are able to reproduce most of the observed lines from our stellar sample, and to estimate those specific carbon abundances which bring the lines from different ions into agreement. For hot dwarfs and supergiants earlier than O7, X-rays from wind-embedded shocks can impact the synthesized line strengths, particularly for CIV, potentially affecting the abundance determination. We have demonstrated our capability to derive realistic carbon abundances by means of FASTWIND, using our recently developed model atom. We found that complex effects can have a strong influence on the carbon ionization balance in hot stars. For a further understanding, the UV range needs to be explored as well. By means of detailed nitrogen and oxygen model atoms available to use, we will be able to perform a complete CNO abundance analysis for larger samples of massive stars, and to provide constraints on corresponding evolutionary models and aspects.


title: Shuffling cards by spatial motion

abstract: We propose a model of card shuffling where a pack of cards, spread as points on a square table, are repeatedly gathered locally at random spots and then spread towards a random direction. A shuffling of the cards is then obtained by arranging the cards by their increasing $x$-coordinate values. When there are $m$ cards on the table we show that this random ordering gets mixed in time $O\left(\log m\right)$. Explicit constants are evaluated in a diffusion limit when the position of $m$ cards evolves as an interesting $2m$-dimensional non-reversible reflected jump diffusion in time. Our main technique involves the use of multidimensional Skorokhod maps for double reflections in $[0,1]^2$ in taking the discrete to continuous limit. The limiting computations are then based on the planar Brownian motion and properties of Bessel processes.


title: Embedding optimal transports in statistical manifolds

abstract: We consider Monge-Kantorovich optimal transport problems on $\mathbb{R}^d$, $d\ge 1$, with a convex cost function given by the cumulant generating function of a probability measure. Examples include the Wasserstein-2 transport whose cost function is the square of the Euclidean distance and corresponds to the cumulant generating function of the multivariate standard normal distribution. The optimal coupling is usually described via an extended notion of convex/concave functions and their gradient maps. These extended notions are nonintuitive and do not satisfy useful inequalities such as Jensen's inequality. Under mild regularity conditions, we show that all such extended gradient maps can be recovered as the usual supergradients of a nonnegative concave function on the space of probability distributions. This embedding provides a universal geometry for all such optimal transports and an unexpected connection with information geometry of exponential families of distributions.


title: Molecular and Atomic Clouds toward the Wolf-Rayet Nebula NGC 2359: Possible Evidence for Isolated High-Mass Star Formation Triggered by a Cloud-Cloud Collision

abstract: NGC 2359 is an HII region located in the outer Galaxy that contains the isolated Wolf-Rayet (WR) star HD 56925. We present millimeter/submillimeter observations of $^{12}$CO($J$ = 1-0, 3-2) line emission toward the entire nebula. We identified that there are three molecular clouds at VLSR $\sim$37, $\sim$54, and $\sim$67 km s$^{-1}$, and three HI clouds: two of them are at VLSR $\sim$54 km s$^{-1}$ and the other is at $\sim$63 km s$^{-1}$. These clouds except for the CO cloud at 67 km s$^{-1}$ are limb-brightened in the radio continuum, suggesting part of each cloud has been ionized. We newly found an expanding gas motion of CO/HI, whose center and expansion velocities are $\sim$51 and $\sim$4.5 km s$^{-1}$, respectively. This is consistent with large line widths of the CO and HI clouds at 54 km s$^{-1}$. The kinematic temperature of CO clouds at 37 and 54 km s$^{-1}$ are derived to be 17 and 61 K, respectively, whereas that of the CO cloud at 67 km s$^{-1}$ is only 6 K, indicating that the former two clouds have been heated by strong UV radiation. We concluded that the 37 and 54 km s$^{-1}$ CO clouds and three HI clouds are associated with NGC 2359, even if these clouds have different velocities. Although the velocity difference including the expanding motion are typical signatures of the stellar feedback from the exciting star, our analysis revealed that the observed large momentum for the 37 km s$^{-1}$ CO cloud cannot be explained only by the total wind momentum of the WR star and its progenitor. We therefore propose an alternative scenario that the isolated high-mass progenitor of HD 56925 was formed by a collision between the CO clouds at 37 and 54 km s$^{-1}$. If we apply the collision scenario, NGC 2359 corresponds to the final phase of the cloud-cloud collision.


title: Inclined Surface Locomotion Strategies for Spherical Tensegrity Robots

abstract: This paper presents a new teleoperated spherical tensegrity robot capable of performing locomotion on steep inclined surfaces. With a novel control scheme centered around the simultaneous actuation of multiple cables, the robot demonstrates robust climbing on inclined surfaces in hardware experiments and speeds significantly faster than previous spherical tensegrity models. This robot is an improvement over other iterations in the TT-series and the first tensegrity to achieve reliable locomotion on inclined surfaces of up to 24\degree. We analyze locomotion in simulation and hardware under single and multi-cable actuation, and introduce two novel multi-cable actuation policies, suited for steep incline climbing and speed, respectively. We propose compelling justifications for the increased dynamic ability of the robot and motivate development of optimization algorithms able to take advantage of the robot's increased control authority.


title: Automated Crowdturfing Attacks and Defenses in Online Review Systems

abstract: Malicious crowdsourcing forums are gaining traction as sources of spreading misinformation online, but are limited by the costs of hiring and managing human workers. In this paper, we identify a new class of attacks that leverage deep learning language models (Recurrent Neural Networks or RNNs) to automate the generation of fake online reviews for products and services. Not only are these attacks cheap and therefore more scalable, but they can control rate of content output to eliminate the signature burstiness that makes crowdsourced campaigns easy to detect. Using Yelp reviews as an example platform, we show how a two phased review generation and customization attack can produce reviews that are indistinguishable by state-of-the-art statistical detectors. We conduct a survey-based user study to show these reviews not only evade human detection, but also score high on "usefulness" metrics by users. Finally, we develop novel automated defenses against these attacks, by leveraging the lossy transformation introduced by the RNN training and generation cycle. We consider countermeasures against our mechanisms, show that they produce unattractive cost-benefit tradeoffs for attackers, and that they can be further curtailed by simple constraints imposed by online service providers.


title: Freezeout systematics due to the hadron spectrum

abstract: We investigate systematics of the freezeout surface in heavy ion collisions due to the hadron spectrum. The role of suspected resonance states that are yet to be confirmed experimentally in identifying the freezeout surface has been investigated. We have studied two different freezeout schemes - unified freezeout scheme where all hadrons are assumed to freezeout at the same thermal state and a flavor dependent sequential freezeout scheme with different freezeout thermal states for hadrons with or without valence strange quarks. The data of mean hadron yields as well as scaled variance of net proton and net charge distributions have been analysed. We find the freezeout temperature $T$ to drop by $\sim5\%$ while the dimensionless freezeout parameters $\mu_B/T$ and $VT^3$ ($\mu_B$ and $V$ are the baryon chemical potential and the volume at freezeout respectively) are insensitive to the systematics of the input hadron spectrum. The observed hint of flavor hierarchy in $T$ and $VT^3$ with only confirmed resonances survives the systematics of the hadron spectrum. It is more prominent between $\sqrt{s_{NN}}\sim10 - 100$ GeV where the maximum hierarchy in $T\sim10\%$ and $VT^3\sim40\%$. However, the uncertainties in the thermal parameters due to the systematics of the hadron spectrum and their decay properties do not allow us to make a quantitative estimate of the flavor hierarchy yet.


title: Homogenization approximations for unidirectional transport past randomly distributed sinks

abstract: Transport in biological systems often occurs in complex spatial environments involving random structures. Motivated by such applications, we investigate an idealised model for solute transport past an array of point sinks, randomly distributed along a line, which remove solute via first-order kinetics. Random sink locations give rise to long-range spatial correlations in the solute field and influence the mean concentration. We present a non-standard approach to evaluating these features based on rationally approximating integrals of a suitable Green's function, which accommodates contributions varying on short and long lengthscales and has deterministic and stochastic components. We refine the results of classical two-scale methods for a periodic sink array (giving more accurate higher-order corrections with non-local contributions) and find explicit predictions for the fluctuations in concentration and disorder-induced corrections to the mean for both weakly and strongly disordered sink locations. Our predictions are validated across a large region of parameter space.


title: Statistical mechanics of specular reflections from fluctuating membranes and interfaces

abstract: We study the density of specular reflection points in the geometrical optics limit when light scatters off fluctuating interfaces and membranes in thermodynamic equilibrium. We focus on the statistical mechanics of both capillary-gravity interfaces (characterized by a surface tension) and fluid membranes (controlled by a bending rigidity) in thermodynamic equilibrium in two dimensions. Building on work by Berry, Nye, Longuet-Higgins and others, we show that the statistics of specular points is fully characterized by three fundamental length scales, namely, a correlation length $\xi$, a microscopic length scale $\ell$ and the overall size $L$ of the interface or membrane. By combining a scaling analysis with numerical simulations, we confirm the existence of a scaling law for the density of specular reflection points, $n_{spec}$, in two dimensions, given by $n_{spec}\propto\ell^{-1}$ in the limit of thin fluctuating interfaces with the interfacial thickness $\ell\ll\xi_I$. The density of specular reflections thus diverges for fluctuating interfaces in the limit of vanishing thickness and shows no dependance on the interfacial capillary-gravity correlation length $\xi_I$. Although fluid membranes under tension also exhibit a divergence in $n_{spec}\propto\left(\xi_M\ell\right)^{-1/2}$, the number of specular reflections in this case can grow by decreasing the membrane correlation length $\xi_{M}$.


title: ByRDiE: Byzantine-resilient distributed coordinate descent for decentralized learning

abstract: Distributed machine learning algorithms enable learning of models from datasets that are distributed over a network without gathering the data at a centralized location. While efficient distributed algorithms have been developed under the assumption of faultless networks, failures that can render these algorithms nonfunctional occur frequently in the real world. This paper focuses on the problem of Byzantine failures, which are the hardest to safeguard against in distributed algorithms. While Byzantine fault tolerance has a rich history, existing work does not translate into efficient and practical algorithms for high-dimensional learning in fully distributed (also known as decentralized) settings. In this paper, an algorithm termed Byzantine-resilient distributed coordinate descent (ByRDiE) is developed and analyzed that enables distributed learning in the presence of Byzantine failures. Theoretical analysis (convex settings) and numerical experiments (convex and nonconvex settings) highlight its usefulness for high-dimensional distributed learning in the presence of Byzantine failures.


title: Engineering Multiple Topological Phases in Nanoscale Van der Waals Heterostructures: Realisation of $\alpha$-Antimonene

abstract: Van der Waals heterostructures have recently been identified as providing many opportunities to create new two-dimensional materials, and in particular to produce materials with topologically interesting states. Here we show that it is possible to create such heterostructures with multiple topological phases in a single nanoscale island. We discuss their growth within the framework of diffusion-limited aggregation, the formation of moir\'e patterns due to the differing crystallographies of the materials comprising the heterostructure, and the potential to engineer both the electronic structure as well as local variations of topological order. In particular we show that it is possible to build islands which include both the hexagonal $\beta$- and rectangular $\alpha$-forms of antimonene, on top of the topological insulator $\alpha$-bismuthene. This is the first experimental realisation of $\alpha$-antimonene, and we show that it is a topologically non-trivial material in the quantum spin Hall class.


title: Characteristic and Universal Tensor Product Kernels

abstract: Maximum mean discrepancy (MMD), also called energy distance or N-distance in statistics and Hilbert-Schmidt independence criterion (HSIC), specifically distance covariance in statistics, are among the most popular and successful approaches to quantify the difference and independence of random variables, respectively. Thanks to their kernel-based foundations, MMD and HSIC are applicable on a wide variety of domains. Despite their tremendous success, quite little is known about when HSIC characterizes independence and when MMD with tensor product kernel can discriminate probability distributions. In this paper, we answer these questions by studying various notions of characteristic property of the tensor product kernel.


title: Glass-Like Thermal Conductivity in Nanostructures of a Complex Anisotropic Crystal

abstract: Size effects on vibrational modes in complex crystals remain largely unexplored, despite their importance in a variety of electronic and energy conversion technologies. Enabled by advances in a four-probe thermal transport measurement method, we report the observation of glass-like thermal conductivity in ~20 nm thick single crystalline ribbons of higher manganese silicide, a complex, anisotropic crystal with a ~10 nm scale lattice constant along the incommensurate c axis. The boundary scattering effect is strong for many vibrational modes because of a strong anisotropy in their group velocities or diffusive nature, while confinement effects are pronounced for acoustic modes with long wavelengths along the c axis. Furthermore, the transport of the non-propagating, diffusive modes is suppressed in the nanostructures by the increased incommensurability between the two substructures as a result of the unusual composition of the nanostructure samples. These unique effects point to diverse, new approaches to suppressing the lattice thermal conductivity in complex materials.


title: On the origin of dynamically isolated hot Earths

abstract: A distinct population of planetary systems that contain dynamically isolated, Earth-size planets with orbital periods $P_\mathrm{orb}\sim 1\,$day was recently identified in an analysis of data from the Kepler planet candidate catalog. We argue that these objects could represent the remnant rocky cores of giant planets that arrived at the stellar vicinity on high-eccentricity orbits and were rapidly stripped of their gaseous envelopes after crossing their respective Roche limits (RLs) $a_\mathrm{R,p}$. In this picture, objects with $P_\mathrm{orb}\gtrsim1\,$day are mostly "early" cores that originated in planets with an initial periastron distance $a_\mathrm{per,0}\le a_\mathrm{R,p}$; they had high initial eccentricities but their orbits underwent fast tidal circularization after the cores were exposed. Objects with $P_\mathrm{orb}\lesssim 1\,$day are, by contrast, mostly "late" cores that originated in planets with $a_\mathrm{per,0}>a_\mathrm{R,p}$; these planets underwent orbital circularization to a radius $>a_\mathrm{per,0}$ but eventually reached $a_\mathrm{R,p}$ through tidal orbital decay. This picture naturally accounts for the spatial distribution of hot Earths and for the similarity of their inferred occurrence rate to that of hot Jupiters, and it fits well with the interpretation of the so-called sub-Jovian desert in the orbital-period--planetary-mass plane in terms of high-eccentricity planet migration to the vicinity of the RL.


title: Determining Positive Cancer Rescue Mutations in p53 Based Cancers by using Artificial Intelligence

abstract: A mutation in a protein-coding gene in DNA can alter the protein structure coded by the same gene. Structurally altered proteins usually lose their functions and sometimes gain an undesirable function instead. These types of mutations and their effects can result in genetic diseases or antibiotic resistant bacteria, among other health issues. Important curing methods have been developed for detecting mutations against AIDS as well as genetic diseases. Another example is the influenza virus. The reasons why a vaccination developed to fight against influenza does not work the following year are (a) the mutation of its DNA and (b) the outbreak of the virus after it has been mutated especially if it is a virus that escaped the vaccinations target. Due to such reasons, it is highly important to know in advance the location of a potential mutation in a protein as well as the problems it might cause the medical sciences. In this study we have used artificial neural networks, which are one of the latest artificial intelligence technologies, to determine the effects of cancer mutations. The model we developed has given more successful results compared to other methods. We foresee that our model will bring a new dimension to medical research and the medical industry.


title: Degrees-of-Freedom of the MIMO Three-Way Channel with Node-Intermittency

abstract: The characterization of fundamental performance bounds of many-to-many communication systems in which participating nodes are active in an intermittent way is one of the major challenges in communication theory. In order to address this issue, we introduce the multiple-input multiple-output (MIMO) three-way channel (3WC) with an intermittent node and study its degrees-of-freedom (DoF) region and sum-DoF. We devise a non-adaptive encoding scheme based on zero-forcing, interference alignment and erasure coding, and show its DoF region (and thus sum-DoF) optimality for non-intermittent 3WCs and its sum-DoF optimality for (node-)intermittent 3WCs. However, we show by example that in general some DoF tuples in the intermittent 3WC can only be achieved by adaptive schemes, such as decode-forward relaying. This shows that non-adaptive encoding is sufficient for the non-intermittent 3WC and for the sum-DoF of intermittent 3WCs, but adaptive encoding is necessary for the DoF region of intermittent 3WCs. Our work contributes to a better understanding of the fundamental limits of multi-way communication systems with intermittency and the impact of adaptation therein.


title: TorPolice: Towards Enforcing Service-Defined Access Policies in Anonymous Systems

abstract: Tor is the most widely used anonymity network, currently serving millions of users each day. However, there is no access control in place for all these users, leaving the network vulnerable to botnet abuse and attacks. For example, criminals frequently use exit relays as stepping stones for attacks, causing service providers to serve CAPTCHAs to exit relay IP addresses or blacklisting them altogether, which leads to severe usability issues for legitimate Tor users. To address this problem, we propose TorPolice, the first privacy-preserving access control framework for Tor. TorPolice enables abuse-plagued service providers such as Yelp to enforce access rules to police and throttle malicious requests coming from Tor while still providing service to legitimate Tor users. Further, TorPolice equips Tor with global access control for relays, enhancing Tor's resilience to botnet abuse. We show that TorPolice preserves the privacy of Tor users, implement a prototype of TorPolice, and perform extensive evaluations to validate our design goals.


title: Interaction of the ultra-short Bessel beam with transparent dielectrics: Evidence of high-energy concentration and multi-TPa pressure

abstract: It has been proven that the intense tightly focused Gauss beam (GB) generates pressures in excess of a few TPa creating the novel super-dense phases of Aluminium and silicon [1-5]. Recently it was demonstrated that the Bessel beam (BB) focused inside sapphire produced the cylindrical void being two orders of magnitude larger than that generated by the GB [6-8]. Analysis of the experimental data presented below allows making the remarkable conclusions based solely on the void size measurements without any ad hoc assumptions about the interaction process. First, the void size is direct evidence of strong (>40%) absorption of the pulse energy. Second, it is a direct experimental evidence of the high-energy concentration in the central spike of the focus. The unique features of the intense Bessel beam interaction then allow understanding the experimental observation. This interaction generates early in the pulse time the spatial distribution of excited permittivity changing from positive to negative values. Then the light interacts with zero-real-permittivity surface, separating plasma and dielectric areas, which leads to high energy concentration near the axis of cylindrical focus up to several MJ/cm3 (pressure range of 4-8 TPa). The effect depends on the angle between the permittivity gradient and the field polarisation. High pressure generates intense cylindrical shock/ rarefaction waves, which led to formation of void and compressed shell. We demonstrate that the Bessel beam proves to be an effective tool for producing extreme pressure/temperature conditions on the laboratory tabletop. It appears that adjusting polarisation and permittivity gradient might be a novel way for increasing the maximum pressure. This tool allows for search of novel high-pressure material phases, for the 3D laser machining and for creating Warm Dense Matter as those in star cores.


title: Mean values of some Hecke characters

abstract: In this paper, we evaluate a smoothed character sum involving $\sum_{m}\sum_{n}\leg {m}{n}$, with quadratic, cubic or quartic Hecke characters $\leg {m}{n}$, and the two sums over $m$ and $n$ are of comparable lengths.


title: Electronic structure of ThRu2Si2 studied by angle-resolved photoelectron spectroscopy: Elucidating the contribution of U 5f states in URu2Si2

abstract: The electronic structure of ThRu2Si2 was studied by angle-resolved photoelectron spectroscopy (ARPES) with incident photon energies of hn=655-745 eV. Detailed band structure and the three-dimensional shapes of Fermi surfaces were derived experimentally, and their characteristic features were mostly explained by means of band structure calculations based on the density functional theory. Comparison of the experimental ARPES spectra of ThRu2Si2 with those of URu2Si2 shows that they have considerably different spectral profiles particularly in the energy range of 1 eV from the Fermi level, suggesting that U 5f states are substantially hybridized in these bands. The relationship between the ARPES spectra of URu2Si2 and ThRu2Si2 is very different from the one between the ARPES spectra of CeRu2Si2 and LaRu2Si2, where the intrinsic difference in their spectra is limited only in the very vicinity of the Fermi energy. The present result suggests that the U 5f electrons in URu2Si2 have strong hybridization with ligand states and have an essentially itinerant character.


title: Second Quantized Landau Variables in the Case of Dilute Bose-Einstein Condensates

abstract: Landau was the first to advance hydrodynamic concepts such as density and velocity to describe the superfluidity of liquid He$^4$. Due to the recent spectacular success of experiments demonstrating Bose Einstein condensation in dilute Bose atomic gases, interest has been revitalized in the theoretical description of Bose Einstein condensates. Many of the properties of these gases were obtained by using the Gross-Pitaevskii equation (GPE) to derive the hydrodynamic equations for the gases. However, it is interesting to apply the hydrodynamic equations obtained by Yee for bosons. Many of the properties obtained for the dilute Bose gases are also consequences of Yee's hydrodynamic equations, which derive from a formalism distinct from that of the GPE.


title: Subcomplete forcing principles and definable well-orders

abstract: It is shown that the boldface maximality principle for subcomplete forcing, together with the assumption that the universe has only set-many grounds, implies the existence of a (parameter-free) definable well-ordering of $\mathcal{P}(\omega_1)$. The same conclusion follows from the boldface maximality for subcomplete forcing, assuming there is no inner model with an inaccessible limit of measurable cardinals. Similarly, the bounded subcomplete forcing axiom, together with the assumption that $x^\#$ does not exist, for some $x\subseteq\omega_1$, implies the existence of a well-order of $\mathcal{P}(\omega_1)$ which is $\Delta_1$-definable without parameters, and $\Delta_1(H_{\omega_2})$-definable using a subset of $\omega_1$ as a parameter. This well-order is in $L(\mathcal{P}(\omega_1))$. Enhanced version of bounded forcing axioms are introduced that are strong enough to have the implications of the maximality principles mentioned above.


title: Discreteness of silting objects and t-structures in triangulated categories

abstract: We introduce the notion of ST-pairs of triangulated subcategories, a prototypical example of which is the pair of the bound homotopy category and the bound derived category of a finite-dimensional algebra. For an ST-pair $(\C,\D)$, we construct an order-preserving map from silting objects in $\C$ to bounded $t$-structures on $\D$ and show that the map is bijective if and only if $\C$ is silting-discrete if and only if $\D$ is $t$-discrete. Based on a work of Qiu and Woolf, the above result is applied to show that if $\C$ is silting-discrete then the stability space of $\D$ is contractible. This is used to obtain the contractibility of the stability spaces of some Calabi--Yau triangulated categories associated to Dynkin quivers.


title: ChainerCV: a Library for Deep Learning in Computer Vision

abstract: Despite significant progress of deep learning in the field of computer vision, there has not been a software library that covers these methods in a unifying manner. We introduce ChainerCV, a software library that is intended to fill this gap. ChainerCV supports numerous neural network models as well as software components needed to conduct research in computer vision. These implementations emphasize simplicity, flexibility and good software engineering practices. The library is designed to perform on par with the results reported in published papers and its tools can be used as a baseline for future research in computer vision. Our implementation includes sophisticated models like Faster R-CNN and SSD, and covers tasks such as object detection and semantic segmentation.


title: Subcomplete forcing, trees and generic absoluteness

abstract: We investigate properties of trees of height $\omega_1$ and their preservation under subcomplete forcing. We show that subcomplete forcing cannot add a new branch to an $\omega_1$-tree. We introduce fragments of subcompleteness which are preserved by subcomplete forcing, and use these in order to show that certain strong forms of rigidity of Suslin trees are preserved by subcomplete forcings. Finally, we explore under what circumstances subcomplete forcing preserves Aronszajn trees of height and width $\omega_1$. We show that this is the case if CH fails, and if CH holds, then this is the case iff the bounded subcomplete forcing axiom holds. Finally, we explore the relationships between bounded forcing axioms, preservation of Aronszajn trees of height and width $\omega_1$ and generic absoluteness of $\Sigma^1_1$-statements over first order structures of size $\omega_1$, also for other canonical classes of forcing.


title: Spillover Effects in the Presence of Unobserved Networks

abstract: When experimental subjects can interact with each other, the outcome of one individual may be affected by the treatment status of others. In many social science experiments, such spillover effects may occur through multiple networks, for example, through both online and offline face-to-face networks in a Twitter experiment. Thus, to understand how people use different networks, it is essential to estimate the spillover effect in each specific network separately. However, the unbiased estimation of these network-specific spillover effects requires an often-violated assumption that researchers observe all relevant networks. We show that, unlike conventional omitted variable bias, bias due to unobserved networks remains even when treatment assignment is randomized and when unobserved networks and a network of interest are independently generated. We then develop parametric and nonparametric sensitivity analysis methods, with which researchers can assess the potential influence of unobserved networks on causal findings. We illustrate the proposed methods with a simulation study based on a real-world Twitter network and an empirical application based on a network field experiment in China.


title: Twisted logarithmic modules of lattice vertex algebras

abstract: Twisted modules over vertex algebras formalize the relations among twisted vertex operators and have applications to conformal field theory and representation theory. A recent generalization, called twisted logarithmic module, involves the logarithm of the formal variable and is related to logarithmic conformal field theory. We investigate twisted logarithmic modules of lattice vertex algebras, reducing their classification to the classification of modules over a certain group. This group is a semidirect product of a discrete Heisenberg group and a central extension of the additive group of the lattice.


title: Macroscopic instructions vs microscopic operations in quantum circuits

abstract: In many experiments on microscopic quantum systems, it is implicitly assumed that when a macroscopic procedure or "instruction" is repeated many times -- perhaps in different contexts -- each application results in the same microscopic quantum operation. But in practice, the microscopic effect of a single macroscopic instruction can easily depend on its context. If undetected, this can lead to unexpected behavior and unreliable results. Here, we design and analyze several tests to detect context-dependence. They are based on invariants of matrix products, and while they can be as data intensive as quantum process tomography, they do not require tomographic reconstruction, and are insensitive to imperfect knowledge about the experiments. We also construct a measure of how unitary (reversible) an operation is, and show how to estimate the volume of physical states accessible by a quantum operation.


title: Parity Sheaves and Smith Theory

abstract: Let $p$ be a prime number and let $X$ be a complex algebraic variety with an action of $\mathbb{Z}/p\mathbb{Z}$. We develop the theory of parity complexes in a certain $2$-periodic localization of the equivariant constructible derived category $D^b_{\mathbb{Z}/p\mathbb{Z}}(X,\mathbb{Z}_p)$. Under certain assumptions, we use this to define a functor from the category of parity sheaves on $X$ to the category of parity sheaves on the fixed-point locus $X^{\mathbb{Z}/p\mathbb{Z}}$. This may be thought of as a categorification of Smith theory. When $X$ is the affine Grassmannian associated to some complex reductive group, our functor gives a geometric construction of the Frobenius-contraction functor recently defined by M. Gros and M. Kaneda via the geometric Satake equivalence.


title: Dissipative Phase Transition in the Open Quantum Rabi Model

abstract: We demonstrate that the open quantum Rabi model (QRM) exhibits a second-order dissipative phase transition (DPT) and propose a method to observe this transition with trapped ions. The interplay between the ultrastrong qubit-oscillator coupling and the oscillator damping brings the system into a steady-state with a diverging number of excitations, in which a DPT is allowed to occur even with a finite number of system components. The universality class of the open QRM, modified from the closed QRM by a Markovian bath, is identified by finding critical exponents and scaling functions using the Keldysh functional integral approach. We propose to realize the open QRM with two trapped ions where the coherent coupling and the rate of dissipation can be individually controlled and adjusted over a wide range. Thanks to this controllability, our work opens a possibility to investigate potentially rich dynamics associated with a dissipative phase transition.


title: Charged AdS black hole heat engines

abstract: We study the heat engine by a $d$-dimensional charged anti-de Sitter black hole by making a comparison between the small-large black hole phase transition and the liquid-vapour phase transition of water. With the help of the first law and equal-area law, we obtain an exact formula for the efficiency of a black hole engine modeled with a Rankine cycle with or without a back pressure mechanism. When the low temperature is fixed, both the heat and work decreases with the high temperature $T_{1}$. And the efficiency increases with $T_{1}$, while decreases with the charge $q$. For a Rankine cycle with a back pressure mechanism, we find that both the maximum work and efficiency can be approached at the high temperature $T_{1}$. In the reduced parameter space, it also confirms the similar result. Moreover, we observe that the work and efficiency of the black hole heat engine rapidly increase with the number of spacetime dimensions. Thus higher-dimensional charged anti-de Sitter black hole can act as a more efficient power plant producing the mechanical work, and might be a possible source of the power gamma rays and ultrahigh-energy cosmic rays.


title: Hyperprior on symmetric Dirichlet distribution

abstract: In this article we introduce how to put vague hyperprior on Dirichlet distribution, and we update the parameter of it by adaptive rejection sampling (ARS). Finally we analyze this hyperprior in an over-fitted mixture model by some synthetic experiments.


title: Risk-Sensitive Optimal Control of Queues

abstract: We consider the problem of designing risk-sensitive optimal control policies for scheduling packet transmissions in a stochastic wireless network. A single client is connected to an access point (AP) through a wireless channel. Packet transmission incurs a cost $C$, while packet delivery yields a reward of $R$ units. The client maintains a finite buffer of size $B$, and a penalty of $L$ units is imposed upon packet loss which occurs due to finite queueing buffer. We show that the risk-sensitive optimal control policy for such a simple set-up is of threshold type, i.e., it is optimal to carry out packet transmissions only when $Q(t)$, i.e., the queue length at time $t$ exceeds a certain threshold $\tau$. It is also shown that the value of threshold $\tau$ increases upon increasing the cost per unit packet transmission $C$. Furthermore, it is also shown that a threshold policy with threshold equal to $\tau$ is optimal for a set of problems in which cost $C$ lies within an interval $[C_l,C_u]$. Equations that need to be solved in order to obtain $C_l,C_u$ are also provided.


title: Short Presburger arithmetic is hard

abstract: We study the computational complexity of short sentences in Presburger arithmetic (Short-PA). Here by "short" we mean sentences with a bounded number of variables, quantifiers, inequalities and Boolean operations; the input consists only of the integer coefficients involved in the linear inequalities. We prove that satisfiability of Short-PA sentences with $m+2$ alternating quantifiers is $\Sigma_{P}^m$-complete or $\Pi_{P}^m$-complete, when the first quantifier is $\exists$ or $\forall$, respectively. Counting versions and restricted systems are also analyzed. Further application are given to hardness of two natural problems in Integer Optimizations.


title: An Optimized Union-Find Algorithm for Connected Components Labeling Using GPUs

abstract: In this paper, we report an optimized union-find (UF) algorithm that can label the connected components on a 2D image efficiently by employing the GPU architecture. The proposed method contains three phases: UF-based local merge, boundary analysis, and link. The coarse labeling in local merge reduces the number atomic operations, while the boundary analysis only manages the pixels on the boundary of each block. Evaluation results showed that the proposed algorithm speed up the average running time by more than 1.3X.


title: Periodic groups saturated with finite simple groups of lie type rank 1

abstract: In the Kourovka notebook the following question is posed 14.101: Is it true that a periodic group saturated with finite simple groups of Lie type whose ranks are bounded in the aggregate, is itself a simple group of Lie type? In this paper we give a partial answer to this question for periodic groups saturated by finite simple groups of Lie type rank 1.


title: $CP$ violation in charmed hadron decays into neutral kaons

abstract: We find a new $CP$ violating effect in charmed hadron decays into neutral kaons, which is induced by the interference between the Cabibbo-favored and doubly Cabibbo-suppressed amplitudes with the $K^{0}-\overline K^{0}$ mixing. It is estimated to be of order of $\mathcal{O}(10^{-3})$, much larger than the direct $CP$ asymmetry, but missed in the literature. To reveal this new $CP$ violation effect, we propose a new observable, the difference of the $CP$ asymmetries in the $D^{+}\to \pi^{+}K_S^0$ and $D_{s}^{+}\to K^{+} K_S^0$ modes. Once the new effect is determined by experiments, the direct $CP$ asymmetry then can be extracted and used to search for new physics.


title: Acceleration of weak Galerkin methods for the Laplacian eigenvalue problem

abstract: Recently, we proposed a weak Galerkin finite element method for the Laplace eigenvalue problem. In this paper, we present two-grid and two-space skills to accelerate the weak Galerkin method. By choosing parameters properly, the two-grid and two-space weak Galerkin method not only doubles the convergence rate, but also maintains the asymptotic lower bounds property of the weak Galerkin method. Some numerical examples are provided to validate our theoretical analysis.


title: Anomalous Rabi oscillations in multilevel quantum systems

abstract: We show that the excitation probability of a state within a manifold of levels undergoes Rabi oscillations with frequency determined by the energy difference between the states and not by the pulse area for sufficiently strong pulses. The observed dynamics can be used as a procedure for robust state preparation as an alternative to adiabatic passage and as a useful spectroscopic method.


abstract: Hopf algebra deformations are merged with a class of Lie systems of Hamiltonian type, the so-called Lie-Hamilton systems, to devise a novel formalism: the Poisson-Hopf algebra deformations of Lie-Hamilton systems. This approach applies to any Hopf algebra deformation of any Lie-Hamilton system. Remarkably, a Hopf algebra deformation transforms a Lie-Hamilton system, whose dynamic is governed by a finite-dimensional Lie algebra of functions, into a non-Lie-Hamilton system associated with a Poisson-Hopf algebra of functions that allows for the explicit description of its $t$-independent constants of the motion from deformed Casimir functions. We illustrate our approach by considering the Poisson-Hopf algebra analogue of the non-standard quantum deformation of $\mathfrak{sl}(2)$ and its applications to deform well-known Lie-Hamilton systems describing oscillator systems, Milne-Pinney equations, and several types of Riccati equations. In particular, we obtain a new position-dependent mass oscillator system with a time-dependent frequency.


title: ZFC independence and subset sum

abstract: We study recursively defined functions associated with directed graphs on the k dimensional nonnegative integral lattice. The existence of certain combinatorial structures associated with these function classes are shown to be independent of the ZFC axioms of mathematics. These structures, in a natural way, give rise to sets of instances to the subset sum problem. We use this connection to make some observations about ZFC independence and the subset sum problem.


title: Unveiling the properties of metagratings via a detailed analytical model for synthesis and analysis

abstract: We present detailed analytical modelling and in-depth investigation of wide-angle reflect-mode metagrating beam splitters. These recently introduced ultrathin devices are capable of implementing intricate diffraction engineering functionalities with only a single meta-atom per macro-period, making them considerably simpler to synthesize than conventional metasurfaces. We extend upon recent work and focus on electrically-polarizable metagratings, comprised of loaded conducting wires in front of a perfect elecric conductor, excited by transverse-electric polarized fields, which are more practical for planar fabrication. The derivation further relates the metagrating performance parameters to the individual meta-atom load, facilitating an efficient semianalytical synthesis scheme to determine the required conductor geometry for achieving optimal beam splitting. Subsequently, we utilize the model to analyze the effects of realistic conductor losses, reactance deviations, and frequency shifts on the device performance, and reveal that metagratings feature preferable working points, in which the sensitivity to these non-idealities is rather low. The analytical relations shed light on the physical origin of this phenomenon, associating it with fundamental interference processes taking place in the device. These results, verified via full-wave simulations of realistic physical structures, yield a set of efficient engineering tools, as well as profound physical intuition, for devising future metagrating devices, with immense potential for microwave, terahertz, and optical beam-manipulation applications.


title: Active Animations of Reduced Deformable Models with Environment Interactions

abstract: We present an efficient spacetime optimization method to automatically generate animations for a general volumetric, elastically deformable body. Our approach can model the interactions between the body and the environment and automatically generate active animations. We model the frictional contact forces using contact invariant optimization and the fluid drag forces using a simplified model. To handle complex objects, we use a reduced deformable model and present a novel hybrid optimizer to search for the local minima efficiently. This allows us to use long-horizon motion planning to automatically generate animations such as walking, jumping, swimming, and rolling. We evaluate the approach on different shapes and animations, including deformable body navigation and combining with an open-loop controller for realtime forward simulation.


title: An IoT Real-Time Biometric Authentication System Based on ECG Fiducial Extracted Features Using Discrete Cosine Transform

abstract: The conventional authentication technologies, like RFID tags and authentication cards/badges, suffer from different weaknesses, therefore a prompt replacement to use biometric method of authentication should be applied instead. Biometrics, such as fingerprints, voices, and ECG signals, are unique human characters that can be used for authentication processing. In this work, we present an IoT real-time authentication system based on using extracted ECG features to identify the unknown persons. The Discrete Cosine Transform (DCT) is used as an ECG feature extraction, where it has better characteristics for real-time system implementations. There are a substantial number of researches with a high accuracy of authentication, but most of them ignore the real-time capability of authenticating individuals. With the accuracy rate of 97.78% at around 1.21 seconds of processing time, the proposed system is more suitable for use in many applications that require fast and reliable authentication processing demands.


title: A Probabilistic Quality Representation Approach to Deep Blind Image Quality Prediction

abstract: Blind image quality assessment (BIQA) remains a very challenging problem due to the unavailability of a reference image. Deep learning based BIQA methods have been attracting increasing attention in recent years, yet it remains a difficult task to train a robust deep BIQA model because of the very limited number of training samples with human subjective scores. Most existing methods learn a regression network to minimize the prediction error of a scalar image quality score. However, such a scheme ignores the fact that an image will receive divergent subjective scores from different subjects, which cannot be adequately represented by a single scalar number. This is particularly true on complex, real-world distorted images. Moreover, images may broadly differ in their distributions of assigned subjective scores. Recognizing this, we propose a new representation of perceptual image quality, called probabilistic quality representation (PQR), to describe the image subjective score distribution, whereby a more robust loss function can be employed to train a deep BIQA model. The proposed PQR method is shown to not only speed up the convergence of deep model training, but to also greatly improve the achievable level of quality prediction accuracy relative to scalar quality score regression methods. The source code is available at https://github.com/HuiZeng/BIQA_Toolbox.


title: T-DB: Toward Fully Functional Transparent Encrypted Databases in DBaaS Framework

abstract: Individuals and organizations tend to migrate their data to clouds, especially in a DataBase as a Service (DBaaS) pattern. The major obstacle is the conflict between secrecy and utilization of the relational database to be outsourced. We address this obstacle with a Transparent DataBase (T-DB) system strictly following the unmodified DBaaS framework. A database owner outsources an encrypted database to a cloud platform, needing only to store the secret keys for encryption and an empty table header for the database; the database users can make almost all types of queries on the encrypted database as usual; and the cloud can process ciphertext queries as if the database were not encrypted. Experimentations in realistic cloud environments demonstrate that T-DB has perfect query answer precision and outstanding performance.