title: 2D and 3D topological phases in BiTe$X$ compounds

abstract: Recently, it was shown that quantum spin Hall insulator (QSHI) phase with a gap wide enough for practical applications can be realized in the ultra thin films constructed from two inversely stacked structural elements of trivial band insulator BiTeI. Here, we study the edge states in the free-standing Bi$_2$Te$_2$I$_2$ sextuple layer (SL) and the electronic structure of the Bi$_2$Te$_2$I$_2$ SL on the natural BiTeI substrate. We show that the topological properties of the Bi$_2$Te$_2$I$_2$ SL on this substrate keep $\mathbb Z_2$ invariant. We also demonstrate that ultra thin centrosymmetric films constructed in the similar manner but from related material BiTeBr are trivial band insulators up to five-SL film thickness. In contrast to Bi$_2$Te$_2$I$_2$ for which the stacking of nontrivial SLs in 3D limit gives a strong topological insulator (TI) phase, strong TI is realized in 3D Bi$_2$Te$_2$Br$_2$ in spite of the SL is trivial. For the last material of the BiTe$X$ ($X$=I,Br,Cl) series, BiTeCl, both 2D and 3D centrosymmetric phases are characterized by topologically trivial band structure.


title: Measurement of the semileptonic tt-bar gamma production cross section in pp collisions at sqrt(s) = 8 TeV

abstract: A measurement of the cross section for top quark-antiquark (tt-bar) pairs produced in association with a photon in proton-proton collisions at sqrt(s) = 8 TeV is presented. The analysis uses data collected with the CMS detector at the LHC, corresponding to an integrated luminosity of 19.7 inverse femtobarns. The signal is defined as the production of a tt-bar pair in association with a photon having a transverse energy larger than 25 GeV and an absolute pseudorapidity smaller than 1.44. The measurement is performed in the fiducial phase space corresponding to the semileptonic decay chain of the tt-bar pair, and the cross section is measured relative to the inclusive tt-bar pair production cross section. The fiducial cross section for associated tt-bar pair and photon production is found to be 127 +/- 27 (stat + syst) fb per semileptonic final state. The measured value is in agreement with the theoretical prediction.


title: Dependability of Sensor Networks for Industrial Prognostics and Health Management

abstract: Maintenance is an important activity in industry. It is performed either to revive a machine/component or to prevent it from breaking down. Different strategies have evolved through time, bringing maintenance to its current state: condition-based and predictive maintenances. This evolution was due to the increasing demand of reliability in industry. The key process of condition-based and predictive maintenances is prognostics and health management, and it is a tool to predict the remaining useful life of engineering assets. Nowadays, plants are required to avoid shutdowns while offering safety and reliability. Nevertheless, planning a maintenance activity requires accurate information about the system/component health state. Such information is usually gathered by means of independent sensor nodes. In this study, we consider the case where the nodes are interconnected and form a wireless sensor network. As far as we know, no research work has considered such a case of study for prognostics. Regarding the importance of data accuracy, a good prognostics requires reliable sources of information. This is why, in this paper, we will first discuss the dependability of wireless sensor networks, and then present a state of the art in prognostic and health management activities.


title: Various Topological Mott insulators in strongly-interacting boson system in one-dimensional superlattice

abstract: In this paper, we study a one-dimensional boson system in a superlattice potential.This system is experimentally feasible by using ultracold atomic gases,and attracts much attention these days. It is expected that the system has a topological phase called topological Mott insulator (TMI). We show that in strongly-interacting cases, the competition between the superlattice potential and the on-site interaction leads to various TMIs with non-vanishing integer Chern number. Compared to hard-core case, the soft-core boson system exhibits rich phase diagrams including various non-trivial TMIs. By using the exact diagonalization,we obtain detailed bulk-global phase diagrams including the TMIs with high Chern numbers and also various non-topological phases. We also show that in adiabatic experimental setups, the strongly-interacting bosonic TMIs exhibit the topological particle transfer, i.e., topological charge pumping phenomenon, similarly to weakly-interacting systems. The various TMIs are characterized by topological charge pumping as it is closely related to the Chern number, and therefor the Chern number is to be observed in feasible experiments.


title: Introducing Data Primitives: Data Formats for the SKED Framework

abstract: Background: The past few years have seen a tremendous increase in the size and complexity of datasets. Scientific and clinical studies must to incorporate datasets that cross multiple spatial and temporal scales to describe a particular phenomenon. The storage and accessibility of these heterogeneous datasets in a way that is useful to researchers and yet extensible to new data types is a major challenge. Methods: In order to overcome these obstacles, we propose the use of data primitives as a common currency between analytical methods. The four data primitives we have identified are time series, text, annotated graph and triangulated mesh, with associated metadata. Using only data primitives to store data and as algorithm input, output, and intermediate results, promotes interoperability, scalability, and reproducibility in scientific studies. Results: Data primitives were used in a multi-omic, multi-scale systems biology study of malaria infection in non-human primates to perform many types of integrative analysis quickly and efficiently. Conclusions: Using data primitives as a common currency for both data storage and for cross talk between analytical methods enables the analysis of complex multi-omic, multi-scale datasets in a reproducible modular fashion.


title: A meromorphic extension of the 3D Index

abstract: Using the locally compact abelian group $\BT \times \BZ$, we assign a meromorphic function to each ideal triangulation of a 3-manifold with torus boundary components. The function is invariant under all 2--3 Pachner moves, and thus is a topological invariant of the underlying manifold. If the ideal triangulation has a strict angle structure, our meromorphic function can be expanded into a Laurent power series whose coefficients are formal power series in $q$ with integer coefficients that coincide with the 3D index of \cite{DGG2}. Our meromorphic function can be computed explicitly from the matrix of the gluing equations of a triangulation, and we illustrate this with several examples.


title: A Security Framework for Wireless Sensor Networks: Theory and Practice

abstract: Wireless sensor networks are often deployed in public or otherwise untrusted and even hostile environments, which prompts a number of security issues. Although security is a necessity in other types of networks, it is much more so in sensor networks due to the resource-constraint, susceptibility to physical capture, and wireless nature. In this work we emphasize two security issues: (1) secure communication infrastructure and (2) secure nodes scheduling algorithm. Due to resource constraints, specific strategies are often necessary to preserve the network's lifetime and its quality of service. For instance, to reduce communication costs nodes can go to sleep mode periodically (nodes scheduling). These strategies must be proven as secure, but protocols used to guarantee this security must be compatible with the resource preservation requirement. To achieve this goal, secure communications in such networks will be defined, together with the notions of secure scheduling. Finally, some of these security properties will be evaluated in concrete case studies.


title: Restricted size Ramsey number for $P_3$ versus cycles

abstract: Let $F$, $G$ and $H$ be simple graphs. We say $F \rightarrow (G, H)$ if for every $2$-coloring of the edges of $F$ there exists a monochromatic $G$ or $H$ in $F$. The Ramsey number $r(G, H)$ is defined as $r(G, H) = min\{|V (F)|: F \rightarrow (G, H)\}$, while the restricted size Ramsey number $r^{*}(G, H)$ is defined as $r^{*}(G, H) = min\{|E (F)|: F \rightarrow (G, H) , |V (F) | = r(G, H)\}$. In this paper we determine previously unknown restricted size Ramsey numbers $r^{*}(P_3, C_n)$ for $7 \leq n \leq 12$. We also give new upper bound $r^{*}(P_3, C_n) \leq 2n-2$ for even $n \geq 8$.


title: Centers of disks in Riemannian manifolds

abstract: We prove the existence of a center, or continuous selection of a point, in the relative interior of $C^1$ embedded $k$-disks in Riemannian $n$-manifolds. If $k\le 3$ the center can be made equivariant with respect to the isometries of the manifold, and under mild assumptions the same holds for $k=4=n$. By contrast, for every $n\ge k\ge 6$ there are examples where an equivariant center does not exist. The center can be chosen to agree with any of the classical centers defined on the set of convex compacta in the Euclidean space.


title: On the usefulness of information hiding techniques for wireless sensor networks security

abstract: A wireless sensor network (WSN) typically consists of base stations and a large number of wireless sensors. The sensory data gathered from the whole network at a certain time snapshot can be visualized as an image. As a result, information hiding techniques can be applied to this "sensory data image". Steganography refers to the technology of hiding data into digital media without drawing any suspicion, while steganalysis is the art of detecting the presence of steganography. This article provides a brief review of steganography and steganalysis applications for wireless sensor networks (WSNs). Then we show that the steganographic techniques are both related to sensed data authentication in wireless sensor networks, and when considering the attacker point of view, which has not yet been investigated in the literature. Our simulation results show that the sink level is unable to detect an attack carried out by the nsF5 algorithm on sensed data.


title: A Contemporary Overview of Probabilistic Latent Variable Models

abstract: In this paper we provide a conceptual overview of latent variable models within a probabilistic modeling framework, an overview that emphasizes the compositional nature and the interconnectedness of the seemingly disparate models commonly encountered in statistical practice.


title: Emergence of regular and complex calcium oscillations by inositol 1,4,5-trisphosphate signaling in astrocytes

abstract: We use tools of bifurcation theory to characterize dynamics of astrocytic~IP$_3$ and~Ca$^{2+}$ for different~IP$_3$ regimes from a mathematical point of view. We do so following a bottom-up approach, starting from a compact, well-stirred astrocyte model to first identify characteristic~IP$_3$ pathways whereby~Ca$^{2+}$ (and~IP$_3$) dynamics "bifurcate", namely change from stable (constant) concentration levels, to oscillatory dynamics. Then we extend our analysis to the elemental case of two astrocytes, coupled by~IP$_3$ diffusion mediated by gap junction channels, putting emphasis on the mechanisms of emergence of chaotic oscillations. Finally, we complete our analysis discussing spatiotemporal~Ca$^{2+}$ dynamics in a spatially-extended astrocyte model, gaining insights on the possible physical mechanisms whereby random Ca$^{2+}$~generation could be orchestrated into robust, spatially-confined intracellular~Ca$^{2+}$ oscillations.


title: Quantification of Healthy Red Blood Cell Removal and Preferential Invasion of Reticulocytes in Macaca mulatta during Plasmodium cynomolgi Infection

abstract: We derived an ordinary differential equation model to capture the disease dynamics during blood-stage malaria. The model was directly derived from an earlier age-structured partial differential equation model. The original model was simplified due to experimental constraints. Here we calibrated the simplified model with experimental data using a multiple objective genetic algorithm. Through the calibration process, we quantified the removal of healthy red blood cells and the the preferential infection of reticulocytes during \textit{Plamodium cynomolgi} infection of \textit{Macaca mulatta}. The calibration of our model also revealed the existence of host erythropoietic response prior to blood stage infection.


title: Massive gravity and Fierz-Pauli theory

abstract: Linearized gravity is considered as an ordinary gauge field theory. This implies the need for gauge fixing in order to have well defined propagators. Only after having achieved this, the most general mass term is added. The aim of this paper is to study of the degrees of freedom of the gauge fixed theory of linearized gravity with mass term. The main result is that, even outside the usual Fierz-Pauli constraint on the mass term, it is possible to choose a gauge fixing belonging to the Landau class, which leads to a massive theory of gravity with the five degrees of freedom of a spin two massive particle.


title: A Unified Analysis of Stochastic Optimization Methods Using Jump System Theory and Quadratic Constraints

abstract: We develop a simple routine unifying the analysis of several important recently-developed stochastic optimization methods including SAGA, Finito, and stochastic dual coordinate ascent (SDCA). First, we show an intrinsic connection between stochastic optimization methods and dynamic jump systems, and propose a general jump system model for stochastic optimization methods. Our proposed model recovers SAGA, SDCA, Finito, and SAG as special cases. Then we combine jump system theory with several simple quadratic inequalities to derive sufficient conditions for convergence rate certifications of the proposed jump system model under various assumptions (with or without individual convexity, etc). The derived conditions are linear matrix inequalities (LMIs) whose sizes roughly scale with the size of the training set. We make use of the symmetry in the stochastic optimization methods and reduce these LMIs to some equivalent small LMIs whose sizes are at most 3 by 3. We solve these small LMIs to provide analytical proofs of new convergence rates for SAGA, Finito and SDCA (with or without individual convexity). We also explain why our proposed LMI fails in analyzing SAG. We reveal a key difference between SAG and other methods, and briefly discuss how to extend our LMI analysis for SAG. An advantage of our approach is that the proposed analysis can be automated for a large class of stochastic methods under various assumptions (with or without individual convexity, etc).


title: Invariant universality for quandles and fields

abstract: We show that the embeddability relations for countable quandles and for countable fields of any given characteristic other than 2 are maximally complex in a strong sense: they are invariantly universal. This notion from the theory of Borel reducibility states that any analytic quasi-order on a standard Borel space essentially appears as the restriction of the embeddability relation to an isomorphism-invariant Borel set. As an intermediate step we show that the embeddability relation of countable quandles is a complete analytic quasi-order.


title: On the Woodin Construction of Failure of GCH at a Measurable Cardinal

abstract: Let GCH hold and let $j:V\longrightarrow M$ be a definable elementary embedding such that $crit(j)=\kappa$, $^{\kappa}M\subseteq M$ and $\kappa^{++}=\kappa_{M}^{++}$. H. Woodin proved that there is a cofinality preserving generic extension in which $\kappa$ is measurable and GCH fails at it. This is done by using an Easton support iteration of Cohen forcings for blowing the power of every inaccessible $\alpha\leq\kappa$ to $\alpha^{++}$, and then adding another forcing on top of that. We show that it is enough to use the iterated forcing, and that the latter forcing is not needed. We will show this not only for the case where $\kappa^{++}=\kappa_{M}^{++}$, but for every successor ordinal $\gamma$, where $0< \gamma< \kappa$, we will show it when the assumption is $\kappa^{+\gamma}=\kappa_{M}^{+\gamma}$.


title: Two-way communication with a single quantum particle

abstract: In this letter we show that communication when restricted to a single information carrier (i.e. single particle) and finite speed of propagation is fundamentally limited for classical systems. On the other hand, quantum systems can surpass this limitation. We show that communication bounded to the exchange of a single quantum particle (in superposition of different spatial locations) can result in "two-way signaling" which is impossible in classical physics. We quantify the discrepancy between classical and quantum scenarios by the probability of winning a game played by distant players. We generalize our result to an arbitrary number of parties and we show that the probability of success is asymptotically decreasing to zero as the number of parties grows, for all classical strategies. In contrast, quantum strategy allows players to win the game with certainty.


title: Perfect Fluid Cosmological Universes: One equation of state and the most general solution

abstract: Considering a homogeneous and isotropic universe characterized by the Friedmann-Lema\^itre-Robertson-Walker (FLRW) line element, in this work, we have prescribed a general formalism for the cosmological solutions when the equation of state of the cosmic substance follows a general structure $\phi (p, \rho) = 0$, where $p$, $\rho$ are respectively the pressure and the energy density of the cosmic substance. Using the general formalism we recover some well known solutions, namely, when the cosmic substance obeys the linear equation of state, a Chaplygin type equation of state, or a nonlinear equation of state. Thus, the current work offers a new technique to solve the cosmological solutions without any prior relation between $p$ and $\rho$.


title: Compressed Factorization: Fast and Accurate Low-Rank Factorization of Compressively-Sensed Data

abstract: What learning algorithms can be run directly on compressively-sensed data? In this work, we consider the question of accurately and efficiently computing low-rank matrix or tensor factorizations given data compressed via random projections. We examine the approach of first performing factorization in the compressed domain, and then reconstructing the original high-dimensional factors from the recovered (compressed) factors. In both the matrix and tensor settings, we establish conditions under which this natural approach will provably recover the original factors. While it is well-known that random projections preserve a number of geometric properties of a dataset, our work can be viewed as showing that they can also preserve certain solutions of non-convex, NP-Hard problems like non-negative matrix factorization. We support these theoretical results with experiments on synthetic data and demonstrate the practical applicability of compressed factorization on real-world gene expression and EEG time series datasets.


title: The free Banach lattice generated by a Banach space

abstract: The free Banach lattice over a Banach space is introduced and analyzed. This generalizes the concept of free Banach lattice over a set of generators, and allows us to study the Nakano property and the density character of non-degenerate intervals on these spaces, answering some recent questions of B. de Pagter and A.W. Wickstead. Moreover, an example of a Banach lattice which is weakly compactly generated as a lattice but not as a Banach space is exhibited, thus answering a question of J. Diestel.


title: Revenue Loss in Shrinking Markets

abstract: We analyze the revenue loss due to market shrinkage. Specifically, consider a simple market with one item for sale and $n$ bidders whose values are drawn from some joint distribution. Suppose that the market shrinks as a single bidder retires from the market. Suppose furthermore that the value of this retiring bidder is fixed and always strictly smaller than the values of the other players. We show that even this slight decrease in competition might cause a significant fall of a multiplicative factor of $\frac{1}{e+1}\approx0.268$ in the revenue that can be obtained by a dominant strategy ex-post individually rational mechanism. In particular, our results imply a solution to an open question that was posed by Dobzinski, Fu, and Kleinberg [STOC'11].


title: In-situ measurement of light polarization with ellipticity-induced nonlinear magneto-optical rotation

abstract: A precise, accurate, and relatively straightforward in-situ method to measure and control the ellipticity of light resonantly interacting with an atomic vapor is described. The technique can be used to minimize vector light shifts. The method involves measurement of ellipticity-induced resonances in the magnetic-field dependence of nonlinear magneto-optical rotation of frequency-modulated light. The light propagation direction is orthogonal to the applied magnetic field $\textbf{B}$ and the major axis of the light polarization ellipse is along $\textbf{B}$. When the light modulation frequency matches the Larmor frequency, elliptically polarized light produces precessing atomic spin orientation transverse to $\textbf{B}$ via synchronous optical pumping. The precessing spin orientation causes optical rotation oscillating at the Larmor frequency by modulating the atomic vapor's circular birefringence. Based on this technique's precision, in-situ nature (which avoids systematic errors arising from optical interfaces), and independent control of the most important systematic errors, it is shown that the accuracy of light ellipticity measurements achievable with this technique can exceed that of existing methods by orders of magnitude.


title: Value Asymptotics in Dynamic Games on Large Horizons

abstract: This paper is concerned with two-person dynamic zero-sum games. Let games for some family have common dynamics, running costs and capabilities of players, and let these games differ in densities only. We show that the Dynamic Programming Principle directly leads to the General Tauberian Theorem---that the existence of a uniform limit of the value functions for uniform distribution or for exponential distribution implies that the value functions uniformly converge to the same limit for arbitrary distribution from large class. No assumptions on strategies are necessary. Applications to differential games and stochastic statement are considered.


title: The lunar cycle's influence on sex determination at conception in humans

abstract: The lunar cycle has long been suspected to influence biological phenomena. Folklore alludes to such a relationship, but previous scientific analyses have failed to find significant associations. It has been shown that lunar cycles indeed have effects on animals; significant associations between human circadian rhythms and lunar cycles have also been reported. We set out to determine whether a significant statistical correlation exists between the lunar phase and sex determination during conception. We found that significant associations (\textit{p}-value $< 5 \times 10^{-5}$) exist between the average sex ratio (male:female) and the lunar month. The likelihood of conception of a male is at its highest point five days after the full moon, whereas the highest likelihood of female conception occurs nineteen days after the full moon. Furthermore, we found that the strength of this influence is correlated with the amount of solar radiation (which is proportional to moonlight). Our results suggest that sex determination may be influenced by the moon cycle, which suggests the possibility of lunar influence on other biological phenomena. We suggest for future research the exploration of similar effects in other phenomena involving humans and other species.


title: An algorithm to find maximum area polygons circumscribed about a convex polygon

abstract: A convex polygon Q is circumscribed about a convex polygon P if every vertex of P lies on at least one side of Q. We present an algorithm for finding a maximum area convex polygon circumscribed about any given convex n-gon in O(n^3) time. As an application, we disprove a conjecture of Farris. Moreover, for the special case of regular n-gons we find an explicit solution.


title: Photometric Stereo by Hemispherical Metric Embedding

abstract: Photometric Stereo methods seek to reconstruct the 3d shape of an object from motionless images obtained with varying illumination. Most existing methods solve a restricted problem where the physical reflectance model, such as Lambertian reflectance, is known in advance. In contrast, we do not restrict ourselves to a specific reflectance model. Instead, we offer a method that works on a wide variety of reflectances. Our approach uses a simple yet uncommonly used property of the problem - the sought after normals are points on a unit hemisphere. We present a novel embedding method that maps pixels to normals on the unit hemisphere. Our experiments demonstrate that this approach outperforms existing manifold learning methods for the task of hemisphere embedding. We further show successful reconstructions of objects from a wide variety of reflectances including smooth, rough, diffuse and specular surfaces, even in the presence of significant attached shadows. Finally, we empirically prove that under these challenging settings we obtain more accurate shape reconstructions than existing methods.


title: Exceptional splitting of reductions of abelian surfaces

abstract: Heuristics based on the Sato--Tate conjecture suggest that an abelian surface defined over a number field has infinitely many places of split reduction. We prove this result for abelian surfaces having real multiplication. Similar to Charles' theorem on exceptional isogeny of reductions of a given pair of elliptic curves and Elkies' theorem on supersingular reductions of a given elliptic curve, our theorem shows that a density-zero set of primes pertaining to the reduction of abelian varieties is infinite. The proof relies on the Arakelov intersection theory on Hilbert modular surfaces.


title: Null-finite sets in metric groups and their applications

abstract: In the paper we introduce a new family of "small" sets which is tightly connected with two well known $\sigma$-ideals: of Haar-null sets and of Haar-meager sets. We define a subset $A$ of a topological group $X$ to be $\mathit{null}$-$\mathit{finite}$ if there exists an infinite compact subset $K\subset X$ such that for every $x\in X$ the intersection $K\cap (x+A)$ is finite. We prove that each null-finite Borel set in a complete metric Abelian group is Haar-null and Haar-meager. The Borel restriction in the above result is essential as each non-discrete metric Abelian group is the union of two null-finite sets. Applying null-finite sets to the theory of functional equations and inequalities, we prove that a mid-point convex function $f:G\to\mathbb R$ defined on an open convex subset $G$ of a metric linear space $X$ is continuous if it is upper bounded on a subset $B$ which is not null-finite and whose closure is contained in $G$. This gives an alternative short proof of a known generalization of Bernstein-Doetsch theorem (saying that a mid-point convex function $f:G\to\mathbb R$ defined on an open covex subset $G$ of a metric linear space $X$ is continuous if it is upper bounded on a non-empty open subset $B$ of $G$). Since Borel null-finite sets are Haar-meager and Haar-null, we conclude that a mid-point convex function $f:G\to\mathbb{R}$ defined on an open convex subset $G$ of a complete linear metric space $X$ is continuous if it is upper bounded on a Borel subset $B\subset G$ which is not Haar-null or not Haar-meager in $X$. The last result resolves an old problem in the theory of functional equations and inequalities posed by Baron and Ger in 1983.


title: Finitness theorem for Multi-K-Bi-Lipschtiz equivalence of map-germs

abstract: Let $P^{k}(n,p) $ be the set of all real polynomial map germs $f = ( f_1 , ..., f_p ) : (\mathbb{R}^{n},0) \rightarrow (\mathbb{R}^{p},0)$ with degree of $f_1 , ...,f_p$ less than or equal to $ k \in \mathbb{N}$. The main result of this paper shows that the set of equivalence classes of $ P^{k}(n,p)$, with respect to multi-$\mathcal{K}$-bi-Lipschitz equivalence, is finite.


title: Frustration-driven C4 symmetric orders in a hetero-structured iron-based superconductor

abstract: A subtle balance between competing interactions in strongly correlated systems can be easily tipped by additional interfacial interactions in a heterostructure. This often induces exotic phases with unprecedented properties, as recently exemplified by high-Tc superconductivity in FeSe monolayer on the nonmagnetic SrTiO3. When the proximity-coupled layer is magnetically active, even richer phase diagrams are expected in iron-based superconductors (FeSCs), which however has not been explored due to the lack of a proper material system. One promising candidate is Sr2VO3FeAs, a naturally-assembled heterostructure of a FeSC and a Mott-insulating vanadium oxide. Here, using high-quality single crystals and high-accuracy 75As and 51V nuclear magnetic resonance (NMR) measurements, we show that a novel electronic phase is emerging in the FeAs layer below T0 ~ 155 K without either static magnetism or a crystal symmetry change, which has never been observed in other FeSCs. We find that frustration of the otherwise dominant Fe stripe and V Neel fluctuations via interfacial coupling induces a charge/orbital order with C4-symmetry in the FeAs layers, while suppressing the Neel antiferromagnetism in the SrVO3 layers. These findings demonstrate that the magnetic proximity coupling is effective to stabilize a hidden order in FeSCs and, more generally, in strongly correlated heterostructures.


title: A minimalistic pure spinor sigma-model in AdS

abstract: The $b$-ghost of the pure spinor formalism in a general curved background is not holomorphic. For such theories, the construction of the string measure requires the knowledge of the action of diffeomorphisms on the BV phase space. We construct such an action for the pure spinor sigma-model in $AdS_5\times S^5$. From the point of view of the BV formalism, this sigma-model belongs to the class of theories where the expansion of the Master Action in antifields terminates at the quadratic order. We show that it can be reduced to a simpler degenerate sigma-model, preserving the AdS symmetries. We construct the action of the algebra of worldsheet vector fields on the BV phase space of this minimalistic sigma-model, and explain how to lift it to the original model.


title: Assessing the performance of self-consistent hybrid functional for band gap calculation in oxide semiconductors

abstract: In this paper we assess the predictive power of the self-consistent hybrid functional scPBE0 in calculating the band gap of oxide semiconductors. The computational procedure is based on the self-consistent evaluation of the mixing parameter $\alpha$ by means of an iterative calculation of the static dielectric constant using the perturbation expansion after discretization (PEAD) method and making use of the relation $\alpha = 1/\epsilon_{\infty}$. Our materials dataset is formed by 30 compounds covering a wide range of band gaps and dielectric properties, and includes materials with a wide spectrum of application as thermoelectrics, photocatalysis, photovoltaics, transparent conducting oxides, and refractory materials. Our results show that the scPBE0 functional provides better band gaps than the non self-consistent hybrids PBE0 and HSE06, but scPBE0 does not show significant improvement on the description of the static dielectric constants. Overall, the scPBE0 data exhibit a mean absolute percentage error of 14 \% (band gaps) and 10 \% ($\epsilon_\infty$). For materials with weak dielectric screening and large excitonic biding energies scPBE0, unlike PBE0 and HSE06, overestimates the band gaps, but the value of the gap become very close to the experimental value when excitonic effects are included (e.g. for SiO$_2$). However, special caution must be given to the compounds with small band gaps due to the tendency of scPBE0 to overestimate the dielectric constant in proximity of the metallic limit.


title: Beyond Bilingual: Multi-sense Word Embeddings using Multilingual Context

abstract: Word embeddings, which represent a word as a point in a vector space, have become ubiquitous to several NLP tasks. A recent line of work uses bilingual (two languages) corpora to learn a different vector for each sense of a word, by exploiting crosslingual signals to aid sense identification. We present a multi-view Bayesian non-parametric algorithm which improves multi-sense word embeddings by (a) using multilingual (i.e., more than two languages) corpora to significantly improve sense embeddings beyond what one achieves with bilingual information, and (b) uses a principled approach to learn a variable number of senses per word, in a data-driven manner. Ours is the first approach with the ability to leverage multilingual corpora efficiently for multi-sense representation learning. Experiments show that multilingual training significantly improves performance over monolingual and bilingual training, by allowing us to combine different parallel corpora to leverage multilingual context. Multilingual training yields comparable performance to a state of the art mono-lingual model trained on five times more training data.


title: Variability response functions for statically determinate beams with arbitrary nonlinear constitutive laws

abstract: The variability response function (VRF) is generalized to statically determinate Euler Bernoulli beams with arbitrary stress-strain laws following Cauchy elastic behavior. The VRF is a Green's function that maps the spectral density function (SDF) of a statistically homogeneous random field describing the correlation structure of input uncertainty to the variance of a response quantity. The appeal of such Green's functions is that the variance can be determined for any correlation structure by a trivial computation of a convolution integral. The method introduced in this work derives VRFs in closed form for arbitrary nonlinear Cauchy-elastic constitutive laws and is demonstrated through three examples. It is shown why and how higher order spectra of the random field affect the response variance for nonlinear constitutive laws. In the general sense, the VRF for a statically determinate beam is found to be a matrix kernel whose inner product by a matrix of higher order SDFs and statistical moments is integrated to give the response variance. The resulting VRF matrix is unique regardless of the random field's marginal probability density function (PDF) and SDFs.


title: Automated text summarisation and evidence-based medicine: A survey of two domains

abstract: The practice of evidence-based medicine (EBM) urges medical practitioners to utilise the latest research evidence when making clinical decisions. Because of the massive and growing volume of published research on various medical topics, practitioners often find themselves overloaded with information. As such, natural language processing research has recently commenced exploring techniques for performing medical domain-specific automated text summarisation (ATS) techniques-- targeted towards the task of condensing large medical texts. However, the development of effective summarisation techniques for this task requires cross-domain knowledge. We present a survey of EBM, the domain-specific needs for EBM, automated summarisation techniques, and how they have been applied hitherto. We envision that this survey will serve as a first resource for the development of future operational text summarisation techniques for EBM.


title: Tuning up Fuzzy Inference Systems by using optimization algorithms for the classification of solar flares

abstract: In this work we describe the implementation and analysis of different optimization algorithms used for finding the best set of parameters for a Fuzzy Inference System intended to classify solar flares. The parameters will be identified among a universe of possible solutions for the algorithms, and the system will be tested in the particular case of dealing with the aim of classifying the solar flares.


title: The symplectic fermion ribbon quasi-Hopf algebra and the SL(2,Z)-action on its centre

abstract: We introduce a family of factorisable ribbon quasi-Hopf algebras $Q(N)$ for $N$ a positive integer: as an algebra, $Q(N)$ is the semidirect product of $\mathbb{C}\mathbb{Z}_2$ with the direct sum of a Grassmann and a Clifford algebra in $2N$ generators. We show that $Rep Q(N)$ is ribbon equivalent to the symplectic fermion category $SF(N)$ that was computed by the third author from conformal blocks of the corresponding logarithmic conformal field theory. The latter category in turn is conjecturally ribbon equivalent to representations of $V_{ev}$, the even part of the symplectic fermion vertex operator super algebra. Using the formalism developed in our previous paper we compute the projective $SL(2,\mathbb{Z})$-action on the centre of $Q(N)$ as obtained from Lyubashenko's general theory of mapping class group actions for factorisable finite ribbon categories. This allows us to test a conjectural non-semisimple version of the modular Verlinde formula: we verify that the $SL(2,\mathbb{Z})$-action computed from $Q(N)$ agrees projectively with that on pseudo trace functions of $V_{ev}$.


title: There is but one PDS in $\mathbb{Z}^{3}$ inducing just square components

abstract: It is known that in the unit distance graph of the lattice $\mathbb{Z}^3\subset\mathbb{R}^3$ there exists a dominating set $S$ with $4$-cycles as sole induced components and each vertex of $\mathbb{Z}^3\setminus S$ having a unique neighbor in $S$. We show $S$ is unique.


title: Quantum steering with positive operator valued measures

abstract: We address the problem of quantum nonlocality with positive operator valued measures (POVM) in the context of Einstein-Podolsky-Rosen quantum steering. We show that, given a candidate for local hidden state (LHS) ensemble, the problem of determining the steerability of a bipartite quantum state of finite dimension with POVMs can be formulated as a nesting problem of two convex objects. One consequence of this is the strengthening of the theorem that justifies choosing the LHS ensemble based on symmetry of the bipartite state. As a more practical application, we study the classic problem of the steerability of two-qubit Werner states with POVMs. We show strong numerical evidence that these states are unsteerable with POVMs up to a mixing probability of $\frac{1}{2}$ within an accuracy of $10^{-3}$.


title: Phase retrieval using alternating minimization in a batch setting

abstract: This paper considers the problem of phase retrieval, where the goal is to recover a signal $z\in C^n$ from the observations $y_i=|a_i^* z|$, $i=1,2,\cdots,m$. While many algorithms have been proposed, the alternating minimization algorithm has been one of the most commonly used methods, and it is very simple to implement. Current work has proved that when the observation vectors $\{a_i\}_{i=1}^m$ are sampled from a complex Gaussian distribution $N(0, I)$, it recovers the underlying signal with a good initialization when $m=O(n)$, or with random initialization when $m=O(n^2)$, and it conjectured that random initialization succeeds with $m=O(n)$. This work proposes a modified alternating minimization method in a batch setting, and proves that when $m=O(n\log^{3}n)$, the proposed algorithm with random initialization recovers the underlying signal with high probability. The proof is based on the observation that after each iteration of alternating minimization, with high probability, the angle between the estimated signal and the underlying signal is reduced.


title: Theory of $L$-edge spectroscopy of strongly correlated systems

abstract: X-ray absorption spectroscopy measured at the $L$-edge of transition metals (TMs) is a powerful element-selective tool providing direct information about the correlation effects in the $3d$ states. The theoretical modeling of the $2p\rightarrow3d$ excitation processes remains to be challenging for contemporary \textit{ab initio} electronic structure techniques, due to strong core-hole and multiplet effects influencing the spectra. In this work we present a realization of the method combining the density-functional theory with multiplet ligand field theory, proposed in Haverkort et al. (https://link.aps.org/doi/10.1103/PhysRevB.85.165113), Phys. Rev. B 85, 165113 (2012). In this approach a single-impurity Anderson model (SIAM) is constructed, with almost all parameters obtained from first principles, and then solved to obtain the spectra. In our implementation we adopt the language of the dynamical mean-field theory and utilize the local density of states and the hybridization function, projected onto TM $3d$ states, in order to construct the SIAM. The developed computational scheme is applied to calculate the $L$-edge spectra for several TM monoxides. A very good agreement between the theory and experiment is found for all studied systems. The effect of core-hole relaxation, hybridization discretization, possible extensions of the method as well as its limitations are discussed.


title: The gonality of complete intersection curves

abstract: The purpose of this paper is to show that for a complete intersection curve $C$ in projective space (other than a few stated exceptions), any morphism $f: C \to \mathbb{P}^r$ satisfying $\text{deg}\, f^*\mathcal{O}_{\mathbb{P}^r}(1) <\text{deg}\, C$ is obtained by projection from a linear space. In particular, we obtain bounds on the gonality of such curves and compute the gonality of general complete intersection curves. We also prove a special case of one of the well-known Cayley-Bacharach conjectures posed by Eisenbud, Green, and Harris.


title: Image transformations on locally compact spaces

abstract: An image is here defined to be a set which is either open or closed and an image transformation is structure preserving in the following sense: It corresponds to an algebra homomorphism for each singly generated algebra. The results extend parts of results of J.F. Aarnes on quasi-measures, -states, -homomorphisms, and image-transformations from the setting compact Hausdorff spaces to locally compact Hausdorff spaces.


title: Faster independent component analysis by preconditioning with Hessian approximations

abstract: Independent Component Analysis (ICA) is a technique for unsupervised exploration of multi-channel data that is widely used in observational sciences. In its classic form, ICA relies on modeling the data as linear mixtures of non-Gaussian independent sources. The maximization of the corresponding likelihood is a challenging problem if it has to be completed quickly and accurately on large sets of real data. We introduce the Preconditioned ICA for Real Data (Picard) algorithm, which is a relative L-BFGS algorithm preconditioned with sparse Hessian approximations. Extensive numerical comparisons to several algorithms of the same class demonstrate the superior performance of the proposed technique, especially on real data, for which the ICA model does not necessarily hold.


title: Strong Converses Are Just Edge Removal Properties

abstract: This paper explores the relationship between two ideas in network information theory: edge removal and strong converses. Edge removal properties state that if an edge of small capacity is removed from a network, the capacity region does not change too much. Strong converses state that, for rates outside the capacity region, the probability of error converges to 1 as the blocklength goes to infinity. Various notions of edge removal and strong converse are defined, depending on how edge capacity and error probability scale with blocklength, and relations between them are proved. Each class of strong converse implies a specific class of edge removal. The opposite directions are proved for deterministic networks. Furthermore, a technique based on a novel, causal version of the blowing-up lemma is used to prove that for discrete memoryless networks, the weak edge removal property--that the capacity region changes continuously as the capacity of an edge vanishes--is equivalent to the exponentially strong converse--that outside the capacity region, the probability of error goes to 1 exponentially fast. This result is used to prove exponentially strong converses for several examples, including the discrete 2-user interference channel with strong interference, with only a small variation from traditional weak converse proofs.


title: Three dimensional photonic Dirac points in metamaterials

abstract: Topological semimetals, representing a new topological phase that lacks a full bandgap in bulk states and exhibiting nontrivial topological orders, recently have been extended to photonic systems, predominantly in photonic crystals and to a lesser extent, metamaterials. Photonic crystal realizations of Dirac degeneracies are protected by various space symmetries, where Bloch modes span the spin and orbital subspaces. Here, we theoretically show that Dirac points can also be realized in effective media through the intrinsic degrees of freedom in electromagnetism under electromagnetic duality. A pair of spin polarized Fermi arc like surface states is observed at the interface between air and the Dirac metamaterials. These surface states show linear k-space dispersion relation, resulting in nearly diffraction-less propagation. Furthermore, eigen reflection fields show the decomposition from a Dirac point to two Weyl points. We also find the topological correlation between a Dirac point and vortex/vector beams in classic photonics. The theoretical proposal of photonic Dirac point lays foundation for unveiling the connection between intrinsic physics and global topology in electromagnetism.


title: Forcing and the Halpern-L\"auchli Theorem

abstract: We investigate the effects of various forcings on several forms of the Halpern-L\"auchli Theorem. For inaccessible $\kappa$, we show they are preserved by forcings of size less than $\kappa$. Combining this with work of Zhang in \cite{Zhang17} yields that the polarized partition relations associated with finite products of the $\kappa$-rationals are preserved by all forcings of size less than $\kappa$ over models satisfying the Halpern-L\"auchli Theorem at $\kappa$. We also show that the Halpern-L\"auchli Theorem is preserved by ${{<}\kappa}$-closed forcings assuming $\kappa$ is measurable, following some observed reflection properties.


title: Smith and Critical groups of Polar Graphs

abstract: We compute the elementary divisors of the adjacency and Laplacian matrices of families of polar graphs. These graphs have as vertices the isotropic one-dimensional subspaces of finite vector spaces with respect to non-degenerate forms, with adjacency given by orthogonality.


title: Scattering of electromagnetic wave from Young pinholes upon a quasi-homogeneous anisotropic medium

abstract: The scattering of an electromagnetic plane wave from Young pinholes upon a quasi-homogeneous (QH) anisotropic medium is studied within the accuracy of the first-order Born approximation. By assuming that the diffractive wave from pinholes are paraxial with respect to the propagation direction, it is shown that the correlation of incident wave, anisotropic correlation statistics of the medium, and the pinhole size configuration can influence the statistical properties of the scattered field. In particular, the normalized spectral density, spectral degree of coherence, and spectral degree of polarization of the scattered field are derived by analytic forms, respectively.


title: A computer-based recursion algorithm for automatic charge of power device of electric vehicles carrying electromagnet

abstract: This paper proposes a computer-based recursion algorithm for automatic charge of power device of electric vehicles carrying electromagnet. The charging system includes charging cable with one end connecting gang socket, electromagnetic gear driving the connecting socket and a charging pile breaking or closing, and detecting part for detecting electric vehicle static call or start state. The gang socket mentioned above is linked to electromagnetic gear, and the detecting part is connected with charging management system containing the intelligent charging power module which controls the electromagnetic drive action to close socket with a charging pile at static state and to break at start state. Our work holds an electric automobile with convenience, safety low maintenance cost.


title: Coherent structure of Alice-Bob modified Korteweg de-Vries Equation

abstract: To describe two-place events, Alice-Bob systems have been established by means of the shifted parity and delayed time reversal in Ref. [1]. In this paper, we mainly study exact solutions of the integrable Alice-Bob modified Korteweg de-Vries (AB-mKdV) system. The general Nth Darboux transformation for the AB-mKdV equation are constructed. By using the Darboux transformation, some types of shifted parity and time reversal symmetry breaking solutions including one-soliton, two-soliton and rogue wave solutions are explicitly obtained. In addition to the similar solutions of the mKdV equation (group invariant solutions), there are abundant new localized structures for the AB-mKdV systems.


title: Spatial structure of correlations around a quantum impurity at the edge of a two-dimensional topological insulator

abstract: We calculate exact zero-temperature real space properties of a substitutional magnetic impurity coupled to the edge of a zigzag silicene-like nanoribbon. Using a Lanczos transformation [Phys. Rev. B 91, 085101 (2015)] and the density matrix renormalization group method, we obtain a realistic description of stanene and germanene that includes the bulk and the edges as boundary one-dimensional helical metallic states. Our results for substitutional impurities indicate that the development of a Kondo state and the structure of the spin correlations between the impurity and the electron spins in the metallic edge state depend considerably on the location of the impurity. More specifically, our real space resolution allows us to conclude that there is a sharp distinction between the impurity being located at a crest or a trough site at the zigzag edge. We also observe, as expected, that the spin correlations are anisotropic due to an emerging Dzyaloshinskii-Moriya interaction with the conduction electrons, and that the edges scatter from the impurity and "snake" or circle around it. Our estimates for the Kondo temperature indicate that there is a very weak enhancement due to the presence of spin-orbit coupling.


title: Local stability and global instability in iron-opaque disks

abstract: The thermal stability of accretion disk and the possibility to see a limit-cycle behaviour strongly depends on the ability of the disk plasma to cool down. Various processes connected with radiation-matter interaction appearing in hot accretion disk plasma contribute to opacity. For the case of geometrically thin and optically thick accretion disk, we can estimate the influence of several different components of function \kappa, given by the Roseland mean. In the case of high temperatures, the electron Thomson scattering is dominant. At lower temperatures atomic processes become important. The slope d log \kappa/d log T can have locally stabilizing or destabilizing effect on the disk. Although the local MHD simulation postulate the stabilizing influence of the atomic processes, only the global time-dependent model can reveal the global disk stability range estimation. This is due to global diffusive nature of that processes. In this paper, using previously tested GLADIS code with modified prescription of the viscous dissipation, we examine the stabilizing effect of the Iron Opacity Bump.


title: Detecting Majorana modes through Josephson junction ring-quantum dot hybrid architectures

abstract: Unequivocal signatures of Majorana zero energy modes in condensed matter systems and manipulation of the associated electron parity states are highly sought after for fundamental reasons as well as for the prospect of topological quantum computing. In this Letter, we demonstrate that a ring of Josephson coupled topological superconducting islands threaded by magnetic flux and attached to a quantum dot acts as an excellent parity-controlled probe of Majorana mode physics. As a function of flux threading through the ring, standard Josephson coupling yields a $\Phi_0=h/(2 e)$ periodic features corresponding to $2\pi$ phase difference periodicity. In contrast, Majorana mode assisted tunneling provides additional features with $2\Phi_0$ ($4\pi$ phase difference) periodicity, associated with single electron processes. We find that increasing the number of islands in the ring enhances the visibility of the desired $4\pi$ periodic components in the groundstate energy. Moreover as a unique characterization tool, tuning the occupation energy of the quantum dot allows controlled groundstate parity changes in the ring, enabling a toggling between $\Phi_0$ and $2\Phi_0$ periodicity.


title: Detecting Integrity Attacks on Control Systems using a Moving Target Approach

abstract: Maintaining the security of control systems in the presence of integrity attacks is a significant challenge. In literature, several possible attacks against control systems have been formulated including replay, false data injection, and zero dynamics attacks. The detection and prevention of these attacks may require the defender to possess a particular subset of trusted communication channels. Alternatively, these attacks can be prevented by keeping the system model secret from the adversary. In this paper, we consider an adversary who has the ability to modify and read all sensor and actuator channels. To thwart this adversary, we introduce external states dependent on the state of the control system, with linear time-varying dynamics unknown to the adversary. We also include sensors to measure these states. The presence of unknown time-varying dynamics is leveraged to detect an adversary who simultaneously aims to identify the system and inject stealthy outputs. Potential attack strategies and bounds on the attacker's performance are provided.


title: Magnetic anisotropy of $L1_0$-ordered FePt thin films studied by Fe and Pt $L_{2,3}$-edges x-ray magnetic circular dichroism

abstract: The strong perpendicular magnetic anisotropy of $L{\rm1_0}$-ordered FePt has been the subject of extensive studies for a long time. However, it is not known which element, Fe or Pt, mainly contributes to the magnetic anisotropy energy (MAE). We have investigated the anisotropy of the orbital magnetic moments of Fe 3$d$ and Pt 5$d$ electrons in $L{\rm1_0}$-ordered FePt thin films by Fe and Pt $L_{2,3}$-edge x-ray magnetic circular dichroism (XMCD) measurements for samples with various degrees of long-range chemical order $S$. Fe $L_{2,3}$-edge XMCD showed that the orbital magnetic moment was larger when the magnetic field was applied perpendicular to the film than parallel to it, and that the anisotropy of the orbital magnetic moment increased with $S$. Pt $L_{2,3}$-edge XMCD also showed that the orbital magnetic moment was smaller when the magnetic field was applied perpendicular to the film than parallel to it, opposite to the Fe $L_{2,3}$-edge XMCD results although the anisotropy of the orbital magnetic moment increases with $S$ like the Fe edge. These results are qualitatively consistent with the first-principles calculation by Solovyev ${\it et\ al.}$ [Phys. Rev. B $\bf{52}$, 13419 (1995).], which also predicts the dominant contributions of Pt 5$d$ to the magnetic anisotropy energy rather than Fe 3$d$ due to the strong spin-orbit coupling and the small spin splitting of the Pt 5$d$ bands in $L{\rm1_0}$-ordered FePt.


title: A preference elicitation interface for collecting dense recommender datasets with rich user information

abstract: We present an interface that can be leveraged to quickly and effortlessly elicit people's preferences for visual stimuli, such as photographs, visual art and screensavers, along with rich side-information about its users. We plan to employ the new interface to collect dense recommender datasets that will complement existing sparse industry-scale datasets. The new interface and the collected datasets are intended to foster integration of research in recommender systems with research in social and behavioral sciences. For instance, we will use the datasets to assess the diversity of human preferences in different domains of visual experience. Further, using the datasets we will be able to measure crucial psychological effects, such as preference consistency, scale acuity and anchoring biases. Last, we the datasets will facilitate evaluation in counterfactual learning experiments.


title: Unfolding of nilpotent equilibria of degree 4 in Hamiltonian systems with 2 degrees of freedom

abstract: We consider Hamiltonian systems of two degrees of freedome having a nilpotent equilibrium point with only one eigenvector. We provide the universal unfolding of such equilibrium, provided a non-degeneracy condition holds. We show that the only co-dimension 1 bifurcations that happen in the unfolding are of two types: the normally hyperbolic or elliptic centre-saddle bifurcations and the supercritical Hamiltonian-Hopf bifurcation.


title: Automatic Synonym Discovery with Knowledge Bases

abstract: Recognizing entity synonyms from text has become a crucial task in many entity-leveraging applications. However, discovering entity synonyms from domain-specific text corpora (e.g., news articles, scientific papers) is rather challenging. Current systems take an entity name string as input to find out other names that are synonymous, ignoring the fact that often times a name string can refer to multiple entities (e.g., "apple" could refer to both Apple Inc and the fruit apple). Moreover, most existing methods require training data manually created by domain experts to construct supervised-learning systems. In this paper, we study the problem of automatic synonym discovery with knowledge bases, that is, identifying synonyms for knowledge base entities in a given domain-specific corpus. The manually-curated synonyms for each entity stored in a knowledge base not only form a set of name strings to disambiguate the meaning for each other, but also can serve as "distant" supervision to help determine important features for the task. We propose a novel framework, called DPE, to integrate two kinds of mutually-complementing signals for synonym discovery, i.e., distributional features based on corpus-level statistics and textual patterns based on local contexts. In particular, DPE jointly optimizes the two kinds of signals in conjunction with distant supervision, so that they can mutually enhance each other in the training stage. At the inference stage, both signals will be utilized to discover synonyms for the given entities. Experimental results prove the effectiveness of the proposed framework.


title: Geometric frustration and compatibility conditions for two dimensional director fields

abstract: The uniform director field obtained for the nematic ground state of the hard-rod model of liquid crystals in two dimensions reflects the high symmetry of the constituents of the liquid; It is a manifestation of the constituents' local tendency to avoid splaying and bending with respect to one another. In contrast, bent-core (or banana shaped) liquid-crystal-forming-molecules locally favor a state of zero splay and constant bend. However, such a structure cannot be realized in the plane and the resulting liquid-crystalline phase is frustrated and must exhibit some compromise of these two mutually contradicting local intrinsic tendencies. The generation of geometric frustration from the intrinsic geometry of the constituents of a material is not only natural and ubiquitous but also leads to a striking variety of morphologies of ground states and exotic response properties. In this work we establish the necessary and sufficient conditions for two scalar functions, $s$ and $b$ to describe the splay and bend of a director field in the plane. We generalize these compatibility conditions for geometries with non-vanishing constant Gaussian curvature, and provide a reconstruction formula for the director field depending only on the splay and bend fields and their derivatives. Last, we discuss optimal compromises for simple incompatible cases where the locally preferred values of the splay and bend cannot be globally achieved.


title: Listing Words in Free Groups

abstract: Lists of equivalence classes of words under rotation or rotation plus reversal (i.e., necklaces and bracelets) have many uses, and efficient algorithms for generating these lists exist. In combinatorial group theory elements of a group are typically written as words in the generators and their inverses, and necklaces and bracelets correspond to conjugacy classes and relators respectively. We present algorithms to generate lists of freely and cyclically reduced necklaces and bracelets in free groups. Experimental evidence suggests that these algorithms are CAT -- that is, they run in constant amortized time.


title: Robust Video-Based Eye Tracking Using Recursive Estimation of Pupil Characteristics

abstract: Video-based eye tracking is a valuable technique in various research fields. Numerous open-source eye tracking algorithms have been developed in recent years, primarily designed for general application with many different camera types. These algorithms do not, however, capitalize on the high frame rate of eye tracking cameras often employed in psychophysical studies. We present a pupil detection method that utilizes this high-speed property to obtain reliable predictions through recursive estimation about certain pupil characteristics in successive camera frames. These predictions are subsequently used to carry out novel image segmentation and classification routines to improve pupil detection performance. Based on results from hand-labelled eye images, our approach was found to have a greater detection rate, accuracy and speed compared to other recently published open-source pupil detection algorithms. The program's source code, together with a graphical user interface, can be downloaded at https://github.com/tbrouns/eyestalker


title: Multilevel Monte Carlo on a high-dimensional parameter space for transmission problems with geometric uncertainties

abstract: In the framework of uncertainty quantification, we consider a quantity of interest which depends non-smoothly on the high-dimensional parameter representing the uncertainty. We show that, in this situation, the multilevel Monte Carlo algorithm is a valid option to compute moments of the quantity of interest (here we focus on the expectation), as it allows to bypass the precise location of discontinuities in the parameter space. We illustrate how such lack of smoothness occurs for the point evaluation of the solution to a (Helmholtz) transmission problem with uncertain interface, if the point can be crossed by the interface for some realizations. For this case, we provide a space regularity analysis for the solution, in order to state converge results in the L1-norm for the finite element discretization. The latter are then used to determine the optimal distribution of samples among the Monte Carlo levels. Particular emphasis is given on the robustness of our estimates with respect to the dimension of the parameter space.


title: Sparse Output Feedback Synthesis via Proximal Alternating Linearization Method

abstract: We consider the co-design problem of sparse output feedback and row/column-sparse output matrix. A row-sparse (resp. column-sparse) output matrix implies a small number of outputs (resp. sensor measurements). We impose row/column-cardinality constraint on the output matrix and the cardinality constraint on the output feedback gain. The resulting nonconvex, nonsmooth optimal control problem is solved by using the proximal alternating linearization method (PALM). One advantage of PALM is that the proximal operators for sparsity constraints admit closed-form expressions and are easy to implement. Furthermore, the bilinear matrix function introduced by the multiplication of the feedback gain and the output matrix lends itself well to PALM. By establishing the Lipschitz conditions of the bilinear function, we show that PALM is globally convergent and the objective value is monotonically decreasing throughout the algorithm. Numerical experiments verify the convergence results and demonstrate the effectiveness of our approach on an unstable system with 60,000 design variables.


title: Dickman approximation in simulation, summations and perpetuities

abstract: The generalized Dickman distribution ${\cal D}_\theta$ with parameter $\theta>0$ is the unique solution to the distributional equality $W=_d W^*$, where \begin{eqnarray} W^*=_d U^{1/\theta}(W+1) \qquad (1) \end{eqnarray} with $W$ non-negative with probability one, $U \sim {\cal U}[0,1]$ independent of $W$, and $=_d$ denoting equality in distribution. Members of this family appear in number theory, stochastic geometry, perpetuities and the study of algorithms. We obtain bounds in Wasserstein type distances between ${\cal D}_\theta$ and \begin{eqnarray} W_n= \frac{1}{n} \sum_{i=1}^n Y_k B_k \qquad (2) \end{eqnarray} where $B_1,\ldots,B_n, Y_1, \ldots, Y_n$ are independent with $B_k \sim {\rm Ber}(1/k), E[Y_k]=k, {\rm Var}(Y_k)=\sigma_k^2$ and provide an application to the minimal directed spanning tree in $\mathbb{R}^2$, and also obtain such bounds when the Bernoulli variables in $(2)$ are replaced by Poissons. We also give simple proofs and provide bounds with optimal rates for the Dickman convergence of the weighted sums, arising in probabilistic number theory, of the form \begin{eqnarray} S_n=\frac{1}{\log(p_n)} \sum_{k=1}^n X_k \log(p_k) \end{eqnarray} where $(p_k)_{k \ge 1}$ is an enumeration of the prime numbers in increasing order and $X_k$ is Geometric with parameter $(1-1/p_k)$, Bernoulli with success probability $1/(1+p_k)$ or Poisson with mean $\lambda_k$. In addition, we broaden the class of generalized Dickman distributions by studying the fixed points of the transformation \begin{eqnarray*} s(W^*)=_d U^{1/\theta}s(W+1) \end{eqnarray*} generalizing $(1)$, that allows the use of non-identity utility functions $s(\cdot)$ in Vervaat perpetuities. We obtain distributional bounds for recursive methods that can be used to simulate from this family.


title: Planar tunneling spectroscopy of the topological Kondo insulator SmB$_6$

abstract: Several technical issues and challenges are identified and investigated for the planar tunneling spectroscopy of the topological Kondo insulator SmB$_6$. Contrasting behaviors of the tunnel junctions prepared in two different ways are analyzed and explained in detail. The conventional approach based on an AlO$_\text{x}$ tunnel barrier results in unsatisfactory results due to the inter-diffusion between SmB$_6$ and deposited Al. On the contrary, plasma oxidation of SmB$_6$ crystals produces high-quality tunnel barriers on both (001) and (011) surfaces. Resultant conductance spectra are highly reproducible with clear signatures for the predicted surface Dirac fermions and the bulk hybridization gap as well. The surface states are identified to reside on two or one {\it distinguishable} Dirac cone(s) on the (001) and (011) surface, respectively, in good agreement with the recent literature. However, their topological protection is found to be limited within the low energy region due to their inevitable interaction with the bulk excitations, called spin excitons, consistent with a recent theoretical prediction. Implications of our findings on other physical properties in SmB$_6$ and also other correlated topological materials are remarked.


title: Exotic matter on singular divisors in F-theory

abstract: We analyze exotic matter representations that arise on singular seven-brane configurations in F-theory. We develop a general framework for analyzing such representations, and work out explicit descriptions for models with matter in the 2-index and 3-index symmetric representations of SU($N$) and SU(2) respectively, associated with double and triple point singularities in the seven-brane locus. These matter representations are associated with Weierstrass models whose discriminants vanish to high order thanks to nontrivial cancellations possible only in the presence of a non-UFD algebraic structure. This structure can be described using the normalization of the ring of intrinsic local functions on a singular divisor. We consider the connection between geometric constraints on singular curves and corresponding constraints on the low-energy spectrum of 6D theories, identifying some new examples of apparent "swampland" theories that cannot be realized in F-theory but have no apparent low-energy inconsistency.


title: Proper holomorphic self-maps of symmetric powers of balls

abstract: We show that each proper holomorphic self map of a symmetric power of the unit ball is an automorphism naturally induced by an automorphism of the unit ball, provided the ball is of dimension at least two.


title: The pH-dependent electrical potential and elastic modulus of a nanoscale DNA film and the resultant bending signal for a microcantilever biosensor

abstract: This paper devotes to formulating several multiscale models to study the effect of pH-dependent ionic inhomogeneity on the electrical potential distributions and the graded elastic properties of a nanoscale DNA film and the related bending deflections of a microcantilever biosensor. First, the Langmuir isotherm was used to improve the classical Poisson-Boltzmann equation for polyelectrolyte solutions by introducing a new solution parameters to consider the effect of the inhomogeneous distribution of hydrogen ions on the electrical potential. Second, inspired by the Parsegian's mesoscopic attraction potential for cation condensed DNAs, the graded distribution properties of the particles were taken in the construction of an alternative interaction potential for both attraction-dominated and repulsion-dominated films. The new model parameters were obtained by curve fitting with the bending deflection experiments of a microcantilever done by Arroyo-Hernandez et al. Third, by the improved interaction potential and the thought experiment about the compression of a DNA bar in the context of macroscopic continuum mechanics, we investigated the diversity of elastic properties of single-stranded DNA (ssDNA) films due to the self-adaptability of its microstructures and constituents to the pH value, salt concentration and cation valence. Numerical results show that electronegative DNA could be overcharged with a positive electrical potential when the particle distribution conforms with the condition that the sign of the new introduced solution parameter is negative. There exists a transition from the pH-sensitive interval to pH-insensitive one for bending signals and elastic moduli. Negative elastic modulus is first revealed in the attraction-dominated ssDNA film constrained on the Au-layer of a microcantilever biosensor.


title: Variational characterization of the speed of reaction diffusion fronts for gradient dependent diffusion

abstract: We study the asymptotic speed of traveling fronts of the scalar reaction diffusion for positive reaction terms and with a diffusion coefficient depending nonlinearly on the concentration and on its gradient. We restrict our study to diffusion coefficients of the form $D(u,u_x) = m u^{m-1} u_x^{m(p-2)}$ for which existence and convergence to traveling fronts has been established. We formulate a variational principle for the asymptotic speed of the fronts. Upper and lower bounds for the speed valid for any $m\ge0, p\ge 1$ are constructed. When $m=1, p=2$ the problem reduces to the constant diffusion problem and the bounds correspond to the classic Zeldovich Frank-Kamenetskii lower bound and the Aronson-Weinberger upper bound respectively. In the special case $m(p-1) = 1$ a local lower bound can be constructed which coincides with the aforementioned upper bound. The speed in this case is completely determined in agreement with recent results.


title: English-Japanese Neural Machine Translation with Encoder-Decoder-Reconstructor

abstract: Neural machine translation (NMT) has recently become popular in the field of machine translation. However, NMT suffers from the problem of repeating or missing words in the translation. To address this problem, Tu et al. (2017) proposed an encoder-decoder-reconstructor framework for NMT using back-translation. In this method, they selected the best forward translation model in the same manner as Bahdanau et al. (2015), and then trained a bi-directional translation model as fine-tuning. Their experiments show that it offers significant improvement in BLEU scores in Chinese-English translation task. We confirm that our re-implementation also shows the same tendency and alleviates the problem of repeating and missing words in the translation on a English-Japanese task too. In addition, we evaluate the effectiveness of pre-training by comparing it with a jointly-trained model of forward translation and back-translation.


title: A Proof of Vivo-Pato-Oshanin's Conjecture on the Fluctuation of von Neumann Entropy

abstract: It was recently conjectured by Vivo, Pato, and Oshanin [Phys. Rev. E 93, 052106 (2016)] that for a quantum system of Hilbert dimension $mn$ in a pure state, the variance of the von Neumann entropy of a subsystem of dimension $m\leq n$ is given by \begin{equation*} -\psi_{1}\left(mn+1\right)+\frac{m+n}{mn+1}\psi_{1}\left(n\right)-\frac{(m+1)(m+2n+1)}{4n^{2}(mn+1)}, \end{equation*} where $\psi_{1}(\cdot)$ is the trigamma function. We give a proof of this formula.


title: Cell Size Effect on Computational Fluid Dynamics: The Limitation Principle for Flow Simulation

abstract: For theoretical gas dynamics, the flow regimes are classified according to the Knudsen number. For computational fluid dynamics (CFD), the numerical flow field is the projection of the physical flow field onto the discrete space and time, which is related to the cell Knudsen number. The real representable flow regimes are controlled by these two parameters. According to the values of Knudsen number and cell Knudsen number, we study the classification of the numerical flow regimes. In the process of mesh refinement, the numerical experiments show the change of numerical flow regime from continuum, to near-continuum, and to non-equilibrium one. The change of flow regime with different cell resolution is the limitation principle for the numerical simulation, which is the best a multiscale method can do. In other words, we should have changeable numerical governing equations in different mesh size scale, and they are coupled with the traditional physical equations in different scales, such as the Navier-Stokes and Boltzmann. Under the multiscale modeling, a mesh refinement is a process in resolving the flow physics in different scale. The verification and validation (V$\&$V) need include the physical modeling mechanism in the mesh refinement process. The traditional idea of mesh refinement for targeting a fixed partial differential equation cannot achieve the final goal of computation, which is to recover the flow physics as truthfully as possible under the limitation of the cell resolution.


title: Evaluating Feynman integrals by the hypergeometry

abstract: The hypergeometric function method naturally provides the analytic expressions of scalar integrals from concerned Feynman diagrams in some connected regions of independent kinematic variables, also presents the systems of homogeneous linear partial differential equations satisfied by the corresponding scalar integrals. Taking examples of the one-loop $B_{_0}$ and massless $C_{_0}$ functions, as well as the scalar integrals of two-loop vacuum and sunset diagrams, we verify our expressions coinciding with the well-known results of literatures. Based on the multiple hypergeometric functions of independent kinematic variables, the systems of homogeneous linear partial differential equations satisfied by the mentioned scalar integrals are established. Using the calculus of variations, one recognizes the system of linear partial differential equations as stationary conditions of a functional under some given restrictions, which is the cornerstone to perform the continuation of the scalar integrals to whole kinematic domains numerically with the finite element methods. In principle this method can be used to evaluate the scalar integrals of any Feynman diagrams.


title: Parsing spatiotemporal dynamical stability in ECoG during seizure onset, propagation, and termination

abstract: Understanding brain dynamics in epilepsy is critical for establishing rigorous control objectives that enable new therapeutic methods to mitigate seizure occurrence. In multichannel electrocorticography (ECoG) recordings acquired in 21 subjects during a total of 94 seizures, we apply dynamical systems stability analysis to assess the balance versus imbalance of seizure dynamics across different timescales and brain regions. Specifically, we consider a sliding time window multivariate autoregressive linear approximation of the data captured by the ECoG channels, where eigendecomposition of the estimated matrix of coefficients describes the contribution of different regions to the spatiotemporal process (eigenvectors) associated with a particular timescale (eigenvalues). Interestingly, we observe a pattern of eigenvalue evolution and slowly changing (or approximately time-invariant) eigenvectors across both seizures and subjects. The seizure-onset is marked by an increase in high frequency spatial information to which a few regions contribute for a long period. By contrast, the seizure termination is characterized by a sudden, small time period change in dynamics to which many regions contribute. As the seizure terminates, the relatively stable ictal dynamics rapidly transition into the post-ictal regime, marked by relatively fast-damping oscillations. Our methodology offers a subject-specific characterization of the spatiotemporal behavior of the seizure, providing new insights into the dynamic patterns and functional interactions between brain regions that occur over different timescales. More generally, our approach informs the development of engineering objectives that can be used to deploy new control strategies to prevent seizure evolution or to hasten seizure termination.


title: Dr.VAE: Drug Response Variational Autoencoder

abstract: We present two deep generative models based on Variational Autoencoders to improve the accuracy of drug response prediction. Our models, Perturbation Variational Autoencoder and its semi-supervised extension, Drug Response Variational Autoencoder (Dr.VAE), learn latent representation of the underlying gene states before and after drug application that depend on: (i) drug-induced biological change of each gene and (ii) overall treatment response outcome. Our VAE-based models outperform the current published benchmarks in the field by anywhere from 3 to 11% AUROC and 2 to 30% AUPR. In addition, we found that better reconstruction accuracy does not necessarily lead to improvement in classification accuracy and that jointly trained models perform better than models that minimize reconstruction error independently.


title: Strong Coupling Limit of A Family of Chern-Simons-matter Theories

abstract: We investigate the strong coupling limit of a family of Chern-Simons-matter theories in the planar limit. The family consists of ${\cal N}=3$ theories with the gauge group ${\rm U}(N_1)_{k_1}\times{\rm U}(N_2)_{k_2}$ coupled to $n$ bi-fundamental hypermultiplets. All observables which can be determined from the planar resolvent turn out to have finite limits in the large 't Hooft coupling limit. Possible gravity duals are briefly discussed. We observe that Kac-Moody algebras govern the structure of the planar spectral curves of the theories.


title: Metrics for Bengali Text Entry Research

abstract: With the intention of bringing uniformity to Bengali text entry research, here we present a new approach for calculating the most popular English text entry evaluation metrics for Bengali. To demonstrate our approach, we conducted a user study where we evaluated four popular Bengali text entry techniques.


title: Observation of topological edge states of sound at a momentum away from the high-symmetry point

abstract: Topologically protected one-way transportation of sound, mimicking the topological properties of the condensed matter, has received greatly attentions. Thus far, the topological phases and the topological edge states of sound are yielded in the vicinity of the Dirac cones fixed at the high symmetric points of the Brillouin zone. Here, we present a new type of the phononic topological insulator in the square lattice with position-variational Dirac cones along the high symmetric lines. The emergence of such Dirac cones, characterized by the vortex structure in a momentum space, is attributed to the unavoidable band crossing protected by the mirror symmetry. By rotating the square columns, these Dirac points are lifted and a complete band gap is induced because of the mirror-symmetry-breaking. Along the topological domain wall between the phononic crystals (PhCs) with the distinct topological phases stemming from the mirror symmetry inversion, we obtain a topological edge state for the neutral scalar sound which is absence of the intrinsic polarization and is uncoupled from an external field. Within a wide rotational range of the square column, the topological edge state in our PhCs evolves from a gapless one into a gapped one with a robust edge transport against cavities and disorders. Our excellent results are promising for the exploration of the new topological phenomena in the PhCs beyond the hexagonal lattices. Furthermore, the flexibility of the rotational square columns provides an interesting platform for the design of tunable topological acoustic devices.


title: Existence of solutions to a class of Kazdan-Warner equations on compact Riemannian surface

abstract: Let $(\Sigma,g)$ be a compact Riemannian surface without boundary and $\lambda_1(\Sigma)$ be the first eigenvalue of the Laplace-Beltrami operator $\Delta_g$. Let $h$ be a positive smooth function on $\Sigma$. Define a functional $$J_{\alpha,\beta}(u)=\frac{1}{2}\int_\Sigma(|\nabla_gu|^2-\alpha u^2)dv_g-\beta\log\int_\Sigma he^udv_g$$ on a function space $\mathcal{H}=\left\{u\in W^{1,2}(\Sigma): \int_\Sigma udv_g=0\right\}$. If $\alpha<\lambda_1(\Sigma)$ and $J_{\alpha,8\pi}$ has no minimizer on $\mathcal{H}$, then we calculate the infimum of $J_{\alpha,8\pi}$ on $\mathcal{H}$ by using the method of blow-up analysis. As a consequence, we give a sufficient condition under which a Kazdan-Warner equation has a solution. If $\alpha\geq \lambda_1(\Sigma)$, then $\inf_{u\in\mathcal{H}}J_{\alpha,8\pi}(u)=-\infty$. If $\beta>8\pi$, then for any $\alpha\in\mathbb{R}$, there holds $\inf_{u\in\mathcal{H}}J_{\alpha,\beta}(u)=-\infty$. Moreover, we consider the same problem in the case that $\alpha$ is large, where higher order eigenvalues are involved.


title: Direct Imaging of Slow, Stored, and Stationary EIT Polaritons

abstract: Stationary and slow light effects are of great interest for quantum information applications. Using laser-cooled Rb87 atoms we have performed side imaging of our atomic ensemble under slow and stationary light conditions, which allows direct comparison with numerical models. The polaritions were generated using electromagnetically induced transparency (EIT), with stationary light generated using counter-propagating control fields. By controlling the power ratio of the two control fields we show fine control of the group velocity of the stationary light. We also compare the dynamics of stationary light using monochromatic and bichromatic control fields. Our results show negligible difference between the two situations, in contrast to previous work in EIT based systems.


title: A sequential surrogate method for reliability analysis based on radial basis function

abstract: A radial basis function (RBF) based sequential surrogate reliability method (SSRM) is proposed, in which a special optimization problem is solved to update the surrogate model of the limit state function (LSF) iteratively. The objective of the optimization problem is to find a new point to maximize the probability density function (PDF), subject to the constraints that the new point is on the approximated LSF and the minimum distance to the existing points is greater than or equal to the given distance. By updating the surrogate model with the new points, the surrogate model of the LSF becomes more and more accurate in the important region with a high failure probability and on the LSF boundary. Moreover, the accuracy of the unimportant region is also improved within the iteration due to the minimum distance constraint. SSRM takes advantage of the information of PDF and LSF to capture the failure features, which decreases the number of the expensive LSF evaluations. Six numerical examples show that SSRM improves the accuracy of the surrogate model in the important region around the failure boundary with small number of samples and has better adaptability to the nonlinear LSF, hence increases the accuracy and efficiency of the reliability analysis.


title: IS-ASGD: Accelerating Asynchronous SGD using Importance Sampling

abstract: Variance reduction (VR) techniques for convergence rate acceleration of stochastic gradient descent (SGD) algorithm have been developed with great efforts recently. VR's two variants, stochastic variance-reduced-gradient (SVRG-SGD) and importance sampling (IS-SGD) have achieved remarkable progresses. Meanwhile, asynchronous SGD (ASGD) is becoming more critical due to the ever-increasing scale of the optimization problems. The application of VR in ASGD to accelerate its convergence rate has therefore attracted much interest and SVRG-ASGDs are therefore proposed. However, we found that SVRG suffers dissatisfying performance in accelerating ASGD when the datasets are sparse and large-scale. In such case, SVRG-ASGD's iterative computation cost is magnitudes higher than ASGD which makes it very slow. On the other hand, IS achieves improved convergence rate with few extra computation cost and is invariant to the sparsity of dataset. This advantage makes it very suitable for the acceleration of ASGD for large-scale sparse datasets. In this paper we propose a novel IS-combined ASGD for effective convergence rate acceleration, namely, IS-ASGD. We theoretically prove the superior convergence bound of IS-ASGD. Experimental results also demonstrate our statements.


title: End-to-end Learning of Image based Lane-Change Decision

abstract: We propose an image based end-to-end learning framework that helps lane-change decisions for human drivers and autonomous vehicles. The proposed system, Safe Lane-Change Aid Network (SLCAN), trains a deep convolutional neural network to classify the status of adjacent lanes from rear view images acquired by cameras mounted on both sides of the vehicle. Rather than depending on any explicit object detection or tracking scheme, SLCAN reads the whole input image and directly decides whether initiation of the lane-change at the moment is safe or not. We collected and annotated 77,273 rear side view images to train and test SLCAN. Experimental results show that the proposed framework achieves 96.98% classification accuracy although the test images are from unseen roadways. We also visualize the saliency map to understand which part of image SLCAN looks at for correct decisions.


title: Analysis of Thermal Stresses in Solidification of Spherical SLM Components

abstract: The majority of these machines fabricate from raw material in powder form using a directed energy beam to create a local melt zone. Total hip replacement is recommended for people who have medical issues related to excessive wear of the acetabular, osteoarthritis, accident or age. Researches have shown that large numbers of hip arthroplasties (where the articular surface of a musculoskeletal joint is replaced), hip remodelling, or realignment are carried out annually and will increase in the next few decades. Manufacturing of acetabular shells by using AM is a promising and emerging method that has a great potential to improve public health. Lost wax casting or investment casting is currently used to produce acetabular shells followed by lengthy and complex secondary processes such as machining and polishing. Living organs and medical models have intricate 3D shapes that are challenging to identity in X-ray CT images. These images are used for preparing treatment plans to improve the quality of the surgeries regarding waiting and surgery time per procedure and care regime. For instance, a limited number of hip replacement procedures can be carried out on each acetabulum due to a decrease of bone thickness. Rapid prototyping is a suitable treatment planning tool in complex cases to enhance the quality of surgical procedure and provide long-term stability that can be used to customize the shape and size of the acetabular shell. In this paper, to analyse the manufacturing of a prosthetic acetabular shell, built-up lines resulting from a thermal stress flow and process stopping during the selective laser melting (SLM) AM process, with regarding Gibbs free energy, interfacial energy, and equilibrium temperature will be discussed. Geometrical measurements showed 1.59% and 0.27% differences between the designed and manufactured prototype for inside and outside diameter respectively.


title: Idempotent ordered semigroup

abstract: An element e of an ordered semigroup $(S,\cdot,\leq)$ is called an ordered idempotent if $e\leq e^2$. We call an ordered semigroup $S$ idempotent ordered semigroup if every element of $S$ is an ordered idempotent. Every idempotent semigroup is a complete semilattice of rectangular idempotent semigroups and in this way we arrive to many other important classes of idempotent ordered semigroups.


title: On inverse and right inverse ordered semigroups

abstract: A regular ordered semigroup $S$ is called right inverse if every principal left ideal of $S$ is generated by an $\mathcal{R}$-unique ordered idempotent. Here we explore the theory of right inverse ordered semigroups. We show that a regular ordered semigroup is right inverse if and only if any two right inverses of an element $a\in S$ are $\mathcal{R}$-related. Furthermore, different characterizations of right Clifford, right group-like, group like ordered semigroups are done by right inverse ordered semigroups. Thus a foundation of right inverse semigroups has been developed.


title: NOMA in 5G Systems: Exciting Possibilities for Enhancing Spectral Efficiency

abstract: This article provides an overview of power-domain non-orthogonal multiple access for 5G systems. The basic concepts and benefits are briefly presented, along with current solutions and standardization activities. In addition, limitations and research challenges are discussed.


title: Phase transition for a non-attractive infection process in heterogeneous environment

abstract: We consider a non-attractive three state contact process on $\mathbb Z$ and prove that there exists a regime of survival as well as a regime of extinction. In more detail, the process can be regarded as an infection process in a dynamic environment, where non-infected sites are either healthy or passive. Infected sites can recover only if they have a healthy site nearby, whereas non-infected sites may become infected only if there is no healthy and at least one infected site nearby. The transition probabilities are governed by a global parameter $q$: for large $q$, the infection dies out, and for small enough $q$, we observe its survival. The result is obtained by a coupling to a discrete time Markov chain, using its drift properties in the respective regimes.


title: An Effective Way to Improve YouTube-8M Classification Accuracy in Google Cloud Platform

abstract: Large-scale datasets have played a significant role in progress of neural network and deep learning areas. YouTube-8M is such a benchmark dataset for general multi-label video classification. It was created from over 7 million YouTube videos (450,000 hours of video) and includes video labels from a vocabulary of 4716 classes (3.4 labels/video on average). It also comes with pre-extracted audio & visual features from every second of video (3.2 billion feature vectors in total). Google cloud recently released the datasets and organized 'Google Cloud & YouTube-8M Video Understanding Challenge' on Kaggle. Competitors are challenged to develop classification algorithms that assign video-level labels using the new and improved Youtube-8M V2 dataset. Inspired by the competition, we started exploration of audio understanding and classification using deep learning algorithms and ensemble methods. We built several baseline predictions according to the benchmark paper and public github tensorflow code. Furthermore, we improved global prediction accuracy (GAP) from base level 77% to 80.7% through approaches of ensemble.


title: YoTube: Searching Action Proposal via Recurrent and Static Regression Networks

abstract: In this paper, we present YoTube-a novel network fusion framework for searching action proposals in untrimmed videos, where each action proposal corresponds to a spatialtemporal video tube that potentially locates one human action. Our method consists of a recurrent YoTube detector and a static YoTube detector, where the recurrent YoTube explores the regression capability of RNN for candidate bounding boxes predictions using learnt temporal dynamics and the static YoTube produces the bounding boxes using rich appearance cues in a single frame. Both networks are trained using rgb and optical flow in order to fully exploit the rich appearance, motion and temporal context, and their outputs are fused to produce accurate and robust proposal boxes. Action proposals are finally constructed by linking these boxes using dynamic programming with a novel trimming method to handle the untrimmed video effectively and efficiently. Extensive experiments on the challenging UCF-101 and UCF-Sports datasets show that our proposed technique obtains superior performance compared with the state-of-the-art.


title: Asymptotic Existence of Fair Divisions for Groups

abstract: The problem of dividing resources fairly occurs in many practical situations and is therefore an important topic of study in economics. In this paper, we investigate envy-free divisions in the setting where there are multiple players in each interested party. While all players in a party share the same set of resources, each player has her own preferences. Under additive valuations drawn randomly from probability distributions, we show that when all groups contain an equal number of players, a welfare-maximizing allocation is likely to be envy-free if the number of items exceeds the total number of players by a logarithmic factor. On the other hand, an envy-free allocation is unlikely to exist if the number of items is less than the total number of players. In addition, we show that a simple truthful mechanism, namely the random assignment mechanism, yields an allocation that satisfies the weaker notion of approximate envy-freeness with high probability.


title: Variety of $(d + 1)$ dimensional Cosmological Evolutions with and without bounce in a class of LQC -- inspired Models

abstract: The bouncing evolution of an universe in Loop Quantum Cosmolgy can be described very well by a set of effective equations, involving a function $sin \; x$. Recently, we have generalised these effective equations to $(d + 1)$ dimensions and to any function $f(x) \;$. Depending on $f(x) \;$ in these models inspired by Loop Quantum Cosmolgy, a variety of cosmological evolutions are possible, singular as well as non singular. In this paper, we study them in detail. Among other things, we find that the scale factor $a(t) \; \propto \; t^{ \frac {2 q} {(2 q - 1) \; (1 + w) d}} \;$ for $f(x) = x^q \;$, and find explicit Kasner--type solutions if $w = 2 q - 1 \;$ also. A result which we find particularly fascinating is that, for $f(x) = \sqrt{x} \;$, the evolution is non singular and the scale factor $a(t)$ grows exponentially at a rate set, not by a constant density, but by a quantum parameter related to the area quantum.


title: Extracting Geometry from Quantum Spacetime: Obstacles down the road

abstract: Any acceptable quantum gravity theory must allow us to recover the classical spacetime in the appropriate limit. Moreover, the spacetime geometrical notions should be intrinsically tied to the behavior of the matter that probes them. We consider some difficulties that would be confronted in attempting such an enterprise. The problems we uncover seem to go beyond the technical level to the point of questioning the overall feasibility of the project. The main issue is related to the fact that, in the quantum theory, it is impossible to assign a trajectory to a physical object, and, on the other hand, according to the basic tenets of the geometrization of gravity, it is precisely the trajectories of free localized objects that define the spacetime geometry. The insights gained in this analysis should be relevant to those interested in the quest for a quantum theory of gravity and might help refocus some of its goals.


title: YouTube-8M Video Understanding Challenge Approach and Applications

abstract: This paper introduces the YouTube-8M Video Understanding Challenge hosted as a Kaggle competition and also describes my approach to experimenting with various models. For each of my experiments, I provide the score result as well as possible improvements to be made. Towards the end of the paper, I discuss the various ensemble learning techniques that I applied on the dataset which significantly boosted my overall competition score. At last, I discuss the exciting future of video understanding research and also the many applications that such research could significantly improve.