title: Rigidity of the Hamburger and Stieltjes moment sequences

abstract: This paper aims at finding conditions on a Hamburger or Stieltjes moment sequence, under which the change of at most a finite number of its entries produces another sequence of the same type. It turns out that a moment sequence allows all small enough variations of this kind precisely when it is indeterminate. We also show that a determinate moment sequence has the finite index of determinacy if and only if the corresponding finite number of its entries can be changed in a certain way.


title: An optical solution for the set splitting problem

abstract: We describe here an optical device, based on time-delays, for solving the set splitting problem which is well-known NP-complete problem. The device has a graph-like structure and the light is traversing it from a start node to a destination node. All possible (potential) paths in the graph are generated and at the destination we will check which one satisfies completely the problem's constrains.


title: Magnetic susceptibility of optimally doped HgBa$_{2}$CuO$_{4+\delta}$

abstract: The magnitude of the powder spin susceptibility of an optimally doped superconductor HgBa$_2$CuO$_{4+\delta}$ (Hg1201) in the normal state is found to be nearly the same as that of La$_{2-x}$Sr$_{x}$CuO$_{4}$ near the optimally doped level. The Stoner enhancement factor of Hg1201 is larger than that of La$_{2-x}$Sr$_{x}$CuO$_{4}$. The magnitude correlation of the Stoner enhancement factor is inconsistent with the effect of the recent theoretical Coulomb repulsion between 3$d$ electrons and that of the superexchange intereraction of a charge transfer type.


title: Non-branching tree-decompositions

abstract: We prove that if a graph has a tree-decomposition of width at most w, then it has a tree-decomposition of width at most w with certain desirable properties. We will use this result in a subsequent paper to show that every 2-connected graph of large path-width has a minor isomorphic to either a large tree with a vertex attached to every vertex of the tree or a large outerplanar graph.


title: Representation and Reinforcement Learning for Personalized Glycemic Control in Septic Patients

abstract: Glycemic control is essential for critical care. However, it is a challenging task because there has been no study on personalized optimal strategies for glycemic control. This work aims to learn personalized optimal glycemic trajectories for severely ill septic patients by learning data-driven policies to identify optimal targeted blood glucose levels as a reference for clinicians. We encoded patient states using a sparse autoencoder and adopted a reinforcement learning paradigm using policy iteration to learn the optimal policy from data. We also estimated the expected return following the policy learned from the recorded glycemic trajectories, which yielded a function indicating the relationship between real blood glucose values and 90-day mortality rates. This suggests that the learned optimal policy could reduce the patients' estimated 90-day mortality rate by 6.3%, from 31% to 24.7%. The result demonstrates that reinforcement learning with appropriate patient state encoding can potentially provide optimal glycemic trajectories and allow clinicians to design a personalized strategy for glycemic control in septic patients.


title: Dark state optical lattice with sub-wavelength spatial structure

abstract: We report on the experimental realization of a conservative optical lattice for cold atoms with sub-wavelength spatial structure. The potential is based on the nonlinear optical response of three-level atoms in laser-dressed dark states, which is not constrained by the diffraction limit of the light generating the potential. The lattice consists of a 1D array of ultra-narrow barriers with widths less than 10~nm, well below the wavelength of the lattice light, physically realizing a Kronig-Penney potential. We study the band structure and dissipation of this lattice, and find good agreement with theoretical predictions. The observed lifetimes of atoms trapped in the lattice are as long as 60 ms, nearly $10^5$ times the excited state lifetime, and could be further improved with more laser intensity. The potential is readily generalizable to higher dimension and different geometries, allowing, for example, nearly perfect box traps, narrow tunnel junctions for atomtronics applications, and dynamically generated lattices with sub-wavelength spacings.


title: An Asymptotically Optimal Algorithm for Communicating Multiplayer Multi-Armed Bandit Problems

abstract: We consider a decentralized stochastic multi-armed bandit problem with multiple players. Each player aims to maximize his/her own reward by pulling an arm. The arms give rewards based on i.i.d. stochastic Bernoulli distributions. Players are not aware about the probability distributions of the arms. At the end of each turn, the players inform their neighbors about the arm he/she pulled and the reward he/she got. Neighbors of players are determined according to an Erd{\H{o}}s-R{\'e}nyi graph with connectivity $\alpha$. This graph is reproduced in the beginning of every turn with the same connectivity. When more than one player choose the same arm in a turn, we assume that only one of the players who is randomly chosen gets the reward where the others get nothing. We first start by assuming players are not aware of the collision model and offer an asymptotically optimal algorithm for $\alpha = 1$ case. Then, we extend our prior work and offer an asymptotically optimal algorithm for any connectivity but zero, assuming players aware of the collision model. We also study the effect of $\alpha$, the degree of communication between players, empirically on the cumulative regret by comparing them with traditional multi-armed bandit algorithms.


title: Local cohomology associated to the radical of a group action on a noetherian algebra

abstract: An arbitrary group action on an algebra $R$ results in an ideal $\mathfrak{r}$ of $R$. This ideal $\mathfrak{r}$ fits into the classical radical theory, and will be called the radical of the group action. If $R$ is a noetherian algebra with finite GK-dimension and $G$ is a finite group, then the difference between the GK-dimensionsof $R$ and that of $R/\mathfrak{r}$ is called the pertinency of the group action. We provide some methods to find elements of the radical, which helps to calculate the pertinency of some special group actions. The $\mathfrak{r}$-adic local cohomology of $R$ is related to the singularities of the invariant subalgebra $R^G$. We establish an equivalence between the quotient category of the invariant $R^G$ and that of the skew group ring $R*G$ through the torsion theory associated to the radical $\mathfrak{r}$. With the help of the equivalence, we show that the invariant subalgebra $R^G$ will inherit certain Cohen-Macaulay property from $R$.


title: Nearly Optimal Scheduling of Wireless Ad Hoc Networks in Polynomial Time

abstract: In this paper, we address the scheduling problem in wireless ad hoc networks by exploiting the computational advantage that comes when such scheduling problems can be represented by claw-free conflict graphs where we consider a wireless broadcast medium. It is possible to formulate a scheduling problem of network coded flows as finding maximum weighted independent set (MWIS) in the conflict graph of the network. Finding MWIS of a general graph is NP-hard leading to an NP-hard complexity of scheduling. In a claw-free conflict graph, MWIS can be found in polynomial time leading to a throughput-optimal scheduling. We show that the conflict graph of certain wireless ad hoc networks are claw-free. In order to obtain claw-free conflict graphs in general networks, we suggest introducing additional conflicts (edges) while keeping the decrease in MWIS size minimal. To this end, we introduce an iterative optimization problem to decide where to introduce edges and investigate its efficient implementation. Besides, we exemplify some physical modifications to manipulate the conflict graph of a network and also propose a mixed scheduling strategy for specific networks. We conclude that claw breaking method by adding extra edges can perform nearly optimal under the necessary assumptions.


title: Impact Of Urban Technology Deployments On Local Commercial Activity

abstract: While smart city innovations seem to be a common and necessary response to increasing challenges of urbanization, foreseeing their impact on complex urban system is critical for informed decision making. Moreover, often the effect of urban interventions goes beyond the original expectations, including multiple indirect impacts. The present study considers the impact of two urban deployments, Citi Bike (bike sharing system) and LinkNYC kiosks, on the local commercial activity in the affected neighborhoods of New York City. The study uses anonymized and aggregated insights provided through a grant from the Mastercard Center for Inclusive Growth in order to provide initial data-driven evidence towards the hypothesis that proximity of Citi Bike stations incentivizes local sales at eating places, while LinkNYC kiosks help people, especially visitors, to navigate local businesses and thus incentivize commercial activity in different business categories.


title: Weak-strong uniqueness for the general Ericksen-Leslie system in three dimensions

abstract: We study the Ericksen-Leslie system equipped with a quadratic free energy functional. The norm restriction of the director is incorporated by a standard relaxation technique using a double-well potential. We use the relative energy concept, often applied in the context of compressible Euler- or related systems of fluid dynamics, to prove weak-strong uniqueness of solutions. A main novelty is that the relative energy inequality is proved for a system with a nonconvex energy.


title: Mix-and-Match Tuning for Self-Supervised Semantic Segmentation

abstract: Deep convolutional networks for semantic image segmentation typically require large-scale labeled data, e.g. ImageNet and MS COCO, for network pre-training. To reduce annotation efforts, self-supervised semantic segmentation is recently proposed to pre-train a network without any human-provided labels. The key of this new form of learning is to design a proxy task (e.g. image colorization), from which a discriminative loss can be formulated on unlabeled data. Many proxy tasks, however, lack the critical supervision signals that could induce discriminative representation for the target image segmentation task. Thus self-supervision's performance is still far from that of supervised pre-training. In this study, we overcome this limitation by incorporating a "mix-and-match" (M&M) tuning stage in the self-supervision pipeline. The proposed approach is readily pluggable to many self-supervision methods and does not use more annotated samples than the original process. Yet, it is capable of boosting the performance of target image segmentation task to surpass fully-supervised pre-trained counterpart. The improvement is made possible by better harnessing the limited pixel-wise annotations in the target dataset. Specifically, we first introduce the "mix" stage, which sparsely samples and mixes patches from the target set to reflect rich and diverse local patch statistics of target images. A "match" stage then forms a class-wise connected graph, which can be used to derive a strong triplet-based discriminative loss for fine-tuning the network. Our paradigm follows the standard practice in existing self-supervised studies and no extra data or label is required. With the proposed M&M approach, for the first time, a self-supervision method can achieve comparable or even better performance compared to its ImageNet pre-trained counterpart on both PASCAL VOC2012 dataset and CityScapes dataset.


title: Transfinite Galois Theory

abstract: In this paper I generalize the notion of a polynomial over an ordered field to that of a naked polynomial over a non-Archimedean ordered field, subsequently showing that the notion of a naked polynomial ring forms an Euclidean domain. This canonically generalizes the methods of Galois theory of fields and polynomial rings to a transfinite Galois theory of non-Archimedean ordered fields and naked polynomial rings, lifting the processes of splitting and algebraic closure to non-Archimedean ordered fields.


title: On a class of solutions to the generalized derivative Schr\"odinger equations

abstract: In this work we shall consider the initial value problem associated to the generalized derivative Schr\"odinger equations \begin{equation*} \p_tu=i\p_x^2u + \mu\,|u|^{\a}\p_xu, \hskip10pt x,t\in\R, \hskip5pt 0<\a \le 1\;\, {\rm and}\;\, |\mu|=1, \end{equation*} and \begin{equation*} \p_tu=i\p_x^2u + \mu\,\p_x\big(|u|^{\a}u\big), \hskip10pt x,t\in\R, \hskip5pt 0<\a \le 1\;\, {\rm and}\;\, |\mu|=1. \end{equation*} Following the argument introduced by Cazenave and Naumkin \cite{Cazenave} we shall establish the local well-posedness for a class of small data in an appropriate weighted Sobolev space. The other main tools in the proof include the homogeneous and inhomogeneous versions of the Kato smoothing effect for the linear Schr\"odinger equation established by Kenig-Ponce-Vega in \cite{KPV1}.


title: Integrable $sl(\infty)$-modules and Category $\mathcal O$ for $\mathfrak{gl}(m|n)$

abstract: We introduce and study new categories T(g,k)of integrable sl(\infty)-modules which depend on the choice of a certain reductive subalgebra k in g=sl(\infty). The simple objects of these categories are tensor modules as in the previously studied category, however, the choice of k provides more flexibility of nonsimple modules. We then choose k to have two infinite-dimensional diagonal blocks, and show that a certain injective object K(m|n) in T(g,k) realizes a categorical sl(\infty)-action on the integral category O(m|n) of the Lie superalgebra gl(m|n). We show that the socle of K(m|n) is generated by the projective modules in O(m|n), and compute the socle filtration of K(m|n) explicitly. We conjecture that the socle filtration of K(m|n) reflects a "degree of atypicality filtration" on the category O(m|n). We also conjecture that a natural tensor filtration on K(m|n) arises via the Duflo--Serganova functor sending the category O(m|n) to O(m-1|n-1). We prove this latter conjecture for a direct summand of K(m|n) corresponding to the finite-dimensional gl(m|n)-modules.


title: Shifted derived Poisson manifolds associated with Lie pairs

abstract: We study the shifted analogue of the "Lie--Poisson" construction for $L_\infty$ algebroids and we prove that any $L_\infty$ algebroid naturally gives rise to shifted derived Poisson manifolds. We also investigate derived Poisson structures from a purely algebraic perspective and, in particular, we establish a homotopy transfer theorem for derived Poisson algebras. As an application, we prove that, given a Lie pair $(L,A)$, the space $\operatorname{tot}\Omega^{\bullet}_A(\Lambda^\bullet(L/A))$ admits a degree $(+1)$ derived Poisson algebra structure with the wedge product as associative multiplication and the Chevalley--Eilenberg differential $d_A^{\operatorname{Bott}}:\Omega^{\bullet}_A(\Lambda^\bullet(L/A))\to \Omega^{\bullet +1}_A(\Lambda^\bullet(L/A))$ as unary $L_\infty$ bracket. This degree $(+1)$ derived Poisson algebra structure on $\operatorname{tot}\Omega^{\bullet}_A(\Lambda^\bullet(L/A))$ is unique up to an isomorphism having the identity map as first Taylor coefficient. Consequently, the Chevalley--Eilenberg hypercohomology $\mathbb{H}(\Omega^{\bullet}_A(\Lambda^\bullet(L/A)),d_A^{\operatorname{Bott}})$ admits a canonical Gerstenhaber algebra structure.


title: Status of Dark Matter Searches (Rapporteur Talk)

abstract: This article reviews the status of the field of dark matter as of summer 2017, when it was discussed at 35th International Cosmic Ray Conference (ICRC 2017) in Busan, Korea. It is the write-up of a rapporteur talk on the status of dark matter searches given at the conference.


title: Adaptive Nonlinear Control of High-Performance motors through Multi-Level Inverters

abstract: Many real-world systems are governed by the time-dependent, nonlinear differential equations. Dynamics of an electrical system are also best described using the very equations. Being one of the preferred machines when using advanced control algorithms for electric drives, DC motor has been selected for position tracking. Defining dynamic equations of the motor derived from the theory of nonlinear equations, aided our simulations by overcoming the time dependency that might not be addressed satisfactorily using regular control topologies. We incorporated integrator backstepping methodology along with a Multilevel Diode Clamped Inverter to develop full state feedback (FSFB) position tracking controller. The results thus obtained by using the integrator backstepping algorithm along with multilevel inverter were compared to the output of ideal case circuit that generated results based on integrator backstepping algorithm alone. Simulation results provide further validation with control topology being investigated for the ideal circuit and the inverter circuit.


title: Big Hankel operators on vector-valued Fock spaces in $\C^d$

abstract: We study big Hankel operators acting on vector-valued Fock spaces with radial weights in $\C^d$. We provide complete characterizations for the boundedness, compactness and Schatten class membership of such operators.


title: Drinfeld Modules with Complex Multiplication, Hasse Invariants and Factoring Polynomials over Finite Fields

abstract: We present a novel randomized algorithm to factor polynomials over a finite field $\F_q$ of odd characteristic using rank $2$ Drinfeld modules with complex multiplication. The main idea is to compute a lift of the Hasse invariant (modulo the polynomial $f \in \F_q[x]$ to be factored) with respect to a random Drinfeld module $\phi$ with complex multiplication. Factors of $f$ supported on prime ideals with supersingular reduction at $\phi$ have vanishing Hasse invariant and can be separated from the rest. Incorporating a Drinfeld module analogue of Deligne's congruence, we devise an algorithm to compute the Hasse invariant lift, which turns out to be the crux of our algorithm. The resulting expected runtime of $n^{3/2+\varepsilon} (\log q)^{1+o(1)}+n^{1+\varepsilon} (\log q)^{2+o(1)}$ to factor polynomials of degree $n$ over $\F_q$ matches the fastest previously known algorithm, the Kedlaya-Umans implementation of the Kaltofen-Shoup algorithm.


title: Eulerian-Lagrangian method for simulation of cloud cavitation

abstract: We present a coupled Eulerian-Lagrangian method to simulate cloud cavitation in a compressible liquid. The method is designed to capture the strong, volumetric oscillations of each bubble and the bubble-scattered acoustics. The dynamics of the bubbly mixture is formulated using volume-averaged equations of motion. The continuous phase is discretized on an Eulerian grid and integrated using a high-order, finite-volume weighted essentially non-oscillatory (WENO) scheme, while the gas phase is modeled as spherical, Lagrangian point-bubbles at the sub-grid scale, each of whose radial evolution is tracked by solving the Keller-Miksis equation. The volume of bubbles is mapped onto the Eulerian grid as the void fraction by using a regularization (smearing) kernel. In the most general case, where the bubble distribution is arbitrary, three-dimensional Cartesian grids are used for spatial discretization. In order to reduce the computational cost for problems possessing translational or rotational homogeneities, we spatially average the governing equations along the direction of symmetry and discretize the continuous phase on two-dimensional or axi-symmetric grids, respectively. We specify a regularization kernel that maps the three-dimensional distribution of bubbles onto the field of an averaged two-dimensional or axi-symmetric void fraction. A closure is developed to model the pressure fluctuations at the sub-grid scale as synthetic noise. For the examples considered here, modeling the sub-grid pressure fluctuations as white noise agrees a priori with computed distributions from three-dimensional simulations, and suffices, a posteriori, to accurately reproduce the statistics of the bubble dynamics. The numerical method and its verification are described by considering test cases of the dynamics of a single bubble and cloud cavitaiton induced by ultrasound fields.


title: Defect-driven shape instabilities of bundles

abstract: Topological defects are crucial to the thermodynamics and structure of condensed matter systems. For instance, when incorporated into crystalline membranes like graphene, disclinations with positive and negative topological charge elastically buckle the material into conical and saddle-like shapes respectively. A recently uncovered mapping between the inter-element spacing in 2D columnar structures and the metric properties of curved surfaces motivates basic questions about the interplay between defects in the cross section of a columnar bundle and its 3D shape. Such questions are critical to the structure of a broad class of filamentous materials, from biological assemblies like protein fibers to nano- or micro-structured synthetic materials like carbon nanotube bundles. Here, we explore the buckling behavior for elementary disclinations in hexagonal bundles using a combination of continuum elasticity theory and numerical simulations of discrete-filaments. We show that shape instabilities are controlled by a single material-dependent parameter that characterizes the ratio of inter-filament to intra-filament elastic energies. Along with a host of previously unknown shape equilibria---the filamentous analogs to the conical and saddle-like shapes of defective membranes---we find a profoundly asymmetric response to positive and negative topologically charged defects in the infinite length limit that is without parallel to the membrane analog. The highly non-linear dependence on the sign of the disclination charge is shown to have a purely geometric origin, stemming the from the distinct compatibility (or incompatibility) of effectively positive- (or negative-) curvature geometries with lengthwise-constant filament spacing.


title: Cubic Lagrange elements satisfying exact incompressibility

abstract: We prove that an analog of the Scott-Vogelius finite elements are inf-sup stable on certain nondegenerate meshes for piecewise cubic velocity fields. We also characterize the divergence of the velocity space on such meshes. In addition, we show how such a characterization relates to the dimension of C^1 piecewise quartics on the same mesh.


title: Towards Robust Neural Networks via Random Self-ensemble

abstract: Recent studies have revealed the vulnerability of deep neural networks: A small adversarial perturbation that is imperceptible to human can easily make a well-trained deep neural network misclassify. This makes it unsafe to apply neural networks in security-critical applications. In this paper, we propose a new defense algorithm called Random Self-Ensemble (RSE) by combining two important concepts: {\bf randomness} and {\bf ensemble}. To protect a targeted model, RSE adds random noise layers to the neural network to prevent the strong gradient-based attacks, and ensembles the prediction over random noises to stabilize the performance. We show that our algorithm is equivalent to ensemble an infinite number of noisy models $f_\epsilon$ without any additional memory overhead, and the proposed training procedure based on noisy stochastic gradient descent can ensure the ensemble model has a good predictive capability. Our algorithm significantly outperforms previous defense techniques on real data sets. For instance, on CIFAR-10 with VGG network (which has 92\% accuracy without any attack), under the strong C\&W attack within a certain distortion tolerance, the accuracy of unprotected model drops to less than 10\%, the best previous defense technique has $48\%$ accuracy, while our method still has $86\%$ prediction accuracy under the same level of attack. Finally, our method is simple and easy to integrate into any neural network.


title: What influences the speed of prototyping? An empirical investigation of twenty software startups

abstract: It is essential for startups to quickly experiment business ideas by building tangible prototypes and collecting user feedback on them. As prototyping is an inevitable part of learning for early stage software startups, how fast startups can learn depends on how fast they can prototype. Despite of the importance, there is a lack of research about prototyping in software startups. In this study, we aimed at understanding what are factors influencing different types of prototyping activities. We conducted a multiple case study on twenty European software startups. The results are two folds, firstly we propose a prototype-centric learning model in early stage software startups. Secondly, we identify factors occur as barriers but also facilitators for prototyping in early stage software startups. The factors are grouped into (1) artifacts, (2) team competence, (3) collaboration, (4) customer and (5) process dimensions. To speed up a startups progress at the early stage, it is important to incorporate the learning objective into a well-defined collaborative approach of prototyping


title: The impact of software complexity on cost and quality - A comparative analysis between Open source and proprietary software

abstract: Early prediction of software quality is important for better software planning and controlling. In early development phases, design complexity metrics are considered as useful indicators of software testing effort and some quality attributes. Although many studies investigate the relationship between design complexity and cost and quality, it is unclear what we have learned beyond the scope of individual studies. This paper presented a systematic review on the influence of software complexity metrics on quality attributes. We aggregated Spearman correlation coefficients from 59 different data sets from 57 primary studies by a tailored meta-analysis approach. We found that fault proneness and maintainability are most frequently investigated attributes. Chidamber and Kemerer metric suite is most frequently used but not all of them are good quality attribute indicators. Moreover, the impact of these metrics is not different in proprietary and open source projects. The result provides some implications for building quality model across project type


title: Will humans even write code in 2040 and what would that mean for extreme heterogeneity in computing?

abstract: Programming trends suggest that software development will undergo a radical change in the future: the combination of machine learning, artificial intelligence, natural language processing, and code generation technologies will improve in such a way that machines, instead of humans, will write most of their own code by 2040. This poses a number of interesting challenges for scientific research, especially as the hardware on which this Machine Generated Code will run becomes extremely heterogeneous. Indeed, extreme heterogeneity may drive the creation of this technology because it will allow humans to cope with the difficulty of programming different devices efficiently and easily.


title: The $H_0$ and $\sigma_8$ tensions and the scale invariant spectrum

abstract: In a previous communication we showed that a joint analysis of Cosmic Microwave Background (CMB) data and the current measurement of the local expansion rate favours a model with a scale invariant spectrum (HZ) over the minimal $\Lambda$CDM scenario provided that the effective number of relativistic degrees of freedom, $N_{eff}$, is taken as a free parameter. Such a result is basically obtained due to the Hubble Space Telescope (HST) value of the Hubble constant, $H_0 = 73.24 \pm 1.74$ $\rm{km.s^{-1}.Mpc^{-1}}$ (68\% C.L.), as the CMB data alone discard the HZ+$N_{eff}$ model. Although such a model is not physically motivated by current scenarios of the early universe, observations pointing to a scale invariant spectrum may indicate that the origin of cosmic perturbations lies in an unknown physical process. Here, we extend the previous results performing a Bayesian analysis using joint CMB, HST, and Baryon Acoustic Oscillations (BAO) measurements. In order to take into account the well-known tension on the value of the fluctuation amplitude parameter, $\sigma_8$, we also consider Cluster Number counts (CN) and Weak Lensing (WL) data. We use two different samples of BAO data, which are obtained using two-point spatial (BAO 2PCF) and angular (BAO 2PACF) correlation functions. Our results show that a joint CMB+HST+BAO 2PCF analysis discards the HZP$+N_{eff}$ model with respect to the minimal $\Lambda$CDM scenario whereas the combination CMB+HST+BAO 2PACF favours the former model, even when an extended dataset with NC and WL is considered.


title: Gradient structure and transport coefficients for strong particles

abstract: We introduce and study a simple and natural class of solvable stochastic lattice gases. This is the class of \emph{Strong Particles}. The name is due to the fact that when they try to jump to an occupied site they succeed pushing away a pile of particles. For this class of models we explicitly compute the transport coefficients. We also discuss some generalizations and the relations with other classes of solvable models.


title: GANGs: Generative Adversarial Network Games

abstract: Generative Adversarial Networks (GAN) have become one of the most successful frameworks for unsupervised generative modeling. As GANs are difficult to train much research has focused on this. However, very little of this research has directly exploited game-theoretic techniques. We introduce Generative Adversarial Network Games (GANGs), which explicitly model a finite zero-sum game between a generator ($G$) and classifier ($C$) that use mixed strategies. The size of these games precludes exact solution methods, therefore we define resource-bounded best responses (RBBRs), and a resource-bounded Nash Equilibrium (RB-NE) as a pair of mixed strategies such that neither $G$ or $C$ can find a better RBBR. The RB-NE solution concept is richer than the notion of `local Nash equilibria' in that it captures not only failures of escaping local optima of gradient descent, but applies to any approximate best response computations, including methods with random restarts. To validate our approach, we solve GANGs with the Parallel Nash Memory algorithm, which provably monotonically converges to an RB-NE. We compare our results to standard GAN setups, and demonstrate that our method deals well with typical GAN problems such as mode collapse, partial mode coverage and forgetting.


title: A variational derivation of a class of BFGS-like methods

abstract: We provide a maximum entropy derivation of a new family of BFGS-like methods. Similar results are then derived for block BFGS methods. This also yields an independent proof of a result of Fletcher 1991 and its generalisation to the block case.


title: Coherent excitation of heterosymmetric spin waves with ultrashort wavelengths

abstract: In the emerging field of magnonics, spin waves are foreseen as signal carriers for future spintronic information processing and communication devices, owing to both the very low power losses and a high device miniaturisation potential predicted for short-wavelength spin waves. Yet, the efficient excitation and controlled propagation of nanoscale spin waves remains a severe challenge. Here, we report the observation of high-amplitude, ultrashort dipole-exchange spin waves (down to 80 nm wavelength at 10 GHz frequency) in a ferromagnetic single layer system, coherently excited by the driven dynamics of a spin vortex core. We used time-resolved x-ray microscopy to directly image such propagating spin waves and their excitation over a wide range of frequencies. By further analysis, we found that these waves exhibit a heterosymmetric mode profile, involving regions with anti-Larmor precession sense and purely linear magnetic oscillation. In particular, this mode profile consists of dynamic vortices with laterally alternating helicity, leading to a partial magnetic flux closure over the film thickness, which is explained by a strong and unexpected mode hybridisation. This spin-wave phenomenon observed is a general effect inherent to the dynamics of sufficiently thick ferromagnetic single layer films, independent of the specific excitation method employed.


title: Probing Gravitational Parity Violation with Gravitational Waves from Stellar-mass Black Hole Binaries

abstract: The recent discovery of gravitational wave events has offered us unique testbeds of gravity in the strong and dynamical field regime. One possible modification to General Relativity is the gravitational parity violation that gives rise to the amplitude birefringence in gravitational waves, where one of the circularly-polarized mode is amplified while the other one is suppressed during their propagation. In this paper, we study how well one can measure gravitational parity violation via the amplitude birefringence of gravitational waves from stellar-mass black hole binaries. We choose Chern-Simons gravity as an example and work within an effective field theory formalism. We consider gravitational waves from both individual sources and stochastic gravitational wave backgrounds. Regarding bounds from individual sources, we estimate them using a Fisher analysis and carry out Monte Carlo simulations by randomly distributing sources over their sky location and binary orientation. We find that the bounds on the scalar field evolution in Chern-Simons gravity from GW150914 are too weak to satisfy the weak Chern-Simons approximation, while aLIGO with its design sensitivity can place meaningful bounds. Regarding bounds from stochastic gravitational wave backgrounds, we set the threshold signal-to-noise ratio for detection of the parity-violation mode as 5 and estimate projected bounds with future detectors assuming that signals are consistent with no parity violation. We find that a network of two third-generation detectors is able to place bounds that are slightly stronger than current binary pulsar bounds. Since gravitational wave observations probe either the difference in parity violation between the source and the detector or the line-of-sight integration of the scalar field, such bounds are complementary to local measurements from solar system experiments and binary pulsar observations.


title: Coupled feedback loops maintain synaptic long-term potentiation: A computational model of PKMzeta synthesis and AMPA receptor trafficking

abstract: In long-term potentiation (LTP), one of the most studied types of neural plasticity, synaptic strength is persistently increased in response to stimulation. Although a number of different proteins have been implicated in the sub-cellular molecular processes underlying induction and maintenance of LTP, the precise mechanisms remain unknown. A particular challenge is to demonstrate that a proposed molecular mechanism can provide the level of stability needed to maintain memories for months or longer, in spite of the fact that many of the participating molecules have much shorter life spans. Here we present a computational model that combines simulations of several biochemical reactions that have been suggested in the LTP literature and show that the resulting system does exhibit the required stability. At the core of the model are two interlinked feedback loops of molecular reactions, one involving the atypical protein kinase PKM{\zeta} and its messenger RNA, the other involving PKM{\zeta} and GluA2-containing AMPA receptors. We demonstrate that robust bistability - stable equilibria both in the synapse's potentiated and unpotentiated states - can arise from a set of simple molecular reactions. The model is able to account for a wide range of empirical results, including induction and maintenance of late-phase LTP, cellular memory reconsolidation and the effects of different pharmaceutical interventions.


title: GAGAN: Geometry-Aware Generative Adversarial Networks

abstract: Deep generative models learned through adversarial training have become increasingly popular for their ability to generate naturalistic image textures. However, aside from their texture, the visual appearance of objects is significantly influenced by their shape geometry; information which is not taken into account by existing generative models. This paper introduces the Geometry-Aware Generative Adversarial Networks (GAGAN) for incorporating geometric information into the image generation process. Specifically, in GAGAN the generator samples latent variables from the probability space of a statistical shape model. By mapping the output of the generator to a canonical coordinate frame through a differentiable geometric transformation, we enforce the geometry of the objects and add an implicit connection from the prior to the generated object. Experimental results on face generation indicate that the GAGAN can generate realistic images of faces with arbitrary facial attributes such as facial expression, pose, and morphology, that are of better quality than current GAN-based methods. Our method can be used to augment any existing GAN architecture and improve the quality of the images generated.


title: Bayesian prior elicitation and selection for extreme values

abstract: A major issue of extreme value analysis is the determination of the shape parameter $\xi$ common to Generalized Extreme Value (GEV) and Generalized Pareto (GP) distributions, which drives the tail behavior, and is of major impact on the estimation of return levels and periods. Many practitioners make the choice of a Bayesian framework to conduct this assessment for accounting of parametric uncertainties, which are typically high in such analyses characterized by a low number of observations. Nonetheless, such approaches can provide large credibility domains for $\xi$, including negative and positive values, which does not allow to conclude on the nature of the tail. Considering the block maxima framework, a generic approach of the determination of the value and sign of $\xi$ arises from model selection between the Fr\'echet, Gumbel and Weibull possible domains of attraction conditionally to observations. Opposite to the common choice of the GEV as an appropriate model for {\it sampling} extreme values, this model selection must be conducted with great care. The elicitation of proper, informative and easy-to use priors is conducted based on the following principle: for all parameter dimensions they act as posteriors of noninformative priors and virtual samples. Statistics of these virtual samples can be assessed from prior predictive information, and a compatibility rule can be carried out to complete the calibration, even though they are only semi-conjugated. Besides, the model selection is conducted using a mixture encompassing framework, which allows to tackle the computation of Bayes factors. Motivating by a real case-study involving the elicitation of expert knowledge on meteorological magnitudes, the overall methodology is illustrated by toy examples too.


title: Digraph Polynomials for Counting Cycles and Paths

abstract: Many polynomial invariants are defined on graphs for encoding the combinatorial information and researching them algebraically. In this paper, we introduce the cycle polynomial and the path polynomial of directed graphs for counting cycles and paths, respectively. They satisfy recurrence relations with respect to elementary edge or vertex operations. They are related to other polynomials and can also be generalized to the bivariate cycle polynomial, the bivariate path polynomial and the trivariate cycle-path polynomial. And a most general digraph polynomial satisfying such a linear recurrence relation is recursively defined and shown to be co-reducible to the trivariate cycle-path polynomial. We also give an explicit expression of this polynomial.


title: Geodesic Planes in Geometrically Finite Manifolds

abstract: We study the problem of rigidity of closures of totally geodesic plane immersions in geometrically finite manifolds containing rank $1$ cusps. We show that the key notion of K-thick recurrence of horocycles fails generically in this setting. This property was introduced in the recent work of McMullen, Mohammadi and Oh. Nonetheless, in the setting of geometrically finite groups whose limit sets are circle packings, we derive 2 density criteria for non-closed geodesic plane immersions, and show that closed immersions give rise to surfaces with finitely generated fundamental groups. We also obtain results on the existence and isolation of proper closed immersions of elementary surfaces.


title: The optimal search for an astrophysical gravitational-wave background

abstract: Roughly every 2-10 minutes, a pair of stellar mass black holes merge somewhere in the Universe. A small fraction of these mergers are detected as individually resolvable gravitational-wave events by advanced detectors such as LIGO and Virgo. The rest contribute to a stochastic background. We derive the statistically optimal search strategy for a background of unresolved binaries. Our method applies Bayesian parameter estimation to all available data. Using Monte Carlo simulations, we demonstrate that the search is both "safe" and effective: it is not fooled by instrumental artefacts such as glitches, and it recovers simulated stochastic signals without bias. Given realistic assumptions, we estimate that the search can detect the binary black hole background with about one day of design sensitivity data versus $\approx 40$ months using the traditional cross-correlation search. This framework independently constrains the merger rate and black hole mass distribution, breaking a degeneracy present in the cross-correlation approach. The search provides a unified framework for population studies of compact binaries, which is cast in terms of hyper-parameter estimation. We discuss a number of extensions and generalizations including: application to other sources (such as binary neutron stars and continuous-wave sources), simultaneous estimation of a continuous Gaussian background, and applications to pulsar timing.


title: Cosmological Black Hole Observations and Kant's Transcendental Aesthetic

abstract: Kant put forward the notion of the Transcendental Aesthetic (TA) in his manuscript ${\it A\; Critique\; of\; Pure\; Reason}$. In this note I review the TA in light of the detection of gravitational wave radiation. While the notion of the TA has been refuted in many different ways since its introduction, I argue that this simple proof by contradiction is of interest pedagogically and philosophically. I hope this elucidation may be useful in introductory science courses and in science communication more generally.


title: Revealing Dynamic Communities in networks using genetic algorithm with Merging and Splitting Operators

abstract: Community structure is pervasive in various real-world networks, portraying the strong local clustering of nodes. Unveiling the community structure of a network is deemed to a crucial step towards understanding the dynamics on the network. Actually, most of the real-world networks are dynamic and their community structures are evolutionary over time accordingly. How to revealing the dynamical communities has recently become a pressing issue. Here, we present an evolutionary method for accurately identifying dynamical communities in the networks. In this method, we first introduced a fitness function that is a compound of asymptotic surprise values on the current and previous snapshots of the network. Second, we developed ad hoc merging and splitting operators, which allows for large-scale searching while preserving low cost. Third, this large-scale searching coupled with local mutation and crossover enhanced revealing a better solution to each snapshot of the network. This method does not require specifying the number of communities advanced, and free from resolution limit while satisfying temporal smooth constraint. Experimental results on both model and real dynamic networks show that the method can find a better solution compared with state-of-art approaches.


title: Gradation of Algebras of Curves by the Winding Number

abstract: We construct a new grading on the Goldman Lie algebra of a closed oriented surface by the winding number. This grading induces a grading on the HOMFLY-PT skein algebra and related algebras. Our work supports the conjectures of B. Cooper and P. Samuelson


title: Sharp growth rates for semigroups using resolvent bounds

abstract: We study growth rates for strongly continuous semigroups. We prove that a growth rate for the resolvent on imaginary lines implies a corresponding growth rate for the semigroup if either the underlying space is a Hilbert space, or the semigroup is asymptotically analytic, or if the semigroup is positive and the underlying space is an $L^{p}$-space or a space of continuous functions. We also prove variations of the main results on fractional domains; these are valid on more general Banach spaces. In the second part of the article we apply our main theorem to prove optimality in a classical example by Renardy of a perturbed wave equation which exhibits unusual spectral behavior.


title: An Introduction to Adjoints and Output Error Estimation in Computational Fluid Dynamics

abstract: In recent years, the use of adjoint vectors in Computational Fluid Dynamics (CFD) has seen a dramatic rise. Their utility in numerous applications, including design optimization, data assimilation, and mesh adaptation has sparked the interest of both researchers and practitioners alike. In many of these fields, the concept of an adjoint is explained differently, with various notations and motivations employed. Further complicating matters is the existence of two seemingly different types of adjoints -- "continuous" and "discrete" -- as well as the more formal definition of adjoint operators employed in linear algebra and functional analysis. These issues can make the fundamental concept of an adjoint difficult to pin down. In these notes, we hope to clarify some of the ideas surrounding adjoint vectors and to provide a useful reference for both continuous and discrete adjoints alike. In particular, we focus on the use of adjoints within the context of output-based mesh adaptation, where the goal is to achieve accuracy in a particular quantity (or "output") of interest by performing targeted adaptation of the computational mesh. While this is our application of interest, the ideas discussed here apply directly to design optimization, data assimilation, and many other fields where adjoints are employed.

categories: cs.CE cs.NA math.NA physics.comp-ph physics.flu-dyn


title: The sigma function for trigonal cyclic curves

abstract: A recent generalization of the "Kleinian sigma function" involves the choice of a point $P$ of a Riemann surface $X$, namely a "pointed curve" $(X, P)$. This paper concludes our explicit calculation of the sigma function for curves cyclic trigonal at $P$. We exhibit the Riemann constant for a Weierstrass semigroup at $P$ with minimal set of generators $\{3, 2r+s,2s+r\}$, $r<s$, equivalently, non-symmetric, we construct a basis of $H^1(X, \mathbb{C})$ and a fundamental 2-differential on $X\times X$, we give the order of vanishing for sigma on Wirtinger strata of the Jacobian of $X$, and a solution to the Jacobi inversion problem.


title: Some extremal ratios of the distance and subtree problems in binary trees

abstract: Among many topological indices of trees the sum of distances $\sigma(T)$ and the number of subtrees $F(T)$ have been a long standing pair of graph invariants that are well known for their negative correlation. That is, among various given classes of trees, the extremal structures maximizing one usually minimize the other, and vice versa. By introducing the "local" versions of these invariants, $\sigma_T(v)$ for the sum of distance from $v$ to all other vertices and $F_T(v)$ for the number of subtrees containing $v$, extremal problems can be raised and studied for vertices within a tree. This leads to the concept of "middle parts" of a tree with respect to different indices. A challenging problem is to find extremal values of the ratios between graph indices and corresponding local functions at middle parts or leaves. This problem also provides new opportunities to further verify the the correlation between different indices such as $\sigma(T)$ and $F(T)$. Such extremal ratios, along with the extremal structures, were studied and compared for the distance and subtree problems for general trees In this paper this study is extended to binary trees, a class of trees with numerous practical applications in which the extremal ratio problems appear to be even more complicated. After justifying some basic properties on the distance and subtree problems in trees and binary trees, characterizations are provided for the extremal structures achieving two extremal ratios in binary trees of given order. The generalization of this work to $k$-ary trees is also briefly discussed. The findings are compared with the previous established extremal structures in general trees. Lastly some potential future work is mentioned.


title: New families of simplicial filtration functors

abstract: The so called \v{C}ech and Vietoris-Rips simplicial filtrations are designed to capture information about the topological structure of metric datasets. These filtrations are two of the workhorses in the field of topological data analysis. They enjoy stability with respect to the Gromov-Hausdorff (GH) distance, and this stability property allows us to estimate the GH distance between finite metric space representations of the underlying datasets. Via the concept of Gromov's curvature sets we construct a rich theoretical framework of valuation-induced stable filtration functors. This framework includes the \v{C}ech and Vietoris-Rips filtration functors as well as many novel filtration functors that capture diverse features present in datasets. We further explore the concept of basepoint filtrations functors and use it to provide a classification of the filtration functors that we identify.


title: Exact Solution for Flat Scale-Invariant Cosmology

abstract: An exact solution for the spatially flat scale-invariant Cosmology, recently proposed by Maeder (2017) is deduced. No deviation from the numerical solution was detected. The exact solution yields transparency for the dynamical equations and faster cosmological constraints may be performed.


title: Fundamental groups of small covers revisited

abstract: We study the topology of small covers from their fundamental groups. We find a way to obtain explicit presentations of the fundamental group of a small cover. Then we use these presentations to study the relations between the fundamental groups of a small cover and its facial submanifolds. In particular, we can determine when a facial submanifold of a small cover is $\pi_1$-injective in terms of some purely combinatorial data on the underlying simple polytope. In addition, we find that any 3-dimensional small cover has an embedded non-simply-connected $\pi_1$-injective surface. Using this result and some results of Schoen and Yau, we characterize all the 3-dimensional small covers that admit Riemannian metrics with nonnegative scalar curvature.


title: Improving Network Robustness against Adversarial Attacks with Compact Convolution

abstract: Though Convolutional Neural Networks (CNNs) have surpassed human-level performance on tasks such as object classification and face verification, they can easily be fooled by adversarial attacks. These attacks add a small perturbation to the input image that causes the network to misclassify the sample. In this paper, we focus on neutralizing adversarial attacks by compact feature learning. In particular, we show that learning features in a closed and bounded space improves the robustness of the network. We explore the effect of L2-Softmax Loss, that enforces compactness in the learned features, thus resulting in enhanced robustness to adversarial perturbations. Additionally, we propose compact convolution, a novel method of convolution that when incorporated in conventional CNNs improves their robustness. Compact convolution ensures feature compactness at every layer such that they are bounded and close to each other. Extensive experiments show that Compact Convolutional Networks (CCNs) neutralize multiple types of attacks, and perform better than existing methods in defending adversarial attacks, without incurring any additional training overhead compared to CNNs.


title: An analog of H\"older's inequality for the spectral radius of Hadamard products

abstract: We prove new inequalities related to the spectral radius $\rho$ of Hadamard products (denoted by $\circ$) of complex matrices. Let $p,q\in [1,\infty]$ satisfy $\frac{1}{p}+\frac{1}{q}=1$, we show an analog of H\"older's inequality on the space of $n\times n$ complex matrices $$\rho(A\circ B) \le \rho(|A|^{\circ p})^{\frac{1}{p}} \rho(|B|^{\circ q})^{\frac{1}{q}} \quad \text{for all $A,B\in \mathbb{C}^{n\times n}$,} $$ where $|\cdot|$ denotes entry-wise absolute values, and $(\cdot)^{\circ p}$ represents the entry-wise Hadamard power. We derive a sharper inequality for the special case $p=q=2$. Given $A,B\in \mathbb{C}^{n\times n}$, for some $\beta \in (0,1]$ depending on $A$ and $B$, $$\rho(A\circ B) \le \beta \rho(|A\circ A|)^{\frac{1}{2}} \rho(|B\circ B|)^{\frac{1}{2}} .$$ Analysis for another special case $p=1$ and $q=\infty$ is also included.


title: Test of depending frequencies of the variable Stars of OC: NGC 6866

abstract: The search of secondary pulsations is carried out to understand the possible relations among the known parameters of variables of the cluster, NGC 6866. These pulsations arise due to the various ongoing physical phenomena of the variables. Moreover, pulsations of the variables are identified through the visual inspection of their frequency-amplitude distributions. A total of 18 variables among the 28 known variables are showing the secondary pulsation modes. Furthermore, these pulsation modes do not occur for PV, EA, EB, Elliptical and semi-regular. In addition, the field variables seem to be the red-component-stars (RCS) for the studied cluster. The smoothness of the frequency-amplitude curves, signal to noise ratio and the significant limits are play major role for deciding the real peak or frequency values. We are not rejected those amplitude peak of parabolic patterns, for which, the amplitude is greater than then significant limit of variables. The weight of pulsation frequencies is given to be 0.5 for non full cyclic variation but the amplitude is greater than significant limit. Similarly, our present analysis does not support the HADS characteristics of previous known HADS stars within stellar cluster NGC 6866. We are also proposed to new correlation between the secondary pulsation modes (depending frequencies) and the absolute magnitude of known variables.


title: Efficient Beam Alignment in Millimeter Wave Systems Using Contextual Bandits

abstract: In this paper, we investigate the problem of beam alignment in millimeter wave (mmWave) systems, and design an optimal algorithm to reduce the overhead. Specifically, due to directional communications, the transmitter and receiver beams need to be aligned, which incurs high delay overhead since without a priori knowledge of the transmitter/receiver location, the search space spans the entire angular domain. This is further exacerbated under dynamic conditions (e.g., moving vehicles) where the access to the base station (access point) is highly dynamic with intermittent on-off periods, requiring more frequent beam alignment and signal training. To mitigate this issue, we consider an online stochastic optimization formulation where the goal is to maximize the directivity gain (i.e., received energy) of the beam alignment policy within a time period. We exploit the inherent correlation and unimodality properties of the model, and demonstrate that contextual information improves the performance. To this end, we propose an equivalent structured Multi-Armed Bandit model to optimally exploit the exploration-exploitation tradeoff. In contrast to the classical MAB models, the contextual information makes the lower bound on regret (i.e., performance loss compared with an oracle policy) independent of the number of beams. This is a crucial property since the number of all combinations of beam patterns can be large in transceiver antenna arrays, especially in massive MIMO systems. We further provide an asymptotically optimal beam alignment algorithm, and investigate its performance via simulations.


title: Diffusion Adaptation Framework for Compressive Sensing Reconstruction

abstract: Compressive sensing(CS) has drawn much attention in recent years due to its low sampling rate as well as high recovery accuracy. As an important procedure, reconstructing a sparse signal from few measurement data has been intensively studied. Many reconstruction algorithms have been proposed and shown good reconstruction performance. However, when dealing with large-scale sparse signal reconstruction problem, the storage requirement will be high, and many algorithms also suffer from high computational cost. In this paper, we propose a novel diffusion adaptation framework for CS reconstruction, where the reconstruction is performed in a distributed network. The data of measurement matrix are partitioned into small parts and are stored in each node, which assigns the storage load in a decentralized manner. The local information interaction provides the reconstruction ability. Then, a simple and efficient gradient-descend based diffusion algorithm has been proposed to collaboratively recover the sparse signal over network. The convergence of the proposed algorithm is analyzed. To further increase the convergence speed, a mini-batch based diffusion algorithm is also proposed. Simulation results show that the proposed algorithms can achieve good reconstruction accuracy as well as fast convergence speed.


title: Low-Rank Tensor Completion by Truncated Nuclear Norm Regularization

abstract: Currently, low-rank tensor completion has gained cumulative attention in recovering incomplete visual data whose partial elements are missing. By taking a color image or video as a three-dimensional (3D) tensor, previous studies have suggested several definitions of tensor nuclear norm. However, they have limitations and may not properly approximate the real rank of a tensor. Besides, they do not explicitly use the low-rank property in optimization. It is proved that the recently proposed truncated nuclear norm (TNN) can replace the traditional nuclear norm, as a better estimation to the rank of a matrix. Thus, this paper presents a new method called the tensor truncated nuclear norm (T-TNN), which proposes a new definition of tensor nuclear norm and extends the truncated nuclear norm from the matrix case to the tensor case. Beneficial from the low rankness of TNN, our approach improves the efficacy of tensor completion. We exploit the previously proposed tensor singular value decomposition and the alternating direction method of multipliers in optimization. Extensive experiments on real-world videos and images demonstrate that the performance of our approach is superior to those of existing methods.


title: Charged BTZ-like black hole solutions and the diffusivity-butterfly velocity relation

abstract: We show that there exists a class of charged BTZ-like black hole solutions in Lifshitz spacetime with a hyperscaling violating factor. The charged BTZ is characterized by a charge-dependent logarithmic term in the metric function. As concrete examples, we give five such charged BTZ-like black hole solutions and the standard charged BTZ metric can be regarded as a special instance of them. In order to check the recent proposed universal relations between diffusivity and the butterfly velocity, we first compute the diffusion constants of the standard charged BTZ black holes and then extend our calculation to arbitrary dimension $d$, exponents $z$ and $\theta$. Remarkably, the case $d=\theta$ and $z=2$ is a very special in that the charge diffusion $D_c$ is a constant and the energy diffusion $D_e$ might be ill-defined, but $v^2_B\tau$ diverges. We also compute the diffusion constants for the case that the DC conductivity is finite but in the absence of momentum relaxation.


title: Indistinguishability of elementary systems as resource for quantum information processing

abstract: Typical elements of quantum networks are made by identical systems, which are the basic particles constituting a resource for quantum information processing. Whether the indistinguishability due to particle identity is an exploitable quantum resource remains an open issue. Here we study independently prepared identical particles showing that, when they spatially overlap, an operational entanglement exists which can be made manifest by means of separated localized measurements. We prove this entanglement is physical in that it can be directly exploited to activate quantum information protocols, such as teleportation. These results establish that particle indistinguishability is a utilizable quantum feature and open the way to new quantum-enhanced applications.


title: Feigin's map revisited

abstract: The aim of this note is to understand the injectivity of Feigin's map $\mathbf{F_w}$ by representation theory of quivers, where $\mathbf{w}$ is the word of a reduced expression of the longest element of a finite Weyl group. This is achieved by the Ringel-Hall algebra approach and a careful studying of a well-knwon total order on the category of finite-dimensional representations of a valued quiver of finite type. As a byproduct, we also generalize Reineke's construction of monomial bases to non-simply-laced cases.


title: Study of the Sparse Superposition Codes and the Generalized Approximate Message Passing Decoder for the Communication over Binary Symmetric and Z Channels

abstract: In this project, the behavior of Generalized Approximate Message-Passing Decoder for BSC and Z Channel is studied using i.i.d matrices for constructing the codewords. The performance of GAMP in AWGN Channel is already evaluated in the previous scientific work of Jean Barbier, therefore, this project mainly focuses on the performance of GAMP decoder for BSC and Z Channel. We evaluate the performance of the GAMP decoder for sparse superposition codes at various settings and compare the performance of decoder for different channels and parameters.


title: Simulated Annealing Algorithm for Graph Coloring

abstract: The goal of this Random Walks project is to code and experiment the Markov Chain Monte Carlo (MCMC) method for the problem of graph coloring. In this report, we present the plots of cost function \(\mathbf{H}\) by varying the parameters like \(\mathbf{q}\) (Number of colors that can be used in coloring) and \(\mathbf{c}\) (Average node degree). The results are obtained by using simulated annealing scheme, where the temperature (inverse of \(\mathbf{\beta}\)) parameter in the MCMC is lowered progressively.


title: Iterative Collaborative Filtering for Sparse Matrix Estimation

abstract: We consider sparse matrix estimation where the goal is to estimate an $n\times n$ matrix from noisy observations of a small subset of its entries. We analyze the estimation error of the popularly utilized collaborative filtering algorithm for the sparse regime. Specifically, we propose a novel iterative variant of the algorithm, adapted to handle the setting of sparse observations. We establish that as long as the fraction of entries observed at random scale as $\frac{\log^{1+\kappa}(n)}{n}$ for any fixed $\kappa > 0$, the estimation error with respect to the $\max$-norm decays to $0$ as $n\to\infty$ assuming the underlying matrix of interest has constant rank $r$. Our result is robust to model mis-specification in that if the underlying matrix is approximately rank $r$, then the estimation error decays to the approximate error with respect to the $\max$-norm. In the process, we establish algorithm's ability to handle arbitrary bounded noise in the observations.


title: The local geometry of testing in ellipses: Tight control via localized Kolmogorov widths

abstract: We study the local geometry of testing a mean vector within a high-dimensional ellipse against a compound alternative. Given samples of a Gaussian random vector, the goal is to distinguish whether the mean is equal to a known vector within an ellipse, or equal to some other unknown vector in the ellipse. Such ellipse testing problems lie at the heart of several applications, including non-parametric goodness-of-fit testing, signal detection in cognitive radio, and regression function testing in reproducing kernel Hilbert spaces. While past work on such problems has focused on the difficulty in a global sense, we study difficulty in a way that is localized to each vector within the ellipse. Our main result is to give sharp upper and lower bounds on the localized minimax testing radius in terms of an explicit formula involving the Kolmogorov width of the ellipse intersected with a Euclidean ball. When applied to particular examples, our general theorems yield interesting rates that were not known before: as a particular case, for testing in Sobolev ellipses of smoothness $\alpha$, we demonstrate rates that vary from $(\sigma^2)^{\frac{4 \alpha}{4 \alpha + 1}}$, corresponding to the classical global rate, to the faster rate $(\sigma^2)^{\frac{8 \alpha}{8 \alpha + 1}}$, achievable for vectors at favorable locations within the ellipse. We also show that the optimal test for this problem is achieved by a linear projection test that is based on an explicit lower-dimensional projection of the observation vector.


title: Evaluation of Alzheimer's Disease by Analysis of MR Images using Multilayer Perceptrons and Kohonen SOM Classifiers as an Alternative to the ADC Maps

abstract: Alzheimer's disease is the most common cause of dementia, yet hard to diagnose precisely without invasive techniques, particularly at the onset of the disease. This work approaches image analysis and classification of synthetic multispectral images composed by diffusion-weighted magnetic resonance (MR) cerebral images for the evaluation of cerebrospinal fluid area and measuring the advance of Alzheimer's disease. A clinical 1.5 T MR imaging system was used to acquire all images presented. The classification methods are based on multilayer perceptrons and Kohonen Self-Organized Map classifiers. We assume the classes of interest can be separated by hyperquadrics. Therefore, a 2-degree polynomial network is used to classify the original image, generating the ground truth image. The classification results are used to improve the usual analysis of the apparent diffusion coefficient map.


title: The STM32 microcontroller based pulse intensity registration system for the neutron monitor

abstract: We present the outlines of a new microcontroller based data acquisition system which is aimed for reliable operation in a typical cosmic ray particle registration experiment. The system supports connection of up to 16 input signals and ensures the following operation functionality: (1)stable monitoring of the intensity of a digital pulse signal, or digitization of a continuous potential level with a low time resolution (typically, in the limits of 1-100s); (2)registration of a continuous high-resolution (up to 5-10us) time series of the intensity of input signal; (3)synchronization of registered time series with both external (physical) or local (program-based) trigger signal; (4)possibility of an on-the-fly change of the whole configuration of informational system (both the combination and type of input signals, time resolution and sum duration of the time series measurements, trigger logic, etc) immediately in operation time through convenient communication with a plain text message in dialog mode. In particular, the considered system is applied now for a long-term, high precision measurement of the counting rate of neutron signals at the NM64 type neutron supermonitor of the Tien~Shan mountain cosmic ray station, with a real-time representation of the whole collected dataset in a WWW database.


title: Spatial PixelCNN: Generating Images from Patches

abstract: In this paper we propose Spatial PixelCNN, a conditional autoregressive model that generates images from small patches. By conditioning on a grid of pixel coordinates and global features extracted from a Variational Autoencoder (VAE), we are able to train on patches of images, and reproduce the full-sized image. We show that it not only allows for generating high quality samples at the same resolution as the underlying dataset, but is also capable of upscaling images to arbitrary resolutions (tested at resolutions up to $50\times$) on the MNIST dataset. Compared to a PixelCNN++ baseline, Spatial PixelCNN quantitatively and qualitatively achieves similar performance on the MNIST dataset.


title: Formalizing Interruptible Algorithms for Human over-the-loop Analytics

abstract: Traditional data mining algorithms are exceptional at seeing patterns in data that humans cannot, but are often confused by details that are obvious to the organic eye. Algorithms that include humans "in-the-loop" have proved beneficial for accuracy by allowing a user to provide direction in these situations, but the slowness of human interactions causes execution times to increase exponentially. Thus, we seek to formalize frameworks that include humans "over-the-loop", giving the user an option to intervene when they deem it necessary while not having user feedback be an execution requirement. With this strategy, we hope to increase the accuracy of solutions with minimal losses in execution time. This paper describes our vision of this strategy and associated problems.


title: Convolutional Phase Retrieval via Gradient Descent

abstract: We study the convolutional phase retrieval problem, of recovering an unknown signal $\mathbf x \in \mathbb C^n $ from $m$ measurements consisting of the magnitude of its cyclic convolution with a given kernel $\mathbf a \in \mathbb C^m $. This model is motivated by applications such as channel estimation, optics, and underwater acoustic communication, where the signal of interest is acted on by a given channel/filter, and phase information is difficult or impossible to acquire. We show that when $\mathbf a$ is random and the number of observations $m$ is sufficiently large, with high probability $\mathbf x$ can be efficiently recovered up to a global phase shift using a combination of spectral initialization and generalized gradient descent. The main challenge is coping with dependencies in the measurement operator. We overcome this challenge by using ideas from decoupling theory, suprema of chaos processes and the restricted isometry property of random circulant matrices, and recent analysis of alternating minimization methods.

categories: stat.CO cs.IT cs.NA math.IT math.OC stat.ML


title: Metric for attractor overlap

abstract: We present the first general metric for attractor overlap (MAO) facilitating an unsupervised comparison of flow data sets. The starting point is two or more attractors, i.e., ensembles of states representing different operating conditions. The proposed metric generalizes the standard Hilbert-space distance between two snapshots to snapshot ensembles of two attractors. A reduced-order analysis for big data and many attractors is enabled by coarse-graining the snapshots into representative clusters with corresponding centroids and population probabilities. For a large number of attractors, MAO is augmented by proximity maps for the snapshots, the centroids, and the attractors, giving scientifically interpretable visual access to the closeness of the states. The coherent structures belonging to the overlap and disjoint states between these attractors are distilled by few representative centroids. We employ MAO for two quite different actuated flow configurations: (1) a two-dimensional wake of the fluidic pinball with vortices in a narrow frequency range and (2) three-dimensional wall turbulence with broadband frequency spectrum manipulated by spanwise traveling transversal surface waves. MAO compares and classifies these actuated flows in agreement with physical intuition. For instance, the first feature coordinate of the attractor proximity map correlates with drag for the fluidic pinball and for the turbulent boundary layer. MAO has a large spectrum of potential applications ranging from a quantitative comparison between numerical simulations and experimental particle-image velocimetry data to the analysis of simulations representing a myriad of different operating conditions.


title: Orthonormality of wavelet system on the Heisenberg group and twisted wavelet system on $\mathbb{C}$

abstract: The aim of this paper is to obtain necessary and sufficient conditions for the orthonormality of wavelet system arising out of left translations and nonisotropic dilations on the Heisenberg group $\mathbb{H}$. A similar problem is also discussed for the twisted wavelet system on $\mathbb{C}$.


title: An eigenvalue approach to quantum plasmonics based on a self-consistent hydrodynamics method

abstract: Plasmonics has attracted much attention not only because it has useful properties such as strong field enhancement, but also because it reveals the quantum nature of matter. To handle quantum plasmonics effects, ab initio packages or empirical Feibelman d-parameters have been used to explore the quantum correction of plasmonic resonances. However, most of these methods are formulated within the quasi-static framework. The self-consistent hydrodynamics model offers a reliable approach to study quantum plasmonics because it can incorporate the quantum effect of the electron gas into classical electrodynamics in a consistent manner. Instead of the standard scattering method, we formulate the self-consistent hydrodynamics method as an eigenvalue problem to study quantum plasmonics with electrons and photons treated on the same footing. We find that the eigenvalue approach must involve a global operator, which originates from the energy functional of the electron gas. This manifests the intrinsic nonlocality of the response of quantum plasmonic resonances. Our model gives the analytical forms of quantum corrections to plasmonic modes, incorporating quantum electron spill-out effects and electrodynamical retardation. We apply our method to study the quantum surface plasmon polariton for a single flat interface.


title: Automatic Recognition of Coal and Gangue based on Convolution Neural Network

abstract: We designed a gangue sorting system,and built a convolutional neural network model based on AlexNet. Data enhancement and transfer learning are used to solve the problem which the convolution neural network has insufficient training data in the training stage. An object detection and region clipping algorithm is proposed to adjust the training image data to the optimum size. Compared with traditional neural network and SVM algorithm, this algorithm has higher recognition rate for coal and coal gangue, and provides important reference for identification and separation of coal and gangue.


title: Feature Agglomeration Networks for Single Stage Face Detection

abstract: Recent years have witnessed promising results of face detection using deep learning. Despite making remarkable progresses, face detection in the wild remains an open research challenge especially when detecting faces at vastly different scales and characteristics. In this paper, we propose a novel simple yet effective framework of "Feature Agglomeration Networks" (FANet) to build a new single stage face detector, which not only achieves state-of-the-art performance but also runs efficiently. As inspired by Feature Pyramid Networks (FPN), the key idea of our framework is to exploit inherent multi-scale features of a single convolutional neural network by aggregating higher-level semantic feature maps of different scales as contextual cues to augment lower-level feature maps via a hierarchical agglomeration manner at marginal extra computation cost. We further propose a Hierarchical Loss to effectively train the FANet model. We evaluate the proposed FANet detector on several public face detection benchmarks, including PASCAL face, FDDB and WIDER FACE datasets and achieved state-of-the-art results. Our detector can run in real time for VGA-resolution images on GPU.


title: Conic-sector-based analysis and control synthesis for linear parameter varying systems

abstract: We present a conic sector theorem for linear parameter varying (LPV) systems in which the traditional definition of conicity is violated for certain values of the parameter. We show that such LPV systems can be defined to be conic in an average sense if the parameter trajectories are restricted so that the system operates with such values of the parameter sufficiently rarely. We then show that such an average definition of conicity is useful in analyzing the stability of the system when it is connected in feedback with a conic system with appropriate conic properties. This can be regarded as an extension of the classical conic sector theorem. Based on this modified conic sector theorem, we design conic controllers that allow the closed-loop system to operate in nonconic parameter regions for brief periods of time. Due to this extra degree of freedom, these controllers lead to less conservative performance than traditional designs, in which the controller parameters are chosen based on the largest cone that the plant dynamics are contained in. We demonstrate the effectiveness of the proposed design in stabilizing a power grid with very high penetration of renewable energy while minimizing power transmission losses.


title: Minimal consistent finite element space for the biharmonic equation on quadrilateral grids

abstract: In this paper, a finite element space is presented on quadrilateral grids which can provide consistent discretization for the biharmonic equations. The space consists of piecewise quadratic polynomials and is of minimal degree for the variational problem.


title: Bubble Assemblies in Ternary Systems with Long Range Interaction

abstract: A nonlocal diffuse interface model is used to study bubble assemblies in ternary systems. As model parameters vary, a large number of morphological phases appear as stable stationary states. One open question related to the polarity direction of double bubble assemblies is answered numerically. Moreover, the average size of bubbles in a single bubble assembly depends on the sum of the minority constituent areas and the long range interaction coefficients. One identifies the ranges for area fractions and the long range interaction coefficients for double bubble assemblies.


title: Sentiment Classification using Images and Label Embeddings

abstract: In this project we analysed how much semantic information images carry, and how much value image data can add to sentiment analysis of the text associated with the images. To better understand the contribution from images, we compared models which only made use of image data, models which only made use of text data, and models which combined both data types. We also analysed if this approach could help sentiment classifiers generalize to unknown sentiments.


title: Cascade R-CNN: Delving into High Quality Object Detection

abstract: In object detection, an intersection over union (IoU) threshold is required to define positives and negatives. An object detector, trained with low IoU threshold, e.g. 0.5, usually produces noisy detections. However, detection performance tends to degrade with increasing the IoU thresholds. Two main factors are responsible for this: 1) overfitting during training, due to exponentially vanishing positive samples, and 2) inference-time mismatch between the IoUs for which the detector is optimal and those of the input hypotheses. A multi-stage object detection architecture, the Cascade R-CNN, is proposed to address these problems. It consists of a sequence of detectors trained with increasing IoU thresholds, to be sequentially more selective against close false positives. The detectors are trained stage by stage, leveraging the observation that the output of a detector is a good distribution for training the next higher quality detector. The resampling of progressively improved hypotheses guarantees that all detectors have a positive set of examples of equivalent size, reducing the overfitting problem. The same cascade procedure is applied at inference, enabling a closer match between the hypotheses and the detector quality of each stage. A simple implementation of the Cascade R-CNN is shown to surpass all single-model object detectors on the challenging COCO dataset. Experiments also show that the Cascade R-CNN is widely applicable across detector architectures, achieving consistent gains independently of the baseline detector strength. The code will be made available at https://github.com/zhaoweicai/cascade-rcnn.


title: Decoy State Quantum Key Distribution With More Than Three Types Of Photon Intensity Pulses

abstract: Decoy state method closes source security loophole in quantum key distribution (QKD) using laser source. In this method, accurate estimates of the detection rates of vacuum and single photon events plus the error rate of single photon events are needed to give a good enough lower bound of the secret key rate. Nonetheless, the current estimation method for these detection and error rates, which uses three types of photon intensities, is accurate up to about 1% relative error. Here I report an experimentally feasible way that greatly improves these estimates and hence increases the one-way key rate of the BB84 QKD protocol with unbiased bases selection by at least 20% on average in realistic settings. The major tricks are the use of more than three types of photon intensities plus the fact that estimating bounds of the above detection and error rates is numerically stable although these bounds are related to the inversion of a high condition number matrix.


title: Detection of magnetic field in the B2 star $\rho$ Oph A with ESO FORS2

abstract: Circumstantial evidence suggests that magnetism and enhanced X-ray emission are likely correlated in early B-type stars: similar fractions of them ($\sim$ 10 %) are strong and hard X-ray sources and possess strong magnetic fields. It is also known that some B-type stars have spots on their surface. Yet up to now no X-ray activity associated with spots on early-type stars was detected. In this Letter we report the detection of a magnetic field on the B2V star $\rho$ Oph A. Previously, we assessed that the X-ray activity of this star is associated with a surface spot, herewith we establish its magnetic origin. We analyzed FORS2 ESO VLT spectra of $\rho$ Oph A taken at two epochs and detected a longitudinal component of the magnetic field of order of $\sim500$ G in one of the datasets. The detection of the magnetic field only at one epoch can be explained by stellar rotation which is also invoked to explain observed periodic X-ray activity. From archival HARPS ESO VLT high resolution spectra we derived the fundamental stellar parameters of $\rho$ Oph A and further constrained its age. We conclude that $\rho$ Oph A provides strong evidence for the presence of active X-ray emitting regions on young magnetized early type stars.


title: Hillclimbing saddle point inflation

abstract: Recently a new inflationary scenario was proposed in arXiv:1703.09020 which can be applicable to an inflaton having multiple vacua. In this letter, we consider a more general situation where the inflaton potential has a (UV) saddle point around the Planck scale. This class of models can be regarded as a natural generalization of the hillclimbing Higgs inflation (arXiv:1705.03696).


title: Charmed Hadrons from Coalescence plus Fragmentation in relativistic nucleus-nucleus collisions at RHIC and LHC

abstract: In a coalescence plus fragmentation approach we calculate the heavy baryon/meson ratio and the $p_T$ spectra of charmed hadrons $D^{0}$, $D_{s}$ and $\Lambda_{c}^{+}$ in a wide range of transverse momentum from low $p_T$ up to about 10 GeV and discuss their ratios from RHIC to LHC energies without any change of the coalescence parameters. We have included the contribution from decays of heavy hadron resonances and also the one due to fragmentation of heavy quarks which do not undergo the coalescence process. The coalescence process is tuned to have all charm quarks hadronizing in the $p_T\rightarrow 0$ limit and at finite $p_T$ charm quarks not undergoing coalescence are hadronized by independent fragmentation. The $p_T$ dependence of the baryon/meson ratios are found to be sensitive to the masses of coalescing quarks, in particular the $\Lambda_{c}/D^{0}$ can reach values of about $\rm 1\div 1.5 $ at $p_T \approx \, 3$ \mbox{GeV}, or larger, similarly to the light baryon/meson ratio like $p/\pi$ and $\Lambda/K$, however a marked difference is a quite weak $p_T$ dependence with respect to the light case, such that a larger value at intermediate $p_T$ implies a relatively large value also for the integrated yields. A comparison with other coalescence model and with the prediction of thermal model is discussed.


title: Joint Topic-Semantic-aware Social Recommendation for Online Voting

abstract: Online voting is an emerging feature in social networks, in which users can express their attitudes toward various issues and show their unique interest. Online voting imposes new challenges on recommendation, because the propagation of votings heavily depends on the structure of social networks as well as the content of votings. In this paper, we investigate how to utilize these two factors in a comprehensive manner when doing voting recommendation. First, due to the fact that existing text mining methods such as topic model and semantic model cannot well process the content of votings that is typically short and ambiguous, we propose a novel Topic-Enhanced Word Embedding (TEWE) method to learn word and document representation by jointly considering their topics and semantics. Then we propose our Joint Topic-Semantic-aware social Matrix Factorization (JTS-MF) model for voting recommendation. JTS-MF model calculates similarity among users and votings by combining their TEWE representation and structural information of social networks, and preserves this topic-semantic-social similarity during matrix factorization. To evaluate the performance of TEWE representation and JTS-MF model, we conduct extensive experiments on real online voting dataset. The results prove the efficacy of our approach against several state-of-the-art baselines.


title: SHINE: Signed Heterogeneous Information Network Embedding for Sentiment Link Prediction

abstract: In online social networks people often express attitudes towards others, which forms massive sentiment links among users. Predicting the sign of sentiment links is a fundamental task in many areas such as personal advertising and public opinion analysis. Previous works mainly focus on textual sentiment classification, however, text information can only disclose the "tip of the iceberg" about users' true opinions, of which the most are unobserved but implied by other sources of information such as social relation and users' profile. To address this problem, in this paper we investigate how to predict possibly existing sentiment links in the presence of heterogeneous information. First, due to the lack of explicit sentiment links in mainstream social networks, we establish a labeled heterogeneous sentiment dataset which consists of users' sentiment relation, social relation and profile knowledge by entity-level sentiment extraction method. Then we propose a novel and flexible end-to-end Signed Heterogeneous Information Network Embedding (SHINE) framework to extract users' latent representations from heterogeneous networks and predict the sign of unobserved sentiment links. SHINE utilizes multiple deep autoencoders to map each user into a low-dimension feature space while preserving the network structure. We demonstrate the superiority of SHINE over state-of-the-art baselines on link prediction and node recommendation in two real-world datasets. The experimental results also prove the efficacy of SHINE in cold start scenario.


title: Incorporating External Knowledge to Answer Open-Domain Visual Questions with Dynamic Memory Networks

abstract: Visual Question Answering (VQA) has attracted much attention since it offers insight into the relationships between the multi-modal analysis of images and natural language. Most of the current algorithms are incapable of answering open-domain questions that require to perform reasoning beyond the image contents. To address this issue, we propose a novel framework which endows the model capabilities in answering more complex questions by leveraging massive external knowledge with dynamic memory networks. Specifically, the questions along with the corresponding images trigger a process to retrieve the relevant information in external knowledge bases, which are embedded into a continuous vector space by preserving the entity-relation structures. Afterwards, we employ dynamic memory networks to attend to the large body of facts in the knowledge graph and images, and then perform reasoning over these facts to generate corresponding answers. Extensive experiments demonstrate that our model not only achieves the state-of-the-art performance in the visual question answering task, but can also answer open-domain questions effectively by leveraging the external knowledge.


title: On More Sensitive Periodogram Statistics

abstract: Period searches in event data have traditionally used the Rayleigh statistic, $R^2$. For X-ray pulsars, the standard has been the $Z^2$ statistic, which sums over more than one harmonic. For $\gamma$-rays, the $H$-test, which optimizes the number of harmonics to sum, is often used. These periodograms all suffer from the same problem, namely artefacts caused by correlations in the Fourier components that arise from testing frequencies with a non-integer number of cycles. This article addresses this problem. The modified Rayleigh statistic is discussed, its generalization to any harmonic, $\mathcal{R}^2_k$, is formulated, and from the latter, the modified $Z^2$ statistic, $\mathcal{Z}^2$, is constructed. Versions of these statistics for binned data and point measurements are derived, and it is shown that the variance in the uncertainties can have an important influence on the periodogram. It is shown how to combine the information about the signal frequency from the different harmonics to estimate its value with maximum accuracy. The methods are applied to an $\textit{XMM-Newton}$ observation of the Crab pulsar for which a decomposition of the pulse profile is presented, and shows that most of the power is in the second, third, and fifth harmonics. The statistical detection power of the $\mathcal{R}^2_k$ statistic is superior to the FFT and equivalent to the Lomb-Scargle (LS). Response to gaps in the data is assessed, and it is shown that the LS does not protect against the distortions they cause. The main conclusion of this work is that the classical $R^2$ and $Z^2$ should be replaced by $\mathcal{R}^2_k$ and $\mathcal{Z}^2$ in all applications with event data, and the LS should be replaced by the $\mathcal{R}^2_k$ when the uncertainty varies from one point measurement to another.


title: Fourier-based Function Secret Sharing with General Access Structure

abstract: Function secret sharing (FSS) scheme is a mechanism that calculates a function f(x) for x in {0,1}^n which is shared among p parties, by using distributed functions f_i:{0,1}^n -> G, where G is an Abelian group, while the function f:{0,1}^n -> G is kept secret to the parties. Ohsawa et al. in 2017 observed that any function f can be described as a linear combination of the basis functions by regarding the function space as a vector space of dimension 2^n and gave new FSS schemes based on the Fourier basis. All existing FSS schemes are of (p,p)-threshold type. That is, to compute f(x), we have to collect f_i(x) for all the distributed functions. In this paper, as in the secret sharing schemes, we consider FSS schemes with any general access structure. To do this, we observe that Fourier-based FSS schemes by Ohsawa et al. are compatible with linear secret sharing scheme. By incorporating the techniques of linear secret sharing with any general access structure into the Fourier-based FSS schemes, we show Fourier-based FSS schemes with any general access structure.


title: Towards Real-Time Advancement of Underwater Visual Quality with GAN

abstract: Low visual quality has prevented underwater robotic vision from a wide range of applications. Although several algorithms have been developed, real-time and adaptive methods are deficient for real-world tasks. In this paper, we address this difficulty based on generative adversarial networks (GAN), and propose a GAN-based restoration scheme (GAN-RS). In particular, we develop a multi-branch discriminator including an adversarial branch and a critic branch for the purpose of simultaneously preserving image content and removing underwater noise. In addition to adversarial learning, a novel dark channel prior loss also promotes the generator to produce realistic vision. More specifically, an underwater index is investigated to describe underwater properties, and a loss function based on the underwater index is designed to train the critic branch for underwater noise suppression. Through extensive comparisons on visual quality and feature restoration, we confirm the superiority of the proposed approach. Consequently, the GAN-RS can adaptively improve underwater visual quality in real time and induce an overall superior restoration performance. Finally, a real-world experiment is conducted on the seabed for grasping marine products, and the results are quite promising. The source code is publicly available at https://github.com/SeanChenxy/GAN_RS.


title: Explicit formulae for averages of Goldbach representations

abstract: We prove an explicit formula, analogous to the classical explicit formula for $\psi(x)$, for the Ces\`aro-Riesz mean of any order $k>0$ of the number of representations of $n$ as a sum of two primes. Our approach is based on a double Mellin transform and the analytic continuation of certain functions arising therein.


title: Reconstruction of inflation from scalar field non-minimally coupled with the Gauss-Bonnet term

abstract: In this paper, we analyze the early-time inflation in a scalar-tensor theory of gravity where the scalar field is minimally coupled with the Gauss-Bonnet four dimensional topological invariant. The theory belongs to a class of Horndeski models where the field equations are at the second order like in General Relativity. A viable inflationary scenario must correctly reproduce the last Plank satellite data. By starting from some simple assumptions on the field and on the coupling function between the field and the Gauss-Bonnet term, we derive the spectral index and the tensor-to-scalar ratio of the model. Once the model is viable, it is finally possible to fully reconstruct its Lagrangian.


title: Typical path components in tent map inverse limits

abstract: In the inverse limit ${\hat{I}}_s$ of a tent map $f_s$ restricted to its core, the set $\mathcal{GR}$ of points whose path components are bi-infinite and bi-dense has full measure with respect to the measure induced on $\hat{I}_s$ by the unique absolutely continuous invariant measure of $f_s$. With respect to topology, there is a dichotomy. When the parameter $s$ is such that the critical orbit of $f_s$ is not dense, $\mathcal{GR}$ contains a dense $G_\delta$ set. In contrast, when the critical orbit of $f_s$ is dense, the complement of $\mathcal{GR}$ contains a dense $G_\delta$ set.


title: Competing phases and topological excitations of spin-one pyrochlore antiferromagnets

abstract: Most works on pyrochlore magnets deal with the interacting spin-1/2 local moments. We here study the spin-one local moments on the pyrochlore lattice, and propose a generic interacting spin model on a pyrochlore lattice. Our spin model includes the antiferromagnetic Heisenberg interaction, the Dzyaloshinskii-Moriya interaction and the single-ion spin anisotropy. We develop a flavor wave theory and combine with a mean-field approach to study the global phase diagram of this model and establish the relation between different phases in the phase diagram. We find the regime of the quantum paramagnetic phase where a degenerate line of the magnetic excitations emerges in the momentum space. We further predict the critical properties of the transition out of the quantum paramagnet to the proximate orders. The presence of quantum order by disorder in the parts of the ordered phases is then suggested. We point out the existence of degenerate and topological excitations in various phases. We discuss the relevance with fluoride pyrochlore material NaCaNi$_2$F$_7$ and explain the role of the spin-orbit coupling and the magnetic structures of the Ru-based pyrochlore A$_2$Ru$_2$O$_7$ and the Mo-based pyrochlore A$_2$Mo$_2$O$_7$.


title: Composition of Binary Quadratic Forms over Number Fields

abstract: In this article, the standard correspondence between the ideal class group of a quadratic number field and the equivalence classes of binary quadratic forms of given discriminant is generalized to any base number field of narrow class number one. The article contains an explicit description of the correspondence. In the case of totally negative discriminants, equivalent conditions are given for a binary quadratic form to be totally positive definite.


title: Geometry of the isotropic oscillator driven by the conformal mode

abstract: Geometrization of a Lagrangian conservative system typically amounts to reformulating its equations of motion as the geodesic equations in a properly chosen curved spacetime. The conventional methods include the Jacobi metric and the Eisenhart lift. In this work, a modification of the Eisenhart lift is proposed which describes the isotropic oscillator in arbitrary dimension driven by the one-dimensional conformal mode.