title: A fast FFT-based discrete Legendre transform

abstract: An $\mathcal{O}(N(\log N)^2/\log\!\log N)$ algorithm for computing the discrete Legendre transform and its inverse is described. The algorithm combines a recently developed fast transform for converting between Legendre and Chebyshev coefficients with a Taylor series expansion for Chebyshev polynomials about equally-spaced points in the frequency domain. Both components are based on the FFT, and as an intermediate step we obtain an $\mathcal{O}(N\log N)$ algorithm for evaluating a degree $N-1$ Chebyshev expansion at an $N$-point Legendre grid. Numerical results are given to demonstrate performance and accuracy.


title: Multiplier sequences, classes of generalized Bessel functions and open problems

abstract: Motivated by the study of the distribution of zeros of generalized Bessel-type functions, the principal goal of this paper is to identify new research directions in the theory of multiplier sequences. The investigations focus on multiplier sequences interpolated by functions which are not entire and sums, averages and parametrized families of multiplier sequences. The main results include (i) the development of a `logarithmic' multiplier sequence and (ii) several integral representations of a generalized Bessel-type function utilizing some ideas of G. H. Hardy and L. V. Ostrovskii. The explorations and analysis, augmented throughout the paper by a plethora of examples, led to a number of conjectures and intriguing open problems.


title: On Repeated-Root Constacyclic Codes of Length $2^amp^r$ over Finite Fields

abstract: In this paper we investigate the structure of repeated root constacyclic codes of length $2^amp^r$ over $\mathbb{F}_{p^s}$ with $a\geq1$ and $(m,p)=1$. We characterize the codes in terms of their generator polynomials. This provides simple conditions on the existence of self-dual negacyclic codes. Further, we gave cases where the constacyclic codes are equivalent to cyclic codes.


title: Optimal Search Trees with 2-Way Comparisons

abstract: In 1971, Knuth gave an $O(n^2)$-time algorithm for the classic problem of finding an optimal binary search tree. Knuth's algorithm works only for search trees based on 3-way comparisons, while most modern computers support only 2-way comparisons (e.g., $<, \le, =, \ge$, and $>$). Until this paper, the problem of finding an optimal search tree using 2-way comparisons remained open -- poly-time algorithms were known only for restricted variants. We solve the general case, giving (i) an $O(n^4)$-time algorithm and (ii) an $O(n \log n)$-time additive-3 approximation algorithm. Also, for finding optimal binary split trees, we (iii) obtain a linear speedup and (iv) prove some previous work incorrect.


title: Superfluid flow above the critical velocity

abstract: Superfluidity and superconductivity have been studied widely since the last century in many different contexts ranging from nuclear matter to atomic quantum gases. The rigidity of these systems with respect to external perturbations results in frictionless motion for superfluids and resistance-free electric current in superconductors. This peculiar behaviour is lost when external perturbations overcome a critical threshold, i.e. above a critical magnetic field or a critical current for superconductors. In superfluids, such as liquid helium or ultracold gases, the corresponding quantities are critical rotation rate and critical velocity, respectively. Enhancing the critical values is of great fundamental and practical value. Here we demonstrate that superfluidity can be achieved for flow above the critical velocity through quantum interference induced resonances. This has far reaching consequences for the fundamental understanding of superfluidity and superconductivity and opens up new application possibilities in quantum metrology, e.g. in rotation sensing.


title: Can deep learning help you find the perfect match?

abstract: Is he/she my type or not? The answer to this question depends on the personal preferences of the one asking it. The individual process of obtaining a full answer may generally be difficult and time consuming, but often an approximate answer can be obtained simply by looking at a photo of the potential match. Such approximate answers based on visual cues can be produced in a fraction of a second, a phenomenon that has led to a series of recently successful dating apps in which users rate others positively or negatively using primarily a single photo. In this paper we explore using convolutional networks to create a model of an individual's personal preferences based on rated photos. This introduced task is difficult due to the large number of variations in profile pictures and the noise in attractiveness labels. Toward this task we collect a dataset comprised of $9364$ pictures and binary labels for each. We compare performance of convolutional models trained in three ways: first directly on the collected dataset, second with features transferred from a network trained to predict gender, and third with features transferred from a network trained on ImageNet. Our findings show that ImageNet features transfer best, producing a model that attains $68.1\%$ accuracy on the test set and is moderately successful at predicting matches.


title: Are the Variability Properties of the Kepler AGN Light Curves Consistent with a Damped Random Walk?

abstract: We test the consistency of active galactic nuclei (AGN) optical flux variability with the $\textit{damped random walk}$ (DRW) model. Our sample consists of 20 multi-quarter $\textit{Kepler}$ AGN light curves including both Type 1 and 2 Seyferts, radio-loud and -quiet AGN, quasars, and blazars. $\textit{Kepler}$ observations of AGN light curves offer a unique insight into the variability properties of AGN light curves because of the very rapid ($11.6-28.6$ min) and highly uniform rest-frame sampling combined with a photometric precision of $1$ part in $10^{5}$ over a period of 3.5 yr. We categorize the light curves of all 20 objects based on visual similarities and find that the light curves fall into 5 broad categories. We measure the first order structure function of these light curves and model the observed light curve with a general broken power-law PSD characterized by a short-timescale power-law index $\gamma$ and turnover timescale $\tau$. We find that less than half the objects are consistent with a DRW and observe variability on short timescales ($\sim 2$ h). The turnover timescale $\tau$ ranges from $\sim 10-135$ d. Interesting structure function features include pronounced dips on rest-frame timescales ranging from $10-100$ d and varying slopes on different timescales. The range of observed short-timescale PSD slopes and the presence of dip and varying slope features suggests that the DRW model may not be appropriate for all AGN. We conclude that AGN variability is a complex phenomenon that requires a more sophisticated statistical treatment.


title: Local behavior of fractional $p$-minimizers

abstract: We extend the De Giorgi-Nash-Moser theory to nonlocal, possibly degenerate integro-differential operators.


title: Solving Composite Monotone Inclusions in Reflexive Banach Spaces by Constructing Best Bregman Approximations from Their Kuhn-Tucker Set

abstract: We introduce the first operator splitting method for composite monotone inclusions outside of Hilbert spaces. The proposed primal-dual method constructs iteratively the best Bregman approximation to an arbitrary point from the Kuhn-Tucker set of a composite monotone inclusion. Strong convergence is established in reflexive Banach spaces without requiring additional restrictions on the monotone operators or knowledge of the norms of the linear operators involved in the model. The monotone operators are activated via Bregman distance-based resolvent operators. The method is novel even in Euclidean spaces, where it provides an alternative to the usual proximal methods based on the standard distance.


title: Representations of the $n$ dimensional quantum torus

abstract: The $n$-dimensional quantum torus $\mathcal O_{\mathbf q}((F^\times)^n)$ is defined as the associative $F$-algebra generated by $x_1, \cdots, x_n$ together with their inverses satisfying the relations $x_ix_j = q_{ij}x_jx_i$, where $\mathbf q = (q_{ij})$. We show that the modules that are finitely generated over certain commutative sub-algebras $\mathscr B$ are $\mathscr B$-torsion-free and have finite length. We determine the Gelfand-Kirillov dimensions of simple modules in the case when \[ \Kdim(\mathcal O_{\mathbf q}((F^\times)^n)) = n - 1, \] where $\Kdim$ stands for the Krull dimension. In this case if $M$ is a simple $\mathcal O_{\mathbf q}((F^\times)^n)$-module then $ \gk(M) = 1$ or \[ \gk(M) \ge \gk(\mathcal O_{\mathbf q}((F^\times)^n)) - \gk(\mathcal Z(\mathcal O_{\mathbf q}((F^\times)^n))) - 1,\] where $\mathcal Z(C)$ stands for the center of an algebra $C$. We also show that there always exists a simple $F \s A$-module satisfying the above inequality.


title: Twists over \'etale groupoids and twisted vector bundles

abstract: Inspired by recent papers on twisted $K$-theory, we consider in this article the question of when a twist $\mathcal{R}$ over a locally compact Hausdorff groupoid $\mathcal{G}$ (with unit space a CW-complex) admits a twisted vector bundle, and we relate this question to the Brauer group of $\mathcal{G}$. We show that the twists which admit twisted vector bundles give rise to a subgroup of the Brauer group of $\mathcal{G}$. When $\mathcal{G}$ is an \'etale groupoid, we establish conditions (involving the classifying space $B\mathcal{G}$ of $\mathcal{G}$) which imply that a torsion twist $\mathcal{R}$ over $\mathcal{G}$ admits a twisted vector bundle.


title: Extension of L^2, di-bar-closed, forms

abstract: We prove extension of a di-bar-closed, smooth, form from the intersection of a pseudoconvex domain with a complex hyperplane to the whole domain. The extension form is di-bar-closed, has harmonic coefficients and its L^2-norm is estimated by the L^2-norm of the trace. For holomorphic functions this is proved by Ohsawa-Takegoshi [12]. For forms of higher degree, this is stated by Manivel [9]. It seems, however, that the proof contains a gap because of the use of a a singular weight and the failure of regularity for the solution of the related di-bar-equation. There is a rich literature on the subject (cf. among otheres [7], [14]) but it does not seem to contain complete answer to the question. Also, the problem of extending cohomology classes of di-bar of higher degree in a compact Kahler space is addressed in [8] and [3]. Apart from the formal analogy, this has little in common with our problem in which these classes are 0. We also believe, comparing to the preceding literature, that our approach is original and, somewhat, simpler.


title: On classical and semiclassical properties of the Liouville theory with defects

abstract: The Lagrangian of the Liouville theory with topological defects is analyzed in detail and general solution of the corresponding defect equations of motion is found. We study the heavy and light semiclassical limits of the defect two-point function found before via the bootstrap program. We show that the heavy asymptotic limit is given by the exponential of the Liouville action with defects, evaluated on the solutions with two singular points. We demonstrate that the light asymptotic limit is given by the finite dimensional path integral over solutions of the defect equations of motion with a vanishing energy-momentum tensor.


title: Extension of L^2 holomorphic functions

abstract: The purpose of this note is to show that the di-bar-estimate which is needed in the Ohsawa-Takegoshi Extension Theorem [6] is a direct consequence of the Hormander-Kohn-Morrey weigthed inequality. In this inequality, the Donnelly-Fefferman argument is not required and a single 1-parameter family of non-singular weights is used. This paper is the furtherst step of a great deal of work devoted to the simplification of the original proof of Ohsawa-Takegoshi Theorem, among other papers on the subject, we mention [1] and [8] which are based on "twisted" basic estimates and, in recent time, [3] and [9].


title: Continuous and other finitely generated canonical cofinal maps on ultrafilters

abstract: This paper investigates conditions under which canonical cofinal maps of the following three types exist: continuous, generated by finitary end-extension preserving maps, and generated by finitary maps. The main theorems prove that every monotone cofinal map on an ultrafilter from a certain class of ultrafilters is actually canonical when restricted to some cofinal subset. These theorems are then applied to find connections between Tukey, Rudin-Keisler, and Rudin-Blass reducibilities on large classes of ultrafilters. The main theorems on canonical cofinal maps are the following. Under a mild assumption, basic Tukey reductions are inherited under Tukey reduction. In particular, every ultrafilter Tukey reducible to a p-point has continuous Tukey reductions. If $\mathcal{U}$ is a Fubini iterate of p-points, then each monotone cofinal map from $\mathcal{U}$ to some other ultrafilter is generated (on a cofinal subset of $\mathcal{U}$) by a finitary map on the base tree for $\mathcal{U}$ which is monotone and end-extension preserving - the analogue of continuous in this context. Further, every ultrafilter which is Tukey reducible to some Fubini iterate of p-points has finitely generated cofinal maps. Similar theorems also hold for some other classes of ultrafilters.


title: Batched bandit problems

abstract: Motivated by practical applications, chiefly clinical trials, we study the regret achievable for stochastic bandits under the constraint that the employed policy must split trials into a small number of batches. We propose a simple policy, and show that a very small number of batches gives close to minimax optimal regret bounds. As a byproduct, we derive optimal policies with low switching cost for stochastic bandits.


title: A New Selection Operator for the Discrete Empirical Interpolation Method -- improved a priori error bound and extensions

abstract: This paper introduces a new framework for constructing the Discrete Empirical Interpolation Method DEIM projection operator. The interpolation node selection procedure is formulated using the QR factorization with column pivoting, and it enjoys a sharper error bound for the DEIM projection error. Furthermore, for a subspace $\mathcal{U}$ given as the range of an orthonormal $U$, the DEIM projection does not change if $U$ is replaced by $U \Omega$ with arbitrary unitary matrix $\Omega$. In a large-scale setting, the new approach allows modifications that use only randomly sampled rows of $U$, but with the potential of producing good approximations with corresponding probabilistic error bounds. Another salient feature of the new framework is that robust and efficient software implementation is easily developed, based on readily available high performance linear algebra packages.


title: On using the Microsoft Kinect$^{\rm TM}$ sensors to determine the lengths of the arm and leg bones of a human subject in motion

abstract: The present study is part of a broader programme, exploring the possibility of involving the Microsoft Kinect$^{\rm TM}$ sensor in the analysis of human motion. We examine the output obtained from the two available versions of this sensor in relation to the variability of the estimates of the lengths of eight bones belonging to the subject's extremities: of the humerus (upper arm), ulna (lower arm, forearm), femur (upper leg), and tibia (lower leg, shank). Large systematic effects in the output of the two sensors have been observed.


title: High Order Cut Finite Element Methods for the Stokes Problem

abstract: We develop a high order cut finite element method for the Stokes problem based on general inf-sup stable finite element spaces. We focus in particular on composite meshes consisting of one mesh that overlaps another. The method is based on a Nitsche formulation of the interface condition together with a stabilization term. Starting from inf-sup stable spaces on the two meshes, we prove that the resulting composite method is indeed inf-sup stable and as a consequence optimal \emph{a~priori} error estimates hold.


title: Thermodynamics of the Variable Modified Chaplygin gas

abstract: A cosmological model with a new variant of Chaplygin gas obeying an equation of state(EoS), $P = A\rho - \frac{B}{\rho^{\alpha}}$ where $B= B_{0}a^{n}$ is investigated in the context of its thermodynamical behaviour. Here $B_{0}$ and $n$ are constants and $a$ is the scale factor. We show that the equation of state of this `Variable Modified Chaplygin gas' (VMCG) can describe the current accelerated expansion of the universe. Following standard thermodynamical criteria we mainly discuss the classical thermodynamical stability of the model and find that the new parameter, $n$ introduced in VMCG plays a crucial role in determining the stability considerations and should always be \emph{negative.} We further observe that although the earlier model of Lu explains many of the current observational findings of different probes it fails the desirable tests of thermodynamical stability. We also note that for $n < 0$ our model points to a phantom type of expansion which, however, is found to be compatible with current SNe Ia observations and CMB anisotropy measurements. Further the third law of thermodynamics is obeyed in our case. Our model is very general in the sense that many of earlier works in this field may be obtained as a special case of our solution. An interesting point to note is that the model also apparently suggests a smooth transition from the big bang to the big rip in its whole evaluation process.


title: Winding number order in the Haldane model with interactions

abstract: We study the Haldane model with nearest-neighbor interactions. This model is physically motivated by the associated ultracold atoms implementation. We show that the topological phase of the interacting model can be characterized by a physically observable winding number. The robustness of this number extends well beyond the topological insulator phase towards attractive and repulsive interactions that are comparable to the kinetic energy scale of the model. We identify and characterize the relevant phases of the model.


title: On the Geometry of Cotangent Bundles of Lie Groups

abstract: Lie groups of automorphisms of cotangent bundles of Lie groups are completely characterized and interesting results are obtained. We give prominence to the fact that the Lie groups of automorphisms of cotangent bundles of Lie groups are super symmetric Lie groups. In the cases of orthogonal Lie lgebras, semi-simple Lie algebras and compact Lie algebras we recover by simple methods interesting co-homological known results. The Lie algebra of prederivations encompasses the one of derivations as a subalgebra. We find out that Lie algebras of cotangent Lie groups (which are not semi-simple) of semi-simple Lie groups have the property that all their prederivations are derivations. This result is an extension of a well known result due to M\"uller. The structure of the Lie algebra of prederivations of Lie algebras of cotangent bundles of Lie groups is explored and we have shown that the Lie algebra of prederivations of Lie algebras of cotangent bundle of Lie groups are reductive Lie algebras. We have studied bi-invariant metrics on cotangent bundles of Lie groups and their isometries. The Lie algebra of the Lie group of isometries of a bi-invariant metric on a Lie group is composed with prederivations of the Lie algebra which are skew-symmetric with respect to the induced orthogonal structure on the Lie algebra. We have shown that the Lie group of isometries of any bi-invariant metric on the cotangent bundle of any semi-simple Lie groups is generated by the exponentials of inner derivations of the Lie cotangent algebra. Last, we have dealt with an introduction to the geometry the Lie group of affine motions of the real line $\mathbb R$, which is a K\"ahlerian Lie group.


title: Probing the photon polarization in $B \to K^*\gamma$ with conversion

abstract: We re-examine the possibility to measure the photon polarization in $B \to K^*\gamma$ decays, via decays in which the photon subsequently undergoes nuclear conversion to a lepton pair. We obtain compact expressions for the full decay-plus-conversion amplitude. With these results we show that interference between the $B \to (K^*\to K\pi)\gamma$ decay and the $\gamma N \to \ell^+\ell^-N$ conversion permits both the ratio and relative weak phase between the left- and right-handed photon amplitudes to be probed by an angular observable, constructed from the final state dilepton, kaon and pion kinematic configuration. Exploiting this technique will be experimentally challenging. However, we present special kinematic cuts that enhance the statistical power of this technique by an $\mathcal{O}(1)$ factor. We verify this effect and extract pertinent angular kinematic distributions with dedicated numerical simulations.


title: On a question of K\"ulshammer for representations of finite groups in reductive groups

abstract: Let $G$ be a simple algebraic group of type $G_2$ over an algebraically closed field of characteristic $2$. We give an example of a finite group $\Gamma$ with Sylow $2$-subgroup $\Gamma_2$ and an infinite family of pairwise non-conjugate homomorphisms $\rho\colon \Gamma\rightarrow G$ whose restrictions to $\Gamma_2$ are all conjugate. This answers a question of Burkhard K\"ulshammer from 1995. We also give an action of $\Gamma$ on a connected unipotent group $V$ such that the map of 1-cohomologies ${\rm H}^1(\Gamma,V)\rightarrow {\rm H}^1(\Gamma_p,V)$ induced by restriction of 1-cocycles has an infinite fibre.


title: Transistor Switches using Active Piezoelectric Gate Barriers

abstract: This work explores the consequences of introducing a piezoelectric gate barrier in a normal field-effect transistor. Because of the positive feedback of strain and piezoelectric charge, internal charge amplification occurs in such an electromechanical capacitor resulting in a negative capacitance. The first consequence of this amplification is a boost in the on-current of the transistor. As a second consequence, employing the Lagrangian method, we find that by using the negative capacitance of a highly compliant piezoelectric barrier, one can potentially reduce the subthreshold slope of a transistor below the room temperature Boltzmann limit of 60 mV/decade. However, this may come at the cost of hysteretic behavior in the transfer characteristics.


title: Approximation and Estimation of s-Concave Densities via R\'enyi Divergences

abstract: In this paper, we study the approximation and estimation of $s$-concave densities via R\'enyi divergence. We first show that the approximation of a probability measure $Q$ by an $s$-concave densities exists and is unique via the procedure of minimizing a divergence functional proposed by Koenker and Mizera (2010) if and only if $Q$ admits full-dimensional support and a first moment. We also show continuity of the divergence functional in $Q$: if $Q_n \to Q$ in the Wasserstein metric, then the projected densities converge in weighted $L_1$ metrics and uniformly on closed subsets of the continuity set of the limit. Moreover, directional derivatives of the projected densities also enjoy local uniform convergence. This contains both on-the-model and off-the-model situations, and entails strong consistency of the divergence estimator of an $s$-concave density under mild conditions. One interesting and important feature for the R\'enyi divergence estimator of an $s$-concave density is that the estimator is intrinsically related with the estimation of log-concave densities via maximum likelihood methods. In fact, we show that for $d=1$ at least, the R\'enyi divergence estimators for $s$-concave densities converge to the maximum likelihood estimator of a log-concave density as $s \nearrow 0$. The R\'enyi divergence estimator shares similar characterizations as the MLE for log-concave distributions, which allows us to develop pointwise asymptotic distribution theory assuming that the underlying density is $s$-concave.


title: Two-dimensional exciton-polariton - light guiding by transition metal dichalcogenide monolayers

abstract: A monolayer of transition metal dichalcogenide (TMDC) is shown to be capable of supporting a guided optical mode below the exciton resonance, a two-dimensional exciton polariton. This visible or near IR mode is confined roughly within a micrometer from the monolayer and has propagation length exceeding 100 micrometers. The light guiding ability makes TMDC monolayers more versatile and potentially attractive photonic platform.


title: Phosphorene FETs: Promising transistors based on a few layers of phosphorus atoms

abstract: This paper reviews the emergence and progress of phosphorene FETs, all within about a year. In such a short time, back-gated FETs evolved into top-gated FETs, gate length was reduced to the sub-micron range, passivation by high-k dielectrics or hexagonal boron nitride was demonstrated with temporal, thermal and mechanical stability, ohmic contact was achieved down to cryogenic temperatures, and cutoff frequencies was pushed above 10 GHz. These and other attractive characteristics of phosphorene promise the phosphorene FET to be a viable candidate for current-generation flexible electronics as well as future-generation ultra-thin-body low-power-consumption high-speed and high-frequency transistors.


title: NLO QCD Corrections to $\eta_c+h_c(1P)/\psi_{1,2}(1D)$ Production at B-factories

abstract: We calculate the next-to-leading order (NLO) quantum chromodynamics (QCD) corrections to double charmonium production processes $e^+e^-\to\gamma^*\to\eta_c+h_c(1P)/\psi_{1,2}(1D)$ within the non-relativistic QCD (NRQCD) factorization framework. We find that the corrections to $\eta_c+h_c(1P)$ production are positive, while those to $\eta_c+\psi_{1,2}(1D)$ are negative. Unlike the $J/\psi + \eta_c$ case, all the corrections here are not large. Uncertainties in the renormalization scale, quark mass and running energy of center-of-mass are discussed, and the scale dependence of these processes is found to be greatly reduced with the NLO QCD corrections.


title: Tracking Many Solution Paths of a Polynomial Homotopy on a Graphics Processing Unit

abstract: Polynomial systems occur in many areas of science and engineering. Unlike general nonlinear systems, the algebraic structure enables to compute all solutions of a polynomial system. We describe our massive parallel predictor-corrector algorithms to track many solution paths of a polynomial homotopy. The data parallelism that provides the speedups stems from the evaluation and differentiation of the monomials in the same polynomial system at different data points, which are the points on the solution paths. Polynomial homotopies that have tens of thousands of solution paths can keep a sufficiently large amount of threads occupied. Our accelerated code combines the reverse mode of algorithmic differentiation with double double and quad double precision to compute more accurate results faster.


title: Making Sense of Hidden Layer Information in Deep Networks by Learning Hierarchical Targets

abstract: This paper proposes an architecture for deep neural networks with hidden layer branches that learn targets of lower hierarchy than final layer targets. The branches provide a channel for enforcing useful information in hidden layer which helps in attaining better accuracy, both for the final layer and hidden layers. The shared layers modify their weights using the gradients of all cost functions higher than the branching layer. This model provides a flexible inference system with many levels of targets which is modular and can be used efficiently in situations requiring different levels of results according to complexity. This paper applies the idea to a text classification task on 20 Newsgroups data set with two level of hierarchical targets and a comparison is made with training without the use of hidden layer branches.


title: Mode engineering with a one-dimensional superconducting metamaterial

abstract: We propose a way to control the Josephson energy of a single Josephson junction embedded in one- dimensional superconducting metamaterial: an inhomogeneous superconducting loop, made out of a superconducting nanowire or a chain of Josephson junctions. The Josephson energy is renormalized by the electromagnetic modes propagating along the loop. We study the behaviour of the modes as well as of their frequency spectrum when the capacitance and the inductance along the loop are spatially modulated. We show that, depending on the amplitude of the modulation, the renormalized Josephson energy is either larger or smaller than the one found for a homogeneous loop. Using typical experimental parameters for Josepshon junction chains and superconducting nanowires, we conclude that this mode-engineering can be achieved with currently available metamaterials.


title: Difference of forbidden pairs containing a claw

abstract: When we study forbidden subgraph conditions guaranteeing graphs to have some properties, a claw (or $K_{1,3}$) frequently appears as one of forbidden subgraphs. Recently, Furuya and Tsuchiya compared two classes generated by different forbidden pairs containing a claw, and characterized one of such classes. In this paper, we give such characterization for three new classes. Furthermore, we give applications of our characterizations to some forbidden subgraph problems.


title: Highway Networks

abstract: There is plenty of theoretical and empirical evidence that depth of neural networks is a crucial ingredient for their success. However, network training becomes more difficult with increasing depth and training of very deep networks remains an open problem. In this extended abstract, we introduce a new architecture designed to ease gradient-based training of very deep networks. We refer to networks with this architecture as highway networks, since they allow unimpeded information flow across several layers on "information highways". The architecture is characterized by the use of gating units which learn to regulate the flow of information through a network. Highway networks with hundreds of layers can be trained directly using stochastic gradient descent and with a variety of activation functions, opening up the possibility of studying extremely deep and efficient architectures.


title: Order-Revealing Encryption and the Hardness of Private Learning

abstract: An order-revealing encryption scheme gives a public procedure by which two ciphertexts can be compared to reveal the ordering of their underlying plaintexts. We show how to use order-revealing encryption to separate computationally efficient PAC learning from efficient $(\epsilon, \delta)$-differentially private PAC learning. That is, we construct a concept class that is efficiently PAC learnable, but for which every efficient learner fails to be differentially private. This answers a question of Kasiviswanathan et al. (FOCS '08, SIAM J. Comput. '11). To prove our result, we give a generic transformation from an order-revealing encryption scheme into one with strongly correct comparison, which enables the consistent comparison of ciphertexts that are not obtained as the valid encryption of any message. We believe this construction may be of independent interest.


title: Detail-preserving and Content-aware Variational Multi-view Stereo Reconstruction

abstract: Accurate recovery of 3D geometrical surfaces from calibrated 2D multi-view images is a fundamental yet active research area in computer vision. Despite the steady progress in multi-view stereo reconstruction, most existing methods are still limited in recovering fine-scale details and sharp features while suppressing noises, and may fail in reconstructing regions with few textures. To address these limitations, this paper presents a Detail-preserving and Content-aware Variational (DCV) multi-view stereo method, which reconstructs the 3D surface by alternating between reprojection error minimization and mesh denoising. In reprojection error minimization, we propose a novel inter-image similarity measure, which is effective to preserve fine-scale details of the reconstructed surface and builds a connection between guided image filtering and image registration. In mesh denoising, we propose a content-aware $\ell_{p}$-minimization algorithm by adaptively estimating the $p$ value and regularization parameters based on the current input. It is much more promising in suppressing noise while preserving sharp features than conventional isotropic mesh smoothing. Experimental results on benchmark datasets demonstrate that our DCV method is capable of recovering more surface details, and obtains cleaner and more accurate reconstructions than state-of-the-art methods. In particular, our method achieves the best results among all published methods on the Middlebury dino ring and dino sparse ring datasets in terms of both completeness and accuracy.


title: Non-equilibrium Theory of Arrested Spinodal Decomposition

abstract: The Non-equilibrium Self-consistent Generalized Langevin Equation theory of irreversible relax- ation [Phys. Rev. E (2010) 82, 061503; ibid. 061504] is applied to the description of the non- equilibrium processes involved in the spinodal decomposition of suddenly and deeply quenched simple liquids. For model liquids with hard-sphere plus attractive (Yukawa or square well) pair potential, the theory predicts that the spinodal curve, besides being the threshold of the thermo- dynamic stability of homogeneous states, is also the borderline between the regions of ergodic and non-ergodic homogeneous states. It also predicts that the high-density liquid-glass transition line, whose high-temperature limit corresponds to the well-known hard-sphere glass transition, at lower temperature intersects the spinodal curve and continues inside the spinodal region as a glass-glass transition line. Within the region bounded from below by this low-temperature glass-glass tran- sition and from above by the spinodal dynamic arrest line we can recognize two distinct domains with qualitatively different temperature dependence of various physical properties. We interpret these two domains as corresponding to full gas-liquid phase separation conditions and to the for- mation of physical gels by arrested spinodal decomposition. The resulting theoretical scenario is consistent with the corresponding experimental observations in a specific colloidal model system.


title: Learning and Efficiency in Games with Dynamic Population

abstract: We study the quality of outcomes in repeated games when the population of players is dynamically changing and participants use learning algorithms to adapt to the changing environment. Game theory classically considers Nash equilibria of one-shot games, while in practice many games are played repeatedly, and in such games players often use algorithmic tools to learn to play in the given environment. Most previous work on learning in repeated games assumes that the population playing the game is static over time. We analyze the efficiency of repeated games in dynamically changing environments, motivated by application domains such as Internet ad-auctions and packet routing. We prove that, in many classes of games, if players choose their strategies in a way that guarantees low adaptive regret, then high social welfare is ensured, even under very frequent changes. In fact, in large markets learning players achieve asymptotically optimal social welfare despite high turnover. Previous work has only showed that high welfare is guaranteed for learning outcomes in static environments. Our work extends these results to more realistic settings when participation is drastically evolving over time.


title: Some approximation results on Bleimann-Butzer-Hahn operators defined by (p,q)-integers

abstract: In this paper, we introduce a generalization of the Bleimann-Butzer-Hahn operators based on (p,q)-integers and obtain Korovkin's type approximation theorem for these operators. Furthermore, we compute convergence of these operators by using the modulus of continuity.


title: ReNet: A Recurrent Neural Network Based Alternative to Convolutional Networks

abstract: In this paper, we propose a deep neural network architecture for object recognition based on recurrent neural networks. The proposed network, called ReNet, replaces the ubiquitous convolution+pooling layer of the deep convolutional neural network with four recurrent neural networks that sweep horizontally and vertically in both directions across the image. We evaluate the proposed ReNet on three widely-used benchmark datasets; MNIST, CIFAR-10 and SVHN. The result suggests that ReNet is a viable alternative to the deep convolutional neural network, and that further investigation is needed.


title: A rotating hairy AdS3 black hole with the metric having only one Killing vector field

abstract: We perturbatively construct a three-dimensional rotating AdS black hole with a real scalar hair. We choose the mass of a scalar field slightly above the Breitenlohner-Freedman bound and impose a more general boundary condition for the bulk scalar field at AdS infinity. We first show that rotating BTZ black holes are unstable against superradiant modes under our more general boundary condition. Next we construct a rotating hairy black hole perturbatively with respect to a small amplitude $\epsilon$ of the scalar field, up to $O(\epsilon^4)$. The lumps of non-linearly perturbed geometry admit only one Killing vector field and co-rotate with the black hole, and it shows no dissipation. We numerically show that the entropy of our hairy black hole is larger than that of the BTZ black hole with the same energy and the angular momentum. This indicates, at least in the perturbative level, that our rotating hairy black hole in lumpy geometry can be the endpoint of the superradiant instability.


title: On semi-open codes and bi-continuing almost everywhere codes

abstract: We will show that a system is synchronized if and only if it has a cover whose cover map is semi-open. Also, any factor code on an irreducible sofic shift is semi-open and the image of a synchronized system by a semi-open code is synchronized. On the other side, right-closing semi-open extension of an irreducible shift of finite type is of finite type. Moreover, we give conditions on finite-to-one factor codes to be open and show that any semi-open code on a synchronized system is bi-continuing a.e.. We give some sufficient conditions for a right-continuing a.e. factor code being right-continuing everywhere.


title: Physical Layer Security in Massive MIMO

abstract: We consider a single-cell downlink massive MIMO communication in the presence of an adversary capable of jamming and eavesdropping simultaneously. We show that massive MIMO communication is naturally resilient to no training-phase jamming attack in which the adversary jams only the data communication and eavesdrops both the data communication and the training. Specifically, we show that the secure degrees of freedom (DoF) attained in the presence of such an attack is identical to the maximum DoF attained under no attack. Further, we evaluate the number of antennas that base station (BS) requires in order to establish information theoretic security without even a need for Wyner encoding. Next, we show that things are completely different once the adversary starts jamming the training phase. Specifically, we consider an attack, called training-phase jamming in which the adversary jams and eavesdrops both the training and the data communication. We show that under such an attack, the maximum secure DoF is equal to zero. Furthermore, the maximum achievable rates of users vanish even in the asymptotic regime in the number of BS antennas. To counter this attack, we develop a defense strategy in which we use a secret key to encrypt the pilot sequence assignments to hide them from the adversary, rather than encrypt the data. We show that, if the cardinality of the set of pilot signals are scaled appropriately, hiding the pilot signal assignments from the adversary enables the users to achieve secure DoF, identical to the maximum achievable DoF under no attack. Finally, we discuss how computational cryptography is a legitimate candidate to hide the pilot signal assignments. Indeed, while information theoretic security is not achieved with cryptography, the computational power necessary for the adversary to achieve a non-zero mutual information leakage rate goes to infinity.


title: Modelling high resolution Echelle spectrographs for calibrations: Hanle Echelle spectrograph, a case study

abstract: We present a modelling scheme that predicts the centroids of spectral line features for a high resolution Echelle spectrograph to a high accuracy. Towards this, a computing scheme is used, whereby any astronomical spectrograph can be modelled and controlled without recourse to a ray tracing program. The computations are based on paraxial ray trace and exact corrections added for certain surface types and Buchdahl aberration coefficients for complex modules. The resultant chain of paraxial ray traces and corrections for all relevant components is used to calculate the location of any spectral line on the detector under all normal operating conditions with a high degree of certainty. This will allow a semi-autonomous control using simple in-house, programming modules. The scheme is simple enough to be implemented even in a spreadsheet or in any scripting language. Such a model along with an optimization routine can represent the real time behaviour of the instrument. We present here a case study for Hanle Echelle Spectrograph. We show that our results match well with a popular commercial ray tracing software. The model is further optimized using Thorium Argon calibration lamp exposures taken during the preliminary alignment of the instrument. The model predictions matched the calibration frames at a level of 0.08 pixel. Monte Carlo simulations were performed to show the photon noise effect on the model predictions.


title: Block Basis Factorization for Scalable Kernel Matrix Evaluation

abstract: Kernel methods are widespread in machine learning; however, they are limited by the quadratic complexity of the construction, application, and storage of kernel matrices. Low-rank matrix approximation algorithms are widely used to address this problem and reduce the arithmetic and storage cost. However, we observed that for some datasets with wide intra-class variability, the optimal kernel parameter for smaller classes yields a matrix that is less well approximated by low-rank methods. In this paper, we propose an efficient structured low-rank approximation method -- the Block Basis Factorization (BBF) -- and its fast construction algorithm to approximate radial basis function (RBF) kernel matrices. Our approach has linear memory cost and floating-point operations for many machine learning kernels. BBF works for a wide range of kernel bandwidth parameters and extends the domain of applicability of low-rank approximation methods significantly. Our empirical results demonstrate the stability and superiority over the state-of-art kernel approximation algorithms.


title: Metareasoning for Planning Under Uncertainty

abstract: The conventional model for online planning under uncertainty assumes that an agent can stop and plan without incurring costs for the time spent planning. However, planning time is not free in most real-world settings. For example, an autonomous drone is subject to nature's forces, like gravity, even while it thinks, and must either pay a price for counteracting these forces to stay in place, or grapple with the state change caused by acquiescing to them. Policy optimization in these settings requires metareasoning---a process that trades off the cost of planning and the potential policy improvement that can be achieved. We formalize and analyze the metareasoning problem for Markov Decision Processes (MDPs). Our work subsumes previously studied special cases of metareasoning and shows that in the general case, metareasoning is at most polynomially harder than solving MDPs with any given algorithm that disregards the cost of thinking. For reasons we discuss, optimal general metareasoning turns out to be impractical, motivating approximations. We present approximate metareasoning procedures which rely on special properties of the BRTDP planning algorithm and explore the effectiveness of our methods on a variety of problems.


title: Measuring Infrared Surface Brightness Fluctuation Distances with HST WFC3: Calibration and Advice

abstract: We present new calibrations of the near-infrared surface brightness fluctuation (SBF) distance method for the F110W (J) and F160W (H) bandpasses of the Wide Field Camera 3 Infrared Channel (WFC3/IR) on the Hubble Space Telescope. The calibrations are based on data for 16 early-type galaxies in the Virgo and Fornax clusters observed with WFC3/IR and are provided as functions of both the optical (g-z) and near-infrared (J-H) colors. The scatter about the linear calibration relations for the luminous red galaxies in the sample is approximately 0.10 mag, corresponding to a statistical error of 5% in distance. Our results imply that the distance to any suitably bright elliptical galaxy can be measured with this precision out to about 80 Mpc in a single-orbit observation with WFC3/IR, making this a remarkably powerful instrument for extragalactic distances. The calibration sample also includes much bluer and lower-luminosity galaxies than previously used for IR SBF studies, revealing interesting population differences that cause the calibration scatter to increase for dwarf galaxies.


title: Visualization of Tradeoff in Evaluation: from Precision-Recall & PN to LIFT, ROC & BIRD

abstract: Evaluation often aims to reduce the correctness or error characteristics of a system down to a single number, but that always involves trade-offs. Another way of dealing with this is to quote two numbers, such as Recall and Precision, or Sensitivity and Specificity. But it can also be useful to see more than this, and a graphical approach can explore sensitivity to cost, prevalence, bias, noise, parameters and hyper-parameters. Moreover, most techniques are implicitly based on two balanced classes, and our ability to visualize graphically is intrinsically two dimensional, but we often want to visualize in a multiclass context. We review the dichotomous approaches relating to Precision, Recall, and ROC as well as the related LIFT chart, exploring how they handle unbalanced and multiclass data, and deriving new probabilistic and information theoretic variants of LIFT that help deal with the issues associated with the handling of multiple and unbalanced classes.


title: Noise in pulsar timing arrays

abstract: To successfully detect gravitational waves with pulsar timing arrays, we need to have a comprehensive understanding of the physical origins and statistical characteristics of the noise in pulse arrival times and identify mitigation methods to reduce the noise. In this paper we will review radiometer noise, phase jitter noise and timing noise in the noise budget of pulsar timing and show various efforts used to reduce them. We will briefly discuss the results of an overall assessment of the components and physical causes of the timing residuals for millisecond pulsars in the North American Nanohertz Observatory for Gravitational Waves (NANOGrav).


title: Integration of derivations for Lie $2$-algebras

abstract: In this paper, for a Lie 2-algebra $\g$, we construct the automorphism 2-group $\Aut(\g)$, which turns out to be an integration of the derivation Lie 2-algebra $\Der(\g)$.


title: Mild bounds on bigravity from primordial gravitational waves

abstract: If the amplitude of primordial gravitational waves is measured in the near-future, what could it tell us about bigravity? To address this question, we study massive bigravity theories by focusing on a region in parameter space which is safe from known instabilities. Similarly to investigations on late time constraints, we implicitly assume there is a successful implementation of the Vainshtein mechanism which guarantees that standard cosmological evolution is largely unaffected. We find that viable bigravity models are subject to far less stringent constraints than massive gravity, where there is only one set of (massive) tensor modes. In principle sensitive to the effective graviton mass at the time of recombination, we find that in our setup the primordial tensor spectrum is more responsive to the dynamics of the massless tensor sector rather than its massive counterpart. We further show there are intriguing windows in the parameter space of the theory which could potentially induce distinctive signatures in the B-modes spectrum.


title: Highly Retrievable Spinwave-Photon Entanglement Source

abstract: Entanglement between a single photon and a quantum memory forms the building blocks for quantum repeater and quantum network. Previous entanglement sources are typically with low retrieval efficiency, which limits future larger-scale applications. Here, we report a source of highly retrievable spinwave-photon entanglement. Polarization entanglement is created through interaction of a single photon with ensemble of atoms inside a low-finesse ring cavity. The cavity is engineered to be resonant for dual spinwave modes, which thus enables efficient retrieval of the spinwave qubit. An intrinsic retrieval efficiency up to 76(4)% has been observed. Such a highly retrievable atom-photon entanglement source will be very useful in future larger-scale quantum repeater and quantum network applications.


title: Non-commutative Gravity and the Einstein-Van der Waals Equation of State

abstract: A calculation by Jacobson [1] strongly implies that the field equations which describe gravity are emergent phenomena. In this paper, the method is extended to the case of a non-commutative spacetime. By making use of a non-commutative version of the Raychaudhuri equation, a new set of non-commutative Einstein equations is derived. The results demonstrate that it is possible to use spacetime thermodynamics to work with non-commutative gravity without the need to vary a non-commutative action.


title: Coronal sources and in situ properties of the solar winds sampled by ACE during 1999-2008

abstract: We identify the coronal sources of the solar winds sampled by the ACE spacecraft during 1999-2008, and examine the in situ solar wind properties as a function of wind sources. The standard two-step mapping technique is adopted to establish the photospheric footpoints of the magnetic flux tubes along which the ACE winds flow. The footpoints are then placed in the context of EIT 284~\AA\ images and photospheric magnetograms, allowing us to categorize the sources into four groups: coronal holes (CHs), active regions (ARs), the quiet Sun (QS), and "Undefined". This practice also enables us to establish the response to solar activity of the fractions occupied by each kind of solar winds, and of their speeds and O$^{7+}$/O$^{6+}$ ratios measured in situ. We find that during the maximum phase, the majority of ACE winds originate from ARs. During the declining phase, CHs and ARs are equally important contributors to the ACE solar winds. The QS contribution increases with decreasing solar activity, and maximizes in the minimum phase when QS appear to be the primary supplier of the ACE winds. With decreasing activity, the winds from all sources tend to become cooler, as represented by the increasingly low O$^{7+}$/O$^{6+}$ ratios. On the other hand, during each activity phase, the AR winds tend to be the slowest and associated with the highest O$^{7+}$/O$^{6+}$ ratios, and the CH winds correspond to the other extreme, with the QS winds lying in between. Applying the same analysis method to the slow winds only, here defined as the winds with speeds lower than 500 km s$^{-1}$, we find basically the same overall behavior, as far as the contributions of individual groups of sources are concerned. This statistical study indicates that QS regions are an important source of the solar wind during the minimum phase.


title: Free energy analysis for a system of interacting particles arranged in Bravais lattice

abstract: We propose a method of free energy calculation for a system of interacting particles arranged in a Bravais lattice. It will be shown how to treat divergences for infinite unbounded systems with "catastrophic" potetntials like Coulomb and compare two of them. Besides, we show that current method may be used not only for essentially classical systems, but for some quantum as well. Two systems are considered: grains in dusty plasma and electrons on the liquid-helium surface. For dusty-plasma parameters of grain's lattice are calculated by numerical solution of obtained equations. Electrons on the liquid-helium surface are analyzed to get localization distance. Besides, conditions for existence of electron lattice are found.


title: On the Hardy--Littlewood majorant problem for arithmetic sets

abstract: The aim of this paper is to exhibit a wide class of sparse deterministic sets, $\mathbf B \subseteq \mathbb{N}$, so that \[ \limsup_{N \to \infty} N^{-1}|\mathbf B \cap [1,N]|= 0, \] for which the Hardy--Littlewood majorant property holds: \[ \sup_{|a_n|\le 1} \Big\| \sum_{n\in\mathbf B\cap[1, N]} a_n e^{2 \pi i n \xi}\Big \|_{L^p(\mathbb{T}, {\mathrm d} \xi)} \leq \mathbf{C}_p \Big\| \sum_{n\in\mathbf B\cap[1, N]} e^{2 \pi i n \xi} \Big\|_{L^p(\mathbb{T}, {\mathrm d} \xi)}, \] where $p \geq p_{\mathbf{B}}$ is sufficiently large, the implicit constant $\mathbf{C}_p$ is independent of $N$, and the supremum is taken over all complex sequences $ (a_n : n \in \mathbb{N})$ such that $|a_n| \leq 1$.


title: Martens-Mumford's Theorems for Brill-Noether Schemes arising from Very Ample Line Bundles

abstract: Tangent Spaces of V^r_d(L), Specific subschemes of C_d arising from various line bundles on C, are described. Then we proceed to prove Martense Theorem for these schemes, by which we determine curves C, which for some very ample line bundle L on C and some integers r and d with d\leq h^{0}(L)-2, the subscheme V^r_d(L) might attain its maximum dimension.


title: The impact of latent heating on the location, strength and structure of the Tropical Easterly Jet in the Community Atmosphere Model, version 3.1: Aqua-planet simulations

abstract: The Tropical Easterly Jet (TEJ) is a prominent atmospheric circulation feature observed during the Asian Summer Monsoon (ASM). The simulation of TEJ by the Community Atmosphere Model, version 3.1 (CAM-3.1) has been discussed in detail. Although the simulated TEJ replicates many observed features of the jet, the jet maximum is located too far to the west when compared to observation. Orography has minimal impact on the simulated TEJ hence indicating that latent heating is the crucial parameter. A series of aqua-planet experiments with increasing complexity was undertaken to understand the reasons for the extreme westward shift of the TEJ. The aqua-planet simulations show that a single heat source in the deep tropics is inadequate to explain the structure of the observed TEJ. Equatorial heating is necessary to impart a baroclinic structure and a realistic meridional structure. Jet zonal wind speeds are directly related to the magnitude of deep tropical heating. The location of peak zonal wind is influenced by off-equatorial heating which is closest to it. Hence the presence of excess rainfall in Saudi Arabia has been shown to be the primary reason for the extreme westward shift of the TEJ maximum.


title: On a fast bilateral filtering formulation using functional rearrangements

abstract: We introduce an exact reformulation of a broad class of neighborhood filters, among which the bilateral filters, in terms of two functional rearrangements: the decreasing and the relative rearrangements. Independently of the image spatial dimension (one-dimensional signal, image, volume of images, etc.), we reformulate these filters as integral operators defined in a one-dimensional space corresponding to the level sets measures. We prove the equivalence between the usual pixel-based version and the rearranged version of the filter. When restricted to the discrete setting, our reformulation of bilateral filters extends previous results for the so-called fast bilateral filtering. We, in addition, prove that the solution of the discrete setting, understood as constant-wise interpolators, converges to the solution of the continuous setting. Finally, we numerically illustrate computational aspects concerning quality approximation and execution time provided by the rearranged formulation.


title: On the regularity of the solutions of Dirichlet optimal control problems in polygonal domains

abstract: A linear quadratic Dirichlet control problem posed on a possibly non-convex polygonal domain is analyzed. Detailed regularity results are provided in classical Sobolev (Slobodetskii) spaces. In particular, it is proved that in the presence of control constraints, the optimal control is continuous despite the non-convexity of the domain.


title: A dual singular complement method for the numerical solution of the Poisson equation with $L^2$ boundary data in non-convex domains

abstract: The very weak solution of the Poisson equation with $L^2$ boundary data is defined by the method of transposition. The finite element solution with regularized boundary data converges with order $1/2$ in convex domains but has a reduced convergence order in non-convex domains. As a remedy, a dual variant of the singular complement method is proposed. The error order of the convex case is retained. Numerical experiments confirm the theoretical results.


title: Infinitesimal generators and quasi non-archimedean topological groups

abstract: We show that connected separable locally compact groups are infinitesimally finitely generated, meaning that there is an integer $n$ such that every neighborhood of the identity contains $n$ elements generating a dense subgroup. We generalize a theorem of Schreier and Ulam by showing that any separable connected compact group is infinitesimally $2$-generated. Inspired by a result of Kechris, we introduce the notion of a quasi non-archimedean group. We observe that full groups are quasi non-archimedean, and that every continuous homomorphism from an infinitesimally finitely generated group into a quasi non-archimedean group is trivial. We prove that a locally compact group is quasi non-archimedean if and only if it is totally disconnected, and provide various examples which show that the picture is much richer for Polish groups. In particular, we get an example of a Polish group which is infinitesimally $1$-generated but totally disconnected, strengthening Stevens' negative answer to Problem 160 from the Scottish book.


title: Entanglement rates for bipartite open systems

abstract: We provide upper bound on the maximal rate at which irreversible quantum dynamics can generate entanglement in a bipartite system. The generator of irreversible dynamics consists of a Hamiltonian and dissipative terms in Lindblad form. The relative entropy of entanglement is chosen as a measure of entanglement in an ancilla-free system. We provide an upper bound on the entangling rate which has a logarithmic dependence on a dimension of a smaller system in a bipartite cut. We also investigate the rate of change of quantum mutual information in an ancilla-assisted system and provide an upper bound independent of dimension of ancillas.


title: A Note on Projectivized Tangent Cone Quadrics of a Prym Canonical Curve

abstract: Throughout the paper, among other esults, we give partial analogues of theorem 1.1 for projectivized tangent cone quadrics of rank equal or less than 4, for Prymians.


title: Uni-directional synchronization and frequency difference locking induced by a heteroclinic ratchet

abstract: A system of four coupled oscillators that exhibits unusual synchronization phenomena has been ana- lyzed. Existence of a one-way heteroclinic network, called heteroclinic ratchet, gives rise to uni-directional (de)synchronization between certain groups of cells. Moreover, we show that locking in frequency differ- ences occur when a small white noise is added to the dynamics of oscillators.


title: On the structure of subsets of an orderable group with some small doubling properties

abstract: The aim of this paper is to present a complete description of the structure of subsets S of an orderable group G satisfying |S^2| = 3|S|-2 and <S> is non-abelian.


title: Characterization of Low Dimensional $RCD^*(K,N)$ spaces

abstract: In this paper, we give the characterization of metric measure spaces that satisfy synthetic lower Riemannian Ricci curvature bounds (so called $RCD^*(K,N)$ spaces) with \emph{non-empty} one dimensional regular sets. In particular, we prove that the class of Ricci limit spaces with $Ric \ge K$ and Hausdorff dimension $N$ and the class of $RCD^*(K,N)$ spaces coincide for $N < 2$ (They can be either complete intervals or circles). We will also prove a Bishop-Gromov type inequality ( that is ,roughly speaking, a converse to the L\'{e}vy-Gromov's isoperimetric inequality and was previously only known for Ricci limit spaces) which might be also of independent interest.


title: Transverse instability for nonlinear Schr\"odinger equation with a linear potential

abstract: In this paper we consider the transverse instability for a nonlinear Schr\"odinger equation with a linear potential on $\mathbb{R} \times \mathbb{T}_L$, where $2\pi L$ is the period of the torus $\mathbb{T}_L$. Rose and Weinstein showed the existence of a stable standing wave for a nonlinear Schr\"odinger equation with a linear potential. We regard the standing wave of nonlinear Schr\"odinger equation on $\mathbb{R}$ as a line standing wave of nonlinear Schr\"odinger equation on $\mathbb{R} \times \mathbb{T}_L$. We show the stability of line standing waves for all $L>0$.


title: Server component installation and testing of the university information and educational environment on the Moodle LMS platform

abstract: The informational educational environment (IEE) of an institution is a complex multilevel system which, along with methodical, organizational and cultural resources, accumulates the intellectual and technical potential of a university, as well as the informative and activity components of the learners and teachers. In practice, the formation of IEE is actually based on the creation of information technologies and their integration into the existing educational environment of the institution. The management of this system is carried out using specialized equipment and software. For the successful formation and operation of IEE, in the present work we review software products that form the basis of the organization of interactive and web interactions between students, teachers and all participants of the educational process. We analyse the technical capabilities that have provided users with IEE services such as the Apache web server with connected modules PHP, MySQL, the Java virtual machine and the Red5 server. We demonstrate the possibility of obtaining results from the interaction of these products, and reports on users' work in webinars, video conferences and web conferences.


title: Optimal Time-Series Motifs

abstract: Motifs are the most repetitive/frequent patterns of a time-series. The discovery of motifs is crucial for practitioners in order to understand and interpret the phenomena occurring in sequential data. Currently, motifs are searched among series sub-sequences, aiming at selecting the most frequently occurring ones. Search-based methods, which try out series sub-sequence as motif candidates, are currently believed to be the best methods in finding the most frequent patterns. However, this paper proposes an entirely new perspective in finding motifs. We demonstrate that searching is non-optimal since the domain of motifs is restricted, and instead we propose a principled optimization approach able to find optimal motifs. We treat the occurrence frequency as a function and time-series motifs as its parameters, therefore we \textit{learn} the optimal motifs that maximize the frequency function. In contrast to searching, our method is able to discover the most repetitive patterns (hence optimal), even in cases where they do not explicitly occur as sub-sequences. Experiments on several real-life time-series datasets show that the motifs found by our method are highly more frequent than the ones found through searching, for exactly the same distance threshold.


title: Electron Neutrino Classification in Liquid Argon Time Projection Chamber Detector

abstract: Neutrinos are one of the least known elementary particles. The detection of neutrinos is an extremely difficult task since they are affected only by weak sub-atomic force or gravity. Therefore large detectors are constructed to reveal neutrino's properties. Among them the Liquid Argon Time Projection Chamber (LAr-TPC) detectors provide excellent imaging and particle identification ability for studying neutrinos. The computerized methods for automatic reconstruction and identification of particles are needed to fully exploit the potential of the LAr-TPC technique. Herein, the novel method for electron neutrino classification is presented. The method constructs a feature descriptor from images of observed event. It characterizes the signal distribution propagated from vertex of interest, where the particle interacts with the detector medium. The classifier is learned with a constructed feature descriptor to decide whether the images represent the electron neutrino or cascade produced by photons. The proposed approach assumes that the position of primary interaction vertex is known. The method's performance in dependency to the noise in a primary vertex position and deposited energy of particles is studied.


title: Well-posedness of the two-dimensional generalized Benjamin-Bona-Mahony equation on the upper half plane

abstract: This paper focuses on the two-dimensional Benjamin-Bona-Mahony and Benjamin-Bona-Mahony-Burgers equations with a general flux function. The aim is at the global (in time) well-posedness of the initial-and boundary-value problem for these equations defined in the upper half-plane. Under suitable growth conditions on the flux function, we are able to establish the global well-posedness in a Sobolev class. When the initial- and boundary-data become more regular, the corresponding solutions are shown to be classical. In addition, the continuous dependence on the data is also obtained.


title: High-Dimensional CSI Acquisition in Massive MIMO: Sparsity-Inspired Approaches

abstract: Massive MIMO has been regarded as one of the key technologies for 5G wireless networks, as it can significantly improve both the spectral efficiency and energy efficiency. The availability of high-dimensional channel side information (CSI) is critical for its promised performance gains, but the overhead of acquiring CSI may potentially deplete the available radio resources. Fortunately, it has recently been discovered that harnessing various sparsity structures in massive MIMO channels can lead to significant overhead reduction, and thus improve the system performance. This paper presents and discusses the use of sparsity-inspired CSI acquisition techniques for massive MIMO, as well as the underlying mathematical theory. Sparsity-inspired approaches for both frequency-division duplexing and time-division duplexing massive MIMO systems will be examined and compared from an overall system perspective, including the design trade-offs between the two duplexing modes, computational complexity of acquisition algorithms, and applicability of sparsity structures. Meanwhile, some future prospects for research on high-dimensional CSI acquisition to meet practical demands will be identified.


title: Global Existence and Optimal Decay Rates of Solutions for Compressible Hall-MHD Equations

abstract: In this paper, we are concerned with global existence and optimal decay rates of solutions for the three-dimensional compressible Hall-MHD equations. First, we prove the global existence of strong solutions by the standard energy method under the condition that the initial data are close to the constant equilibrium state in $H^2$-framework. Second, optimal decay rates of strong solutions in $L^2$-norm are obtained if the initial data belong to $L^1$ additionally. Finally, we apply Fourier splitting method by Schonbek [Arch.Rational Mech. Anal. 88 (1985)] to establish optimal decay rates for higher order spatial derivatives of classical solutions in $H^3$-framework, which improves the work of Fan et al.[Nonlinear Anal. Real World Appl. 22 (2015)].


title: A Linear-Time Particle Gibbs Sampler for Infinite Hidden Markov Models

abstract: Infinite Hidden Markov Models (iHMM's) are an attractive, nonparametric generalization of the classical Hidden Markov Model which can automatically infer the number of hidden states in the system. However, due to the infinite-dimensional nature of transition dynamics performing inference in the iHMM is difficult. In this paper, we present an infinite-state Particle Gibbs (PG) algorithm to resample state trajectories for the iHMM. The proposed algorithm uses an efficient proposal optimized for iHMMs and leverages ancestor sampling to suppress degeneracy of the standard PG algorithm. Our algorithm demonstrates significant convergence improvements on synthetic and real world data sets. Additionally, the infinite-state PG algorithm has linear-time complexity in the number of states in the sampler, while competing methods scale quadratically.


title: Urban skylines from Schelling model

abstract: We propose a metapopulation version of the Schelling model where two kinds of agents relocate themselves, with unconstrained destination, if their local fitness is lower than a tolerance threshold. We show that, for small values of the latter, the population redistributes highly heterogeneously among the available places. The system thus stabilizes on these heterogeneous skylines after a long quasi-stationary transient period, during which the population remains in a well mixed phase. Varying the tolerance passing from large to small values, we identify three possible global regimes: microscopic clusters with local coexistence of both kinds of agents, macroscopic clusters with local coexistence (soft segregation), macroscopic clusters with local segregation but homogeneous densities (hard segregation). The model is studied numerically and complemented with an analytical study in the limit of extremely large node capacity.


title: A Unified Stability Analysis Approach for a Class of Interconnected System

abstract: From the structural perspective, this paper investigates a new formulation of the concept of input-to-state stability (ISS), and based on this formulation, proposes a new stability analysis approach for a class of interconnected system. The new formulation of ISS is better able to reflect the tendency of the state $x(t)$ tracking the input $u(t)$ and weakens the conservative of the original form. The stability analysis method which transforms the interconnected system into the equivalent cascade form, does not depend on the Lyapunov function, breaks through the limitation of the small-gain theorem and extends the application of ISS. As its applications in three typical kinds of interconnected systems, this method is used to prove the small-gain theorem again and analyzes the stability of a class of interconnected system and the consensus of the multi-agent system (MAS).


title: The Role of Temperature and Magnetic Effects on the Stacking-fault Energy in Austenitic Iron

abstract: We have investigated the role of temperature and magnetic effects on the stacking-fault energy (SFE) in pure austenitic iron based on Density Functional Theory (DFT) calculations. Using the axial next-nearest-neighbor Ising (ANNNI) model, the SFE is expanded in terms of the free energiesof bulk with face-centered cubic (fcc), hexagonal close-packed (hcp), and double-hcp (dhcp) structures. The free-energy calculations require the lattice constant and the local magnetic moments at various temperatures. The earlier is obtained from the available experimental data, while the later is calculated by accounting for the thermal magnetic excitations using the Monte-Carlo tech- niques. Our results demonstrate a strong dependence of the SFE on the magnetic effects in pure iron. Moreover, we found that the SFE increases with temperature.


title: Object Class Detection and Classification using Multi Scale Gradient and Corner Point based Shape Descriptors

abstract: This paper presents a novel multi scale gradient and a corner point based shape descriptors. The novel multi scale gradient based shape descriptor is combined with generic Fourier descriptors to extract contour and region based shape information. Shape information based object class detection and classification technique with a random forest classifier has been optimized. Proposed integrated descriptor in this paper is robust to rotation, scale, translation, affine deformations, noisy contours and noisy shapes. The new corner point based interpolated shape descriptor has been exploited for fast object detection and classification with higher accuracy.


title: Unique tracial state on the labeled graph $C^*$-algebra associated to Thue--Morse sequence

abstract: We give a concrete formula for the unique faithful trace on the finite simple non-AF labeled graph $C^*$-algebra $C^*(E_{\mathbb{Z}}, \mathcal{L}, \overline{\mathcal{E}}_{\mathbb{Z}})$ associated to the Thue--Morse sequence $(E_{\mathbb{Z}}, \mathcal{L})$. Our result provides an alternative proof of the existence of a labeled graph $C^*$-algebra that is not Morita equivalent to any graph $C^*$-algebras. Furthermore, we compute the $K$-groups of $C^*(E_{\mathbb{Z}}, \mathcal{L}, \overline{\mathcal{E}}_{\mathbb{Z}})$ using the path structure of the Thue--Morse sequence.


title: Exploring Packaging Strategies of Nano-embedded Thermoelectric Generators

abstract: Embedding nanostructures within a bulk matrix is an important practical approach towards the electronic engineering of high performance thermoelectric systems. For power generation applications, it ideally combines the efficiency benefit offered by low dimensional systems along with the high power output advantage offered by bulk systems. In this work, we uncover a few crucial details about how to embed nanowires and nanoflakes in a bulk matrix so that an overall advantage over pure bulk may be achieved. First and foremost, we point out that a performance degradation with respect to bulk is inevitable as the nanostructure transitions to being multi moded. It is then shown that a nano embedded system of suitable cross-section offers a power density advantage over a wide range of efficiencies at higher packing fractions, and this range gradually narrows down to the high efficiency regime, as the packing fraction is reduced. Finally, we introduce a metric - \emph{the advantage factor}, to elucidate quantitatively, the enhancement in the power density offered via nano-embedding at a given efficiency. In the end, we explore the maximum effective width of nano-embedding which serves as a reference in designing generators in the efficiency range of interest.


title: Semiconducting graphene from highly ordered substrate interactions

abstract: While numerous methods have been proposed to produce semiconducting graphene, a significant bandgap has never been demonstrated. The reason is that, regardless of the theoretical gap formation mechanism, disorder at the sub-nanometer scale prevents the required chiral symmetry breaking necessary to open a bandgap in graphene. In this work, we show for the first time that a 2D semiconducting graphene film can be made by epitaxial growth. Using improved growth methods, we show by direct band measurements that a bandgap greater than 0.5 eV can be produced in the first graphene layer grown on the SiC(0001) surface. This work demonstrates that order, a property that remains lacking in other graphene systems, is key to producing electronically viable semiconducting graphene.


title: Global solution for the coagulation equation of water droplets in atmosphere between two horizontal planes

abstract: In this paper we give a global existence and uniqueness theorem for an initial and boundary value problem (IBVP) relative to the coagulation equation of water droplets and we show the convergence of the global solution to the stationary solution. The coagulation equation is an integro-differential equation that describes the variation of the density $\sigma$ of water droplets in the atmosphere. Furthermore, IBVP is considered on a strip limited by two horizontal planes and its boundary condition is such that rain fall from the strip. To obtain this result of global existence of the solution $\sigma$ in the space of bounded continuous functions, through the method of characteristics, we assume bounded continuous and small data, whereas the vector field, besides being bounded continuous, has $W^{1,\infty}-$ regularity in space.


title: Efficiency Guarantees from Data

abstract: Analysis of efficiency of outcomes in game theoretic settings has been a main item of study at the intersection of economics and computer science. The notion of the price of anarchy takes a worst-case stance to efficiency analysis, considering instance independent guarantees of efficiency. We propose a data-dependent analog of the price of anarchy that refines this worst-case assuming access to samples of strategic behavior. We focus on auction settings, where the latter is non-trivial due to the private information held by participants. Our approach to bounding the efficiency from data is robust to statistical errors and mis-specification. Unlike traditional econometrics, which seek to learn the private information of players from observed behavior and then analyze properties of the outcome, we directly quantify the inefficiency without going through the private information. We apply our approach to datasets from a sponsored search auction system and find empirical results that are a significant improvement over bounds from worst-case analysis.


title: Leading Undergraduate Students to Big Data Generation

abstract: People are facing a flood of data today. Data are being collected at unprecedented scale in many areas, such as networking, image processing, virtualization, scientific computation, and algorithms. The huge data nowadays are called Big Data. Big data is an all encompassing term for any collection of data sets so large and complex that it becomes difficult to process them using traditional data processing applications. In this article, the authors present a unique way which uses network simulator and tools of image processing to train students abilities to learn, analyze, manipulate, and apply Big Data. Thus they develop students handson abilities on Big Data and their critical thinking abilities. The authors used novel image based rendering algorithm with user intervention to generate realistic 3D virtual world. The learning outcomes are significant.


title: Sobolev spaces and Bochner Laplacian on complex projective varieties and stratified pseudomanifolds

abstract: Let $V\subset \mathbb{C}\mathbb{P}^n$ be an irreducible complex projective variety of complex dimension $v$ and let $g$ be the K\"ahler metric on $\reg(V)$, the regular part of $V$, induced by the Fubini Study metric of $\mathbb{C}\mathbb{P}^n$. In this setting Li and Tian proved that $W^{1,2}_0(\reg(V),g)=W^{1,2}(\reg(V),g)$, that the natural inclusion $W^{1,2}(\reg(V),g)\hookrightarrow L^2(\reg(V),g)$ is a compact operator and that the heat operator associated to the Friedrich extension of the scalar Laplacian $\Delta_0:C^{\infty}_c(\reg(V))\rightarrow C^{\infty}_c(\reg(V))$, that is $e^{-t\Delta_0^{\mathcal{F}}}:L^2(\reg(V),g)\rightarrow L^2(\reg(V),g)$, is a trace class operator. The goal of this paper is to provide an extension of the above result to the case of Sobolev spaces of sections and symmetric Schr\"odinger type operators with potential bounded from below where the underling riemannian manifold is the regular part of a complex projective variety endowed with the Fubini-Study metric or the regular part of a stratified pseudomanifold endowed an iterated edge metric.


title: Cancellations in power series of sine type

abstract: We present a method to study the behavior of a power series of type $$f(x):=\sum_{n=0}^\infty (-1)^n c_n\frac{x^{2n+1}}{(2n+1)!}$$ when $x\to\infty$. We apply our method to study the function $$f(t):=\int_0^t\frac{dx}{x}\int_0^x\frac{dy}{y}\int_0^y\frac{dz}{z}\bigl\{ \sin x+\sin(x-y)-\sin(x-z)-\sin(x-y+z)\bigr\}.$$ We will derive various different representations of $f(t)$ by means of which it will be shown that $\lim_{t\to+\infty}f(t)=0$, disproving a conjecture by Z. Silagadze, claiming that this limit equals $-\pi^3/12$.


title: Observation of Rapid Change of Crystalline Structure during the Phase Transition of the Palladium-Hydrogen System

abstract: We performed an X-ray diffraction experiment while palladium bulk absorbed and desorbed hydrogen to investigate the behavior of the crystalline lattice during the phase transition between the $\alpha$ phase and $\beta$ phase. Fast growth of $\beta$ phase was observed around x=0.1 and x=0.45 of PdH$_x$. In addition, slight compression of the lattice at high hydrogen concentration and increase in the lattice constant and the line width of the $\alpha$ phase after a cycle of absorption and desorption of hydrogen was observed. These behavior correlated with the change in the sample length, which may infer that the change in shape was related to the phase transition.


title: The VIMOS Public Extragalactic Redshift Survey (VIPERS): On the correct recovery of the count-in-cell probability distribution function

abstract: We compare three methods to measure the count-in-cell probability density function of galaxies in a spectroscopic redshift survey. From this comparison we found that when the sampling is low (the average number of object per cell is around unity) it is necessary to use a parametric method to model the galaxy distribution. We used a set of mock catalogues of VIPERS, in order to verify if we were able to reconstruct the cell-count probability distribution once the observational strategy is applied. We find that in the simulated catalogues, the probability distribution of galaxies is better represented by a Gamma expansion than a Skewed Log-Normal. Finally, we correct the cell-count probability distribution function from the angular selection effect of the VIMOS instrument and study the redshift and absolute magnitude dependency of the underlying galaxy density function in VIPERS from redshift $0.5$ to $1.1$. We found very weak evolution of the probability density distribution function and that it is well approximated, independently from the chosen tracers, by a Gamma distribution.


title: On exponential growth of degrees

abstract: A short proof to a recent theorem of Giambruno and Mishchenko is given in this note.


title: Some Theoretical Properties of a Network of Discretely Firing Neurons

abstract: The problem of optimising a network of discretely firing neurons is addressed. An objective function is introduced which measures the average number of bits that are needed for the network to encode its state. When this is minimised, it is shown that this leads to a number of results, such as topographic mappings, piecewise linear dependence on the input of the probability of a neuron firing, and factorial encoder networks.


title: Driving magnetic skyrmions with microwave fields

abstract: We show theoretically by numerically solving the Landau-Lifshitz-Gilbert equation with a classical spin model on a two-dimensional system that both magnetic skyrmions and skyrmion lattices can be moved with microwave magnetic fields. The mechanism is enabled by breaking the axial symmetry of the skyrmion, for example through application of a static in-plane external field. The net velocity of the skyrmion depends on the frequency and amplitude of the microwave fields as well as the strength of the in-plane field. The maximum velocity is found where the frequency of the microwave coincides with the resonance frequency of the breathing mode of the skyrmions.


title: Tessellations and Positional Representation

abstract: The main goal of this paper is to define a 1-1 correspondence between between substitution tilings constructed by inflation and the arithmetic of positional representation in the underlying real vector space. It introduces a generalization of inflationary tessellations to equivalence classes of tiles. Two tiles belong to the same class if they share a defined geometric property, such as equivalence under a group of isometries, having the same measure, or having the same `decoration'. Some properties of ordinary tessellations for which the equivalence relation is congruence with respect to the full group of isometries are already determined by the weaker relation of equivalence with respect to equal measure. In particular, the multiplier for an inflationary tiling (such as a Penrose aperiodic tiling) is an algebraic number. Equivalence of tiles under measure facilitates the investigation of properties of tilings that are independent of dimension, and provides a method for transferring tilings from one dimension to another. Three well-known aperiodic tilings illustrate aspects of the correspondence: a tiling of Ammann, a Penrose tiling, and the monotiling of Taylor and Socolar-Taylor.


title: Cooperative look-ahead control for fuel-efficient and safe heavy-duty vehicle platooning

abstract: The operation of groups of heavy-duty vehicles (HDVs) at a small inter-vehicular distance (known as platoon) allows to lower the overall aerodynamic drag and, therefore, to reduce fuel consumption and greenhouse gas emissions. However, due to the large mass and limited engine power of HDVs, slopes have a significant impact on the feasible and optimal speed profiles that each vehicle can and should follow. Therefore maintaining a short inter-vehicular distance as required by platooning without coordination between vehicles can often result in inefficient or even unfeasible trajectories. In this paper we propose a two-layer control architecture for HDV platooning aimed to safely and fuel-efficiently coordinate the vehicles in the platoon. Here, the layers are responsible for the inclusion of preview information on road topography and the real-time control of the vehicles, respectively. Within this architecture, dynamic programming is used to compute the fuel-optimal speed profile for the entire platoon and a distributed model predictive control framework is developed for the real-time control of the vehicles. The effectiveness of the proposed controller is analyzed by means of simulations of several realistic scenarios that suggest a possible fuel saving of up to 12% for the follower vehicles compared to the use of standard platoon controllers.


title: Penetrative turbulence associated with mesoscale surface heat flux variations

abstract: This article investigates penetrative turbulence in the atmospheric boundary layer. Using a large eddy simulation approach, we study characteristics of the mixed layer with respect to surface heat flux variations in the range from 231.48 W/m$^2$ to 925.92 W/m$^2$, and observe that the surface heterogeneity on a spatial scale of $20$ km leads to downscale turbulent kinetic energy cascade. Coherent fluctuations of mesoscale horizontal wind is observed at 100m above the ground. Such a surface induced temporal oscillations in the horizontal wind suggest a rapid jump in mesocale wind forecasts, which is difficult to parameterize using traditional one-dimensional ensemble-mean models. Although the present work is idealized at a typical scale (20km) of surface heterogeneity, the results help develop effective subgrid scale parameterization schemes for classical weather forecasting mesoscale models.


title: Algorithms for the minimum sum coloring problem: a review

abstract: The Minimum Sum Coloring Problem (MSCP) is a variant of the well-known vertex coloring problem which has a number of AI related applications. Due to its theoretical and practical relevance, MSCP attracts increasing attention. The only existing review on the problem dates back to 2004 and mainly covers the history of MSCP and theoretical developments on specific graphs. In recent years, the field has witnessed significant progresses on approximation algorithms and practical solution algorithms. The purpose of this review is to provide a comprehensive inspection of the most recent and representative MSCP algorithms. To be informative, we identify the general framework followed by practical solution algorithms and the key ingredients that make them successful. By classifying the main search strategies and putting forward the critical elements of the reviewed methods, we wish to encourage future development of more powerful methods and motivate new applications.


title: Quasi-particle bases of principal subspaces for the affine Lie algebras of types $B_{l}^{(1)}$ and $C_{l}^{(1)}$

abstract: Generalizing our earlier work, we construct quasi-particle bases of principal subspaces of standard module $L_{X_l^{(1)}}(k\Lambda_0)$ and generalized Verma module $N_{X_l^{(1)}}(k\Lambda_0)$ at level $k\geq 1$ in the case of affine Lie algebras of types $B_l^{(1)}$ and $C_l^{(1)}$. As a consequence, from quasi-particle bases, we obtain the graded dimensions of these subspaces.


title: Regular Dirichlet subspaces and Mosco convergence

abstract: In this paper, we shall explore the Mosco convergence on regular subspaces of one-dimensional irreducible and strongly local Dirichlet forms. We find that if the characteristic sets of regular subspaces are convergent, then their associated regular subspaces are convergent in sense of Mosco. Finally, we shall show some examples to illustrate that the Mosco convergence does not preserve any global properties of Dirichlet forms.


title: A stochastic individual-based model for immunotherapy of cancer

abstract: We propose an extension of a standard stochastic individual-based model in population dynamics which broadens the range of biological applications. Our primary motivation is modelling of immunotherapy of malignant tumours. In this context the different actors, T-cells, cytokines or cancer cells, are modelled as single particles (individuals) in the stochastic system. The main expansions of the model are distinguishing cancer cells by phenotype and genotype, including environment-dependent phenotypic plasticity that does not affect the genotype, taking into account the effects of therapy and introducing a competition term which lowers the reproduction rate of an individual in addition to the usual term that increases its death rate. We illustrate the new setup by using it to model various phenomena arising in immunotherapy. Our aim is twofold: on the one hand, we show that the interplay of genetic mutations and phenotypic switches on different timescales as well as the occurrence of metastability phenomena raise new mathematical challenges. On the other hand, we argue why understanding purely stochastic events (which cannot be obtained with deterministic models) may help to understand the resistance of tumours to therapeutic approaches and may have non-trivial consequences on tumour treatment protocols. This is supported through numerical simulations.


title: Active acoustic metamaterials reconfigurable in real-time

abstract: A major limitation of current acoustic metamaterials is that their acoustic properties are either locked into place once fabricated or only modestly tunable, tying them to the particular application for which they are designed. We present in this paper a design approach that yields active metamaterials whose physical structure is fixed, yet their local acoustic response can be changed almost arbitrarily and in real-time by configuring the digital electronics that control the metamaterial acoustic properties. We demonstrate experimentally this approach by designing a metamaterial slab configured to act as a very thin acoustic lens that manipulates differently three identical, consecutive pulses incident on the lens. Moreover, we show that the slab can be configured to implement simultaneously various roles, such as that of a lens and beam steering device. Finally, we show that the metamaterial slab is suitable for efficient second harmonic acoustic imaging devices capable to overcome the diffraction limit of linear lenses. These advantages demonstrate the versatility of this active metamaterial and highlight its broad applicability, in particular to acoustic imaging.


title: On model-theoretic tree properties

abstract: We study model theoretic tree properties ($\text{TP}, \text{TP}_1, \text{TP}_2$) and their associated cardinal invariants ($\kappa_{\text{cdt}}, \kappa_{\text{sct}}, \kappa_{\text{inp}}$, respectively). In particular, we obtain a quantitative refinement of Shelah's theorem ($\text{TP} \Rightarrow \text{TP}_1 \lor \text{TP}_2$) for countable theories, show that $\text{TP}_1$ is always witnessed by a formula in a single variable (partially answering a question of Shelah) and that weak $k-\text{TP}_1$ is equivalent to $\text{TP}_1$ (answering a question of Kim and Kim). Besides, we give a characterization of $\text{NSOP}_1$ via a version of independent amalgamation of types and apply this criterion to verify that some examples in the literature are indeed $\text{NSOP}_1$.


title: Spin-Fluctuation-Induced Non-Fermi-Liquid Behavior with suppressed superconductivity in LiFe$_{1-x}$Co$_{x}$As

abstract: A series of LiFe$_{1-x}$Co$_{x}$As compounds with different Co concentrations have been studied by transport, optical spectroscopy, angle-resolved photoemission spectroscopy and nuclear magnetic resonance. We observed a Fermi liquid to non-Fermi liquid to Fermi liquid (FL-NFL-FL) crossover alongside a monotonic suppression of the superconductivity with increasing Co content. In parallel to the FL-NFL-FL crossover, we found that both the low-energy spin fluctuations and Fermi surface nesting are enhanced and then diminished, strongly suggesting that the NFL behavior in LiFe$_{1-x}$Co$_{x}$As is induced by low-energy spin fluctuations which are very likely tuned by Fermi surface nesting. Our study reveals a unique phase diagram of LiFe$_{1-x}$Co$_{x}$As where the region of NFL is moved to the boundary of the superconducting phase, implying that they are probably governed by different mechanisms.


title: A Remark on Baserunning risk: Waiting Can Cost You the Game

abstract: We address the value of a baserunner at first base waiting to see if a ball in play falls in for a hit, before running. When a ball is hit in the air, the baserunner will usually wait, to gather additional information as to whether a ball will fall for a hit before deciding to run aggressively. This additional information guarantees that there will not be a double play and an "unnecessary out". However, waiting could potentially cost the runner the opportunity to reach third base, or even scoring on the play if the ball falls for a hit. This in turn affects the probability of scoring at least one run henceforth in the inning. We create a new statistic, the baserunning risk threshold (BRT), which measures the minimum probability with which the baserunner should be sure that a ball in play will fall in for a hit, before running without waiting to see if the ball will be caught, with the goal of scoring at least one run in the inning. We measure a 0-out and a 1-out version of BRT, both in aggregate, and also in high leverage situations, where scoring one run is particularly important. We show a drop in BRT for pitchers who pitch in more high leverage innings, and a very low BRT on average for "elite closers". It follows that baserunners should be frequently running without waiting, and getting thrown out in double plays regularly to maximize their chances of scoring at least one run.


title: Modeling Memetics using Edge Diversity

abstract: The study of meme propagation and the prediction of meme trajectory are emerging areas of interest in the field of complex networks research. In addition to the properties of the meme itself, the structural properties of the underlying network decides the speed and the trajectory of the propagating meme. In this paper, we provide an artificial framework for studying the meme propagation patterns. Firstly, the framework includes a synthetic network which simulates a real world network and acts as a testbed for meme simulation. Secondly, we propose a meme spreading model based on the diversity of edges in the network. Through the experiments conducted, we show that the generated synthetic network combined with the proposed spreading model is able to simulate a real world meme spread. Our proposed model is validated by the propagation of the Higgs boson meme on Twitter as well as many real world social networks.


title: On the lexicographic representation of numbers

abstract: It is proven that, contrarily to the common belief, the notion of zero is not necessary for having positional representations of numbers. Namely, for any positive integer $k$, a positional representation with the symbols for $1, 2, \ldots, k$ is given that retains all the essential properties of the usual positional representation of base $k$ (over symbols for $0, 1, 2 \ldots, k-1$). Moreover, in this zero-free representation, a sequence of symbols identifies the number that corresponds to the order number that the sequence has in the ordering where shorter sequences precede the longer ones, and among sequences of the same length the usual lexicographic ordering of dictionaries is considered. The main properties of this lexicographic representation are proven and conversion algorithms between lexicographic and classical positional representations are given. Zero-free positional representations are relevantt in the perspective of the history of mathematics, as well as, in the perspective of emergent computation models, and of unconventional representations of genomes.