title: Enhanced magnetic ordering in Sm metal under extreme pressure

abstract: The dependence of the magnetic ordering temperature To of Sm metal was determined through four-point electrical resistivity measurements to pressures as high as 150 GPa. A strong increase in To with pressure is observed above 85 GPa. In this pressure range Sm ions alloyed in dilute concentration with superconducting Y exhibit giant Kondo pair breaking. Taken together, these results suggest that for pressures above 85 GPa Sm is in a highly correlated electron state, like a Kondo lattice, with an unusually high value of To. A detailed comparison is made with similar results obtained earlier on Nd, Tb and Dy and their dilute magnetic alloys with superconducting Y.


title: Identities of the Kauffman Monoid $\mathcal{K}_3$

abstract: We give a transparent combinatorial characterization of the identities satisfied by the Kauffman monoid $\mathcal{K}_3$. Our characterization leads to a polynomial time algorithm to check whether a given identity holds in $\mathcal{K}_3$.


title: Quasi-2D magnetism and origin of the Dirac semimetallic behavior in nonstoichiometric Sr$_{1-y}$Mn$_{1-z}$Sb$_{2}$ (y, z~$<$0.1)

abstract: Nonstoichiometric Sr$_{1-y}$Mn$_{1-z}$Sb$_{2}$ (y, z~$<$0.1) is known to exhibit a coexistence of magnetic order and the nontrivial semimetallic behavior related to Dirac or Weyl fermions. Here, we report inelastic neutron scattering analyses of the spin dynamics and density functional theory studies on the electronic properties of Sr$_{1-y}$Mn$_{1-z}$Sb$_{2}$. We observe a relatively large spin excitation gap $\approx$ 8.5 meV at 5 K, and the interlayer magnetic exchange constant only 2.8 \% of the dominant intralayer magnetic interaction, providing evidence that Sr$_{1-y}$Mn$_{1-z}$Sb$_{2}$ exhibits a quasi-2D magnetism. Using density functional theory, we find a strong influence of magnetic orders on the electronic band structure and the Dirac dispersions near the Fermi level along the Y-S direction in the presence of a ferromagnetic ordering. Our study unveils novel interplay between the magnetic order, magnetic transition, and electronic property in Sr$_{1-y}$Mn$_{1-z}$Sb$_{2}$, and opens new pathways to control the relativistic band structure through magnetism in ternary compounds.


title: Jacobian Conjecture via Differential Galois Theory

abstract: We prove that a polynomial map is invertible if and only if some associated differential ring homomorphism is bijective. To this end, we use a theorem of Crespo and Hajto linking the invertibility of polynomial maps with Picard-Vessiot extensions of partial differential fields, the theory of strongly normal extensions as presented by Kovacic and the characterization of Picard-Vessiot extensions in terms of tensor products given by Levelt.


title: Small gaps of GOE

abstract: In this article, we study the smallest gaps of the Gaussian orthogonal ensemble. The main result is that the smallest gaps, after normalized by $n$, will tend to a Poisson distribution, and the limiting density of the $k$-th normalized smallest gaps is $ 2{}x^{2k-1}e^{-x^{2}}/(k-1)!$.


title: Learning Nonlinear Mixtures: Identifiability and Algorithm

abstract: Linear mixture models have proven very useful in a plethora of applications, e.g., topic modeling, clustering, and source separation. As a critical aspect of the linear mixture models, identifiability of the model parameters is well-studied, under frameworks such as independent component analysis and constrained matrix factorization. Nevertheless, when the linear mixtures are distorted by an unknown nonlinear functions -- which is well-motivated and more realistic in many cases -- the identifiability issues are much less studied. This work proposes an identification criterion for a nonlinear mixture model that is well grounded in many real-world applications, and offers identifiability guarantees. A practical implementation based on a judiciously designed neural network is proposed to realize the criterion, and an effective learning algorithm is proposed. Numerical results on synthetic and real-data corroborate effectiveness of the proposed method.


title: Segmentation Guided Image-to-Image Translation with Adversarial Networks

abstract: Recently image-to-image translation has received increasing attention, which aims to map images in one domain to another specific one. Existing methods mainly solve this task via a deep generative model, and focus on exploring the relationship between different domains. However, these methods neglect to utilize higher-level and instance-specific information to guide the training process, leading to a great deal of unrealistic generated images of low quality. Existing methods also lack of spatial controllability during translation. To address these challenge, we propose a novel Segmentation Guided Generative Adversarial Networks (SGGAN), which leverages semantic segmentation to further boost the generation performance and provide spatial mapping. In particular, a segmentor network is designed to impose semantic information on the generated images. Experimental results on multi-domain face image translation task empirically demonstrate our ability of the spatial modification and our superiority in image quality over several state-of-the-art methods.


title: Transductive Zero-Shot Learning with Visual Structure Constraint

abstract: To recognize objects of the unseen classes, most existing Zero-Shot Learning(ZSL) methods first learn a compatible projection function between the common semantic space and the visual space based on the data of source seen classes, then directly apply it to the target unseen classes. However, in real scenarios, the data distribution between the source and target domain might not match well, thus causing the well-known \textbf{domain shift} problem. Based on the observation that visual features of test instances can be separated into different clusters, we propose a new visual structure constraint on class centers for transductive ZSL, to improve the generality of the projection function (i.e. alleviate the above domain shift problem). Specifically, three different strategies (symmetric Chamfer-distance, Bipartite matching distance, and Wasserstein distance) are adopted to align the projected unseen semantic centers and visual cluster centers of test instances. We also propose a new training strategy to handle the real cases where many unrelated images exist in the test dataset, which is not considered in previous methods. Experiments on many widely used datasets demonstrate that the proposed visual structure constraint can bring substantial performance gain consistently and achieve state-of-the-art results. The source code is available at \url{https://github.com/raywzy/VSC}.


title: Enhanced dissipation in the Navier-Stokes equations near the Poiseuille flow

abstract: We consider solutions to the 2d Navier-Stokes equations on $\mathbb{T}\times\mathbb{R}$ close to the Poiseuille flow, with small viscosity $\nu>0$. Our first result concerns a semigroup estimate for the linearized problem. Here we show that the $x$-dependent modes of linear solutions decay on a time-scale proportional to $\nu^{-1/2}|\log\nu|$. This effect is often referred to as \emph{enhanced dissipation} or \emph{metastability} since it gives a much faster decay than the regular dissipative time-scale $\nu^{-1}$ (this is also the time-scale on which the $x$-independent mode naturally decays). We achieve this using an adaptation of the method of hypocoercivity. Our second result concerns the full nonlinear equations. We show that when the perturbation from the Poiseuille flow is initially of size at most $\nu^{3/4+}$, then it remains so for all time. Moreover, the enhanced dissipation also persists in this scenario, so that the $x$-dependent modes of the solution are dissipated on a time scale of order $\nu^{-1/2}|\log\nu|$. This transition threshold is established by a bootstrap argument using the semigroup estimate and a careful analysis of the nonlinear term in order to deal with the unboundedness of the domain and the Poiseuille flow itself.


title: Complex Hyperbolic Triangle Groups of Type $[m,m,0;3,3,2]$

abstract: In this paper we study discreteness of complex hyperbolic triangle groups of type $[m,m,0;3,3,2]$, i.e. groups of isometries of the complex hyperbolic plane generated by three complex reflections of orders $3,3,2$ in complex geodesics with pairwise distances $m,m,0$. For fixed $m,$ the parameter space of such groups is of real dimension one. We determine intervals in this parameter space that correspond to discrete and to non-discrete triangle groups.


title: Optimal Age over Erasure Channels

abstract: Previous works on age of information and erasure channels have dealt with specific models and computed the average age or average peak age for certain settings. In this paper, given a source that produces a letter every $T_s$ seconds and an erasure channel that can be used every $T_c$ seconds, we ask what is the coding strategy that minimizes the time-average age of information that an observer of the channel output incurs. We first analyze the case where the source alphabet and the channel-input alphabet have the same size. We show that a trivial coding strategy is optimal and a closed form expression for the age can be derived. We then analyze the case where the alphabets have different sizes. We use a random coding argument to bound the average age and show that the average age achieved using random codes converges to the optimal average age of linear block codes as the source alphabet becomes large.


title: A Comparative Study on Vocabulary Reduction for Phrase Table Smoothing

abstract: This work systematically analyzes the smoothing effect of vocabulary reduction for phrase translation models. We extensively compare various word-level vocabularies to show that the performance of smoothing is not significantly affected by the choice of vocabulary. This result provides empirical evidence that the standard phrase translation model is extremely sparse. Our experiments also reveal that vocabulary reduction is more effective for smoothing large-scale phrase tables.


title: Learning-Free Iris Segmentation Revisited: A First Step Toward Fast Volumetric Operation Over Video Samples

abstract: Subject matching performance in iris biometrics is contingent upon fast, high-quality iris segmentation. In many cases, iris biometrics acquisition equipment takes a number of images in sequence and combines the segmentation and matching results for each image to strengthen the result. To date, segmentation has occurred in 2D, operating on each image individually. But such methodologies, while powerful, do not take advantage of potential gains in performance afforded by treating sequential images as volumetric data. As a first step in this direction, we apply the Flexible Learning-Free Reconstructoin of Neural Volumes (FLoRIN) framework, an open source segmentation and reconstruction framework originally designed for neural microscopy volumes, to volumetric segmentation of iris videos. Further, we introduce a novel dataset of near-infrared iris videos, in which each subject's pupil rapidly changes size due to visible-light stimuli, as a test bed for FLoRIN. We compare the matching performance for iris masks generated by FLoRIN, deep-learning-based (SegNet), and Daugman's (OSIRIS) iris segmentation approaches. We show that by incorporating volumetric information, FLoRIN achieves a factor of 3.6 to an order of magnitude increase in throughput with only a minor drop in subject matching performance. We also demonstrate that FLoRIN-based iris segmentation maintains this speedup on low-resource hardware, making it suitable for embedded biometrics systems.


title: Efficiency through Uncertainty: Scalable Formal Synthesis for Stochastic Hybrid Systems

abstract: This work targets the development of an efficient abstraction method for formal analysis and control synthesis of discrete-time stochastic hybrid systems (SHS) with linear dynamics. The focus is on temporal logic specifications, both over finite and infinite time horizons. The framework constructs a finite abstraction as a class of uncertain Markov models known as interval Markov decision process (IMDP). Then, a strategy that maximizes the satisfaction probability of the given specification is synthesized over the IMDP and mapped to the underlying SHS. In contrast to existing formal approaches, which are by and large limited to finite-time properties and rely on conservative over-approximations, we show that the exact abstraction error can be computed as a solution of convex optimization problems and can be embedded into the IMDP abstraction. This is later used in the synthesis step over both finite- and infinite-horizon specifications, mitigating the known state-space explosion problem. Our experimental validation of the new approach compared to existing abstraction-based approaches shows: (i) significant (orders of magnitude) reduction of the abstraction error; (ii) marked speed-ups; and (iii) boosted scalability, allowing in particular to verify models with more than 10 continuous variables.


title: Unsupervised Training for Large Vocabulary Translation Using Sparse Lexicon and Word Classes

abstract: We address for the first time unsupervised training for a translation task with hundreds of thousands of vocabulary words. We scale up the expectation-maximization (EM) algorithm to learn a large translation table without any parallel text or seed lexicon. First, we solve the memory bottleneck and enforce the sparsity with a simple thresholding scheme for the lexicon. Second, we initialize the lexicon training with word classes, which efficiently boosts the performance. Our methods produced promising results on two large-scale unsupervised translation tasks.


title: CC-Net: Image Complexity Guided Network Compression for Biomedical Image Segmentation

abstract: Convolutional neural networks (CNNs) for biomedical image analysis are often of very large size, resulting in high memory requirement and high latency of operations. Searching for an acceptable compressed representation of the base CNN for a specific imaging application typically involves a series of time-consuming training/validation experiments to achieve a good compromise between network size and accuracy. To address this challenge, we propose CC-Net, a new image complexity-guided CNN compression scheme for biomedical image segmentation. Given a CNN model, CC-Net predicts the final accuracy of networks of different sizes based on the average image complexity computed from the training data. It then selects a multiplicative factor for producing a desired network with acceptable network accuracy and size. Experiments show that CC-Net is effective for generating compressed segmentation networks, retaining up to 95% of the base network segmentation accuracy and utilizing only 0.1% of trainable parameters of the full-sized networks in the best case.


title: Promoting effective application and management of ICT to enhance performance in secondary schools

abstract: Information and Communication Technology (ICT) is widely used to enhance teaching and learning in modern education. However, it is still difficult in some countries to exploit the full potential of ICT in this regard due to various constraints. The paper explores existing barriers for the effective use of ICT to enhance the performance of secondary schools. The study was focused on secondary schools in the North Central Province (NCP) of Sri Lanka. Results show a very low use of ICT among schools in the territory due to poor ICT infrastructure, leadership support, school planning, and ICT competency. However, teachers fairly positive attitudes towards ICT indicated a positive aspect of future developments. Individuals demographic characteristics show significant differences in the use of ICT in schools. Moreover, positive relationships were found between ICT usage and performance as perceived by teachers.


title: On the physical nature of accretion disc viscosity

abstract: We use well-established observational evidence to draw conclusions about the fundamental nature of the viscosity in accretion discs. To do this, we first summarise the observational evidence for the value of the dimensionless accretion disc viscosity parameter $\alpha$, defined by Shakura & Sunyaev (1973, 1976). We find that, for fully ionized discs, the value of $\alpha$ is readily amenable to reliable estimation and that the observations are consistent with the hypothesis that $\alpha \sim 0.2 - 0.3$. In contrast in discs that are not fully ionized, estimates of the value of $\alpha$ are generally less direct and the values obtained are generally $ < 0.01$ and often $ \ll 0.01$. We conclude that this gives us crucial information about the nature of viscosity in accretion discs. First, in fully ionized discs the strength of the turbulence is always limited by being at most trans-sonic. This implies that it is necessary that credible models of the turbulence reflect this fact. Second, the smaller values of $\alpha$ found for less ionized, and therefore less strongly conducting, discs imply that magnetism plays a dominant role. This provides important observational support for the concept of magneto-rotational instability (MRI) driven hydromagnetic turbulence.


title: Unraveling the Universe with DESI

abstract: The Dark Energy Spectroscopic Instrument (DESI) is a stage IV ground-based dark energy experiment planned to begin operations in 2020. In this article, we provided a short review of DESI presented during the conference {\it Recontres de Moriond 2018}. DESI will use four different tracers for mapping the universe: from redshift 0.05 up to redshift 1.7 with galaxies and from 2.1 to 3.5 using quasars. DESI will measure a total of 35 million spectra covering regions of universe never explored before, providing a map of large scale structure that will enable major advances in the investigation of cosmic acceleration. The key science goals for DESI are to constrain dark energy and potential deviations of General Relativity using two complementary observables: the Baryonic Acoustic Oscillations (BAO) and the Redshift Space Distortions (RSD). Additional science goals, such as constraining the sum of neutrino masses and inflation, are expected with the baseline project. DESI installation started on February 2018 and the current construction of the instrument is on track. The imaging surveys that will serve to determine the targets are currently in the final stages, having achieved 80\% completion, and are expected to be finalized by the end of 2018. The DESI Collaboration is actively preparing for survey operations and science analysis, to be ready for the first light in January 2020.


title: Observation of dual electromagnetically induced transparencies in cold $^{87}Rb$ atoms

abstract: We have observed two dual electromagnetically induced transparency (EIT) spectra in probe transmission through cold $^{87}Rb$ atoms trapped in a magneto-optical trap (MOT). These dual EIT peaks are generated in two different N-systems formed by probe, coupling and control beams interacting with different levels in $D_{2}$ line transitions of $^{87}Rb$ atom. The dependence of spectral features of two N-systems on driving beams (\textit{i.e.} coupling and control beams) strength and detuning has been investigated. The results show that the dual EIT spectral features in both the N-systems can be manipulated by varying the strength and detuning of both the driving beams. The two N-systems have been modelled theoretically using a density matrix formalism and results have shown a reasonable agreement with the experimental observations.


title: Sparse estimation for case-control studies with multiple subtypes of cases

abstract: The analysis of case-control studies with several subtypes of cases is increasingly common, e.g. in cancer epidemiology. For matched designs, we show that a natural strategy is based on a stratified conditional logistic regression model. Then, to account for the potential homogeneity among the subtypes of cases, we adapt the ideas of data shared lasso, which has been recently proposed for the estimation of regression models in a stratified setting. For unmatched designs, we compare two standard methods based on L1-norm penalized multinomial logistic regression. We describe formal connections between these two approaches, from which practical guidance can be derived. We show that one of these approaches, which is based on a symmetric formulation of the multinomial logistic regression model, actually reduces to a data shared lasso version of the other. Consequently, the relative performance of the two approaches critically depends on the level of homogeneity that exists among the subtypes of cases: more precisely, when homogeneity is moderate to high, the non-symmetric formulation with controls as the reference is not recommended. Empirical results obtained from synthetic data are presented, which confirm the benefit of properly accounting for potential homogeneity under both matched and unmatched designs. We also present preliminary results from the analysis a case-control study nested within the EPIC cohort, where the objective is to identify metabolites associated with the occurrence of subtypes of breast cancer.


title: A smooth shift approach for a Ramanujan expansion

abstract: All arithmetical functions $F$ satisfying Ramanujan Conjecture, i.e., $F(n)\ll_{\varepsilon}n^{\varepsilon}$, and with $Q-$smooth divisors, i.e., with Eratosthenes transform $F':=F\ast \mu$ supported in $Q-$smooth numbers, have a kind of unique Ramanujan expansion; also, these Ramanujan coefficients decay very well to $0$ and have two explicit expressions (in the style of Carmichael and Wintner). This general result, then, is applied to the shift-Ramanujan expansions, i.e., the expansions for correlations with respect to the shift, whence the title.


title: Solving L1-regularized SVMs and related linear programs: Revisiting the effectiveness of Column and Constraint Generation

abstract: The linear Support Vector Machine (SVM) is a classic classification technique in machine learning. Motivated by applications in modern high dimensional statistics, we consider penalized SVM problems involving the minimization of a hinge-loss function with a convex sparsity-inducing regularizer such as: the L1-norm on the coefficients, its grouped generalization and the sorted L1-penalty (aka Slope). Each problem can be expressed as a Linear Program (LP) and is computationally challenging when the number of features and/or samples is large -- the current state of algorithms for these problems is rather nascent when compared to the usual L2-regularized linear SVM. To this end, we propose new computational algorithms for these LPs by bringing together techniques from (a) classical column (and constraint) generation methods and (b) first order methods for non-smooth convex optimization -- techniques that are rarely used together for solving large scale LPs. These components have their respective strengths; and while they are found to be useful as separate entities, they have not been used together in the context of solving large scale LPs such as the ones studied herein. Our approach complements the strengths of (a) and (b) -- leading to a scheme that seems to significantly outperform commercial solvers as well as specialized implementations for these problems. We present numerical results on a series of real and synthetic datasets demonstrating the surprising effectiveness of classic column/constraint generation methods in the context of challenging LP-based machine learning tasks.


title: Stability theory for Gaussian rough differential equations. Part II

abstract: We propose a quantitative direct method of proving the stability result for Gaussian rough differential equations in the sense of Gubinelli \cite{gubinelli}. Under the strongly dissipative assumption of the drift coefficient function, we prove that the trivial solution of the system under small noise is exponentially stable.


title: Two-sided estimates for order statistics of log-concave random vectors

abstract: We establish two-sided bounds for expectations of order statistics ($k$-th maxima) of moduli of coordinates of centered log-concave random vectors with uncorrelated coordinates. Our bounds are exact up to multiplicative universal constants in the unconditional case for all $k$ and in the isotropic case for $k \leq n-cn^{5/6}$. We also derive two-sided estimates for expectations of sums of $k$ largest moduli of coordinates for some classes of random vectors.


title: PyOD: A Python Toolbox for Scalable Outlier Detection

abstract: PyOD is an open-source Python toolbox for performing scalable outlier detection on multivariate data. Uniquely, it provides access to a wide range of outlier detection algorithms, including established outlier ensembles and more recent neural network-based approaches, under a single, well-documented API designed for use by both practitioners and researchers. With robustness and scalability in mind, best practices such as unit testing, continuous integration, code coverage, maintainability checks, interactive examples and parallelization are emphasized as core components in the toolbox's development. PyOD is compatible with both Python 2 and 3 and can be installed through Python Package Index (PyPI) or https://github.com/yzhao062/pyod.


title: Almost ordinary abelian varieties over finite fields

abstract: We provide a characterization of almost ordinary abelian varieties over finite fields, and use this characterization to provide lower bounds for the sizes of some almost ordinary isogeny classes.


title: Improving Unsupervised Word-by-Word Translation with Language Model and Denoising Autoencoder

abstract: Unsupervised learning of cross-lingual word embedding offers elegant matching of words across languages, but has fundamental limitations in translating sentences. In this paper, we propose simple yet effective methods to improve word-by-word translation of cross-lingual embeddings, using only monolingual corpora but without any back-translation. We integrate a language model for context-aware search, and use a novel denoising autoencoder to handle reordering. Our system surpasses state-of-the-art unsupervised neural translation systems without costly iterative training. We also analyze the effect of vocabulary size and denoising type on the translation performance, which provides better understanding of learning the cross-lingual word embedding and its usage in translation.


title: On enumerators of Smirnov words by descents and cyclic descents

abstract: A Smirnov word is a word over the positive integers in which adjacent letters must be different. A symmetric function enumerating these words by descent number arose in the work of Shareshian and the second named author on $q$-Eulerian polynomials, where a $t$-analog of a formula of Carlitz, Scoville, and Vaughan for enumerating Smirnov words is proved. A symmetric function enumerating a circular version of these words by cyclic descent number arose in the work of the first named author on chromatic quasisymmetric functions of directed graphs, where a $t$-analog of a formula of Stanley for enumerating circular Smirnov words is proved. In this paper we obtain new $t$-analogs of the Carlitz-Scoville-Vaughan formula and the Stanley formula in which the roles of descent number and cyclic descent number are switched. These formulas show that the Smirnov word enumerators are polynomials in $t$ whose coefficients are e-positive symmetric functions. We also obtain expansions in the power sum basis and the fundamental quasisymmetric function basis, complementing earlier results of Shareshian and the authors. Our work relies on studying refinements of the Smirnov word enumerators that count certain restricted classes of Smirnov words by descent number. Applications to variations of $q$-Eulerian polynomials and to the chromatic quasisymmetric functions introduced by Shareshian and the second named author are also presented.


title: Named Entity Recognition in Electronic Health Records Using Transfer Learning Bootstrapped Neural Networks

abstract: Neural networks (NNs) have become the state of the art in many machine learning applications, especially in image and sound processing [1]. The same, although to a lesser extent [2,3], could be said in natural language processing (NLP) tasks, such as named entity recognition. However, the success of NNs remains dependent on the availability of large labelled datasets, which is a significant hurdle in many important applications. One such case are electronic health records (EHRs), which are arguably the largest source of medical data, most of which lies hidden in natural text [4,5]. Data access is difficult due to data privacy concerns, and therefore annotated datasets are scarce. With scarce data, NNs will likely not be able to extract this hidden information with practical accuracy. In our study, we develop an approach that solves these problems for named entity recognition, obtaining 94.6 F1 score in I2B2 2009 Medical Extraction Challenge [6], 4.3 above the architecture that won the competition. Beyond the official I2B2 challenge, we further achieve 82.4 F1 on extracting relationships between medical terms. To reach this state-of-the-art accuracy, our approach applies transfer learning to leverage on datasets annotated for other I2B2 tasks, and designs and trains embeddings that specially benefit from such transfer.


title: Methods of determining the absolute branching fractions of $\Lambda_c^+$ baryons and $D_s^+$ mesons at hadron colliders

abstract: Current absolute branching fractions of $\Lambda_c^+$ and $D_s^+$ mesons are limiting the determination of important measurements. They have only been measured at $e^+e^-$ colliders. Here techniques for measuring them at hadron colliders are discussed. The precision determination of $\Lambda_c^+\to p K^-\pi^+$ seems possible with current data, however the corresponding determination of $D_s^+\to K^+K^-\pi^+$ will require more integrated luminosity.


title: On the unicity of formal category theories

abstract: We prove an equivalence between cocomplete Yoneda structures and certain proarrow equipments on a 2-category $\mathcal K$. In order to do this, we recognize the presheaf construction of a cocomplete Yoneda structure as a relative, lax idempotent monad sending each admissible 1-cell $f :A \to B$ to an adjunction $\boldsymbol{P}_!f\dashv\boldsymbol{P}^*f$. Each cocomplete Yoneda structure on $\mathcal K$ arises in this way from a relative lax idempotent monad "with enough adjoint 1-cells", whose domain generates the ideal of admissibles, and the Kleisli category of such a monad equips its domain with proarrows. We call these structures "yosegi". Quite often, the presheaf construction associated to a yosegi generates an ambidextrous Yoneda structure; in such a setting there exists a fully formal version of Isbell duality.


title: Age, metallicity and star formation history of spheroidal galaxies in cluster at z~1.2

abstract: We present the analysis, based on spectra collected at the Large Binocular Telescope, of the stellar populations in seven spheroidal galaxies in the cluster XLSSJ0223 at $z$$\sim$1.22. The aim is to constrain the epoch of their formation and their star formation history. Using absorption line strenghts and full spectral fitting, we derive for the stellar populations of the seven spheroids a median age <Age>=2.4$\pm$0.6 Gyr, corresponding to a median formation redshift $<$$z_f$$>$$\sim2.6_{-0.5}^{+0.7}$ (lookback time = 11$_{-1.0}^{+0.6}$ Gyr). We find a significant scatter in age, showing that massive spheroids, at least in our targeted cluster, are not coeval. The median metallicity is [Z/H]=0.09$\pm$0.16, as for early-types in clusters at 0$<$$z$<0.9. This lack of evolution of [Z/H] over the range 0$<$$z$$<$1.3, corresponding to the last 9 billions years, suggests that no significant additional star formation and chemical enrichment are required for cluster spheroids to reach the present-day population. We do not detect significant correlation between age and velocity dispersion $\sigma_e$, or dynamical mass M$_{dyn}$, or effective stellar mass density $\Sigma_e$. On the contrary, the metallicity [Z/H] of the seven spheroids is correlated to their dynamical mass M$_{dyn}$, according to a relation similar to the one for local spheroids. [Z/H] is also anticorrelated to stellar mass density $\Sigma_e$ because of the anticorrelation between M$_{dyn}$ and $\Sigma_e$. Therefore, the basic trends observed in the local universe were already established at $z\sim1.3$, i.e. more massive spheroids are more metal rich, have lower stellar mass density and tend to be older than lower-mass galaxies.


title: Landau Levels in the Presence of a Cosmic String in Rainbow Gravity

abstract: In this paper we analyze the energy levels of a charged scalar particle placed in the static cosmic string spacetime, under the action of a uniform magnetic field parallel to the string, in the context of the semi-classical approach of the rainbow gravity. Firstly, we focus on the non-relativistic regime by solving the corresponding Schr\"{o}dinger equation, following by a complete relativistic treatment of the problem in which we considered the Klein-Gordon equation. In both cases we find exact expressions for the Landau levels in terms of the rainbow functions, used to characterize a rainbow gravity model. In order to achieve the results of this paper we considered three different rainbow gravity models mostly used in the literature and compare the resulting modifications in the Landau levels with the standard case, namely without rainbow gravity.


title: SL-oriented cohomology theories

abstract: We show that a representable motivic cohomology theory admits a unique normalized SL^c-orientation if the zeroth cohomology presheaf is a Zariski sheaf. We also construct Thom isomorphisms in SL-oriented cohomology for SL^c-bundles and obtain new results on the \eta-torsion characteristic classes, in particular, we prove that the Euler class of an oriented bundle admitting a (possibly non-orientable) odd rank subbundle is annihilated by the Hopf element.


title: Toward a Theory of Cyber Attacks

abstract: We provide a general methodology for analyzing defender-attacker based "games" in which we model such games as Markov models and introduce a capacity region to analyze how defensive and adversarial strategies impact security. Such a framework allows us to analyze under what kind of conditions we can prove statements (about an attack objective $k$) of the form "if the attacker has a time budget $T_{bud}$, then the probability that the attacker can reach an attack objective $\geq k$ is at most $poly(T_{bud})negl(k)$". We are interested in such rigorous cryptographic security guarantees (that describe worst-case guarantees) as these shed light on the requirements of a defender's strategy for preventing more and more the progress of an attack, in terms of the "learning rate" of a defender's strategy. We explain the damage an attacker can achieve by a "containment parameter" describing the maximally reached attack objective within a specific time window.


title: LSST Target of Opportunity proposal for locating a core collapse supernova in our galaxy triggered by a neutrino supernova alert

abstract: A few times a century, a core collapse supernova (CCSN) occurs in our galaxy. When such galactic CCSNe happen, over 99\% of its gravitational binding energy is released in the form of neutrinos. Over a period of tens of seconds, a powerful neutrino flux is emitted from the collapsing star. When the exploding shock wave finally reaches the surface of the star, optical photons escaping the expanding stellar envelope leave the star and eventually arrive at Earth as a visible brightening. Crucially, although the neutrino signal is prompt, the time to the shock wave breakout can be minutes to many hours later. This means that the neutrino signal will serve as an alert, warning the optical astronomy community the light from the explosion is coming. Quickly identifying the location of the supernova on the sky and disseminating it to the all available ground and spaced-based instruments will be critical to learn as much as possible about the event. Some neutrino experiments can report pointing information for these galactic CCSNe. In particular, the Super-Kamiokande experiment can point to a few degrees for CCSNe near the center of our galaxy. A CCSN located 10 kpc from Earth is expected to result in a pointing resolution on the order of 3 degrees. LSST's field of view (FOV) is well matched to this initial search box. LSSTs depth is also uniquely suited for identifying CCSNe even if they fail or are obscured by the dust of the galactic plane. This is a proposal to, upon receipt of such an alert, prioritize the use of LSST for a full day of observing to continuously monitor a pre-identified region of sky and, by using difference imaging, identify and announce the location of the supernova.


title: A sparse FFT approach for ODE with random coefficients

abstract: The paper presents a general strategy to solve ordinary differential equations (ODE), where some coefficient depend on the spatial variable and on additional random variables. The approach is based on the application of a recently developed dimension-incremental sparse fast Fourier transform. Since such algorithms require periodic signals, we discuss periodization strategies and associated necessary deperiodization modifications within the occuring solution steps. The computed approximate solutions of the ODE depend on the spatial variable and on the random variables as well. Certainly, one of the crucial challenges of the high dimensional approximation process is to rate the influence of each variable on the solution as well as the determination of the relations and couplings within the set of variables. The suggested approach meets these challenges in a full automatic manner with reasonable computational costs, i.e., in contrast to already existing approaches, one does not need to seriously restrict the used set of ansatz functions in advance.


title: Multiple solutions of an elliptic Hardy-Sobolev equation with critical exponents on compact Riemannian manifolds

abstract: On a compact Riemannian manifold, we prove the existence of multiple solutions for an elliptic equation with critical Sobolev growth and critical Hardy potential.


title: Efficient Field-Only Surface Integral Equations for Electromagnetics

abstract: In a recent paper, Klaseboer et al. (IEEE Trans. Antennas Propag., vol. 65, no. 2, pp. 972-977, Feb. 2017) developed a surface integral formulation of electromagnetics that does not require working with integral equations that have singular kernels. Instead of solving for the induced surface currents, the method involves surface integral solutions for 4 coupled Helmholtz equations: 3 for each Cartesian component of the electric E field plus 1 for the scalar function r*E on the surface of scatterers. Here we improve on this approach by advancing a formulation due to Yuffa et al. (IEEE Trans.Antennas Propag., vol. 66, no. 10, pp. 5274-5281, Oct. 2018) that solves for E and its normal derivative. Apart from a 25% reduction in problem size, the normal derivative of the field is often of interest in micro-photonic applications.


title: Should I stay or should I go: Analysis of the impact of application QoS on user engagement in YouTube

abstract: To improve the quality of experience (QoE), especially under moderate to high traffic demand, it is important to understand the impact of the network and application QoS on user experience. This paper comparatively evaluates the impact of impairments, their intensity and temporal dynamics, on user engagement in the context of video streaming. The analysis employed two large YouTube datasets. To characterize the user engagement and the impact of impairments, several new metrics were defined. We assessed whether or not there is a statistically significant relationship between different types of impairments and QoE and user engagement metrics, taking into account not only the characteristics of the impairments but also the covariates of the session (e.g., video duration, mean datarate). After observing the relationships across the entire dataset, we tested whether these relationships also persist under specific conditions with respect to the covariates. The introduction of several new metrics and of various covariates in the analysis are two innovative aspects of this work. We found that the number of negative bitrate changes (BR-) is a stronger predictor of abandonment than rebufferrings (RB). Even positive bitrate changes (BR+) are associated with increases in abandonment. Specifically, BR+ in low resolution sessions is not well received. Temporal dynamics of the impairments have also an impact: a BR- that follows much later a RB appears to be perceived as a worse impairment than a BR- that occurs immediately after a RB. These results can be used to guide the design of the video streaming adaptation as well as suggest which parameters should be varied in controlled field studies.


title: Causality and Bayesian network PDEs for multiscale representations of porous media

abstract: Microscopic (pore-scale) properties of porous media affect and often determine their macroscopic (continuum- or Darcy-scale) counterparts. Understanding the relationship between processes on these two scales is essential to both the derivation of macroscopic models of, e.g., transport phenomena in natural porous media, and the design of novel materials, e.g., for energy storage. Most microscopic properties exhibit complex statistical correlations and geometric constraints, which presents challenges for the estimation of macroscopic quantities of interest (QoIs), e.g., in the context of global sensitivity analysis (GSA) of macroscopic QoIs with respect to microscopic material properties. We present a systematic way of building correlations into stochastic multiscale models through Bayesian networks. This allows us to construct the joint probability density function (PDF) of model parameters through causal relationships that emulate engineering processes, e.g., the design of hierarchical nanoporous materials. Such PDFs also serve as input for the forward propagation of parametric uncertainty; our findings indicate that the inclusion of causal relationships impacts predictions of macroscopic QoIs. To assess the impact of correlations and causal relationships between microscopic parameters on macroscopic material properties, we use a moment-independent GSA based on the differential mutual information. Our GSA accounts for the correlated inputs and complex non-Gaussian QoIs. The global sensitivity indices are used to rank the effect of uncertainty in microscopic parameters on macroscopic QoIs, to quantify the impact of causality on the multiscale model's predictions, and to provide physical interpretations of these results for hierarchical nanoporous materials.


title: Bounds on the Length of Functional PIR and Batch codes

abstract: A functional $k$-PIR code of dimension $s$ consists of $n$ servers storing linear combinations of $s$ linearly independent information symbols. Any linear combination of the $s$ information symbols can be recovered by $k$ disjoint subsets of servers. The goal is to find the smallest number of servers for given $k$ and $s$. We provide lower bounds on the number of servers and constructions which yield upper bounds on this number. For $k \leq 4$, exact bounds on the number of servers are proved. Furthermore, we provide some asymptotic bounds. The problem coincides with the well known private information retrieval problem based on a coded database to reduce the storage overhead, when each linear combination contains exactly one information symbol. If any multiset of size $k$ of linear combinations from the linearly independent information symbols can be recovered by $k$ disjoint subset of servers, then the servers form a functional $k$-batch code. A~functional $k$-batch code is a functional $k$-PIR code, where all the $k$ linear combinations in the multiset are equal. We provide some bounds on the number of servers for functional $k$-batch codes. In particular we present a random construction and a construction based on simplex codes, WOM codes, and RIO codes.


title: Open Heavy Flavors in Nuclear Collisions: Theory Overview

abstract: I review the current status and some prospects of theoretical studies on open heavy flavor physics in nuclear collisions at RHIC and LHC energies.


title: Maximal pseudometrics and distortion of circle diffeomorphisms

abstract: We initiate a study of distortion elements in the Polish groups $\mbox{Diff}_+^k(\mathbb{S}^1)$ ($1\leq k<\infty$), as well as $\mbox{Diff}_+^{1+AC}(\mathbb{S}^1)$, in terms of maximal metrics on these groups. We classify distortion in the $k=1$ case: a $C^1$ circle diffeomorphism is $C^1$-undistorted if and only if it has a hyperbolic periodic point. On the other hand, answering a question of Navas, we exhibit analytic circle diffeomorphisms with only non-hyperbolic fixed points which are $C^{1+AC}$-undistorted, and hence $C^k$-undistorted for all $k\geq 2$. In the appendix, we exhibit a maximal metric on $\mbox{Diff}_+^{1+AC}(\mathbb{S}^1)$, and observe that this group is quasi-isometric to a hyperplane of $L^1(I)$.


title: Scaling description of generalization with number of parameters in deep learning

abstract: Supervised deep learning involves the training of neural networks with a large number $N$ of parameters. For large enough $N$, in the so-called over-parametrized regime, one can essentially fit the training data points. Sparsity-based arguments would suggest that the generalization error increases as $N$ grows past a certain threshold $N^{*}$. Instead, empirical studies have shown that in the over-parametrized regime, generalization error keeps decreasing with $N$. We resolve this paradox through a new framework. We rely on the so-called Neural Tangent Kernel, which connects large neural nets to kernel methods, to show that the initialization causes finite-size random fluctuations $\|f_{N}-\bar{f}_{N}\|\sim N^{-1/4}$ of the neural net output function $f_{N}$ around its expectation $\bar{f}_{N}$. These affect the generalization error $\epsilon_{N}$ for classification: under natural assumptions, it decays to a plateau value $\epsilon_{\infty}$ in a power-law fashion $\sim N^{-1/2}$. This description breaks down at a so-called jamming transition $N=N^{*}$. At this threshold, we argue that $\|f_{N}\|$ diverges. This result leads to a plausible explanation for the cusp in test error known to occur at $N^{*}$. Our results are confirmed by extensive empirical observations on the MNIST and CIFAR image datasets. Our analysis finally suggests that, given a computational envelope, the smallest generalization error is obtained using several networks of intermediate sizes, just beyond $N^{*}$, and averaging their outputs.


title: Invariants in Separated Variables: Yang-Baxter, Entwining and Transfer Maps

abstract: We present the explicit form of a family of Liouville integrable maps in 3 variables, the so-called triad family of maps and we propose a multi-field generalisation of the latter. We show that by imposing separability of variables to the invariants of this family of maps, the $H_{\rm I}$, $H_{\rm II}$ and $H_{\rm III}^A$ Yang-Baxter maps in general position of singularities emerge. Two different methods to obtain entwining Yang-Baxter maps are also presented. The outcomes of the first method are entwining maps associated with the $H_{\rm I}$, $H_{\rm II}$ and $H_{\rm III}^A$ Yang-Baxter maps, whereas by the second method we obtain non-periodic entwining maps associated with the whole $F$ and $H$-list of quadrirational Yang-Baxter maps. Finally, we show how the transfer maps associated with the $H$-list of Yang-Baxter maps can be considered as the $(k-1)$-iteration of some maps of simpler form. We refer to these maps as extended transfer maps and in turn they lead to $k$-point alternating recurrences which can be considered as alternating versions of some hierarchies of discrete Painlev\'e equations.


title: Iterated Feature Screening based on Distance Correlation for Ultrahigh-Dimensional Censored Data with Covariates Measurement Error

abstract: Feature screening is an important method to reduce the dimension and capture informative variables in ultrahigh-dimensional data analysis. Many methods have been developed for feature screening. These methods, however, are challenged by complex features pertinent to the data collection as well as the nature of the data themselves. Typically, incomplete response caused by right-censoring and covariates measurement error are often accompanying with survival analysis. Even though there are many methods have been proposed for censored data, little work has been available when both incomplete response and measurement error occur simultaneously. In addition, the conventional feature screening methods may fail to detect the truly important covariates which are marginally independent of the response variable due to correlations among covariates. In this paper, we explore this important problem and propose the valid feature screening method in the presence of survival data with measurement error. In addition, we also develop the iteration method to improve the accuracy of selecting all important covariates. Numerical studies are reported to assess the performance of the proposed method. Finally, we implement the proposed method to two different real datasets.


title: From Classical to Semi-Quantum Secure Communication

abstract: In this work we introduce a novel QKD protocol capable of smoothly transitioning, via user-tuneable parameter, from classical to semi-quantum in order to help understand the effect of quantum communication resources on secure key distribution. We perform an information theoretic security analysis of this protocol to determine what level of "quantumness" is sufficient to achieve security, and we discover some rather interesting properties of this protocol along the way.


title: \'Etale groupoids and Steinberg algebras, a concise introduction

abstract: We give a concise introduction to (discrete) algebras arising from \'etale groupoids, (aka Steinberg algebras) and describe their close relationship with groupoid C*-algebras. Their connection to partial group rings via inverse semigroups also explored.


title: Space-time: Commutative or noncommutative ?

abstract: Noncommutativity of the spacetime coordinates has been explored in several contexts, mostly associated to phenomena at the Planck length scale. However, approaching this question through deformation theory and the principle of stability of physical theories, one concludes that the scales of noncommutativity of the coordinates and noncommutativity of the generators of translations are independent. This suggests that the scale of the spacetime coordinates noncommutativity could be larger than the Planck length. This paper attempts to explore the experimental perspectives to settle this question, either on the lab or by measurements of phenomena of cosmological origin.


title: Robust and accurate electric field sensing with solid state spin ensembles

abstract: Electron spins in solids constitute remarkable quantum sensors. Individual defect centers in diamond were used to detect individual nuclear spins with nanometer scale resolution, and ensemble magnetometers rival SQUID and vapor cell magnetometers when taking into account room temperature operation and size. NV center spins can also detect electric field vectors, despite their weak coupling to electric fields. %even that of an isolated fundamental charge, despite their weak coupling to electric fields. Here, we employ ensembles of NV center spins to measure macroscopic AC electric vector fields with high precision. We utilize low strain, $^{12}$C enriched diamond to achieve maximum sensitivity and tailor the spin Hamiltonian via proper magnetic field adjustment to map out the AC electric field strength and polarization and arrive at refined electric field coupling constants. For high precision measurements we combine classical lock-in detection with aspects from quantum phase estimation for effective suppression of technical noise. Eventually, this enables $t^{-1/2}$ uncertainty scaling of the electric field strength over extended averaging periods, enabling us to reach a sensitivity down to $10^{-7}$ V/$\mu$m.


title: Distributive laws in residuated binars

abstract: In residuated binars there are six non-obvious distributivity identities of $\cdot$,$/$,$\backslash$ over $\wedge, \vee$. We show that in residuated binars with distributive lattice reducts there are some dependencies among these identities; specifically, there are six pairs of identities that imply another one of these identities, and we provide counterexamples to show that no other dependencies exist among these.


title: Connected-Intersecting Families of Graphs

abstract: For a graph property $\mathcal{P}$ and a common vertex set $V = \{1, 2, \ldots, n\}$, a family of graphs on $V$ is \emph{$\mathcal{P}$-intersecting} iff $G \cap H$ satisfies $\mathcal{P}$ for all $G,H$ in the family. Addressing a question of Chung, Graham, Frankl, and Shearer, we explore---for various $\mathcal{P}$---the maximum cardinality among all $\mathcal{P}$-intersecting families of graphs. In the connected-intersecting case, we resolve the question completely by a short linear algebraic proof showing this maximum is attained by taking all graphs containing a fixed spanning tree (though we show other extremal constructions as well). We also present a new lower bound for containing unions of a fixed subgraph.


title: Asymmetric dynamics of edge exchange spin waves in honeycomb nanoribbons with zigzag and bearded edges boundaries

abstract: We report on the theoretical prediction of asymmetric edge spin waves, propagating in opposite directions on the edges of honeycomb nanoribbons with zigzag and bearded edges boundaries. The simultaneous propagation of edge spin waves in the same direction on both edges of these nanoribbons is hence predicted to be forbidden. These asymmetric edge exchange spin waves are analogous to the nonreciprocal surface spin waves reported in magnetic thin films. Their existence is related to the nontrivial symmetry underlying the nanoribbons under study. The edge and discretized bulk exchange spin waves are calculated in the long wavelength part of the Brillouin zone using the classical spin wave theory approach and appropriate boundary conditions. In the absence of an external magnetic field in our study, the asymmetric edge spin waves propagate with equal frequencies and opposite directions, since the energy dispersion relation is independent of the sign of the wavevector components in the long wavelength part of the Brillouin zone. The edge spin waves are characterized by linear dispersion relations for magnetically isotropic nanoribbons. Introducing magnetic anisotropy in the calculation significantly enhances the energy gap between the edge and bulk spin waves in both types of nanoribbons. Based on our calculation, the large energy gap allows separate excitation of bulk and edge modes as their energies are no more overlapping.


title: Reality, Causality, and Quantum Theory

abstract: Quantum theory describes our universe incredibly successfully. To our classically-inclined brains, however, it is a bizarre description that requires a re-imagining of what fundamental reality, or "ontology", could look like. This thesis examines different ontological features in light of the success of quantum theory, what it requires, and what it rules out. While these investigations are primarily foundational, they also have relevance to quantum information, quantum communication, and experiments on quantum systems. [abstract shortened due to arxiv restrictions]


title: A Homotopy Category for Graphs

abstract: We show that the category of graphs has the structure of a 2-category with homotopy as the 2-cells. We then develop an explicit description of homotopies for finite graphs, in terms of what we call `spider moves'. We then create a category by modding out by the 2-cells of our 2-category, and use the spider moves to show that for finite graphs, this category is a homotopy category in the sense that it satisfies the universal property for localizing homotopy equivalences. We then show that finite stiff graphs form a skeleton of this homotopy category.


title: Healthy versus pathological learning transferability in shoulder muscle MRI segmentation using deep convolutional encoder-decoders

abstract: Automatic segmentation of pathological shoulder muscles in patients with musculo-skeletal diseases is a challenging task due to the huge variability in muscle shape, size, location, texture and injury. A reliable fully-automated segmentation method from magnetic resonance images could greatly help clinicians to plan therapeutic interventions and predict interventional outcomes while eliminating time consuming manual segmentation efforts. The purpose of this work is three-fold. First, we investigate the feasibility of pathological shoulder muscle segmentation using deep learning techniques, given a very limited amount of available annotated pediatric data. Second, we address the learning transferability from healthy to pathological data by comparing different learning schemes in terms of model generalizability. Third, extended versions of deep convolutional encoder-decoder architectures using encoders pre-trained on non-medical data are proposed to improve the segmentation accuracy. Methodological aspects are evaluated in a leave-one-out fashion on a dataset of 24 shoulder examinations from patients with obstetrical brachial plexus palsy and focus on 4 different muscles including deltoid as well as infraspinatus, supraspinatus and subscapularis from the rotator cuff. The most relevant segmentation model is partially pre-trained on ImageNet and jointly exploits inter-patient healthy and pathological annotated data. Its performance reaches Dice scores of 82.4%, 82.0%, 71.0% and 82.8% for deltoid, infraspinatus, supraspinatus and subscapularis muscles. Absolute surface estimation errors are all below 83mm$^2$ except for supraspinatus with 134.6mm$^2$. These contributions offer new perspectives for force inference in the context of musculo-skeletal disorder management.


title: A conversation around the analysis of the SiP effort estimation dataset

abstract: The analysis of over ten years of commercial development using Agile (10,100 unique task estimates made by 22 developers, under 20 project codes) is documented via a conversation involving the data analyst and a director of the company that created the SiP dataset. Factors found to influence task implementation effort estimation accuracy include the person making the estimate, the project involved, and the propensity to use round numbers. Any improvement in estimation accuracy, with practice, did not noticeably improve regression models fitted.


title: Celestial Current Algebra from Low's Subleading Soft Theorem

abstract: The leading soft photon theorem implies that four-dimensional scattering amplitudes are controlled by a two-dimensional (2D) $U(1)$ Kac-Moody symmetry that acts on the celestial sphere at null infinity ($\mathcal{I}$). This celestial $U(1)$ current is realized by components of the electromagnetic vector potential on the boundaries of $\mathcal{I}$. Here, we develop a parallel story for Low's subleading soft photon theorem. It gives rise to a second celestial current, which is realized by vector potential components that are subleading in the large radius expansion about the boundaries of $\mathcal{I}$. The subleading soft photon theorem is reexpressed as a celestial Ward identity for this second current, which involves novel shifts by one unit in the conformal dimension of charged operators.


title: The QCD Kondo phase in quark stars

abstract: We study light (u, d) quark matter with charm impurities. These impurities are added to the Lagrangian density. We derive the equation of state (EOS) of this kind of quark matter, which contains a Kondo phase. We explore this EOS and study the structure of stars, identifying the effects of the Kondo phase. Solving the TOV equations and computing the mass-radius diagram, we find that the presence of a Kondo phase leads to smaller and lighter stars.


title: Composite optimization for robust blind deconvolution

abstract: The blind deconvolution problem seeks to recover a pair of vectors from a set of rank one bilinear measurements. We consider a natural nonsmooth formulation of the problem and show that under standard statistical assumptions, its moduli of weak convexity, sharpness, and Lipschitz continuity are all dimension independent. This phenomenon persists even when up to half of the measurements are corrupted by noise. Consequently, standard algorithms, such as the subgradient and prox-linear methods, converge at a rapid dimension-independent rate when initialized within constant relative error of the solution. We then complete the paper with a new initialization strategy, complementing the local search algorithms. The initialization procedure is both provably efficient and robust to outlying measurements. Numerical experiments, on both simulated and real data, illustrate the developed theory and methods.


title: Large values of $L$-functions on $1$-line

abstract: In this paper, we study lower bounds of a general family of $L$-functions on the $1$-line. More precisely, we show that for any $F(s)$ in this family, there exists arbitrary large $t$ such that $F(1+it)\geq e^{\gamma_F} (\log_2 t + \log_3 t)^m + O(1)$, where $m$ is the order of the pole of $F(s)$ at $s=1$. This is a generalization of the same result of Aistleitner, Munsch and the second author for the Riemann zeta-function. As a consequence, we get lower bounds for large values of Dedekind zeta-functions and Rankin-Selberg $L$-functions of the type $L(s,f\times f)$ on the $1$-line.


title: Joint Source-Channel Coding for the Transmission of Correlated Sources over Two-Way Channels

abstract: A joint source-channel coding (JSCC) scheme based on hybrid digital/analog coding is proposed for the transmission of correlated sources over discrete-memoryless two-way channels (DM-TWCs). The scheme utilizes the correlation between the sources in generating channel inputs, thus enabling the users to coordinate their transmission to combat channel noise. The hybrid scheme also subsumes prior coding methods such as rate-one separate source-channel coding and uncoded schemes for two-way lossy transmission, as well as the correlation-preserving coding scheme for (almost) lossless transmission. Moreover, we derive a distortion outer bound for the source-channel system using a genie-aided argument. A complete JSSC theorem for a class of correlated sources and DM-TWCs whose capacity region cannot be enlarged via interactive adaptive coding is also established. Examples that illustrate the theorem are given.


title: The BEBOP radial-velocity survey for circumbinary planets I. Eight years of CORALIE observations of 47 single-line eclipsing binaries and abundance constraints on the masses of circumbinary planets

abstract: We introduce the BEBOP radial velocity survey for circumbinary planets. We initiated this survey using the CORALIE spectrograph on the Swiss Euler Telescope at La Silla, Chile. An intensive four year observing campaign commenced in 2013, targeting 47 single-lined eclipsing binaries drawn from the EBLM survey for low mass eclipsing binaries. Our specific use of binaries with faint M dwarf companions avoids spectral contamination, providing observing conditions akin to single stars. By combining new BEBOP observations with existing ones from the EBLM programme, we report on the results of 1519 radial velocity measurements over timespans as long as eight years. For the best targets we are sensitive to planets down to 0.1 Jupiter masses, and our median sensitivity is 0.4 Jupiter masses. In this initial survey we do not detect any planetary mass companions. Nonetheless, we present the first constraints on the abundance of circumbinary companions, as a function of mass and period. A comparison of our results to Kepler's detections indicates a dispersion of planetary orbital inclinations less than ~10 degrees.


title: Building Atomic, Crash-Consistent Data Stores with Disaggregated Persistent Memory

abstract: Byte-addressable persistent memories (PM) has finally made their way into production. An important and pressing problem that follows is how to deploy them in existing datacenters. One viable approach is to attach PM as self-contained devices to the network as disaggregated persistent memory, or DPM. DPM requires no changes to existing servers in datacenters; without the need to include a processor, DPM devices are cheap to build; and by sharing DPM across compute servers, they offer great elasticity and efficient resource packing. This paper explores different ways to organize DPM and to build data stores with DPM. Specifically, we propose three architectures of DPM: 1) compute nodes directly access DPM (DPM-Direct); 2) compute nodes send requests to a coordinator server, which then accesses DPM to complete a request (DPM-Central); and 3) compute nodes directly access DPM for data operations and communicate with a global metadata server for the control plane (DPM-Sep). Based on these architectures, we built three atomic, crash-consistent data stores. We evaluated their performance, scalability, and CPU cost with micro-benchmarks and YCSB. Our evaluation results show that DPM-Direct has great small-size read but poor write performance; DPM-Central has the best write performance when the scale of the cluster is small but performs poorly when the scale increases; and DPM-Sep performs well overall.


title: Closed Kac-Rice type formulas on Riemannian manifolds

abstract: We establish a few formulas that compute the volume of the zero-set (or nodal set) of a function on a compact Riemannian manifold as integrals of functionals of the function and its derivatives.


title: Smaller Cuts, Higher Lower Bounds

abstract: This paper proves strong lower bounds for distributed computing in the CONGEST model, by presenting the bit-gadget: a new technique for constructing graphs with small cuts. The contribution of bit-gadgets is twofold. First, developing careful sparse graph constructions with small cuts extends known techniques to show a near-linear lower bound for computing the diameter, a result previously known only for dense graphs. Moreover, the sparseness of the construction plays a crucial role in applying it to approximations of various distance computation problems, drastically improving over what can be obtained when using dense graphs. Second, small cuts are essential for proving super-linear lower bounds, none of which were known prior to this work. In fact, they allow us to show near-quadratic lower bounds for several problems, such as exact minimum vertex cover or maximum independent set, as well as for coloring a graph with its chromatic number. Such strong lower bounds are not limited to NP-hard problems, as given by two simple graph problems in P which are shown to require a quadratic and near-quadratic number of rounds. All of the above are optimal up to logarithmic factors. In addition, in this context, the complexity of the all-pairs-shortest-paths problem is discussed. Finally, it is shown that graph constructions for CONGEST lower bounds translate to lower bounds for the semi-streaming model, despite being very different in its nature.


title: Sharp Restricted Isometry Bounds for the Inexistence of Spurious Local Minima in Nonconvex Matrix Recovery

abstract: Nonconvex matrix recovery is known to contain no spurious local minima under a restricted isometry property (RIP) with a sufficiently small RIP constant $\delta$. If $\delta$ is too large, however, then counterexamples containing spurious local minima are known to exist. In this paper, we introduce a proof technique that is capable of establishing sharp thresholds on $\delta$ to guarantee the inexistence of spurious local minima. Using the technique, we prove that in the case of a rank-1 ground truth, an RIP constant of $\delta<1/2$ is both necessary and sufficient for exact recovery from any arbitrary initial point (such as a random point). We also prove a local recovery result: given an initial point $x_{0}$ satisfying $f(x_{0})\le(1-\delta)^{2}f(0)$, any descent algorithm that converges to second-order optimality guarantees exact recovery.


title: Exploiting Network Loss for Distributed Approximate Computing with NetApprox

abstract: Many data center applications such as machine learning and big data analytics can complete their analysis without processing the complete set of data. While extensive approximate-aware optimizations have been proposed at hardware, programming language, and application levels. However, to date, the approximate computing optimizations have ignored the network layer. We propose NetApprox, which to the best of our knowledge, is the first approximate-aware network layer comprising transport-layer protocol, network resource allocation schemes, and scheduling/priority-assignment policies. Building on the observation that approximate applications can tolerate loss, NetApprox's main insights are to aggressively send approximate traffic (which improves the performance of approximate applications) and to minimize the network resources allocated to approximate traffic (which simultaneously limits the impact of aggressive approximate traffic while freeing up resources that, in turn, improve non-approximate applications' performance). We ported Flink, Kafka, Spark, and PyTorch to NetApprox and evaluated NetApprox with both large-scale simulation and real implementation. Our evaluation results show that NetApprox improves job completion times by up to 80% compared to network-oblivious approximation solutions, and improves the performance of co-running non-approximate workloads by 79%.


title: Generating quasiperiodic pulsar glitches using a state-dependent Poisson process

abstract: Glitching pulsars fall broadly into two statistical classes: those with Poisson-like waiting times and power-law sizes, and those with unimodal waiting times and sizes. Previous glitch modeling based on a state-dependent Poisson process readily generates Poisson-like behaviour but struggles to produce unimodal waiting times or sizes. Here it is shown that, when some of the inputs to the model are modified, both classes of statistical behaviour can be reproduced by varying a single control parameter related to the spin-down rate. The implications for past and future glitch observations and the underlying microphysical mechanism are explored briefly.


title: Number Identities and Integer Partitions

abstract: Using a specific form of the triple product identity, polygonal number identities are stated. Further number identities are examined that can be considered identities related to modular sets of numbers. The identities can be used to give results on integer partitions with parts from numbers in modular arithmetic progression. This includes recursive formulas for the number of partitions using these modular parts. The triple product identity can derive further recursive formulas. Additionally, there is a recursive formula for the related sum of divisors function. The specific triple product identity provides a framework to examine all the identities and can be used to define related theta functions.


title: Recent developments in particle yield fluctuation measurements

abstract: In relativistic heavy-ion collisions, properties of the initial state and effects arising during evolution of the medium, such as a transition between the hadronic and partonic phases, should reflect themselves in event-by-event fluctuations of the number of produced particles. In this paper, recent measurements of several event-by-event observables, namely, dynamical fluctuations of relative particle yields and forward-backward correlations of different types, are discussed. Also, new observables for forward-backward correlation studies are proposed: correlations between ratios of identified particle yields in two separated acceptance intervals and the correlation between the ratio in one interval and average transverse momentum in another.


title: Global well-posedness for the Euler alignment system with mildly singular interactions

abstract: We consider the Euler alignment system with mildly singular interaction kernels. When the local repulsion term is of the fractional type, global in time existence of smooth solutions was proved in\cite{do2018global,shvydkoy2017eulerian1,shvydkoy2017eulerian2,shvydkoy2017eulerian3}. Here, we consider a class of less singular interaction kernels and establish the global regularity of solutions as long as the interaction kernels are not integrable. The proof relies on modulus of continuity estimates for a class of parabolic integro-differential equations with a drift and mildly singular kernels.


title: Fine-grained quantum computational supremacy

abstract: Output probability distributions of several sub-universal quantum computing models cannot be classically efficiently sampled unless some unlikely consequences occur in classical complexity theory, such as the collapse of the polynomial-time hierarchy. These results, so called quantum supremacy, however, do not rule out possibilities of super-polynomial-time classical simulations. In this paper, we study "fine-grained" version of quantum supremacy that excludes some exponential-time classical simulations. First, we focus on two sub-universal models, namely, the one-clean-qubit model (or the DQC1 model) and the HC1Q model. Assuming certain conjectures in fine-grained complexity theory, we show that for any $a>0$ output probability distributions of these models cannot be classically sampled within a constant multiplicative error and in $2^{(1-a)N+o(N)}$ time, where $N$ is the number of qubits. Next, we consider universal quantum computing. For example, we consider quantum computing over Clifford and $T$ gates, and show that under another fine-grained complexity conjecture, output probability distributions of Clifford-$T$ quantum computing cannot be classically sampled in $2^{o(t)}$ time within a constant multiplicative error, where $t$ is the number of $T$ gates.


title: An Accurate and Transferable Machine-Learning Interatomic Potential for Silicon

abstract: The development of modern ab initio methods has rapidly increased our understanding of physics, chemistry and materials science. Unfortunately, intensive ab initio calculations are intractable for large and complex systems. On the other hand, empirical force fields are less accurate with poor transferability even though they are efficient to handle large and complex systems. The recent development of machine-learning based neural-network (NN) for local atomic environment representation of density functional theory (DFT) has offered a promising solution to this long-standing challenge. Si is one of the most important elements in science and technology, however, an accurate and transferable interatomic potential for Si is still lacking. Here, we develop a generalized NN potential for Si, which correctly predicts the Si(111)-(7x7) ground-state surface reconstruction for the first time and accurately reproduces the DFT results in a wide range of complex Si structures. We envision similar developments will be made for a wide range of materials systems in the near future.


title: Simulating the impact of the Smith Cloud

abstract: We investigate the future evolution of the Smith Cloud by performing hydrodynamical simulations of the cloud impact onto the gaseous Milky Way Galactic disk. We assume a local origin for the cloud and thus do not include a dark matter component to stabilize it. Our main focus is the cloud's influence on the local and global star formation rate (SFR) of the Galaxy and whether or not it leads to an observable event in the far future. Our model assumes two extremes for the mass of the Smith Cloud, an upper mass limit of 10$^7$ M$_{\odot}$ and a lower mass limit of 10$^6$ M$_{\odot}$, compared to the observational value of a few 10$^6$ M$_{\odot}$. In addition, we also make the conservative assumption that the entirety of the cloud mass of the extended Smith Cloud is concentrated within the tip of the cloud. We find that the impact of the low-mass cloud produces no noticeable change in neither the global SFR nor the local SFR at the cloud impact site within the galactic disk. For the high-mass cloud we find a short-term (roughly 5 Myr) increase of the global SFR of up to 1 M$_{\odot}$ yr$^{-1}$, which nearly doubles the normal Milky Way SFR. This highly localized starburst should be observable.


title: Galaxy And Mass Assembly (GAMA): Environmental Quenching of Centrals and Satellites in Groups

abstract: Recently a number of studies have found a similarity between the passive fraction of central and satellite galaxies when controlled for both stellar and halo mass. These results suggest that the quenching processes that affect galaxies are largely agnostic to central/satellite status, which contradicts the traditional picture of increased satellite quenching via environmental processes such as stripping, strangulation and starvation. Here we explore this further using the Galaxy And Mass Assembly (GAMA) survey which extends to ~2dex lower in stellar mass than SDSS, is more complete for closely-separated galaxies (>95% compared to >70%), and identifies lower-halo-mass groups outside of the very local Universe (M$_{\mathrm{halo}}\sim10^{12}$M$_{\odot}$ at $0.1<z<0.2$). As far as possible we aim to replicate the selections, completeness corrections and central/satellite division of one of the previous studies but find clear differences between passive fractions of centrals and satellites. We also find that our passive fractions increase with both halo-to-satellite mass ratio and central-to-second rank mass ratio. This suggests that quenching is more efficient in satellites that are low-mass for their halo ($i.e$ at high halo-to-satellite mass ratio in comparison to low halo-to-satellite mass ratio) and are more likely to be passive in older groups - forming a consistent picture of environmental quenching of satellites. We then discuss potential explanations for the previously observed similarity, such as dependence on the group-finding method.


title: Blind Motion Deblurring with Cycle Generative Adversarial Networks

abstract: Blind motion deblurring is one of the most basic and challenging problems in image processing and computer vision. It aims to recover a sharp image from its blurred version knowing nothing about the blur process. Many existing methods use Maximum A Posteriori (MAP) or Expectation Maximization (EM) frameworks to deal with this kind of problems, but they cannot handle well the figh frequency features of natural images. Most recently, deep neural networks have been emerging as a powerful tool for image deblurring. In this paper, we prove that encoder-decoder architecture gives better results for image deblurring tasks. In addition, we propose a novel end-to-end learning model which refines generative adversarial network by many novel training strategies so as to tackle the problem of deblurring. Experimental results show that our model can capture high frequency features well, and the results on benchmark dataset show that proposed model achieves the competitive performance.


title: Text Mining Customer Reviews For Aspect-based Restaurant Rating

abstract: This study applies text mining to analyze customer reviews and automatically assign a collective restaurant star rating based on five predetermined aspects: ambiance, cost, food, hygiene, and service. The application provides a web and mobile crowd sourcing platform where users share dining experiences and get insights about the strengths and weaknesses of a restaurant through user contributed feedback. Text reviews are tokenized into sentences. Noun-adjective pairs are extracted from each sentence using Stanford Core NLP library and are associated to aspects based on the bag of associated words fed into the system. The sentiment weight of the adjectives is determined through AFINN library. An overall restaurant star rating is computed based on the individual aspect rating. Further, a word cloud is generated to provide visual display of the most frequently occurring terms in the reviews. The more feedbacks are added the more reflective the sentiment score to the restaurants' performance.


title: A Hot Saturn Orbiting An Oscillating Late Subgiant Discovered by TESS

abstract: We present the discovery of TOI-197.01, the first transiting planet identified by the Transiting Exoplanet Survey Satellite (TESS) for which asteroseismology of the host star is possible. TOI-197 (HIP116158) is a bright (V=8.2 mag), spectroscopically classified subgiant which oscillates with an average frequency of about 430 muHz and displays a clear signature of mixed modes. The oscillation amplitude confirms that the redder TESS bandpass compared to Kepler has a small effect on the oscillations, supporting the expected yield of thousands of solar-like oscillators with TESS 2-minute cadence observations. Asteroseismic modeling yields a robust determination of the host star radius (2.943+/-0.064 Rsun), mass (1.212 +/- 0.074 Msun) and age (4.9+/-1.1 Gyr), and demonstrates that it has just started ascending the red-giant branch. Combining asteroseismology with transit modeling and radial-velocity observations, we show that the planet is a "hot Saturn" (9.17+/-0.33 Rearth) with an orbital period of ~14.3 days, irradiance of 343+/-24 Fearth, moderate mass (60.5 +/- 5.7 Mearth) and density (0.431+/-0.062 gcc). The properties of TOI-197.01 show that the host-star metallicity - planet mass correlation found in sub-Saturns (4-8 Rearth) does not extend to larger radii, indicating that planets in the transition between sub-Saturns and Jupiters follow a relatively narrow range of densities. With a density measured to ~15%, TOI-197.01 is one of the best characterized Saturn-sized planets to date, augmenting the small number of known transiting planets around evolved stars and demonstrating the power of TESS to characterize exoplanets and their host stars using asteroseismology.


title: On normal forms of complex points of small $\mathcal{C}^{2}$-perturbations of real $4$-manifolds embedded in a complex $3$-manifold

abstract: The purpose of this paper is to give a better understanding of complex points up to quadratic terms of real codimension $2$ submanifolds embedded in a complex $3$-manifold. We answer the question how a normal form of a pair of one arbitrary and one symmetric $2\times 2$ matrix with respect to a certain linear group action changes under arbitrarily small perturbations. This result is then applied to describe the quadratic part of normal forms of complex points of small $\mathcal{C}^{2}$-perturbations of real $4$-manifolds embedded in a complex $3$-manifold.


title: Bootstrap inference for the finite population total under complex sampling designs

abstract: Bootstrap is a useful tool for making statistical inference, but it may provide erroneous results under complex survey sampling. Most studies about bootstrap-based inference are developed under simple random sampling and stratified random sampling. In this paper, we propose a unified bootstrap method applicable to some complex sampling designs, including Poisson sampling and probability-proportional-to-size sampling. Two main features of the proposed bootstrap method are that studentization is used to make inference, and the finite population is bootstrapped based on a multinomial distribution by incorporating the sampling information. We show that the proposed bootstrap method is second-order accurate using the Edgeworth expansion. Two simulation studies are conducted to compare the proposed bootstrap method with the Wald-type method, which is widely used in survey sampling. Results show that the proposed bootstrap method is better in terms of coverage rate especially when sample size is limited.


title: The ranks of alternating string C-groups

abstract: In this paper, string C-groups of all ranks $3 \leq r \leq \frac{n}{2}$ are provided for each alternating group $A_n$, $n \geq 12$. As the string C-group representations of $A_n$ have also been classified for $n \leq 11$, and it is known that larger ranks are impossible, this paper provides the exact values of $n$ for which $A_n$ can be represented as a string C-group of a fixed rank.


title: Disjoint superheavy subsets and fragmentation norms

abstract: We present a lower bound for a fragmentation norm and construct a bi-Lipschitz embedding $I\colon \mathbb{R}^n\to\mathrm{Ham}(M)$ with respect to the fragmentation norm on the group $\mathrm{Ham}(M)$ of Hamiltonian diffeomorphisms of a symplectic manifold $(M,\omega)$. As an application, we provide an answer to Brandenbursky's question on fragmentation norms on $\mathrm{Ham}(\Sigma_g)$, where $\Sigma_g$ is a closed Riemannian surface of genus $g\geq 2$


title: A digression on Hermite polynomials

abstract: Orthogonal polynomials are of fundamental importance in many fields of mathematics and science, therefore the study of a particular family is always relevant. In this manuscript, we present a survey of some general results of the Hermite polynomials and show a few of their applications in the connection problem of polynomials, probability theory and the combinatorics of a simple graph. Most of the content presented here is well known, except for a few sections where we add our own work to the subject, nevertheless, the text is meant to be a self-contained personal exposition.


title: Better Guider Predicts Future Better: Difference Guided Generative Adversarial Networks

abstract: Predicting the future is a fantasy but practicality work. It is the key component to intelligent agents, such as self-driving vehicles, medical monitoring devices and robotics. In this work, we consider generating unseen future frames from previous obeservations, which is notoriously hard due to the uncertainty in frame dynamics. While recent works based on generative adversarial networks (GANs) made remarkable progress, there is still an obstacle for making accurate and realistic predictions. In this paper, we propose a novel GAN based on inter-frame difference to circumvent the difficulties. More specifically, our model is a multi-stage generative network, which is named the Difference Guided Generative Adversarial Netwok (DGGAN). The DGGAN learns to explicitly enforce future-frame predictions that is guided by synthetic inter-frame difference. Given a sequence of frames, DGGAN first uses dual paths to generate meta information. One path, called Coarse Frame Generator, predicts the coarse details about future frames, and the other path, called Difference Guide Generator, generates the difference image which include complementary fine details. Then our coarse details will then be refined via guidance of difference image under the support of GANs. With this model and novel architecture, we achieve state-of-the-art performance for future video prediction on UCF-101, KITTI.


title: Quantum Interference in a Single Perovskite Nanocrystal

abstract: Coherent manipulation of the exciton wave function in a single semiconductor colloidal nanocrystal (NC) has been actively pursued in the past decades without any success, mainly due to the bothersome existences of the spectral diffusion and the photoluminescence (PL) blinking effects. Such optical deficiencies can be naturally avoided in the newly-developed colloidal NCs of perovskite CsPbI3, leading to the PL spectrum with a stable intensity at the single-particle level. Meanwhile, from the first-order photon correlation measurement, a PL linewidth smaller than 20 {\mu}eV is estimated for the emission state of the neutral excitons in a single CsPbI3 NC. Moreover, a dephasing time of about 10 ps can be extracted from the quantum interference measurement on the absorption state of the charged excitons. This first demonstration of a coherent optical feature will advance single colloidal NCs into the quantum information regime, opening up an alternative yet prospective research direction beyond their traditional applications such as in optoelectronic devices and bioimaging.


title: Tooth morphometry using quasi-conformal theory

abstract: Shape analysis is important in anthropology, bioarchaeology and forensic science for interpreting useful information from human remains. In particular, teeth are morphologically stable and hence well-suited for shape analysis. In this work, we propose a framework for tooth morphometry using quasi-conformal theory. Landmark-matching Teichm\"uller maps are used for establishing a 1-1 correspondence between tooth surfaces with prescribed anatomical landmarks. Then, a quasi-conformal statistical shape analysis model based on the Teichm\"uller mapping results is proposed for building a tooth classification scheme. We deploy our framework on a dataset of human premolars to analyze the tooth shape variation among genders and ancestries. Experimental results show that our method achieves much higher classification accuracy with respect to both gender and ancestry when compared to the existing methods. Furthermore, our model reveals the underlying tooth shape difference between different genders and ancestries in terms of the local geometric distortion and curvatures.


title: Randomized Tensor Ring Decomposition and Its Application to Large-scale Data Reconstruction

abstract: Dimensionality reduction is an essential technique for multi-way large-scale data, i.e., tensor. Tensor ring (TR) decomposition has become popular due to its high representation ability and flexibility. However, the traditional TR decomposition algorithms suffer from high computational cost when facing large-scale data. In this paper, taking advantages of the recently proposed tensor random projection method, we propose two TR decomposition algorithms. By employing random projection on every mode of the large-scale tensor, the TR decomposition can be processed at a much smaller scale. The simulation experiment shows that the proposed algorithms are $4-25$ times faster than traditional algorithms without loss of accuracy, and our algorithms show superior performance in deep learning dataset compression and hyperspectral image reconstruction experiments compared to other randomized algorithms.


title: Learning Nonlinear Input-Output Maps with Dissipative Quantum Systems

abstract: In this paper, we develop a theory of learning nonlinear input-output maps with fading memory by dissipative quantum systems, as a quantum counterpart of the theory of approximating such maps using classical dynamical systems. The theory identifies the properties required for a class of dissipative quantum systems to be {\em universal}, in that any input-output map with fading memory can be approximated arbitrarily closely by an element of this class. We then introduce an example class of dissipative quantum systems that is provably universal. Numerical experiments illustrate that with a small number of qubits, this class can achieve comparable performance to classical learning schemes with a large number of tunable parameters. Further numerical analysis suggests that the exponentially increasing Hilbert space presents a potential resource for dissipative quantum systems to surpass classical learning schemes for input-output maps.


title: Optimal Closures in a Simple Model for Turbulent Flows

abstract: In this work we introduce a computational framework for determining optimal closures of the eddy-viscosity type for Large-Eddy Simulations (LES) of a broad class of PDE models, such as the Navier-Stokes equation. This problem is cast in terms of PDE-constrained optimization where an error functional representing the misfit between the target and predicted observations is minimized with respect to the functional form of the eddy viscosity in the closure relation. Since this leads to a PDE optimization problem with a nonstandard structure, the solution is obtained computationally with a flexible and efficient gradient approach relying on a combination of modified adjoint-based analysis and Sobolev gradients. By formulating this problem in the continuous setting we are able to determine the optimal closure relations in a very general form subject only to some minimal assumptions. The proposed framework is thoroughly tested on a model problem involving the LES of the 1D Kuramoto-Sivashinsky equation, where optimal forms of the eddy viscosity are obtained as generalizations of the standard Smagorinsky model. It is demonstrated that while the solution trajectories corresponding to the DNS and LES still diverge exponentially, with such optimal eddy viscosities the rate of divergence is significantly reduced as compared to the Smagorinsky model. By systematically finding {optimal forms of the eddy viscosity within a certain general class of closure} models, thisframework can thus provide insights about the fundamental performance limitations of these models.


title: Orthogonal decompositions of classical Lie algebras over finite commutative rings

abstract: Let $R$ be a finite commutative ring with identity. In this paper, we give a necessary condition for the existence of an orthogonal decomposition of the special linear Lie algebra over $R$. Additionally, we study orthogonal decompositions of the symplectic Lie algebra and the special orthogonal Lie algebra over $R$.


title: Beamspace Channel Estimation for Millimeter Wave Massive MIMO System with Hybrid Precoding and Combining

abstract: In this paper, a framework of beamspace channel estimation in millimeter wave (mmWave) massive MIMO system is proposed. The framework includes the design of hybrid precoding and combining matrix as well as the search method for the largest entry of over-sampled beamspace receiving matrix. Then based on the framework, three channel estimation schemes including identity matrix approximation (IA)-based scheme, scattered zero off-diagonal (SZO)-based scheme and concentrated zero off-diagonal (CZO)-based scheme are proposed. These schemes together with the existing channel estimation schemes are compared in terms of computational complexity, estimation error and total time slots for channel training. Simulation results show that the proposed schemes outperform the existing schemes and can approach the performance of the ideal case. In particular, total time slots for channel training can be substantially reduced.


title: Precoding Design for Energy Efficiency of Multibeam Satellite Communications

abstract: Instead of merely improving the spectral efficiency (SE), improving the energy efficiency (EE) is another important concern for multibeam satellite systems, due to the power constraint of satellites. However, so far there has been no detailed work on the precoding design concerning the EE for multibeam satellite. In this work, the EE maximization problem is investigated for multibeam satellite systems under the total power constraint as well as the quality of service (QoS) constraints. Precoding design algorithms based on zero forcing (ZF) and sequential convex approximation (SCA) are presented respectively. In particular, these algorithms are verified by the real measured channel data of multibeam satellite systems. Numerical results show that the precoding algorithm based on SCA outperforms that based on ZF. It is also implied that the EE cannot be always improved by solely increasing the power of the satellite, while reducing the satellite operation power is an effective way for the EE improvement.


title: A Ramsey problem related to butterfly graph vs. proper connected subgraphs of K4

abstract: A graph on 5 vertices consisting of 2 copies of the cycle graph C3 sharing a common vertex is called the Butterfly graph (B). The smallest natural number s such that any two-colouring (say red and blue) of the edges of Kj*s has a copy of a red B or a blue G is called the multipartite Ramsey number of Butterfly graph versus G. This number is denoted by mj(B,G). In this paper we find exact the values for mj(B,G) when and G represents any connected proper subgraph of K4 with at least one edge.


title: Dynamic Programming for Sequential Deterministic Quantization of Discrete Memoryless Channels

abstract: In this paper, under a general cost function $C$, we present a dynamic programming (DP) method to obtain an optimal sequential deterministic quantizer (SDQ) for $q$-ary input discrete memoryless channel (DMC). The DP method has complexity $O(q (N-M)^2 M)$, where $N$ and $M$ are the alphabet sizes of the DMC output and quantizer output, respectively. Then, starting from the quadrangle inequality, two techniques are applied to reduce the DP method's complexity. One technique makes use of the Shor-Moran-Aggarwal-Wilber-Klawe (SMAWK) algorithm and achieves complexity $O(q (N-M) M)$. The other technique is much easier to be implemented and achieves complexity $O(q (N^2 - M^2))$. We further derive a sufficient condition under which the optimal SDQ is optimal among all quantizers and the two techniques are applicable. This generalizes the results in the literature for binary-input DMC. Next, we show that the cost function of $\alpha$-mutual information ($\alpha$-MI)-maximizing quantizer belongs to the category of $C$. We further prove that under a weaker condition than the sufficient condition we derived, the aforementioned two techniques are applicable to the design of $\alpha$-MI-maximizing quantizer. Finally, we illustrate the particular application of our design method to practical pulse-amplitude modulation systems.