title: Rolling and no-slip bouncing in cylinders

abstract: The purpose of this paper is to compare a classical non-holonomic system---a sphere rolling against the inner surface of a vertical cylinder under gravity---and a class of discrete dynamical systems known as no-slip billiards in similar configurations. A well-known notable feature of the non-holonomic system is that the rolling sphere does not fall; its height function is bounded and oscillates harmonically up and down. The central issue of the present work is whether similar bounded behavior can be observed in the no-slip billiard counterpart. Our main results are as follows: for circular cylinders in dimension $3$, the no-slip billiard has the bounded orbits property, and very closely approximates rolling motion, for a class of initial conditions which we call transversal rolling impact. When this condition does not hold, trajectories undergo vertical oscillations superimposed to an overall downward acceleration. Considering cylinders with different cross-section shapes, we show that no-slip billiards between two parallel hyperplanes in Euclidean space of arbitrary dimension are always bounded even under a constant force parallel to the plates; for general cylinders, when the orbit of the transverse system (a concept that depends on a factorization of the motion into transversal and longitudinal components) has period two---a very common occurrence in planar no-slip billiards---the motion in the longitudinal direction, under no forces, is generically not bounded. This is shown using a formula for a longitudinal linear drift that we prove in arbitrary dimensions. While the systems for which we can prove the existence of bounded orbits have relatively simple transverse dynamics, we also briefly explore numerically a no-slip billiard system, namely the stadium cylinder billiard, that can exhibit chaotic transversal dynamics.


title: What is an answer? - remarks, results and problems on PIO formulas in combinatorial enumeration, part I

abstract: For enumerative problems, i.e. computable functions f from N to Z, we define the notion of an effective (or closed) formula. It is an algorithm computing f(n) in the number of steps that is polynomial in the combined size of the input n and the output f(n), both written in binary notation. We discuss many examples of enumerative problems for which such closed formulas are, or are not, known. These problems include (i) linear recurrence sequences and holonomic sequences, (ii) integer partitions, (iii) pattern-avoiding permutations, (iv) triangle-free graphs and (v) regular graphs. In part I we discuss problems (i) and (ii) and defer (iii)--(v) to part II. Besides other results, we prove here that every linear recurrence sequence of integers has an effective formula in our sense.


title: Comparing CNN and LSTM character-level embeddings in BiLSTM-CRF models for chemical and disease named entity recognition

abstract: We compare the use of LSTM-based and CNN-based character-level word embeddings in BiLSTM-CRF models to approach chemical and disease named entity recognition (NER) tasks. Empirical results over the BioCreative V CDR corpus show that the use of either type of character-level word embeddings in conjunction with the BiLSTM-CRF models leads to comparable state-of-the-art performance. However, the models using CNN-based character-level word embeddings have a computational performance advantage, increasing training time over word-based models by 25% while the LSTM-based character-level word embeddings more than double the required training time.


title: Energy-preserving continuous-stage Runge-Kutta-Nystr\"om methods

abstract: Many practical problems can be described by second-order system $\ddot{q}=-M\nabla U(q)$, in which people give special emphasis to some invariants with explicit physical meaning, such as energy, momentum, angular momentum, etc. However, conventional numerical integrators for such systems will fail to preserve any of these quantities which may lead to qualitatively incorrect numerical solutions. This paper is concerned with the development of energy-preserving continuous-stage Runge-Kutta-Nystr\"om (csRKN) methods for solving second-order systems. Sufficient conditions for csRKN methods to be energy-preserving are presented and it is proved that all the energy-preserving csRKN methods satisfying these sufficient conditions can be essentially induced by energy-preserving continuous-stage partitioned Runge-Kutta methods. Some illustrative examples are given and relevant numerical results are reported.


title: A note On subgroups in a division ring that are left algebraic over a division subring

abstract: Let $D$ be a division ring with center $F$ and $K$ a division subring of $D$. In this paper, we show that a non-central normal subgroup $N$ of the multiplicative group $D^*$ is left algebraic over $K$ if and only if so is $D$ provided $F$ is uncountable and contained in $K$. Also, if $K$ is a field and the $n$-th derived subgroup $D^{(n)}$ of $D^{*}$ is left algebraic of bounded degree $d$ over $K$, then $\dim_FD\le d^2$.


title: On free subgroups in maximal subgroups of skew linear groups

abstract: The study of the existence of free groups in skew linear groups have been begun since the last decades of the 20-th century. The starting point is the theorem of Tits (1972), now often is referred as Tits' Alternative, stating that every finitely generated subgroup of the general linear group $\GL_n(F)$ over a field $F$ either contains a non-cyclic free subgroup or it is solvable-by-finite. In this paper, we study the existence of non-cyclic free subgroups in maximal subgroups of an almost subnormal subgroup of the general skew linear group over a locally finite division ring.


title: On centro-affine curves and Backlund transformations of the KdV equation

abstract: We continue the study of the Korteweg-de Vries equation in terms of cento-affine curves, initiated by U. Pinkall. A centro-affine curve is a closed parametric curve in the affine plane such that the determinant made by the position and the velocity vectors is identically 1. The space of centro-affine curves is acted upon by the special linear group, and the quotient is identified with the space of Hill's equations with periodic solutions. It is known that the space of centro-affine curves carries two pre-symplectic structures, and the KdV flow is identified with is a bi-Hamiltonian dynamical system therein. We introduce a 1-parameter family of transformations on centro-affine curves, prove that they preserve both presymplectic structures, commute with the KdV flow, and share the integrals with it. Furthermore, the transformation commute with each other (Bianchi permutability). We also describe integrals of the KdV equation as arising from the monodromy of Riccati equations associated with centro-affine curves. We are motivated by our work in progress (joint with M. Arnold, D. Fuchs, and I. Izmenstiev), concerning the cross-ratio dynamics on ideal polygons in the hyperbolic plane and hyperbolic space, whose continuous version is studied in the present note.


title: Additive Volume of Sets Contained in Few Arithmetic Progressions

abstract: A conjecture of Freiman gives an exact formula for the largest volume of a finite set $A$ of integers with given cardinality $k = |A|$ and doubling $T = |2A|$. The formula is known to hold when $T \le 3k-4$, for some small range over $3k-4$ and for families of structured sets called chains. In this paper we extend the formula to sets of every dimension and prove it for sets composed of three segments, giving structural results for the extremal case. A weaker extension to sets composed of a bounded number of segments is also discussed.


title: Explicit solutions of certain orientable quadratic equations in free groups

abstract: For $g\geq1$ denote by $F_{2g}=\langle x_1, y_1,\dots,x_g,y_g\rangle$ the free group on $2g$ generators and by $B_g=[x_1,y_1]\dots[x_g,y_g]$. For $l,c\geq 1$ and elements $w_1,\dots,w_l\in F_{2g}$ we study orientable quadratic equations of the form $[u_1,v_1]\dots[u_h,v_h]=(B_g^{w_1})^c(B_g^{w_2})^c\dots(B_g^{w_l})^c$ with unknowns $u_1,v_1,\dots,u_h,v_h$ and provide explicit solutions for them for the minimal possible number $h$. In the particular case when $g=1$, $w_i=y_1^{i-1}$ for $i=1,\dots,l$ and $h$ the minimal number which satisfies $h \geq l(c-1)/2+1$ we provide two types of solutions depending on the image of the subgroup $H=\langle u_1,v_1,\dots,u_h,v_h\rangle$ generated by the solution under the natural homomorphism $p:F_2\to F_2/[F_2,F_2]$: the first solution, which is called a primitive solution, satisfies $p(H)=F_2/[F_2,F_2]$, the second solution satisfies $p(H) = \big\langle p(x_1),p(y_1^l)\big\rangle$. We also provide an explicit solution of the equation $[u_1,v_1]\dots[u_k, v_k] = \big(B_1\big)^{k+l} \big({B_1}^{y}\big)^{k-l}$ for $k>l\geq0$ in $F_2$, and prove that if $l\neq0$, then every solution of this equation is primitive. As a geometrical consequence, for every solution we obtain a map $f:S_h\to T$ from the orientable surface $S_h$ of genus $h$ to the torus $T=S_1$ which has the minimal number of roots among all maps from the homotopy class of $f$. Depending on the number $|p(F_2):p(H)|$ such maps have fundamentally different geometric properties: in some cases they satisfy the Wecken property and in other cases not.


title: The obscured active nucleus of NGC 7172 as seen by NuSTAR

abstract: We analyse the properties of the X-ray emission from Seyfert 2 NGC 7172 which are based on the 32 ks observational data from NuSTAR in 2014. This source showed a constant Compton-thin obscuration $N_{H}\approx 8\cdot 10^{22} cm^{-2}$, which is similar to that observed by XMM-Newton, Suzaku, ASCA and BeppoSAX over past 30 years. We revealed the presence of a moderate reflection component with <R>~0.44 and a narrow FeK{\alpha} line with $67^{+13}_{-14}$ eV. The applied numerical models of torus confirmed the Compton-thin type of the Seyfert nucleus and allowed us to obtain an estimate of the torus opening angle ${\Theta}_{t}\sim59\deg$ and inclination ${\Theta}_{i}\sim61\deg$. Using the observation data of previous observation, we demonstrate also the long-term variability of intrinsic luminosity $L_{intr}$(2-10 keV) almost by order and EW $FeK_{\alpha}$ by factor $\sim4$ on a timescale of $\sim12$ years, that coincides to the distance of $d\sim$3.7 pc between central source and reprocessing medium. Such changes of intrinsic luminosity without changes in $N_{H}$ value indicate the variability of a central source. In the same time the spectral analysis results with the presence of the lag between variability of intrinsic luminosity $L_{intr}$(2-10 keV) and EW $FeK_{\alpha}$, as well as a behaviour of intensity $I_{FeK_{\alpha}}$ of the line are in agreement with the scenario, where observed $FeK_{\alpha}$ line is generated in a distant gas-dust torus.


title: A New Interpretation of Three-Dimensional Particle Geometry: M-A-V-L

abstract: This study provides a new interpretation of 3D particle geometry that unravels the 'interrelation' of the four geometry parameters, i.e., morphology M, surface area A, volume V, and size L, for which a new formula, M = A/V$\times$L/6, is introduced to translate the 3D particle morphology as a function of surface area, volume, and size. The A/V$\times$L of a sphere is invariably 6, which is placed in the denominator of the formula, and therefore M indicates a relative morphological irregularity compared to the sphere. The minimum possible value of M is clearly one, and M may range approximately to three for coarse-grained mineral particles. Furthermore, the proposed formula, M = A/V$\times$L/6, enables to graphically preserve the four parameters' relations when plotting the geometry parameter distributions. This study demonstrates the approach with two plot spaces that represent (i) L vs. M and (ii) A/V vs. V, where A/V works as the messenger between these two spaces as A/V = M/L$\times$6. Therefore, this approach helps comprehensively address the four-dimensional aspects of the 3D particle geometry and better understand the parameters' combined influence on the mechanical behavior of granular materials. Keywords: 3D particle geometry; Morphology; Surface area; Volume; Size;


title: Chekanov's dichotomy in contact topology

abstract: In this paper we study submanifolds of contact manifolds. The main submanifolds we are interested in are contact coisotropic submanifolds. Based on a correspondence between symplectic and contact coisotropic submanifolds, we can show contact coisotropic submanifolds admit a $C^0$-rigidity, similar to Humili\`ere-Leclercq-Seyfaddini's coisotropic rigidity on symplectic manifolds. Moreover, based on Shelukhin's norm defined on the contactomorphism group, we define a Chekanov type pseudo-metric on the orbit space of a fixed submanifold of a contact manifold. Moreover, we can show a dichotomy of (non-)degeneracy of this pseudo-metric when the dimension of this fixed submanifold is equal to the one for a Legendrian submanifold. This can be viewed as a contact topology analogue to Chekanov's dichotomy of (non-)degeneracy of Chekanov-Hofer's metric on the orbit space of a Lagrangian submanifold.


title: The Social Cost of Strategic Classification

abstract: Consequential decision-making typically incentivizes individuals to behave strategically, tailoring their behavior to the specifics of the decision rule. A long line of work has therefore sought to counteract strategic behavior by designing more conservative decision boundaries in an effort to increase robustness to the effects of strategic covariate shift. We show that these efforts benefit the institutional decision maker at the expense of the individuals being classified. Introducing a notion of social burden, we prove that any increase in institutional utility necessarily leads to a corresponding increase in social burden. Moreover, we show that the negative externalities of strategic classification can disproportionately harm disadvantaged groups in the population. Our results highlight that strategy-robustness must be weighed against considerations of social welfare and fairness.


title: Dialkali-Metal Monochalcogenide Semiconductors with High Mobility and Tunable Magnetism

abstract: The discovery of archetypal two-dimensional (2D) materials provides enormous opportunities in both fundamental breakthroughs and device applications, as evident by the research booming in graphene, atomically thin transition-metal chalcogenides, and few-layer black phosphorous in the past decade. Here, we report a new, large family of semiconducting dialkali-metal monochalcogenides (DMMCs) with an inherent A$_{2}$X monolayer structure, in which two alkali sub-monolayers form hexagonal close packing and sandwich the triangular chalcogen atomic plane. Such unique lattice structure leads to extraordinary physical properties, such as good dynamical and thermal stability, visible to near-infrared light energy gap, high electron mobility (e.g. $1.87\times10^{4}$ cm$^{2}$V$^{-1}$S$^{-1}$ in K$_{2}$O). Most strikingly, DMMC monolayers (MLs) host extended van Hove singularities near the valence band (VB) edge, which can be readily accessed by moderate hole doping of $\sim1.0\times10^{13}$ cm$^{-2}$. Once the critical points are reached, DMMC MLs undergo spontaneous ferromagnetic transition when the top VBs become fully spin-polarized by strong exchange interactions. Such gate tunable magnetism in DMMC MLs are promising for exploring novel device concepts in spintronics, electronics and optoelectronics.


title: An Upper Bound on the Number of $(132,213)$-Avoiding Cyclic Permutations

abstract: We show a $n^2 \cdot 2^{n/2}$ upper bound on the number of $(132,213)$ avoiding cyclic permutations. This is the first nontrivial upper bound on the number of such permutations. We also construct an algorithm to determine whether a $(132,213)$ avoiding permutation is cyclic that references only the permutation's layer lengths.


title: Models of semiconductor quantum dots blinking based on spectral diffusion

abstract: Three models of single colloidal quantum dot emission fluctuations (blinking) based on spectral diffusion were considered analytically and numerically. It was shown that the only one of them, namely the Frantsuzov and Marcus model reproduces the key properties of the phenomenon. The other two models, the Diffusion-Controlled Electron Transfer (DCET) model and the Extended DCET model predict that after an initial blinking period, most of the QDs should become permanently bright or permanently dark which is significantly different from the experimentally observed behavior.


title: The Maslov Index and the Spectral Flow - revisited

abstract: We give an elementary proof of a celebrated theorem of Cappell, Lee and Miller which relates the Maslov index of a pair of paths of Lagrangian subspaces to the spectral flow of an associated path of selfadjoint first-order operators. We particularly pay attention to the continuity of the latter path of operators, where we consider the gap-metric on the set of all closed operators on a Hilbert space. Finally, we obtain from Cappell, Lee and Miller's theorem a spectral flow formula for linear Hamiltonian systems which generalises a recent result of Hu and Portaluri.


title: Stronger sum-product inequalities for small sets

abstract: Let $F$ be a field and a finite $A\subset F$ be sufficiently small in terms of the characteristic $p$ of $F$ if $p>0$. We strengthen the "threshold" sum-product inequality $$|AA|^3 |A\pm A|^2 \gg |A|^6\,,\;\;\;\;\mbox{hence} \;\; \;\;|AA|+|A+A|\gg |A|^{1+\frac{1}{5}},$$ due to Roche-Newton, Rudnev and Shkredov, to $$|AA|^5 |A\pm A|^4 \gg |A|^{11-o(1)}\,,\;\;\;\;\mbox{hence} \;\; \;\;|AA|+|A\pm A|\gg |A|^{1+\frac{2}{9}-o(1)},$$ as well as $$ |AA|^{36}|A-A|^{24} \gg |A|^{73-o(1)}. $$ The latter inequality is "threshold-breaking", for it shows for $\epsilon>0$, one has $$|AA| \le |A|^{1+\epsilon}\;\;\;\Rightarrow\;\;\; |A-A|\gg |A|^{\frac{3}{2}+c(\epsilon)},$$ with $c(\epsilon)>0$ if $\epsilon$ is sufficiently small. This implies that regardless of $\epsilon$, $$|AA-AA|\gg |A|^{\frac{3}{2}+\frac{1}{56}-o(1)}\,.$$


title: Twisted magnetization states and inhomogeneous resonance modes in a Fe/Gd ferrimagnetic multilayer

abstract: Static and dynamic magnetic properties of a ferrimagnetic [Fe(35A)/Gd(50A)]x12 superlattice were investigated in a wide 4-300 K temperature range using magneto-optical Kerr effect (MOKE) and ferromagnetic resonance (FMR) techniques. The multilayer structure was sputtered on a transparent glass substrate which made it possible to perform MOKE measurements on both Fe and Gd terminated sides of the superlattice. These experiments allowed us to detect a transition between field-aligned and canted magnetic states on both sides of the film and to distinguish between the bulk and surface twisted phases of the superlattice. As a result, the experimental H-T magnetic phase diagram of the system was obtained. FMR studies at frequencies 7-36 GHz demonstrated a complex evolution of absorption spectra as temperature decreased from room down to 4 K. Two spectral branches were detected in the sample. Theoretical simulations show that the observed spectral branches correspond to different types of inhomogeneous resonance modes in the multilayer with non-uniform magnetization precession inside Gd layers.


title: A numerical approximation for the standard one pressure system of two fluid flows with energy equations

abstract: We study numerically the standard one pressure model of two fluid flows with energy equations. This system is not solved in time derivative. It has been transformed into an equivalent system solved in time derivative. We show that the scheme in this paper applies to both solved and nonsolved systems and gives same results. One usually adds a nonphysical term to render the system hyperbolic. However, explicit solutions and well posedness of the Cauchy problem for some nonlinear nonhyperbolic systems of physics have been obtained in some events by [B. Keyfitz et al.]. We also show that our scheme applies equally well to both versions, with and without the additional term, whether solved in time derivative or not, which provides four versions of the system. We observe that the nonhyperbolic and the hyperbolic systems give very close but slightly different results: the step values are always the same but peaks in gas and liquid velocities are observed in the nonhyperbolic model, which is typically observed in experimental results concerning the gas kick phenomenon though we are unable to say if this result is related or not. The numerical quality of the hyperbolic solved in time derivative system is better, therefore our results (same pressure and temperatures, and same step values in volume fraction and velocities besides the isolated peaks) provide a justification of the additional term that renders it hyperbolic. Another difficulty lies in that these systems are in nonconservative form and therefore its discontinuous solutions cannot make sense in the theory of distributions and it has been observed that different numerical schemes can lead to different discontinuous solutions. For the hyperbolic system this solution is identical to the main one in [S.T. Munkejord, S. Evje, T. Flatten] obtained from completely different methods.


title: A note on the existence results for Schrodinger-Maxwell system with super-criticalnonlinearitie

abstract: The paper considers the Schrodinger-Maxwell system with supercritical nonlinearitie. We prove the existence of at least one non-trivial weak solution. This result is already known for the subcritical case. In this paper, we extend it to the supercritical values of p as well. We use a new variational principle to prove our result.


title: Optimal Nonparametric Inference with Two-Scale Distributional Nearest Neighbors

abstract: The weighted nearest neighbors (WNN) estimator has been popularly used as a flexible and easy-to-implement nonparametric tool for mean regression estimation. The bagging technique is an elegant way to form WNN estimators with weights automatically generated to the nearest neighbors; we name the resulting estimator as the distributional nearest neighbors (DNN) for easy reference. Yet, there is a lack of distributional results for such estimator, limiting its application to statistical inference. Moreover, when the mean regression function has higher-order smoothness, DNN does not achieve the optimal nonparametric convergence rate, mainly because of the bias issue. In this work, we provide an in-depth technical analysis of the DNN, based on which we suggest a bias reduction approach for the DNN estimator by linearly combining two DNN estimators with different subsampling scales, resulting in the novel two-scale DNN (TDNN) estimator. The two-scale DNN estimator has an equivalent representation of WNN with weights admitting explicit forms and some being negative. We prove that, thanks to the use of negative weights, the two-scale DNN estimator enjoys the optimal nonparametric rate of convergence in estimating the regression function under the fourth-order smoothness condition. We further go beyond estimation and establish that the DNN and two-scale DNN are both asymptotically normal as the subsampling scales and sample size diverge to infinity. For the practical implementation, we also provide variance estimators and a distribution estimator using the jackknife and bootstrap techniques for the two-scale DNN. These estimators can be exploited for constructing valid confidence intervals for nonparametric inference of the regression function. The theoretical results and appealing finite-sample performance of the suggested two-scale DNN method are illustrated with several numerical examples.


title: Representing Social Media Users for Sarcasm Detection

abstract: We explore two methods for representing authors in the context of textual sarcasm detection: a Bayesian approach that directly represents authors' propensities to be sarcastic, and a dense embedding approach that can learn interactions between the author and the text. Using the SARC dataset of Reddit comments, we show that augmenting a bidirectional RNN with these representations improves performance; the Bayesian approach suffices in homogeneous contexts, whereas the added power of the dense embeddings proves valuable in more diverse ones.


title: Quasistates and quasiprobabilities

abstract: The quasiprobability representation of quantum states addresses two main concerns, the identification of nonclassical features and the decomposition of the density operator. While the former aspect is a main focus of current research, the latter decomposition property has been studied less frequently. In this contribution, we introduce a method for the generalized expansion of quantum states in terms of so-called quasistates. In contrast to the quasiprobability decomposition through nonclassical distributions and pure-state operators, our technique results in classical probabilities and nonpositive semidefinite operators, defining the notion of quasistates, that carry the information about the nonclassical characteristics of the system. Therefore, our method presents a complementary approach to prominent quasiprobability representations. We explore the usefulness of our technique with several examples, including applications for quantum state reconstruction and the representation of nonclassical light. In addition, using our framework, we also demonstrate that inseparable quantum correlations can be described in terms of classical joint probabilities and tensor-product quasistates for an unambiguous identification of quantum entanglement.


title: An experimental investigation of the laminar horseshoe vortex around an emerging obstacle

abstract: An emerging long obstacle placed in a boundary layer developing under a free-surface generates a complex horseshoe vortex (HSV) system, which is composed of a set of vortices exhibiting a rich variety of dynamics. The present experimental study examines such flow structure and characterizes precisely, using PIV measurements, the evolution of the HSV geometrical and dynamical properties over a wide range of dimensionless parameters (Reynolds number $Re_h \in [750, 8300]$, boundary layer development ratio $h/\delta \in [1.25, 4.25]$ and obstacle aspect ratio $W/h \in [0.67, 2.33]$). The dynamical study of the HSV is based on the categorization of the HSV vortices motion into an enhanced specific bi-dimensional typology, separating a coherent (due to vortex-vortex interactions) and an irregular evolution (due to appearance of small-scale instabilities). This precise categorization is made possible thanks to the use of vortex tracking methods applied on PIV measurements, A semi-empirical model for the HSV vortices motion is then proposed to highlight some important mechanisms of the HSV dynamics, as (i) the influence of the surrounding vortices on a vortex motion and (ii) the presence of a phase shift between the motion of all vortices. The study of the HSV geometrical properties (vortex position and characteristic lengths and frequencies) evolution with the flow parameters shows that strong dependencies exist between the streamwise extension of the HSV and the obstacle width, and between the HSV vortex number and its elongation. Comparison of these data with prior studies for immersed obstacles reveals that emerging obstacles lead to greater adverse pressure gradients and down-flows in front of the obstacle.


title: Human-centric Indoor Scene Synthesis Using Stochastic Grammar

abstract: We present a human-centric method to sample and synthesize 3D room layouts and 2D images thereof, to obtain large-scale 2D/3D image data with perfect per-pixel ground truth. An attributed spatial And-Or graph (S-AOG) is proposed to represent indoor scenes. The S-AOG is a probabilistic grammar model, in which the terminal nodes are object entities. Human contexts as contextual relations are encoded by Markov Random Fields (MRF) on the terminal nodes. We learn the distributions from an indoor scene dataset and sample new layouts using Monte Carlo Markov Chain. Experiments demonstrate that our method can robustly sample a large variety of realistic room layouts based on three criteria: (i) visual realism comparing to a state-of-the-art room arrangement method, (ii) accuracy of the affordance maps with respect to groundtruth, and (ii) the functionality and naturalness of synthesized rooms evaluated by human subjects. The code is available at https://github.com/SiyuanQi/human-centric-scene-synthesis.


title: A Taxonomy on Big Data: Survey

abstract: The Big Data is the most popular paradigm nowadays and it has almost no untouched area. For instance, science, engineering, economics, business, social science, and government. The Big Data are used to boost up the organization performance using massive amount of dataset. The Data are assets of the organization, and these data gives revenue to the organizations. Therefore, the Big Data is spawning everywhere to enhance the organizations' revenue. Thus, many new technologies emerging based on Big Data. In this paper, we present the taxonomy of Big Data. Besides, we present in-depth insight on the Big Data paradigm.


title: Larger mutual inclinations for the shortest-period planets

abstract: The {\it Kepler} mission revealed a population of compact multiple-planet systems with orbital periods shorter than a year, and occasionally even shorter than a day. By analyzing a sample of 102 {\it Kepler} and {\it K2} multi-planet systems, we measure the minimum difference $\Delta I$ between the orbital inclinations, as a function of the orbital distance of the innermost planet. This is accomplished by fitting all the planetary signals simultaneously, constrained by an external estimate of the stellar mean density. We find $\Delta I$ to be larger when the inner orbit is smaller, a trend that does not appear to be a selection effect. We find that planets with $a/R_\star$<5 have a dispersion in $\Delta I$ of $6.7\pm 0.6$~degrees, while planets with $5 < a/R_\star < 12$ have a dispersion of $2.0\pm 0.1$~degrees. The planetary pairs with higher mutual inclinations also tend to have larger period ratios. These trends suggest that the shortest-period planets have experienced both inclination excitation and orbital shrinkage.


title: Optically driven collective spin excitations and magnetization dynamics in the N\'eel-type skyrmion host GaV$_4$S$_8$

abstract: GaV$_4$S$_8$ is a multiferroic semiconductor hosting magnetic cycloid (Cyc) and N\'eel-type skyrmion lattice (SkL) phases with a broad region of thermal and magnetic stability. Here, we use time-resolved magneto-optical Kerr spectroscopy and micro-magnetic simulations to demonstrate the coherent generation of collective spin excitations in the Cyc and SkL phases driven by an optically-induced modulation of uniaxial anisotropy. Our results shed light on spin-dynamics in anisotropic materials hosting skyrmions and pave a new pathway for the optical control of their magnetic order.


title: Discrete Decreasing Minimization, Part II: Views from Discrete Convex Analysis

abstract: We continue to consider the discrete decreasing minimization problem on an integral base-polyhedron treated in Part I. The problem is to find a lexicographically minimal integral vector in an integral base-polyhedron, where the components of a vector are arranged in a decreasing order. This study can be regarded as a discrete counter-part of the work by Fujishige (1980) on the lexicographically optimal base and the principal partition of a base-polyhedron in continuous variables. The objective of Part II is two-fold. The first is to offer structural views from discrete convex analysis (DCA) on the results of Part I obtained by the constructive and algorithmic approach. The second objective is to pave the way of DCA approach to discrete decreasing minimization on other discrete structures such as the intersection of M-convex sets, flows, and submodular flows. We derive the structural results in Part I from fundamental facts on M-convex sets and M-convex functions in DCA. A direct characterization is given to the canonical partition, which was constructed by an iterative procedure in Part I. This reveals the precise relationship between the canonical partition for the discrete case and the principal partition for the continuous case. Moreover, this result entails a proximity theorem, stating that every decreasingly minimal element is contained in the small box containing the (unique) fractional decreasingly minimal element (the minimum-norm point), leading further to a continuous relaxation algorithm for finding a decreasingly minimal element of an M-convex set. Thus the relationship between the continuous and discrete cases is completely clarified. Furthermore, we present DCA min-max formulas for network flows, the intersection of two M-convex sets, and submodular flows.


title: Network Inference from Temporal-Dependent Grouped Observations

abstract: In social network analysis, the observed data is usually some social behavior, such as the formation of groups, rather than an explicit network structure. Zhao and Weko (2017) propose a model-based approach called the hub model to infer implicit networks from grouped observations. The hub model assumes independence between groups, which sometimes is not valid in practice. In this article, we generalize the idea of the hub model into the case of grouped observations with temporal dependence. As in the hub model, we assume that the group at each time point is gathered by one leader. Unlike in the hub model, the group leaders are not sampled independently but follow a Markov chain, and other members in adjacent groups can also be correlated. An expectation-maximization (EM) algorithm is developed for this model and a polynomial-time algorithm is proposed for the E-step. The performance of the new model is evaluated under different simulation settings. We apply this model to a data set of the Kibale Chimpanzee Project.


title: Black holes and higher depth mock modular forms

abstract: By enforcing invariance under S-duality in type IIB string theory compactified on a Calabi-Yau threefold, we derive modular properties of the generating function of BPS degeneracies of D4-D2-D0 black holes in type IIA string theory compactified on the same space. Mathematically, these BPS degeneracies are the generalized Donaldson-Thomas invariants counting coherent sheaves with support on a divisor $\cal D$, at the large volume attractor point. For $\cal D$ irreducible, this function is closely related to the elliptic genus of the superconformal field theory obtained by wrapping M5-brane on $\cal D$ and is therefore known to be modular. Instead, when $\cal D$ is the sum of $n$ irreducible divisors ${\cal D}_i$, we show that the generating function acquires a modular anomaly. We characterize this anomaly for arbitrary $n$ by providing an explicit expression for a non-holomorphic modular completion in terms of generalized error functions. As a result, the generating function turns out to be a (mixed) mock modular form of depth $n-1$.


title: Deep-Learning Ensembles for Skin-Lesion Segmentation, Analysis, Classification: RECOD Titans at ISIC Challenge 2018

abstract: This extended abstract describes the participation of RECOD Titans in parts 1 to 3 of the ISIC Challenge 2018 "Skin Lesion Analysis Towards Melanoma Detection" (MICCAI 2018). Although our team has a long experience with melanoma classification and moderate experience with lesion segmentation, the ISIC Challenge 2018 was the very first time we worked on lesion attribute detection. For each task we submitted 3 different ensemble approaches, varying combinations of models and datasets. Our best results on the official testing set, regarding the official metric of each task, were: 0.728 (segmentation), 0.344 (attribute detection) and 0.803 (classification). Those submissions reached, respectively, the 56th, 14th and 9th places.


title: The Eulerian distribution on involutions is indeed $\gamma$-positive

abstract: Let $\mathcal I_n$ and $\mathcal J_n$ denote the set of involutions and fixed-point free involutions of $\{1, \dots, n\}$, respectively, and let $\text{des}(\pi)$ denote the number of descents of the permutation $\pi$. We prove a conjecture of Guo and Zeng which states that $I_n(t) := \sum_{\pi \in \mathcal I_n} t^{\text{des}(\pi)}$ is $\gamma$-positive for $n \ge 1$ and $J_{2n}(t) := \sum_{\pi \in \mathcal J_{2n}} t^{\text{des}(\pi)}$ is $\gamma$-positive for $n \ge 9$. We also prove that the number of $(3412, 3421)$-avoiding permutations with $m$ double descents and $k$ descents is equal to the number of separable permutations with $m$ double descents and $k$ descents.


title: Exploring Recombination for Efficient Decoding of Neural Machine Translation

abstract: In Neural Machine Translation (NMT), the decoder can capture the features of the entire prediction history with neural connections and representations. This means that partial hypotheses with different prefixes will be regarded differently no matter how similar they are. However, this might be inefficient since some partial hypotheses can contain only local differences that will not influence future predictions. In this work, we introduce recombination in NMT decoding based on the concept of the "equivalence" of partial hypotheses. Heuristically, we use a simple $n$-gram suffix based equivalence function and adapt it into beam search decoding. Through experiments on large-scale Chinese-to-English and English-to-Germen translation tasks, we show that the proposed method can obtain similar translation quality with a smaller beam size, making NMT decoding more efficient.


title: Painting Outside the Box: Image Outpainting with GANs

abstract: The challenging task of image outpainting (extrapolation) has received comparatively little attention in relation to its cousin, image inpainting (completion). Accordingly, we present a deep learning approach based on Iizuka et al. for adversarially training a network to hallucinate past image boundaries. We use a three-phase training schedule to stably train a DCGAN architecture on a subset of the Places365 dataset. In line with Iizuka et al., we also use local discriminators to enhance the quality of our output. Once trained, our model is able to outpaint $128 \times 128$ color images relatively realistically, thus allowing for recursive outpainting. Our results show that deep learning approaches to image outpainting are both feasible and promising.


title: Schur-Sergeev duality for Ariki-Koike algebras

abstract: Let $U_q(\mathfrak{g})$ be the quantized superalgebra of $\mathfrak{g}=\mathfrak{gl}(k_1|\ell_1)\oplus\cdots\oplus\mathfrak{gl}(k_m|\ell_m)$ and $H_{m,n}(q,\mathbf{Q})$ the cyclotomic Hecke algebra of type $G(m,1,n)$. We define a right $H_{m,n}(q,\mathbf{Q})$-action on the $n$-fold tensor (super)space of the vector representation of $U_q(\mathfrak{g})$ and prove the Schur--Weyl reciprocity between $U_q(\mathfak{g})$ and $H_{m,n}(q,\mathbf{Q})$.


title: Deep Probabilistic Logic: A Unifying Framework for Indirect Supervision

abstract: Deep learning has emerged as a versatile tool for a wide range of NLP tasks, due to its superior capacity in representation learning. But its applicability is limited by the reliance on annotated examples, which are difficult to produce at scale. Indirect supervision has emerged as a promising direction to address this bottleneck, either by introducing labeling functions to automatically generate noisy examples from unlabeled text, or by imposing constraints over interdependent label decisions. A plethora of methods have been proposed, each with respective strengths and limitations. Probabilistic logic offers a unifying language to represent indirect supervision, but end-to-end modeling with probabilistic logic is often infeasible due to intractable inference and learning. In this paper, we propose deep probabilistic logic (DPL) as a general framework for indirect supervision, by composing probabilistic logic with deep learning. DPL models label decisions as latent variables, represents prior knowledge on their relations using weighted first-order logical formulas, and alternates between learning a deep neural network for the end task and refining uncertain formula weights for indirect supervision, using variational EM. This framework subsumes prior indirect supervision methods as special cases, and enables novel combination via infusion of rich domain and linguistic knowledge. Experiments on biomedical machine reading demonstrate the promise of this approach.


title: Modified Erd\"os--Ginzburg--Ziv Constants for $\mathbb Z/n\mathbb Z$ and $(\mathbb Z/n\mathbb Z)^2$

abstract: For an abelian group $G$ and an integer $t > 0$, the \emph{modified Erd\"os--Ginzburg--Ziv constant} $s_t'(G)$ is the smallest integer $\ell$ such that any zero-sum sequence of length at least $\ell$ with elements in $G$ contains a zero-sum subsequence (not necessarily consecutive) of length $t$. We compute $s_t'(G)$ for $G = \mathbb Z/n\mathbb Z$ and for $t = n$, $G = (\mathbb Z/n\mathbb Z)^2$.


title: Bent Vectorial Functions, Codes and Designs

abstract: Bent functions, or equivalently, Hadamard difference sets in the elementary Abelian group $(\gf(2^{2m}), +)$, have been employed to construct symmetric and quasi-symmetric designs having the symmetric difference property. The main objective of this paper is to use bent vectorial functions for a construction of a two-parameter family of binary linear codes that do not satisfy the conditions of the Assmus-Mattson theorem, but nevertheless hold $2$-designs. A new coding-theoretic characterization of bent vectorial functions is presented.


title: Densest vs. jammed packings of 2D bent-core trimers

abstract: We identify the maximally dense lattice packings of tangent-disk trimers with fixed bond angles ($\theta = \theta_0$) and contrast them to both their nonmaximally-dense-but-strictly-jammed lattice packings as well as the disordered jammed states they form for a range of compression protocols. While only $\theta_0 = 0,\ 60^\circ,\ \rm{and}\ 120^\circ$ trimers can form the triangular lattice, maximally-dense maximally-symmetric packings for all $\theta_0$ fall into just two categories distinguished by their bond topologies: half-elongated-triangular for $0 < \theta_0 < 60^\circ$ and elongated-snub-square for $60^\circ < \theta_0 < 120^\circ$. The presence of degenerate, lower-symmetry versions of these densest packings combined with several families of less-dense-but-strictly-jammed lattice packings act in concert to promote jamming.


title: Preflight Characterization of the BLAST-TNG Receiver and Detector Arrays

abstract: The Next Generation Balloon-borne Large Aperture Submillimeter Telescope (BLAST-TNG) is a submillimeter mapping experiment planned for a 28 day long-duration balloon (LDB) flight from McMurdo Station, Antarctica during the 2018-2019 season. BLAST-TNG will detect submillimeter polarized interstellar dust emission, tracing magnetic fields in galactic molecular clouds. BLAST-TNG will be the first polarimeter with the sensitivity and resolution to probe the $\sim$0.1 parsec-scale features that are critical to understanding the origin of structures in the interstellar medium. BLAST-TNG features three detector arrays operating at wavelengths of 250, 350, and 500 $\mu$m (1200, 857, and 600 GHz) comprised of 918, 469, and 272 dual-polarization pixels, respectively. Each pixel is made up of two crossed microwave kinetic inductance detectors (MKIDs). These arrays are cooled to 275 mK in a cryogenic receiver. Each MKID has a different resonant frequency, allowing hundreds of resonators to be read out on a single transmission line. This inherent ability to be frequency-domain multiplexed simplifies the cryogenic readout hardware, but requires careful optical testing to map out the physical location of each resonator on the focal plane. Receiver-level optical testing was carried out using both a cryogenic source mounted to a movable xy-stage with a shutter, and a beam-filling, heated blackbody source able to provide a 10-50 $^\circ$C temperature chop. The focal plane array noise properties, responsivity, polarization efficiency, instrumental polarization were measured. We present the preflight characterization of the BLAST-TNG cryogenic system and array-level optical testing of the MKID detector arrays in the flight receiver.


title: Markov Chain Monte Carlo for Dummies

abstract: This is an introductory article about Markov Chain Monte Carlo (MCMC) simulation for pedestrians. Actual simulation codes are provided, and necessary practical details, which are skipped in most textbooks, are shown. The second half is written for hep-th and hep-lat audience. It explains specific methods needed for simulations with dynamical fermions, especially supersymmetric Yang-Mills. The examples include QCD and matrix integral, in addition to SYM.


title: Bayesian Hypothesis Testing: Redux

abstract: Bayesian hypothesis testing is re-examined from the perspective of an a priori assessment of the test statistic distribution under the alternative. By assessing the distribution of an observable test statistic, rather than prior parameter values, we provide a practical default Bayes factor which is straightforward to interpret. To illustrate our methodology, we provide examples where evidence for a Bayesian strikingly supports the null, but leads to rejection under a classical test. Finally, we conclude with directions for future research.


title: Swift spectra of AT2018cow: A White Dwarf Tidal Disruption Event?

abstract: The bright transient AT2018cow has been unlike any other known type of transient. Its high brightness, rapid rise and decay and initially nearly featureless spectrum are unprecedented and difficult to explain using models for similar burst sources. We present evidence for faint gamma-ray emission continuing for at least 8 days, and featureless spectra in the ultraviolet bands -- both unusual for eruptive sources. The X-ray variability of the source has a burst-like character. The UV-optical spectrum does not show any CNO line but is well described by a blackbody. We demonstrate that a model invoking the tidal disruption of a 0.1 - 0.4 Msun Helium White Dwarf (WD) by a 100,000 to one million solar mass Black Hole (BH) located in the outskirts of galaxy Z~137-068 could provide an explanation for most of the characteristics shown in the multi-wavelength observations. A blackbody-like emission is emitted from an opaque photosphere, formed by the debris of the WD disruption. Broad features showing up in the optical/infrared spectra in the early stage are probably velocity broadened lines produced in a transient high-velocity outward moving cocoon. The asymmetric optical/infrared lines that appeared at a later stage are emission from an atmospheric layer when it detached from thermal equilibrium with the photosphere, which undergoes more rapid cooling. The photosphere shrinks when its temperature drops, and the subsequent infall of the atmosphere produced asymmetric line profiles. Additionally, a non-thermal jet might be present, emitting X-rays in the 10-150 keV band.


title: Contextual Parameter Generation for Universal Neural Machine Translation

abstract: We propose a simple modification to existing neural machine translation (NMT) models that enables using a single universal model to translate between multiple languages while allowing for language specific parameterization, and that can also be used for domain adaptation. Our approach requires no changes to the model architecture of a standard NMT system, but instead introduces a new component, the contextual parameter generator (CPG), that generates the parameters of the system (e.g., weights in a neural network). This parameter generator accepts source and target language embeddings as input, and generates the parameters for the encoder and the decoder, respectively. The rest of the model remains unchanged and is shared across all languages. We show how this simple modification enables the system to use monolingual data for training and also perform zero-shot translation. We further show it is able to surpass state-of-the-art performance for both the IWSLT-15 and IWSLT-17 datasets and that the learned language embeddings are able to uncover interesting relationships between languages.


title: Towards Tight Approximation Bounds for Graph Diameter and Eccentricities

abstract: Among the most important graph parameters is the Diameter, the largest distance between any two vertices. There are no known very efficient algorithms for computing the Diameter exactly. Thus, much research has been devoted to how fast this parameter can be approximated. Chechik et al. showed that the diameter can be approximated within a multiplicative factor of $3/2$ in $\tilde{O}(m^{3/2})$ time. Furthermore, Roditty and Vassilevska W. showed that unless the Strong Exponential Time Hypothesis (SETH) fails, no $O(n^{2-\epsilon})$ time algorithm can achieve an approximation factor better than $3/2$ in sparse graphs. Thus the above algorithm is essentially optimal for sparse graphs for approximation factors less than $3/2$. It was, however, completely plausible that a $3/2$-approximation is possible in linear time. In this work we conditionally rule out such a possibility by showing that unless SETH fails no $O(m^{3/2-\epsilon})$ time algorithm can achieve an approximation factor better than $5/3$. Another fundamental set of graph parameters are the Eccentricities. The Eccentricity of a vertex $v$ is the distance between $v$ and the farthest vertex from $v$. Chechik et al. showed that the Eccentricities of all vertices can be approximated within a factor of $5/3$ in $\tilde{O}(m^{3/2})$ time and Abboud et al. showed that no $O(n^{2-\epsilon})$ algorithm can achieve better than $5/3$ approximation in sparse graphs. We show that the runtime of the $5/3$ approximation algorithm is also optimal under SETH. We also show that no near-linear time algorithm can achieve a better than $2$ approximation for the Eccentricities and that this is essentially tight: we give an algorithm that approximates Eccentricities within a $2+\delta$ factor in $\tilde{O}(m/\delta)$ time for any $0<\delta<1$. This beats all Eccentricity algorithms in Cairo et al.


title: The effect of retardation in the random networks of excitable nodes embeddable in the Euclidean space

abstract: Some features of random networks with excitable nodes that are embeddable in the Euclidean space are not describable in terms of the conventional integrate and fire model (IFM) alone, and some further details should be involved. In the present paper we consider the effect of the retardation, i.e. the time that is needed for a signal to traverse between two agents. This effect becomes important to discover the differences between e.g. the neural networks with low and fast axon conduct times. We show that the inclusion of the retardation effects makes some important changes in the statistical properties of the system. It considerably suppresses/restricts the amplitude of the possible oscillations in the random network. Additionally, it causes the critical exponents in the critical regime to considerably change.


title: Drawing Subcubic 1-Planar Graphs with Few Bends, Few Slopes, and Large Angles

abstract: We show that the 1-planar slope number of 3-connected cubic 1-planar graphs is at most 4 when edges are drawn as polygonal curves with at most 1 bend each. This bound is obtained by drawings whose vertex and crossing resolution is at least $\pi/4$. On the other hand, if the embedding is fixed, then there is a 3-connected cubic 1-planar graph that needs 3 slopes when drawn with at most 1 bend per edge. We also show that 2 slopes always suffice for 1-planar drawings of subcubic 1-planar graphs with at most 2 bends per edge. This bound is obtained with vertex resolution $\pi/2$ and the drawing is RAC (crossing resolution $\pi/2$). Finally, we prove lower bounds for the slope number of straight-line 1-planar drawings in terms of number of vertices and maximum degree.


title: FinBrain: When Finance Meets AI 2.0

abstract: Artificial intelligence (AI) is the core technology of technological revolution and industrial transformation. As one of the new intelligent needs in the AI 2.0 era, financial intelligence has elicited much attention from the academia and industry. In our current dynamic capital market, financial intelligence demonstrates a fast and accurate machine learning capability to handle complex data and has gradually acquired the potential to become a "financial brain". In this work, we survey existing studies on financial intelligence. First, we describe the concept of financial intelligence and elaborate on its position in the financial technology field. Second, we introduce the development of financial intelligence and review state-of-the-art techniques in wealth management, risk management, financial security, financial consulting, and blockchain. Finally, we propose a research framework called FinBrain and summarize four open issues, namely, explainable financial agents and causality, perception and prediction under uncertainty, risk-sensitive and robust decision making, and multi-agent game and mechanism design. We believe that these research directions can lay the foundation for the development of AI 2.0 in the finance field.


title: Core-Halo Collective Instabilities

abstract: At strong space charge, transverse modes of the bunch core may effectively couple with those of the halo, leading to instabilities well below the core-only transverse mode-coupling threshold.


title: On the Stability of the Cauchy Problem of Timoshenko Thermoelastic Systems with Past History: Cattaneo and Fourier Law

abstract: In this paper, we investigate the decay properties of the thermoelastic Timoshenko system with past history in the whole space where the thermal effects are given by Cattaneo and Fourier laws. We obtain that both systems, Timoshenko-Fourier and Timoshenko-Cattaneo, have the same rate of decay $(1 + t)^{-1/8}$ and satisfy the regularity-loss type property. Moreover, for the Cattaneo case, we show that the decay rate depends of a new condition on the wave speed of propagation $\chi_{0,\tau}$. This new condition has been recently introduced to study the asymptotic behavior in bounded domains, see for instance [5] and [27]. We found that this number also plays an important role in unbounded situation, affecting the decay rate of the solution.


title: Supercondutivity in SnSb with natural superlattice structure

abstract: We report the results of electrical resistivity, magnetic and thermodynamic measurements on polycrystalline SnSb, whose structure consists of stacks of Sb bilayers and Sn4Sb3 septuple layers along the c-axis. The material is found to be a weakly coupled, fully gapped, type-II superconductor with a bulk Tc of 1.50 K, while showing a zero resistivity transition at a significantly higher temperature of 2.48 K. The Sommerfeld coefficient and upper critical field, obtained from specific heat measurements, are 2.29 mJ/mol K and 520 Oe, respectively. Compositional inhomogeneity and strain effect at the grain boundaries are proposed as possible origins for the difference in resistive and bulk superconducting transitions.In addition, a comparison with the rock-salt structure SnAs superconductor is presented. Our results provide the first clear evidence of bulk superconductivity in a natural superlattice derived from a topological semimetal.


title: Realization of continuously electron doping in bulk iron selenides and identification of a new superconducting zone

abstract: It is known that iron selenide superconductors exhibit unique characteristics distinct from iron pnicitides, especially in the electron-doped region. However, acomprehensive study of continuous carrier doping ang the corresponding crystal structures of FeSe is still lacking, mainly due to the difficulties in controlling the carrier density in bulk materials. Here, we report the successful synthesis of a new family of bulk Lix(C3H10N2)0.37FeSe, which features a continue superconducting dome harboring Lifshitz transition within the wide range of 0.06~0.68. We demonstrate that with electron-doped, the anion height of FeSe layers deviates lineraly away from the optimized values of pnictides and pressurized FeSe. This feature leads to anew superconducting zone with unique doping dependence of the electronic structures and strong orbital-selective electronic correlation. Optimal superconductivity is achieved when the Fe 3d t2g orbitals have almost the same intermediate electronic correlation strength, with moderate mass enhancement between 3~4 in the two separate superconducting zone. Our result shed light on archieving unified mechanism of superconductivity in iron-based materials.


title: Alignment Strength and Correlation for Graphs

abstract: When two graphs have a correlated Bernoulli distribution, we prove that the alignment strength of their natural bijection strongly converges to a novel measure of graph correlation $\rho_T$ that neatly combines intergraph with intragraph distribution parameters. Within broad families of the random graph parameter settings, we illustrate that exact graph matching runtime and also matchability are both functions of $\rho_T$, with thresholding behavior starkly illustrated in matchability.


title: Tsallis $\delta$-entropy in an accelerating BIon

abstract: In this research, we consider thermodynamically the behaviour of an accelerating BIon and show that the entropy of this system has the form of Tsallis entropy. A BIon is a system that consists of a brane, an anti-brane and a wormhole which connects them together. By increasing the acceleration of branes, the area of BIon increases and its Tsallis entropy grows.


title: Event Detection with Neural Networks: A Rigorous Empirical Evaluation

abstract: Detecting events and classifying them into predefined types is an important step in knowledge extraction from natural language texts. While the neural network models have generally led the state-of-the-art, the differences in performance between different architectures have not been rigorously studied. In this paper we present a novel GRU-based model that combines syntactic information along with temporal structure through an attention mechanism. We show that it is competitive with other neural network architectures through empirical evaluations under different random initializations and training-validation-test splits of ACE2005 dataset.


title: Nonlocal Entanglement of 1D Thermal States Induced by Fermion Exchange Statistics

abstract: When two identical fermions exchange their positions, their wave function gains phase factor $-1$. We show that this distance-independent effect can induce nonlocal entanglement in one-dimensional (1D) electron systems having Majorana fermions at the ends. It occurs in the system bulk and has nontrivial temperature dependence. In a system having a single Majorana at each end, the nonlocal entanglement has a Bell-state form at zero temperature and decays as temperature increases, vanishing suddenly at certain finite temperature. In a system having two Majoranas at each end, it is in a cluster-state form and its nonlocality is more noticeable at finite temperature. By contrast, thermal states of corresponding 1D spins do not have nonlocal entanglement.


title: Numerical renormalization group method for entanglement negativity at finite temperature

abstract: We develop a numerical method to compute the negativity, an entanglement measure for mixed states, between the impurity and the bath in quantum impurity systems at finite temperature. We construct a thermal density matrix by using the numerical renormalization group (NRG), and evaluate the negativity by implementing the NRG approximation that reduces computational cost exponentially. We apply the method to the single-impurity Kondo model and the single-impurity Anderson model. In the Kondo model, the negativity exhibits a power-law scaling at temperature much lower than the Kondo temperature and a sudden death at high temperature. In the Anderson model, the charge fluctuation of the impurity contribute to the negativity even at zero temperature when the on-site Coulomb repulsion of the impurity is finite, while at low temperature the negativity between the impurity spin and the bath exhibits the same power-law scaling behavior as in the Kondo model.


title: Mallows Ranking Models: Maximum Likelihood Estimate and Regeneration

abstract: This paper is concerned with various Mallows ranking models. We study the statistical properties of the MLE of Mallows' $\phi$ model. We also make connections of various Mallows ranking models, encompassing recent progress in mathematics. Motivated by the infinite top-$t$ ranking model, we propose an algorithm to select the model size $t$ automatically. The key idea relies on the renewal property of such an infinite random permutation. Our algorithm shows good performance on several data sets.


title: Energy Efficient and Fair Resource Allocation for LTE-Unlicensed Uplink Networks: A Two-sided Matching Approach with Partial Information

abstract: LTE-Unlicensed (LTE-U) has recently attracted worldwide interest to meet the explosion in cellular traffic data. By using carrier aggregation (CA), licensed and unlicensed bands are integrated to enhance transmission capacity while maintaining reliable and predictable performance. As there may exist other conventional unlicensed band users, such as Wi-Fi users, LTE-U users have to share the same unlicensed bands with them. Thus, an optimized resource allocation scheme to ensure the fairness between LTE-U users and conventional unlicensed band users is critical for the deployment of LTE-U networks. In this paper, we investigate an energy efficient resource allocation problem in LTE-U coexisting with other wireless networks, which aims at guaranteeing fairness among the users of different radio access networks (RANs). We formulate the problem as a multi-objective optimization problem and propose a semi-distributed matching framework with a partial information-based algorithm to solve it. We demonstrate our contributions with simulations in which various network densities and traffic load levels are considered.


title: Efficient Single Image Super Resolution using Enhanced Learned Group Convolutions

abstract: Convolutional Neural Networks (CNNs) have demonstrated great results for the single-image super-resolution (SISR) problem. Currently, most CNN algorithms promote deep and computationally expensive models to solve SISR. However, we propose a novel SISR method that uses relatively less number of computations. On training, we get group convolutions that have unused connections removed. We have refined this system specifically for the task at hand by removing unnecessary modules from original CondenseNet. Further, a reconstruction network consisting of deconvolutional layers has been used in order to upscale to high resolution. All these steps significantly reduce the number of computations required at testing time. Along with this, bicubic upsampled input is added to the network output for easier learning. Our model is named SRCondenseNet. We evaluate the method using various benchmark datasets and show that it performs favourably against the state-of-the-art methods in terms of both accuracy and number of computations required.


title: Similarity model for corner roll in turbulent Rayleigh-Benard convection

abstract: The corner roll (CR) in the Rayleigh-B\'{e}nard (RB) convection accounts for the behaviors of heat transport and convection flow at the corner. Streamlines of the three-dimensional direct numerical simulations for $10^8<Ra<5\times10^9$ show that CR presents well-defined similarity and multi-layer structure. A stream function for CR is developed by homotopy and the structure ensemble dynamics. The model presents the scaling of Reynolds number of corner roll $Re_{cr}\sim Ra^{1/4}$. Scaling of CR scale $r = 0.77 Ra^{-0.085}$ indicates strong near-wall shearing induced by wind and provides a probability of the `ultimate regime' at high $Ra$.


title: Optimization of Executable Formal Interpreters developed in Higher-order Theorem Proving Systems

abstract: In recent publications, we presented a novel formal symbolic process virtual machine (FSPVM) framework that combined higher-order theorem proving and symbolic execution for verifying the reliability and security of smart contracts developed in the Ethereum blockchain system without suffering the standard issues surrounding reusability, consistency, and automation. A specific FSPVM, denoted as FSPVM-E, was developed in Coq based on a general, extensible, and reusable formal memory (GERM) framework, an extensible and universal formal intermediate programming language, denoted as Lolisa, which is a large subset of the Solidity programming language that uses generalized algebraic datatypes, and a corresponding formally verified interpreter for Lolisa, denoted as FEther, which serves as a crucial component of FSPVM-E. However, our past work has demonstrated that the execution efficiency of the standard development of FEther is extremely low. As a result, FSPVM-E fails to achieve its expected verification effect. The present work addresses this issue by first identifying three root causes of the low execution efficiency of formal interpreters. We then build abstract models of these causes, and present respective optimization schemes for rectifying the identified conditions. Finally, we apply these optimization schemes to FEther, and demonstrate that its execution efficiency has been improved significantly.


title: Data Motifs: A Lens Towards Fully Understanding Big Data and AI Workloads

abstract: The complexity and diversity of big data and AI workloads make understanding them difficult and challenging. This paper proposes a new approach to modelling and characterizing big data and AI workloads. We consider each big data and AI workload as a pipeline of one or more classes of units of computation performed on different initial or intermediate data inputs. Each class of unit of computation captures the common requirements while being reasonably divorced from individual implementations, and hence we call it a data motif. For the first time, among a wide variety of big data and AI workloads, we identify eight data motifs that take up most of the run time of those workloads, including Matrix, Sampling, Logic, Transform, Set, Graph, Sort and Statistic. We implement the eight data motifs on different software stacks as the micro benchmarks of an open-source big data and AI benchmark suite ---BigDataBench 4.0 (publicly available from http://prof.ict.ac.cn/BigDataBench), and perform comprehensive characterization of those data motifs from perspective of data sizes, types, sources, and patterns as a lens towards fully understanding big data and AI workloads. We believe the eight data motifs are promising abstractions and tools for not only big data and AI benchmarking, but also domain-specific hardware and software co-design.


title: Convenient Antiderivatives For Differential Linear Categories

abstract: Differential categories axiomatize the basics of differentiation and provide categorical models of differential linear logic. A differential category is said to have antiderivatives if a natural transformation $\mathsf{K}$, which all differential categories have, is a natural isomorphism. Differential categories with antiderivatives come equipped with a canonical integration operator such that generalizations of the Fundamental Theorems of Calculus hold. In this paper, we show that Blute, Ehrhard, and Tasson's differential category of convenient vector spaces has antiderivatives. To help prove this result, we show that a differential linear category -- which is a differential category with a monoidal coalgebra modality -- has antiderivatives if and only if one can integrate over the monoidal unit and such that the Fundamental Theorems of Calculus hold. We also show that generalizations of the relational model (which are biproduct completions of complete semirings) are also differential linear categories with antiderivatives.


title: On Generalized Covering Groups of Topological Groups

abstract: It is well-known that a homomorphism p between topological groups K, G is a covering homomorphism if and only if p is an open epimorphism with discrete kernel. In this paper we generalize this fact, in precisely, we show that for a connected locally path connected topological group G, a continuous map p is a generalized covering if and only if K is a topological group and p is an open epimorphism with prodiscrete (i.e, product of discrete groups) kernel. To do this we first show that if G is a topological group and H is any generalized covering subgroup of fundamental group of G, then H is as intersection of all covering subgroups, which contain H. Finally, we show that every generalized covering of a connected locally path connected topological group is a fibration.


title: System of interacting harmonic oscillators in rotationally invariant noncommutative phase space

abstract: Rotationally invariant space with noncommutativity of coordinates and noncommutativity of momenta of canonical type is considered. A system of $N$ interacting harmonic oscillators in uniform filed and a system of $N$ particles with harmonic oscillator interaction are studied. We analyze effect of noncommutativity on the energy levels of these systems. It is found that influence of coordinates noncommutativity on the energy levels of the systems increases with increasing of the number of particles. The spectrum of $N$ free particles in uniform field in rotationally-invariant noncommutative phase space is also analyzed. It is shown that the spectrum corresponds to the spectrum of a system of $N$ harmonic oscillators with frequency determined by the parameter of momentum noncommutativity.


title: On a reverse H\"older inequality for Schr\"odinger operators

abstract: We obtain a reverse H\"older inequality for the eigenfuctions of the Schr\"odinger operator with slowly decaying potentials. The class of potentials includes singular potentials which decay like $|x|^{-\alpha}$ with $0<\alpha<2$, in particular the Coulomb potential.


title: An Incremental Construction of Deep Neuro Fuzzy System for Continual Learning of Non-stationary Data Streams

abstract: Existing FNNs are mostly developed under a shallow network configuration having lower generalization power than those of deep structures. This paper proposes a novel self-organizing deep FNN, namely DEVFNN. Fuzzy rules can be automatically extracted from data streams or removed if they play limited role during their lifespan. The structure of the network can be deepened on demand by stacking additional layers using a drift detection method which not only detects the covariate drift, variations of input space, but also accurately identifies the real drift, dynamic changes of both feature space and target space. DEVFNN is developed under the stacked generalization principle via the feature augmentation concept where a recently developed algorithm, namely gClass, drives the hidden layer. It is equipped by an automatic feature selection method which controls activation and deactivation of input attributes to induce varying subsets of input features. A deep network simplification procedure is put forward using the concept of hidden layer merging to prevent uncontrollable growth of dimensionality of input space due to the nature of feature augmentation approach in building a deep network structure. DEVFNN works in the sample-wise fashion and is compatible for data stream applications. The efficacy of DEVFNN has been thoroughly evaluated using seven datasets with non-stationary properties under the prequential test-then-train protocol. It has been compared with four popular continual learning algorithms and its shallow counterpart where DEVFNN demonstrates improvement of classification accuracy. Moreover, it is also shown that the concept drift detection method is an effective tool to control the depth of network structure while the hidden layer merging scenario is capable of simplifying the network complexity of a deep network with negligible compromise of generalization performance.


title: Word Sense Induction with Neural biLM and Symmetric Patterns

abstract: An established method for Word Sense Induction (WSI) uses a language model to predict probable substitutes for target words, and induces senses by clustering these resulting substitute vectors. We replace the ngram-based language model (LM) with a recurrent one. Beyond being more accurate, the use of the recurrent LM allows us to effectively query it in a creative way, using what we call dynamic symmetric patterns. The combination of the RNN-LM and the dynamic symmetric patterns results in strong substitute vectors for WSI, allowing to surpass the current state-of-the-art on the SemEval 2013 WSI shared task by a large margin.


title: Spectral Efficiency Analysis of Multi-Cell Massive MIMO Systems with Ricean Fading

abstract: This paper investigates the spectral efficiency of multi-cell massive multiple-input multiple-output systems with Ricean fading that utilize the linear maximal-ratio combining detector. We firstly present closed-form expressions for the effective signal-to-interference-plus-noise ratio (SINR) with the least squares and minimum mean squared error (MMSE) estimation methods, respectively, which apply for any number of base-station antennas $M$ and any Ricean $K$-factor. Also, the obtained results can be particularized in Rayleigh fading conditions when the Ricean $K$-factor is equal to zero. In the following, novel exact asymptotic expressions of the effective SINR are derived in the high $M$ and high Ricean $K$-factor regimes. The corresponding analysis shows that pilot contamination is removed by the MMSE estimator when we consider both infinite $M$ and infinite Ricean $K$-factor, while the pilot contamination phenomenon persists for the rest of cases. All the theoretical results are verified via Monte-Carlo simulations.


title: No lattice tiling of $\mathbb{Z}^n$ by Lee Sphere of radius 2

abstract: We prove the nonexistence of lattice tilings of $\mathbb{Z}^n$ by Lee spheres of radius $2$ for all dimensions $n\geq 3$. This implies that the Golomb-Welch conjecture is true when the common radius of the Lee spheres equals $2$ and $2n^2+2n+1$ is a prime. As a direct consequence, we also answer an open question in the degree-diameter problem of graph theory: the order of any abelian Cayley graph of diameter $2$ and degree larger than $5$ cannot meet the abelian Cayley Moore bound.


title: DIFET: Distributed Feature Extraction Tool For High Spatial Resolution Remote Sensing Images

abstract: In this paper, we propose distributed feature extraction tool from high spatial resolution remote sensing images. Tool is based on Apache Hadoop framework and Hadoop Image Processing Interface. Two corner detection (Harris and Shi-Tomasi) algorithms and five feature descriptors (SIFT, SURF, FAST, BRIEF, and ORB) are considered. Robustness of the tool in the task of feature extraction from LandSat-8 imageries are evaluated in terms of horizontal scalability.


title: An Approach For Stitching Satellite Images In A Bigdata Mapreduce Framework

abstract: In this study we present a two-step map/reduce framework to stitch satellite mosaic images. The proposed system enable recognition and extraction of objects whose parts falling in separate satellite mosaic images. However this is a time and resource consuming process. The major aim of the study is improving the performance of the image stitching processes by utilizing big data framework. To realize this, we first convert the images into bitmaps (first mapper) and then String formats in the forms of 255s and 0s (second mapper), and finally, find the best possible matching position of the images by a reduce function.


title: Quantitative explanation of the reported values of the Hall-Petch parameter

abstract: The Hall-Petch effect has been described for the past sixty years as a dependence of the strength of polycrystalline metals on the inverse square-root of grain size d. The value of the coefficient of the dependence has been the subject of discussion throughout. Here, we find what factors in the experiments determine its values. A meta-analysis using maximum-likelihood methods is reported of the literature values of the coefficient in sixty-one datasets. Weak dependence is found on composition and bulk strength. Clear dependence is found on the elastic anisotropy of the different metals and on their stacking fault energies. Surprisingly, no dependence is found on plastic strain, and the strongest dependence is found on the average grain size of each study. Combining these effects accounts for the reported values of about 80% of the sixty-one coefficients. The grain-size dependence and the bulk strength dependence indicate that the Hall-Petch coefficient is an artefact arising from incorrect fitting of the data. Moreover, the grain-size dependence implies a minimum strength described by a simple inverse 1/d or a lnd/d function, which arises theoretically from considerations of dislocation curvature.


title: When facts fail: Bias, polarisation and truth in social networks

abstract: Online social networks provide users with unprecedented opportunities to engage with diverse opinions. At the same time, they enable confirmation bias on large scales by empowering individuals to self-select narratives they want to be exposed to. A precise understanding of such tradeoffs is still largely missing. We introduce a social learning model where most participants in a network update their beliefs unbiasedly based on new information, while a minority of participants reject information that is incongruent with their preexisting beliefs. This simple mechanism generates permanent opinion polarization and cascade dynamics, and accounts for the aforementioned tradeoff between confirmation bias and social connectivity through analytic results. We investigate the model's predictions empirically using US county-level data on the impact of Internet access on the formation of beliefs about global warming. We conclude by discussing policy implications of our model, highlighting the downsides of debunking and suggesting alternative strategies to contrast misinformation.


title: Diagnostics of ionized gas in galaxies with the "BPT--radial velocity dispersion" relation

abstract: In order to study the state of gas in galaxies, diagrams of the relation of optical emission line fluxes are used allowing one to separate main ionization sources: young stars in the H II regions, active galactic nuclei, and shock waves. In the intermediate cases, when the contributions of radiation from OB stars and from shock waves mix, identification becomes uncertain, and the issue remains unresolved on what determines the observed state of the diffuse ionized gas (DIG) including the one on large distances from the galactic plane. Adding of an extra parameter - the gas line-of-sight velocity dispersion - to classical diagnostic diagrams helps to find a solution. In the present paper, we analyze the observed data for several nearby galaxies: for UGC 10043 with the galactic wind, for the star forming dwarf galaxies VII Zw 403 and Mrk 35, for the galaxy Arp 212 with a polar ring. The data on the velocity dispersion are obtained at the 6-m SAO RAS telescope with the Fabry-Perot scanning interferometer, the information on the relation of main emission-line fluxes - from the published results of the integral-field spectroscopy (the CALIFA survey and the MPFS spectrograph). A positive correlation between the radial velocity dispersion and the contribution of shock excitation to gas ionization are observed. In particular, in studying Arp 212, "BPT-sigma relation" allowed us to confirm the assumption on a direct collision of gaseous clouds on the inclined orbits with the main disk of the galaxy.


title: A Framework on Hybrid MIMO Transceiver Design based on Matrix-Monotonic Optimization

abstract: Hybrid transceiver can strike a balance between complexity and performance of multiple-input multiple-output (MIMO) systems. In this paper, we develop a unified framework on hybrid MIMO transceiver design using matrix-monotonic optimization. The proposed framework addresses general hybrid transceiver design, rather than just limiting to certain high frequency bands, such as millimeter wave (mmWave) or terahertz bands or relying on the sparsity of some specific wireless channels. In the proposed framework, analog and digital parts of a transceiver, either linear or nonlinear, are jointly optimized. Based on matrix-monotonic optimization, we demonstrate that the combination of the optimal analog precoders and processors are equivalent to eigenchannel selection for various optimal hybrid MIMO transceivers. From the optimal structure, several effective algorithms are derived to compute the analog transceivers under unit modulus constraints. Furthermore, in order to reduce computation complexity, a simple random algorithm is introduced for analog transceiver optimization. Once the analog part of a transceiver is determined, the closed-form digital part can be obtained. Numerical results verify the advantages of the proposed design.


title: Perfect Optical Nonreciprocity in a Double-Cavity Optomechanical System

abstract: Nonreciprocal devices are indispensable for building quantum networks and ubiquitous in modern communication technology. Here, we use optomechanical interaction and linearly-coupled interaction to realize optical nonreciprocal transmission in a double-cavity optomechanical system. The scheme relies on the interference between the two interactions. We derive the essential conditions to realize perfect optical nonreciprocity in the system, and analyse the properties of optical nonreciprocal transmission and the output fields from mechanical mode. These results can be used to control optical transmission in quantum information processing.


title: A MapReduce based Big-data Framework for Object Extraction from Mosaic Satellite Images

abstract: We propose a framework stitching of vector representations of large scale raster mosaic images in distributed computing model. In this way, the negative effect of the lack of resources of the central system and scalability problem can be eliminated. The product obtained by this study can be used in applications requiring spatial and temporal analysis on big satellite map images. This study also shows that big data frameworks are not only used in applications of text-based data mining and machine learning algorithms, but also used in applications of algorithms in image processing. The effectiveness of the product realized with this project is also going to be proven by scalability and performance tests performed on real world LandSat-8 satellite images.


title: Analytical Soft SUSY Spectrum in Mirage-Type Mediation Scenarios

abstract: We derive explicitly the soft SUSY breaking parameters at arbitrary low energy scale in the (deflected) mirage type mediation scenarios with possible gauge or Yukawa mediation contributions. Based on the Wilsonian effective action after integrating out the messengers, we obtain analytically the boundary value (at the GUT scale) dependencies of the effective wavefunctions and gauge kinetic terms. Note that the messenger scale dependencies of the effective wavefunctions and gauge kinetic terms had already been discussed in GMSB. The RGE boundary value dependencies, which is a special feature in (deflected) mirage type mediation, is the key new ingredients in this study. The appearance of $'mirage'$ unification scale in mirage mediation is proved rigorously with our analytical results. We also discuss briefly the new features in deflected mirage mediation scenario in the case the deflection comes purely from the Kahler potential and the case with messenger-matter interactions.


title: One-dimensional topological metal

abstract: We propose a new type of topological states of matter exhibiting topologically nontrivial edge states (ESs) within gapless bulk states (GBSs) protected by both spin rotational and reflection symmetries. A model presenting such states is simply comprised of a one-dimensional reflection symmetric superlattice in the presence of spin-orbit coupling containing odd number of sublattices per unit cell. We show that the system has a rich phase diagram including a topological metal (TM) phase where nontrivial ESs coexist with nontrivial GBSs at Fermi level. Topologically distinct phases can be reached through subband gap closing-reopening transition depending on the relative strength of inter and intra unit cell spin-orbit couplings. Moreover, topological class of the system is AI with an integer topological invariant called $\mathbb{Z}$ index. The stability of TM states is also analyzed against Zeeman magnetic fields and on-site potentials resulting in that the spin rotational symmetry around the lattice direction is a key requirement for the appearance of such states. Also, possible experimental realizations are discussed.


title: DeepTracker: Visualizing the Training Process of Convolutional Neural Networks

abstract: Deep convolutional neural networks (CNNs) have achieved remarkable success in various fields. However, training an excellent CNN is practically a trial-and-error process that consumes a tremendous amount of time and computer resources. To accelerate the training process and reduce the number of trials, experts need to understand what has occurred in the training process and why the resulting CNN behaves as such. However, current popular training platforms, such as TensorFlow, only provide very little and general information, such as training/validation errors, which is far from enough to serve this purpose. To bridge this gap and help domain experts with their training tasks in a practical environment, we propose a visual analytics system, DeepTracker, to facilitate the exploration of the rich dynamics of CNN training processes and to identify the unusual patterns that are hidden behind the huge amount of training log. Specifically,we combine a hierarchical index mechanism and a set of hierarchical small multiples to help experts explore the entire training log from different levels of detail. We also introduce a novel cube-style visualization to reveal the complex correlations among multiple types of heterogeneous training data including neuron weights, validation images, and training iterations. Three case studies are conducted to demonstrate how DeepTracker provides its users with valuable knowledge in an industry-level CNN training process, namely in our case, training ResNet-50 on the ImageNet dataset. We show that our method can be easily applied to other state-of-the-art "very deep" CNN models.


title: Twisted cohomology pairings of knots III; triple cup products

abstract: Given a representation of a link group, we introduce a trilinear form, as a topological invariant. We show that, if the link is either hyperbolic or a knot with malnormality, then the trilinear form equals the pairing of the (twisted) triple cup product and the fundamental relative 3-class. Further, we give some examples of the computation.


title: The general electronic principle driving size-dependent surface chemical activities of nanomaterials

abstract: Size can widely affect the surface chemical activities (SCAs) of nanomaterials in chemisorption, catalysis, surface effects, etc., but the underlying electronic nature has long remained mysterious. We report a general electronic principle that drives the origin of size-dependent SCAs by combining experimental probing and theoretical modeling. Using the chemisorption of H2O2 on TiO2 as a model reaction, we experimentally reveal that the central electronic process of surface chemical interactions lies in the competitive redistribution of surface atomic orbitals from energy band states into surface coordination bonds. By defining orbital potential, a site-dependent intrinsic electronic property that determines surface activities, we further establish a mathematical model to uncover the physical nature of how structural factors correlate to SCAs, particularly the roles of size. We discover that the electronic nature of size effect lies in its inverse correlation to orbital potential and amplification effect on other structural factors like defects and coordination numbers.


title: Non-expansive bijections, uniformities and polyhedral faces

abstract: We extend the result of B. Cascales at al. about expand-contract plasticity of the unit ball of strictly convex Banach space to those spaces whose unit ball is the union of all its finite-dimensional polyhedral extreme subsets. We also extend the definition of expand-contract plasticity to uniform spaces and generalize the theorem on expand-contract plasticity of totally bounded metric spaces to this new setting.


title: Fermion spectral function in hot strongly interacting matter from the functional renormalization group

abstract: We present the first calculation of fermion spectral function at finite temperature in quark-meson model in the framework of the functional renormalization group (FRG). We compare the results in two truncations, after first evolving flow equation of effective potential, we investigate the spectral function either by taking the IR values as input to calculate one-loop self-energy or by taking the scale-dependent values as input to evolve the flow equation of the fermion two-point function. The latter one is a self-consistent procedure in the framework of FRG. In both truncations, we find a multi-peak structure in the spectral function, indicating quark collective excitations realized in terms of the Landau damping. However, in contrast to fermion zero-mode in the one-loop truncation, we find a fermion soft-mode in the self-consistent truncation, which approaches the zero-mode as temperature increases.


title: Dirac spinors and their application to Bianchi-I space-times in 5 dimensions

abstract: We consider a five-dimensional Einstein--Cartan spacetime upon which Dirac spinor fields can be defined. Dirac spinor fields in five and four dimensions share many features, like the fact that both are described by four-component spinor fields, but they are also characterized by strong differences, like the fact that in five dimensions we do not have the possibility to project on left-handed and right-handed chiral parts unlike what happens in the four-dimensional instance: we conduct a polar decomposition of the spinorial fields, so to highlight all similarities and discrepancies. As an application of spinor fields in five dimensions, we study Bianchi-I spacetimes, verifying whether the Dirac fields in five dimensions can give rise to inflation or dark-energy dominated cosmological eras or not.


title: Big Data Privacy Context: Literature Effects On Secure Informational Assets

abstract: This article's objective is the identification of research opportunities in the current big data privacy domain, evaluating literature effects on secure informational assets. Until now, no study has analyzed such relation. Its results can foster science, technologies and businesses. To achieve these objectives, a big data privacy Systematic Literature Review (SLR) is performed on the main scientific peer reviewed journals in Scopus database. Bibliometrics and text mining analysis complement the SLR. This study provides support to big data privacy researchers on: most and least researched themes, research novelty, most cited works and authors, themes evolution through time and many others. In addition, TOPSIS and VIKOR ranks were developed to evaluate literature effects versus informational assets indicators. Secure Internet Servers (SIS) was chosen as decision criteria. Results show that big data privacy literature is strongly focused on computational aspects. However, individuals, societies, organizations and governments face a technological change that has just started to be investigated, with growing concerns on law and regulation aspects. TOPSIS and VIKOR Ranks differed in several positions and the only consistent country between literature and SIS adoption is the United States. Countries in the lowest ranking positions represent future research opportunities.


title: Nowcasting the Stance of Social Media Users in a Sudden Vote: The Case of the Greek Referendum

abstract: Modelling user voting intention in social media is an important research area, with applications in analysing electorate behaviour, online political campaigning and advertising. Previous approaches mainly focus on predicting national general elections, which are regularly scheduled and where data of past results and opinion polls are available. However, there is no evidence of how such models would perform during a sudden vote under time-constrained circumstances. That poses a more challenging task compared to traditional elections, due to its spontaneous nature. In this paper, we focus on the 2015 Greek bailout referendum, aiming to nowcast on a daily basis the voting intention of 2,197 Twitter users. We propose a semi-supervised multiple convolution kernel learning approach, leveraging temporally sensitive text and network information. Our evaluation under a real-time simulation framework demonstrates the effectiveness and robustness of our approach against competitive baselines, achieving a significant 20% increase in F-score compared to solely text-based models.


title: New supercharacter theory for Sylow subgroups in orthogonal and symplectic groups

abstract: Applying the embedding of $A_{n-1}$ in $B_n$, $C_n$ and $D_n$ we construct a new supercharacter theory for the Sylow subgroups in orthogonal and symplectic groups over a finite field. The constructed supercharacter appears to be a little bit more precise than the previously known one.


title: On Strong Stability and Robust Strong Stability of Linear Difference Equations with Two Delays

abstract: This paper provides a necessary and sufficient condition for guaranteeing exponential stability of the linear difference equation $x(t)=Ax(t-a)+Bx(t-b)$ where $a>0,b>0$ are constants and $A,B$ are $n\times n$ square matrices, in terms of a linear matrix inequality (LMI) of size $\left( k+1\right) n\times \left( k+1\right) n$ where $k\geq1$ is some integer. Different from an existing condition where the coefficients $\left( A,B\right) $ appear as highly nonlinear functions, the proposed LMI condition involves matrices that are linear functions of $\left( A,B\right) .$ Such a property is further used to deal with the robust stability problem in case of norm bounded uncertainty and polytopic uncertainty, and the state feedback stabilization problem. Solutions to these two problems are expressed by LMIs. A time domain interpretation of the proposed LMI condition in terms of Lyapunov-Krasovskii functional is given, which helps to reveal the relationships among the existing methods. Numerical example demonstrates the effectiveness of the proposed method.


title: Symmetry deduction from spectral fluctuations in complex quantum systems

abstract: The spectral fluctuations of complex quantum systems, in appropriate limit, are known to be consistent with that obtained from random matrices. However, this relation between the spectral fluctuations of physical systems and random matrices is valid only if the spectra are desymmetrized. This implies that the fluctuation properties of the spectra are affected by the discrete symmetries of the system. In this work, it is shown that in the chaotic limit the fluctuation characteristics and symmetry structure for any arbitrary sequence of measured or computed levels can be inferred from its higher-order spectral statistics without desymmetrization. In particular, we consider a spectrum composed of $k>0$ independent level sequences with each sequence having the same level density. The $k$-th order spacing ratio distribution of such a composite spectrum is identical to its nearest neighbor counterpart with modified Dyson index $k$. This is demonstrated for the spectra obtained from random matrices, quantum billiards, spin chains and experimentally measured nuclear resonances with disparate symmetry features.


title: On Realizability Of Gauss Diagrams And Constructions Of Meanders

abstract: The problem of which Gauss diagram can be realized by plane curves is an old one and has been solved in several ways. In this paper, we present a direct approach to this problem. We show that needed conditions for realizability of a Gauss diagram can be interpreted as follows "the number of exits = the number of entrances" and the sufficient condition is based on Jordan curve Theorem. We give a matrix approach of realization of Gauss diagrams and then we present an algorithm to construct meanders


title: Predicting a solar cycle before its onset using a flux transport dynamo model

abstract: We begin with a review of the predictions for cycle~24 before its onset. After summarizing the basics of the flux transport dynamo model, we discuss how this model had been used to make a successful prediction of cycle~24, on the assumption that the irregularities of the solar cycle arise due to the fluctuations in the Babcock--Leighton mechanism. We point out that fluctuations in the meridional circulation can be another cause of irregularities in the cycle.


title: Scale Drift Correction of Camera Geo-Localization using Geo-Tagged Images

abstract: Camera geo-localization from a monocular video is a fundamental task for video analysis and autonomous navigation. Although 3D reconstruction is a key technique to obtain camera poses, monocular 3D reconstruction in a large environment tends to result in the accumulation of errors in rotation, translation, and especially in scale: a problem known as scale drift. To overcome these errors, we propose a novel framework that integrates incremental structure from motion (SfM) and a scale drift correction method utilizing geo-tagged images, such as those provided by Google Street View. Our correction method begins by obtaining sparse 6-DoF correspondences between the reconstructed 3D map coordinate system and the world coordinate system, by using geo-tagged images. Then, it corrects scale drift by applying pose graph optimization over Sim(3) constraints and bundle adjustment. Experimental evaluations on large-scale datasets show that the proposed framework not only sufficiently corrects scale drift, but also achieves accurate geo-localization in a kilometer-scale environment.