title: Equalizing Recourse across Groups

abstract: The rise in machine learning-assisted decision-making has led to concerns about the fairness of the decisions and techniques to mitigate problems of discrimination. If a negative decision is made about an individual (denying a loan, rejecting an application for housing, and so on) justice dictates that we be able to ask how we might change circumstances to get a favorable decision the next time. Moreover, the ability to change circumstances (a better education, improved credentials) should not be limited to only those with access to expensive resources. In other words, \emph{recourse} for negative decisions should be considered a desirable value that can be equalized across (demographically defined) groups. This paper describes how to build models that make accurate predictions while still ensuring that the penalties for a negative outcome do not disadvantage different groups disproportionately. We measure recourse as the distance of an individual from the decision boundary of a classifier. We then introduce a regularized objective to minimize the difference in recourse across groups. We explore linear settings and further extend recourse to non-linear settings as well as model-agnostic settings where the exact distance from boundary cannot be calculated. Our results show that we can successfully decrease the unfairness in recourse while maintaining classifier performance.


title: GoTcha: An Interactive Debugger for GoT-Based Distributed Systems

abstract: Debugging distributed systems is hard. Most of the techniques that have been developed for debugging such systems use either extensive model checking, or postmortem analysis of logs and traces. Interactive debugging is typically a tool that is only effective in single threaded and single process applications, and is rarely applied to distributed systems. While the live observation of state changes using interactive debuggers is effective, it comes with a host of problems in distributed scenarios. In this paper, we discuss the requirements an interactive debugger for distributed systems should meet, the role the underlying distributed model plays in facilitating the debugger, and the implementation of our interactive debugger: GoTcha. GoTcha is a browser based interactive debugger for distributed systems built on the Global Object Tracker (GoT) programming model. We show how the GoT model facilitates the debugger, and the features that the debugger can offer. We also demonstrate a typical debugging workflow.


title: A study on the fractional Gruschin type process

abstract: In this article, we first establish derivative formulae for fractional Gruschin type process, which generalize the result of Wang (J Theor Probab 27:80--95, Theorem 1.1, 2012). Since we work on a non-Markovian context, some technical difficulties appear in the study. Then, using the fractional calculus technique, we also derive the gradient estimate.


title: Look and Modify: Modification Networks for Image Captioning

abstract: Attention-based neural encoder-decoder frameworks have been widely used for image captioning. Many of these frameworks deploy their full focus on generating the caption from scratch by relying solely on the image features or the object detection regional features. In this paper, we introduce a novel framework that learns to modify existing captions from a given framework by modeling the residual information, where at each timestep the model learns what to keep, remove or add to the existing caption allowing the model to fully focus on "what to modify" rather than on "what to predict". We evaluate our method on the COCO dataset, trained on top of several image captioning frameworks and show that our model successfully modifies captions yielding better ones with better evaluation scores.


title: Experimental demonstration of entanglement-enabled universal quantum cloning in a circuit

abstract: No-cloning theorem forbids perfect cloning of an unknown quantum state. A universal quantum cloning machine (UQCM), capable of producing two copies of any input qubit with the optimal fidelity, is of fundamental interest and has applications in quantum information processing. This is enabled by delicately tailored nonclassical correlations between the input qubit and the copying qubits, which distinguish the UQCM from a classical counterpart, but whose experimental demonstrations are still lacking. We here implement the UQCM in a superconducting circuit, and investigate these correlations. The measured entanglements well agree with our theoretical prediction that they are independent of the input state and thus constitute a universal quantum behavior of the UQCM that was not previously revealed. Another feature of our experiment is the realization of deterministic and individual cloning, in contrast to previously demonstrated UQCMs, which either were probabilistic or did not constitute true cloning of individual qubits.


title: Convergence to traveling waves of a singular PDE-ODE hybrid chemotaxis system in the half space

abstract: This paper is concerned with the asymptotic stability of the initial-boundary value problem of a singular PDE-ODE hybrid chemotaxis system in the half space $\R_+=[0, \infty)$. We show that when the non-zero flux boundary condition at $x=0$ is prescribed and the initial data are suitably chosen, the solution of the initial-boundary value problem converges, as time tend to infinity, to a shifted traveling wavefront restricted in the half space $[0,\infty)$ where the wave profile and speed are uniquely selected by the boundary flux data. The results are proved by a Cole-Hopf type transformation and weighted energy estimates along with the technique of taking {\color{black} the} anti-derivative.


title: Towards Understanding the Importance of Noise in Training Neural Networks

abstract: Numerous empirical evidence has corroborated that the noise plays a crucial rule in effective and efficient training of neural networks. The theory behind, however, is still largely unknown. This paper studies this fundamental problem through training a simple two-layer convolutional neural network model. Although training such a network requires solving a nonconvex optimization problem with a spurious local optimum and a global optimum, we prove that perturbed gradient descent and perturbed mini-batch stochastic gradient algorithms in conjunction with noise annealing is guaranteed to converge to a global optimum in polynomial time with arbitrary initialization. This implies that the noise enables the algorithm to efficiently escape from the spurious local optimum. Numerical experiments are provided to support our theory.


title: XMO and Weighted Compact Bilinear Commutators

abstract: To study the compactness of bilinear commutators of certain bilinear Calder\'on--Zygmund operators which include (inhomogeneous) Coifman--Meyer bilinear Fourier multipliers and bilinear pseudodifferential operators as special examples, Torres and Xue [Rev. Mat. Iberoam. 36 (2020), 939--956] introduced a new subspace of BMO$\,(\mathbb{R}^n)$, denoted by XMO$\,(\mathbb{R}^n)$, and conjectured that it is just the space VMO$\,(\mathbb{R}^n)$ introduced by D. Sarason. In this article, the authors give a negative answer to this conjecture by establishing an equivalent characterization of XMO$\,(\mathbb{R}^n)$, which further clarifies that XMO$\,(\mathbb{R}^n)$ is a proper subspace of VMO$\,(\mathbb{R}^n)$. This equivalent characterization of XMO$\,(\mathbb{R}^n)$ is formally similar to the corresponding one of CMO$\,(\mathbb{R}^n)$ obtained by A. Uchiyama, but its proof needs some essential new techniques on dyadic cubes as well as some exquisite geometrical observations. As an application, the authors also obtain a weighted compactness result on such bilinear commutators, which optimizes the corresponding result in the unweighted setting.


title: Self-Dual Linear Codes over $\mathbb{F}_{q}+u\mathbb{F}_{q}+u^2\mathbb{F}_{q}$ and Their Applications in the Study of Quasi-Abelian Codes

abstract: Self-dual codes over finite fields and over some finite rings have been of interest and extensively studied due to their nice algebraic structures and wide applications. Recently, characterization and enumeration of Euclidean self-dual linear codes over the ring~$\mathbb{F}_{q}+u\mathbb{F}_{q}+u^2\mathbb{F}_{q}$ with $u^3=0$ have been established. In this paper, Hermitian self-dual linear codes over $\mathbb{F}_{q}+u\mathbb{F}_{q}+u^2\mathbb{F}_{q}$ are studied for all square prime powers~$q$. Complete characterization and enumeration of such codes are given. Subsequently, algebraic characterization of $H$-quasi-abelian codes in $\mathbb{F}_q[G]$ is studied, where $H\leq G$ are finite abelian groups and $\mathbb{F}_q[H]$ is a principal ideal group algebra. General characterization and enumeration of $H$-quasi-abelian codes and self-dual $H$-quasi-abelian codes in $\mathbb{F}_q[G]$ are given. For the special case where the field characteristic is $3$, an explicit formula for the number of self-dual $A\times \mathbb{Z}_3$-quasi-abelian codes in $\mathbb{F}_{3^m}[A\times \mathbb{Z}_3\times B]$ is determined for all finite abelian groups $A$ and $B$ such that $3\nmid |A|$ as well as their construction. Precisely, such codes can be represented in terms of linear codes and self-dual linear codes over $\mathbb{F}_{3^m}+u\mathbb{F}_{3^m}+u^2\mathbb{F}_{3^m}$.


title: What is the physics behind the Larson mass-size relation?

abstract: Different studies have reported a power-law mass-size relation $M \propto R^q$ for ensembles of molecular clouds. In the case of nearby clouds, the index of the power-law $q$ is close to 2. However, for clouds spread all over the Galaxy, indexes larger than 2 are reported. We show that indexes larger than 2 could be the result of line-of-sight superposition of emission that does not belong to the cloud itself. We found that a random factor of gas contamination, between 0.001\%\ and 10\%\ of the line-of-sight, allows to reproduce the mass-size relation with $q \sim 2.2-2.3$ observed in Galactic CO surveys. Furthermore, for dense cores within a single cloud, or molecular clouds within a single galaxy, we argue that, even in these cases, there is observational and theoretical evidence that some degree of superposition may be occurring. However, additional effects may be present in each case, and are briefly discussed. We also argue that defining the fractal dimension of clouds via the mass-size relation is not adequate, since the mass is not {necessarily} a proxy to the area, and the size reported in $M-R$ relations is typically obtained from the square root of the area, rather than from an estimation of the size independent from the area. Finally, we argue that the statistical analysis of finding clouds satisfying the Larson's relations does not mean that each individual cloud is in virial equilibrium.


title: Linear layout of multiple flow-direction networks for landscape-evolution simulations

abstract: We present an algorithm that is well suited to find the linear layout of the multiple flow-direction network (directed acyclic graph) for an efficient implicit computation of the erosion term in landscape evolution models. The time complexity of the algorithm varies linearly with the number of nodes in the domain, making it very efficient. The resulting numerical scheme allows us to achieve accurate steady-state solutions in conditions of high erosion rates leading to heavily dissected landscapes. We also establish that contrary to single flow-direction methods such as D8, D$\infty$ multiple flow-direction method follows the theoretical prediction of the linear stability analysis and correctly captures the transition from smooth to the channelized regimes. We finally show that the obtained numerical solutions follow the theoretical temporal variation of mean elevation.


title: On a Parabolic-Hyperbolic Chemotaxis System with Discontinuous Data: Well-posedness, Stability and Regularity

abstract: The global dynamics and regularity of parabolic-hyperbolic systems is an interesting topic in PDEs due to the coupling of competing dissipation and hyperbolic effects. This paper is concerned with the Cauchy problem of a parabolic-hyperbolic system derived from a chemotaxis model describing the dynamics of the initiation of tumor angiogenesis. It is shown that, as time tends to infinity, the Cauchy problem with large-amplitude discontinuous data admit global weak solutions which converge to a constant state (resp. a viscous shock wave) if the asymptotic states of initial values at far field are equal (resp. unequal). Our results improve the previous results where initial value was required to be continuous and have small amplitude. Numerical simulations are performed to verify our analytical results, illustrate the possible regularity of solutions and speculate the minimal regularity of initial data required to obtain the smooth (classical) solutions of the concerned parabolic-hyperbolic system.


title: The energy and scale dependence of $\hat{q}$ and the JET puzzle

abstract: We present an attempt to probe the underlying structure of the quark-gluon plasma (QGP) at high resolution, based on the extracted jet transport coefficient $\hat{q}$. We argue that the exchanged momentum $k$ between the hard parton and the medium varies over a range of scales, and for $k\geq$ 1 GeV, $\hat{q}$ can be expressed in terms of a parton distribution function (PDF). Because the mass of a QGP constituent is unknown, we define a scaling variable $x_N$ to represent the ratio of the parton momentum to the momentum of a self-contained section of the plasma which has a mass of 1 GeV. This scaling variable is used to parametrize the QGP-PDF. Calculations, based on this reconstructed $\hat{q}$ are compared to data sensitive to the hardcore of jets $i.e.,$ the single hadron suppression in terms of the nuclear modification factor $R_{AA}$ and the azimuthal anisotropy parameter $v_{2}$, as a function of transverse momentum $p_{\mathrm{T}}$, centrality and energy of the collision. It is demonstrated that the scale evolution of the QGP-PDF is responsible for the reduction in the normalization of $\hat{q}$ between fits to Relativistic Heavy-Ion Collider (RHIC) and Large Hadron Collider (LHC) data; a puzzle, first discovered by the JET collaboration.


title: Perfect Matchings, Rank of Connection Tensors and Graph Homomorphisms

abstract: We develop a theory of graph algebras over general fields. This is modeled after the theory developed by Freedman, Lov\'asz and Schrijver in [22] for connection matrices, in the study of graph homomorphism functions over real edge weight and positive vertex weight. We introduce connection tensors for graph properties. This notion naturally generalizes the concept of connection matrices. It is shown that counting perfect matchings, and a host of other graph properties naturally defined as Holant problems (edge models), cannot be expressed by graph homomorphism functions with both complex vertex and edge weights (or even from more general fields). Our necessary and sufficient condition in terms of connection tensors is a simple exponential rank bound. It shows that positive semidefiniteness is not needed in the more general setting.


title: Simple proofs for Furstenberg sets over finite fields

abstract: A $(k,m)$-Furstenberg set $S \subset \mathbb{F}_q^n$ over a finite field is a set that has at least $m$ points in common with a $k$-flat in every direction. The question of determining the smallest size of such sets is a natural generalization of the finite field Kakeya problem. The only previously known bound for these sets is due to Ellenberg-Erman and requires sophisticated machinery from algebraic geometry. In this work we give new, completely elementary and simple, proofs which significantly improve the known bounds. Our main result relies on an equivalent formulation of the problem using the notion of min-entropy, which could be of independent interest.


title: Receding Horizon Control for Drinking Water Networks: The Case for Geometric Programming

abstract: Optimal, network-driven control of Water Distribution Networks (WDN) is very difficult: valve and pump models form non-trivial, combinatorial logic; hydraulic models are nonconvex; water demand patterns are uncertain; and WDN are naturally large-scale. Prior research on control of WDN addressed major research challenges, yet either (i) adopted simplified hydraulic models, WDN topologies, and rudimentary valve/pump modeling or (ii) used mixed-integer, nonconvex optimization to solve WDN control problems. The objective of this paper is to develop tractable computational algorithms to manage WDN operation, while considering arbitrary topology, flow direction, an abundance of valve types, control objectives, hydraulic models, and operational constraints---all while only using convex, continuous optimization. Specifically, we propose new Geometric Programming (GP)-based Model Predictive Control (MPC) algorithms, designed to solve the water flow equations and obtain WDN controls, i.e., pump/valve schedules alongside heads and flows. The proposed approach amounts to solving a series of convex optimization problems that graciously scale to large networks. The proposed approach is tested using a 126-node network with many valves and pumps and shown to outperform traditional, rule-based control. The developed GP-based MPC algorithms, as well as the numerical test results are all included on Github.


title: State Estimation in Water Distribution Networks through a New Successive Linear Approximation

abstract: State estimation (SE) of water distribution networks (WDNs) is difficult to solve due to nonlinearity/nonconvexity of water flow models, uncertainties from parameters and demands, lack of redundancy of measurements, and inaccurate flow and pressure measurements. This paper proposes a new, scalable successive linear approximation to solve the SE problem in WDNs. The approach amounts to solving either a sequence of linear or quadratic programs---depending on the operators' objectives. The proposed successive linear approximation offers a seamless way of dealing with valve/pump model nonconvexities, is different than a first order Taylor series linearization, and can incorporate with robust uncertainty modeling. Two simple testcases are adopted to illustrate the effectiveness of proposed approach using head measurements at select nodes.


title: Determination of Starspot Covering Fraction as a function of Stellar Age from Observational Data

abstract: The association of starspots with magnetic fields leads to an expectation that quantities which correlate with magnetic field strength may also correlate with {starspot} coverage. Since younger stars spin faster and are more magnetically active, assessing whether {starspot} coverage correlates with shorter rotation periods and stellar youth tests these principles. Here we analyze the {starspot} covering fraction versus stellar age for M{-}, G{-}, K{-}, and F{-}type stars based on previously determined variability and rotation periods of over 30,000 {\textit{Kepler}} main-sequence stars. We determine the correlation between age and variability using single and dual power law best fits. We find that {starspot} coverage does indeed decrease with age. Only when the data {are} binned in an effort to remove the effects of activity cycles of individual stars, do statistically significant power law fits emerge for each stellar type. {Using bin averages,} we then find that the {starspot} covering fraction scales with the {X}-ray to bolometric ratio to the power $\lambda$ with {$0.22\pm 0.03 < \lambda < 0.32\pm 0.09$} for {G-type} stars of rotation period below 15 days and for the full range of F{-} and M{-type} stars. For K{-}type stars, we find two branches of $\lambda$ separated by variability bins, with the lower branch showing nearly constant starspot coverage and the upper branch {$\lambda \sim 0.35\pm 0.04$.} G{-}type stars with periods longer than $15$ days exhibit a transition to steeper power law of {$ \lambda \sim 2.4 \pm 1.0$.} The potential connection to previous rotation-age measurements suggesting a magnetic breaking transition at the solar age, corresponding to period of $24.5$ is also of interest.


title: Auto-GNN: Neural Architecture Search of Graph Neural Networks

abstract: Graph neural networks (GNN) has been successfully applied to operate on the graph-structured data. Given a specific scenario, rich human expertise and tremendous laborious trials are usually required to identify a suitable GNN architecture. It is because the performance of a GNN architecture is significantly affected by the choice of graph convolution components, such as aggregate function and hidden dimension. Neural architecture search (NAS) has shown its potential in discovering effective deep architectures for learning tasks in image and language modeling. However, existing NAS algorithms cannot be directly applied to the GNN search problem. First, the search space of GNN is different from the ones in existing NAS work. Second, the representation learning capacity of GNN architecture changes obviously with slight architecture modifications. It affects the search efficiency of traditional search methods. Third, widely used techniques in NAS such as parameter sharing might become unstable in GNN. To bridge the gap, we propose the automated graph neural networks (AGNN) framework, which aims to find an optimal GNN architecture within a predefined search space. A reinforcement learning based controller is designed to greedily validate architectures via small steps. AGNN has a novel parameter sharing strategy that enables homogeneous architectures to share parameters, based on a carefully-designed homogeneity definition. Experiments on real-world benchmark datasets demonstrate that the GNN architecture identified by AGNN achieves the best performance, comparing with existing handcrafted models and tradistional search methods.


title: Heterogeneous wealth distribution, round-trip trading and the emergence of volatility clustering in Speculation Game

abstract: This study is a detailed analysis of Speculation Game, a minimal agent-based model of financial markets, in which the round-trip trading and the dynamic wealth evolution with variable trading volumes are implemented. Instead of herding behavior, we find that the emergence of volatility clustering can be induced by the heterogeneous wealth distribution among traders. In particular, the spontaneous redistribution of market wealth through repetitions of round-trip trades can widen the wealth disparity and establish the Pareto distribution of the capital size. In the meantime, large fluctuations in price return are brought on by the intermittent placements of the relatively big orders from rich traders. Empirical data are used to support the scenario derived from the model.


title: On Extractive and Abstractive Neural Document Summarization with Transformer Language Models

abstract: We present a method to produce abstractive summaries of long documents that exceed several thousand words via neural abstractive summarization. We perform a simple extractive step before generating a summary, which is then used to condition the transformer language model on relevant information before being tasked with generating a summary. We show that this extractive step significantly improves summarization results. We also show that this approach produces more abstractive summaries compared to prior work that employs a copy mechanism while still achieving higher rouge scores. Note: The abstract above was not written by the authors, it was generated by one of the models presented in this paper.


title: Synthesize Phasor Measurement Unit Data Using Large-Scale Electric Network Models

abstract: Big data analytic applications using phasor measurements help improve the situation awareness of grid operators to better operate and control the system. Phasor measurement unit (PMU) data from actual grids is viewed as highly confidential and is not publicly available to researchers and educators. This paper develops a methodology to synthesize PMU data that can be accessed and shared freely, with a focus on input data preparation. Time series of demand- and generation-side input data are generated using public data from different utilities and statistical analysis methods. Detailed load dynamics modeling is also performed in this paper to extend the synthetic electric network models.


title: The Canonical Grothendieck Topology and a Homotopical Analog

abstract: We explore the canonical Grothendieck topology and a new homotopical analog. First we discuss some background information, including defining a new 2-category called the Index-Functor Category and a sieve generalization. Then we discuss a specific description of the covers in the canonical topology and a homotopical analog. Lastly, we explore the covers in the homotopical analog by obtaining some examples.


title: First-principles investigation of low-dimension MSe$_2$ (M = Ti, Hf, Zr) configurations as promising thermoelectric materials

abstract: Interest in the application of thermoelectric devices for renewable energy has risen over the past decade. In this paper, we calculate the transport properties of various configurations of the transition metal dichalcogenide (TMD) MSe$_2$ (M = Hf, Zr, Ti) in search of promising thermoelectric materials at low/high temperatures. We explore the properties of the pure monolayer at discrete levels of biaxial tensile strain (epsilon = 0%, 2%, 4%, 8%), as well as those of the van der Waals heterobilayers MSe$_2$/MSe$_2$ using first-principles calculations combined with semi-classical Boltzmann transport theory. It is found that all studied monolayers exhibit high thermoelectric performance at high temperatures, while the application of strain enhances Seebeck and thermopower non-linearly at low temperatures. The results also reveal the bilayer ZrSe$_2$/TiSe$_2$ to have remarkable thermopower at low temperatures. These findings offer insight into creating applications with enhanced performance at both low and high temperatures in future thermoelectric devices.


title: Prescribing Morse scalar curvatures: pinching and Morse theory

abstract: We consider the problem of prescribing conformally the scalar curvature on compact manifolds of positive Yamabe class in dimension $n \geq 5$. We prove new existence results using Morse theory and some analysis on blowing-up solutions, under suitable pinching conditions on the curvature function. We also provide new non-existence results showing the sharpness of some of our assumptions, both in terms of the dimension and of the Morse structure of the prescribed function.


title: A rapidly declining transient discovered with Subaru/Hyper Suprime-Cam

abstract: We perform a high-cadence transient survey with Subaru Hyper Suprime-Cam (HSC), which we call the Subaru HSC survey Optimized for Optical Transients (SHOOT). We conduct HSC imaging observations with time intervals of about one hour on two successive nights, and spectroscopic and photometric follow-up observations. A rapidly declining blue transient SHOOT14di at $z=0.4229$ is found in observations on two successive nights with an image subtraction technique. The rate of brightness change is $+1.28^{+0.40}_{-0.27}~{\rm mag~day^{-1}}$ ($+1.83^{+0.57}_{-0.39}~{\rm mag~day^{-1}}$) in the observer (rest) frame and the rest-frame color between $3400$ and $4400~\unicode[.8,0]{x212B}$ is $M_{\rm 3400\unicode[.8,0]{x212B}}-M_{\rm 4400\unicode[.8,0]{x212B}}=-0.4$. The nature of the object is investigated by comparing its peak luminosity, decline rate, and color with those of transients and variables previously observed, and those of theoretical models. None of the transients or variables share the same properties as SHOOT14di. Comparisons with theoretical models demonstrate that, while the emission from the cooling envelope of a Type IIb supernova shows a slower decline rate than SHOOT14di, and the explosion of a red supergiant star with a dense circumstellar wind shows a redder color than SHOOT14di, the shock breakout at the stellar surface of the explosion of a $25M_{\odot}$ red supergiant star with a small explosion energy of $\leq0.4\times10^{51}$ erg reproduces the multicolor light curve of SHOOT14di. This discovery shows that a high-cadence, multicolor optical transient survey at intervals of about one hour, and continuous and immediate follow-up observations, is important for studies of normal core-collapse supernovae at high redshifts.


title: Analytic Solution of the Time-Optimal Control of a Double Integrator from an Arbitrary State to the State-space Origin

abstract: This brief note presents known results about the minimum-time control of a double integrator system from an arbitrary initial state to the state-space origin (minimum-time regulation problem, or special problem). The main purpose of this note is didactical. Results are presented in all details and following a step by step procedure.


title: KG-BERT: BERT for Knowledge Graph Completion

abstract: Knowledge graphs are important resources for many artificial intelligence tasks but often suffer from incompleteness. In this work, we propose to use pre-trained language models for knowledge graph completion. We treat triples in knowledge graphs as textual sequences and propose a novel framework named Knowledge Graph Bidirectional Encoder Representations from Transformer (KG-BERT) to model these triples. Our method takes entity and relation descriptions of a triple as input and computes scoring function of the triple with the KG-BERT language model. Experimental results on multiple benchmark knowledge graphs show that our method can achieve state-of-the-art performance in triple classification, link prediction and relation prediction tasks.


title: On Sample Complexity Upper and Lower Bounds for Exact Ranking from Noisy Comparisons

abstract: This paper studies the problem of finding the exact ranking from noisy comparisons. A comparison over a set of $m$ items produces a noisy outcome about the most preferred item, and reveals some information about the ranking. By repeatedly and adaptively choosing items to compare, we want to fully rank the items with a certain confidence, and use as few comparisons as possible. Different from most previous works, in this paper, we have three main novelties: (i) compared to prior works, our upper bounds (algorithms) and lower bounds on the sample complexity (aka number of comparisons) require the minimal assumptions on the instances, and are not restricted to specific models; (ii) we give lower bounds and upper bounds on instances with unequal noise levels; and (iii) this paper aims at the exact ranking without knowledge on the instances, while most of the previous works either focus on approximate rankings or study exact ranking but require prior knowledge. We first derive lower bounds for pairwise ranking (i.e., compare two items each time), and then propose (nearly) optimal pairwise ranking algorithms. We further make extensions to listwise ranking (i.e., comparing multiple items each time). Numerical results also show our improvements against the state of the art.


title: A study of Kepler supernova remnant: angular power spectrum estimation from radio frequency data

abstract: Supernova remnants (SNRs) have a variety of overall morphology as well as rich structures over a wide range of scales. Quantitative study of these structures can potentially reveal fluctuations of density and magnetic field originating from the interaction with ambient medium and turbulence in the expanding ejecta. We have used $1.5$GHz (L band) and $5$GHz (C band) VLA data to estimate the angular power spectrum $C_{\ell}$ of the synchrotron emission fluctuations of the Kepler SNR. This is done using the novel, visibility based, Tapered Gridded Estimator of $C_{\ell}$. We have found that, for $\ell = (1.9 - 6.9) \times 10^{4}$, the power spectrum is a broken power law with a break at $\ell = 3.3 \times 10^{4}$, and power law index of $-2.84\pm 0.07$ and $-4.39\pm 0.04$ before and after the break respectively. The slope $-2.84$ is consistent with 2D Kolmogorov turbulence and earlier measurements for the Tycho SNR. We interpret the break to be related to the shell thickness of the SNR ($0.35 $ pc) which approximately matches $\ell = 3.3 \times 10^{4}$ (i.e., $0.48$ pc). However, for $\ell > 6.9 \times 10^{4}$, the estimated $C_{\ell}$ of L band is likely to have dominant contribution from the foregrounds while for C band the power law slope $-3.07\pm 0.02$ is roughly consistent with $3$D Kolmogorov turbulence like that observed at large $\ell$ for Cas A and Crab SNRs.


title: Global Dynamics of Nonautonomous Hindmarsh-Rose Equations

abstract: Global dynamics of nonautonomous diffusive Hindmarsh-Rose equations on a three-dimensional bounded domain in neurodynamics is investigated. The existence of a pullback attractor is proved through uniform estimates showing the pullback dissipative property and the pullback asymptotical compactness. Then the existence of pullback exponential attractor is also established by proving the smoothing Lipschitz continuity in a long run of the solution process.


title: Fiber-optic joint time and frequency transfer with the same wavelength

abstract: Optical fiber links have demonstrated their ability to transfer the ultra-stable clock signals. In this paper we propose and demonstrate a new scheme to transfer both time and radio frequency with the same wavelength based on coherent demodulation technique. Time signal is encoded as a binary phase-shift keying (BPSK) to the optical carrier using electro optic modulator (EOM) by phase modulation and makes sure the frequency signal free from interference with single pulse. The phase changes caused by the fluctuations of the transfer links are actively cancelled at local site by optical delay lines. Radio frequency with 1GHz and time signal with one pulse per second (1PPS) transmitted over a 110km fiber spools are obtained. The experimental results demonstrate that frequency instabilities of 1.7E-14 at 1s and 5.9E-17 at 104s. Moreover, time interval transfer of 1PPS signal reaches sub-ps stability after 1000s. This scheme offers advantages with respect to reduce the channel in fiber network, and can keep time and frequency signal independent of each other.


title: Soft Policy Gradient Method for Maximum Entropy Deep Reinforcement Learning

abstract: Maximum entropy deep reinforcement learning (RL) methods have been demonstrated on a range of challenging continuous tasks. However, existing methods either suffer from severe instability when training on large off-policy data or cannot scale to tasks with very high state and action dimensionality such as 3D humanoid locomotion. Besides, the optimality of desired Boltzmann policy set for non-optimal soft value function is not persuasive enough. In this paper, we first derive soft policy gradient based on entropy regularized expected reward objective for RL with continuous actions. Then, we present an off-policy actor-critic, model-free maximum entropy deep RL algorithm called deep soft policy gradient (DSPG) by combining soft policy gradient with soft Bellman equation. To ensure stable learning while eliminating the need of two separate critics for soft value functions, we leverage double sampling approach to making the soft Bellman equation tractable. The experimental results demonstrate that our method outperforms in performance over off-policy prior methods.


title: Coupled map lattice for the spiral pattern formation in astronomical objects

abstract: We propose a minimal coupled map lattice (CML) for the spiral pattern formation in astronomical objects which consist of accreting gas induced by gravity as a long-range force. In the proposed CML, we assume only two procedures: one in which the flow of gas particles occurs by gravity and another one in which the collision of gas particles occurs by advection in the flow. In spite of its simplicity, the numerical simulation of the proposed CML shows a new formation process in which grand design spiral patterns appear due to gas ejection from a central star. Several aspects of the formation process are indeed in good agreement with the results of conventional theories and observations. This agreement and the observations of outflows should suggest that the above gas ejection can happen and lead to the formation of grand design spiral patterns, in actual spiral galaxies and protoplanetary disks.


title: Mature GAIL: Imitation Learning for Low-level and High-dimensional Input using Global Encoder and Cost Transformation

abstract: Recently, GAIL framework and various variants have shown remarkable possibilities for solving practical MDP problems. However, detailed researches of low-level, and high-dimensional state input in this framework, such as image sequences, has not been conducted. Furthermore, the cost function learned in the traditional GAIL frame-work only lies on a negative range, acting as a non-penalized reward and making the agent difficult to learn the optimal policy. In this paper, we propose a new algorithm based on the GAIL framework that includes a global encoder and the reward penalization mechanism. The global encoder solves two issues that arise when applying GAIL framework to high-dimensional image state. Also, it is shown that the penalization mechanism provides more adequate reward to the agent, resulting in stable performance improvement. Our approach's potential can be backed up by the fact that it is generally applicable to variants of GAIL framework. We conducted in-depth experiments by applying our methods to various variants of the GAIL framework. And, the results proved that our method significantly improves the performances when it comes to low-level and high-dimensional tasks.


title: Counting singular curves with tangencies

abstract: We obtain a recursive formula for the characteristic number of degree $d$ curves in $\mathbb{P}^2$ with prescribed singularities (of type $A_k$) that are tangent to a given line. The formula is in terms of the characteristic number of curves with exactly those singularities. Combined with the results of S. Basu and R. Mukherjee, this gives us a complete formula for the characteristic number of curves with $\delta$-nodes and one singularity of type $A_k$, tangent to a given line, provided $\delta + k \leq 8$. We use a topological method, namely the method of dynamic intersections to compute the degenerate contribution to the Euler class. Till codimension eight, we verify that our numbers are logically consistent with those computed earlier by Caporaso-Harris. We also make a non trivial low degree check to verify our formula for the number of cuspidal cubics tangent to a given line, using a result of Kazarian.


title: Mesoscopic model for nano-channel confined DNA

abstract: I present a Hamiltonian model and a computational method suitable to evaluate structural and thermodynamic properties of helical molecules embedded in crowded environments which may confine the space available to the base pair fluctuations. It is shown that, for the specific case of a short DNA fragment in a nanochannel, the molecule is markedly over-twisted and stretched by narrowing the width of the channel.


title: Geometry of planar curves intersecting many lines in a few points

abstract: The local Lipschitz property is shown for the graph avoiding multiple point intersection with lines directed in a given cone. The assumption is much stronger than those of Marstrand's well-known theorem, but the conclusion is much stronger too. Additionally, a continuous curve with a similar property is $\sigma$-finite with respect to Hausdorff length and an estimate on the Hausdorff measure of each "piece" is found.


title: Multi Pseudo Q-learning Based Deterministic Policy Gradient for Tracking Control of Autonomous Underwater Vehicles

abstract: This paper investigates trajectory tracking problem for a class of underactuated autonomous underwater vehicles (AUVs) with unknown dynamics and constrained inputs. Different from existing policy gradient methods which employ single actor-critic but cannot realize satisfactory tracking control accuracy and stable learning, our proposed algorithm can achieve high-level tracking control accuracy of AUVs and stable learning by applying a hybrid actors-critics architecture, where multiple actors and critics are trained to learn a deterministic policy and action-value function, respectively. Specifically, for the critics, the expected absolute Bellman error based updating rule is used to choose the worst critic to be updated in each time step. Subsequently, to calculate the loss function with more accurate target value for the chosen critic, Pseudo Q-learning, which uses sub-greedy policy to replace the greedy policy in Q-learning, is developed for continuous action spaces, and Multi Pseudo Q-learning (MPQ) is proposed to reduce the overestimation of action-value function and to stabilize the learning. As for the actors, deterministic policy gradient is applied to update the weights, and the final learned policy is defined as the average of all actors to avoid large but bad updates. Moreover, the stability analysis of the learning is given qualitatively. The effectiveness and generality of the proposed MPQ-based Deterministic Policy Gradient (MPQ-DPG) algorithm are verified by the application on AUV with two different reference trajectories. And the results demonstrate high-level tracking control accuracy and stable learning of MPQ-DPG. Besides, the results also validate that increasing the number of the actors and critics will further improve the performance.


title: Non-discriminative data or weak model? On the relative importance of data and model resolution

abstract: We explore the question of how the resolution of the input image ("input resolution") affects the performance of a neural network when compared to the resolution of the hidden layers ("internal resolution"). Adjusting these characteristics is frequently used as a hyperparameter providing a trade-off between model performance and accuracy. An intuitive interpretation is that the reduced information content in the low-resolution input causes decay in the accuracy. In this paper, we show that up to a point, the input resolution alone plays little role in the network performance, and it is the internal resolution that is the critical driver of model quality. We then build on these insights to develop novel neural network architectures that we call \emph{Isometric Neural Networks}. These models maintain a fixed internal resolution throughout their entire depth. We demonstrate that they lead to high accuracy models with low activation footprint and parameter count.


title: Lindblad dynamics of the damped and forced quantum harmonic oscillator: General solution

abstract: The quantum dynamics of a damped and forced harmonic oscillator described by a Lindblad master equation is analyzed. The master equation is converted into a matrix-vector representation and the resulting non-Hermitian Schr\"odinger equation is solved by Lie-algebraic techniques allowing the construction of the general solution for the density operator.


title: Ruh-Vilms Theorems For Minimal Surfaces Without Complex Points and Minimal Lagrangian Surfaces in $\mathbb C P^2$

abstract: In this paper we investigate surfaces in $\mathbb C P^2$ without complex points and characterize the minimal surfaces without complex points and the minimal Lagrangian surfaces by Ruh-Vilms type theorems. We also discuss the liftability of an immersion from a surface to $\mathbb C P^2$ into $S^5$ in Appendix A.


title: Nonnegative solutions for the fractional Laplacian involving a nonlinearity with zeros

abstract: We study the nonlocal nonlinear problem \begin{equation}\label{ppp} \left\{ \begin{array}[c]{lll} (-\Delta)^s u = \lambda f(u) & \mbox{in }\Omega, \\ u=0&\mbox{on } \mathbb{R}^N\setminus\Omega, \end{array} \right. \tag{$P_{\lambda}$} \end{equation} where $\Omega$ is a bounded smooth domain in $\mathbb{R}^N$\!,\,$N>2s$,\,$0<s<1$; $f:\mathbb{R}\rightarrow [0,\infty)$ is a nonlinear continuous function such that $f(0)=f(1)=0$ and $f(t)\sim |t|^{p-1}t$ as $t\rightarrow 0^+$, with $2<p+1<2^*_s$; and $\lambda$ is a positive parameter. We prove the existence of two nontrivial solutions $u_{\lambda}$ and $v_{\lambda}$ to (\ref{ppp}) such that $0\le u_{\lambda}< v_{\lambda}\le 1$ for all sufficiently large $\lambda$. The first solution $u_{\lambda}$ is obtained by applying the Mountain Pass Theorem, whereas the second, $v_{\lambda}$, via the sub- and super-solution method. We point out that our results hold regardless of the behavior of the nonlinearity $f$ at infinity. In addition, we obtain that these solutions belong to $L^{\infty}(\Omega)$.


title: Transferable Neural Processes for Hyperparameter Optimization

abstract: Automated machine learning aims to automate the whole process of machine learning, including model configuration. In this paper, we focus on automated hyperparameter optimization (HPO) based on sequential model-based optimization (SMBO). Though conventional SMBO algorithms work well when abundant HPO trials are available, they are far from satisfactory in practical applications where a trial on a huge dataset may be so costly that an optimal hyperparameter configuration is expected to return in as few trials as possible. Observing that human experts draw on their expertise in a machine learning model by trying configurations that once performed well on other datasets, we are inspired to speed up HPO by transferring knowledge from historical HPO trials on other datasets. We propose an end-to-end and efficient HPO algorithm named as Transfer Neural Processes (TNP), which achieves transfer learning by incorporating trials on other datasets, initializing the model with well-generalized parameters, and learning an initial set of hyperparameters to evaluate. Experiments on extensive OpenML datasets and three computer vision datasets show that the proposed model can achieve state-of-the-art performance in at least one order of magnitude less trials.


title: Tarski's Theorem, Supermodular Games, and the Complexity of Equilibria

abstract: The use of monotonicity and Tarski's theorem in existence proofs of equilibria is very widespread in economics, while Tarski's theorem is also often used for similar purposes in the context of verification. However, there has been relatively little in the way of analysis of the complexity of finding the fixed points and equilibria guaranteed by this result. We study a computational formalism based on monotone functions on the $d$-dimensional grid with sides of length $N$, and their fixed points, as well as the closely connected subject of supermodular games and their equilibria. It is known that finding some (any) fixed point of a monotone function can be done in time $\log^d N$, and we show it requires at least $\log^2 N$ function evaluations already on the 2-dimensional grid, even for randomized algorithms. We show that the general Tarski problem of finding some fixed point, when the monotone function is given succinctly (by a boolean circuit), is in the class PLS of problems solvable by local search and, rather surprisingly, also in the class PPAD. Finding the greatest or least fixed point guaranteed by Tarski's theorem, however, requires $d\cdot N$ steps, and is NP-hard in the white box model. For supermodular games, we show that finding an equilibrium in such games is essentially computationally equivalent to the Tarski problem, and finding the maximum or minimum equilibrium is similarly harder. Interestingly, two-player supermodular games where the strategy space of one player is one-dimensional can be solved in $O(\log N)$ steps. We also observe that computing (approximating) the value of Condon's (Shapley's) stochastic games reduces to the Tarski problem. An important open problem highlighted by this work is proving a $\Omega(\log^d N)$ lower bound for small fixed dimension $d \geq 3$.


title: Measuring and Relieving the Over-smoothing Problem for Graph Neural Networks from the Topological View

abstract: Graph Neural Networks (GNNs) have achieved promising performance on a wide range of graph-based tasks. Despite their success, one severe limitation of GNNs is the over-smoothing issue (indistinguishable representations of nodes in different classes). In this work, we present a systematic and quantitative study on the over-smoothing issue of GNNs. First, we introduce two quantitative metrics, MAD and MADGap, to measure the smoothness and over-smoothness of the graph nodes representations, respectively. Then, we verify that smoothing is the nature of GNNs and the critical factor leading to over-smoothness is the low information-to-noise ratio of the message received by the nodes, which is partially determined by the graph topology. Finally, we propose two methods to alleviate the over-smoothing issue from the topological view: (1) MADReg which adds a MADGap-based regularizer to the training objective;(2) AdaGraph which optimizes the graph topology based on the model predictions. Extensive experiments on 7 widely-used graph datasets with 10 typical GNN models show that the two proposed methods are effective for relieving the over-smoothing issue, thus improving the performance of various GNN models.


title: AutoML for Contextual Bandits

abstract: Contextual Bandits is one of the widely popular techniques used in applications such as personalization, recommendation systems, mobile health, causal marketing etc . As a dynamic approach, it can be more efficient than standard A/B testing in minimizing regret. We propose an end to end automated meta-learning pipeline to approximate the optimal Q function for contextual bandits problems. We see that our model is able to perform much better than random exploration, being more regret efficient and able to converge with a limited number of samples, while remaining very general and easy to use due to the meta-learning approach. We used a linearly annealed e-greedy exploration policy to define the exploration vs exploitation schedule. We tested the system on a synthetic environment to characterize it fully and we evaluated it on some open source datasets to benchmark against prior work. We see that our model outperforms or performs comparatively to other models while requiring no tuning nor feature engineering.


title: On the nodal distance between two Keplerian trajectories with a common focus

abstract: We study the possible values of the nodal distance $\delta_{\rm nod}$ between two non-coplanar Keplerian trajectories ${\cal A}, {\cal A}'$ with a common focus. In particular, given ${\cal A}'$ and assuming it is bounded, we compute optimal lower and upper bounds for $\delta_{\rm nod}$ as functions of a selected pair of orbital elements of ${\cal A}$, when the other elements vary. This work arises in the attempt to extend to the elliptic case the optimal estimates for the orbit distance given in (Gronchi and Valsecchi 2013) in case of a circular trajectory ${\cal A}'$. These estimates are relevant to understand the observability of celestial bodies moving (approximately) along ${\cal A}$ when the observer trajectory is (close to) ${\cal A}'$.


title: Bayesian Design of Sampling Set for Bandlimited Graph Signals

abstract: The design of sampling set (DoS) for bandlimited graph signals (GS) has been extensively studied in recent years, but few of them exploit the benefits of the stochastic prior of GS. In this work, we introduce the optimization framework for Bayesian DoS of bandlimited GS. We also illustrate how the choice of different sampling sets affects the estimation error and how the prior knowledge influences the result of DoS compared with the non-Bayesian DoS by the aid of analyzing Gershgorin discs of error metric matrix. Finally, based on our analysis, we propose a heuristic algorithm for DoS to avoid solving the optimization problem directly.


title: Structure constants of heavy operators in ABJM/ABJ Theory

abstract: Efficient and powerful approaches to the computation of correlation functions involving determinant, sub-determinant and permanent operators, as well as traces, have recently been developed in the setting of ${\cal N}=4$ super Yang-Mills theory. In this article we show that they can be extended to ABJM and ABJ theory. After making use of a novel identity which follows from character orthogonality, an integral representation of certain projection operators used to define Schur polynomials is given. This integral representation provides an effective description of the correlation functions of interest. The resulting effective descriptions have ${1\over N}$ as the loop counting parameter, strongly suggesting their relevance for holography.


title: Aspects of isentropic trajectories in chiral effective models

abstract: The evolution of the fireball in heavy ion collisions is an isentropic process, meaning that it follows a trajectory of constant entropy per baryon in the phase diagram of the strong interaction. Responsible for the collective acceleration of the fireball is the speed of sound of the system, while fluctuations of conserved charges are encoded in quark-number susceptibilities: together, they leave their imprint in final observables. Here, this isentropic evolution will be analysed within chiral effective models that account for both chiral and center symmetry breaking, two central aspects of QCD. Our discussion focusses on the impact on the isentropic trajectories of the treatment of high-momentum modes, of the meson contribution to thermodynamics and of the number of quark flavours.


title: Detecting a planted community in an inhomogeneous random graph

abstract: We study the problem of detecting whether an inhomogeneous random graph contains a planted community. Specifically, we observe a single realization of a graph. Under the null hypothesis, this graph is a sample from an inhomogeneous random graph, whereas under the alternative, there exists a small subgraph where the edge probabilities are increased by a multiplicative scaling factor. We present a scan test that is able to detect the presence of such a planted community, even when this community is very small and the underlying graph is inhomogeneous. We also derive an information theoretic lower bound for this problem which shows that in some regimes the scan test is almost asymptotically optimal. We illustrate our results through examples and numerical experiments.


title: AFR: An Efficient Buffering Algorithm for Cloud Robotic Systems

abstract: Communication between robots and the server is a major problem for cloud robotic systems. In this paper, we address the problem caused by data loss during such communications, and propose an efficient buffering algorithm, called AFR, to solve the problem. We model the problem into an optimization problem to maximize the received Quantity of Information (QoI). Our AFR algorithm is formally proved to achieve near-optimal QoI, which has a lower bound that is a constant multiple of the unrealizable optimal QoI. We implement our AFR algorithm in ROS without changing the interface or API for the applications. Our experiments on two cloud robot applications show that our AFR algorithm can efficiently and effectively reduce the impact of data loss. For the remote mapping application, the RMSE caused by data loss can be reduced by about 20%. For the remote tracking application, the probability of tracking failure caused by data loss can be reduced from about 40%-60% to under 10%. Meanwhile, our AFR algorithm introduces time overhead of under 10 microseconds.


title: Scaling limits for non-intersecting polymers and Whittaker measures

abstract: We study the partition functions associated with non-intersecting polymers in a random environment. By considering paths in series and in parallel, the partition functions carry natural notions of subadditivity, allowing the effective study of their asymptotics. For a certain choice of random environment, the geometric RSK correspondence provides an explicit representation of the partition functions in terms of a stochastic interface. Formally this leads to a variational description of the macroscopic behaviour of the interface and hence the free energy of the associated non-intersecting polymer model. At zero temperature we relate this variational description to the Marchenko-Pastur distribution, and give a new derivation of the surface tension of the bead model.


title: Ultrafast long-range energy transport via light-matter coupling in organic semiconductor films

abstract: The formation of exciton-polaritons allows the transport of energy over hundreds of nanometres at velocities up to 10^6 m s^-1 in organic semiconductors films in the absence of external cavity structures.


title: Fusion reactions in the $^9$Be + $^{197}$Au system above the Coulomb barrier

abstract: The cross sections of complete fusion and incomplete fusion for the $ ^{9} $Be + $ ^{197} $Au system, at energies not too much above the Coulomb barrier, were measured for the first time. The online activation followed by offline $\gamma$-ray spectroscopy method was used for the derivation of the cross sections. A slightly higher value of ICF/TF ratio has been observed, compared to other systems reported in the literature with $ ^{9} $Be beam. The experimental data were compared with coupled channel calculations without taking into account the coupling of the breakup channel, and experimental data of other reaction systems with weakly bound projectiles. A complete fusion suppression of about 40\% was found for the $ ^{9} $Be + $ ^{197} $Au system, at energies above the barrier, whereas the total fusion cross sections are in agreement with the calculations.


title: Jackiw-Rebbi states in interfaced binary waveguide arrays with Kerr nonlinearity

abstract: We systematically investigate the optical analogs of quantum relativistic Jackiw-Rebbi states in binary waveguide arrays in the presence of Kerr nonlinearity with both self-focusing and self-defocusing cases. The localized profiles of these nonlinear Jackiw-Rebbi states can be calculated exactly by using the shooting method. We show that these nonlinear Jackiw-Rebbi states have a very interesting feature which is totally different from all other well-known nonlinear localized structures, including optical solitons. Namely, the profiles of nonlinear JR states with higher peak amplitudes can totally envelope the ones with lower peak amplitudes. We demonstrate that media with the positive nonlinear coefficient can support stable Jackiw-Rebbi states for a wide range of peak amplitudes, whereas media with the negative nonlinear coefficient are only able to support Jackiw-Rebbi states with low peak amplitudes. A general rule for the detuning of nonlinear Jackiw-Rebbi states in binary waveguide arrays is found.


title: Deleter: Leveraging BERT to Perform Unsupervised Successive Text Compression

abstract: Text compression has diverse applications such as Summarization, Reading Comprehension and Text Editing. However, almost all existing approaches require either hand-crafted features, syntactic labels or parallel data. Even for one that achieves this task in an unsupervised setting, its architecture necessitates a task-specific autoencoder. Moreover, these models only generate one compressed sentence for each source input, so that adapting to different style requirements (e.g. length) for the final output usually implies retraining the model from scratch. In this work, we propose a fully unsupervised model, Deleter, that is able to discover an "optimal deletion path" for an arbitrary sentence, where each intermediate sequence along the path is a coherent subsequence of the previous one. This approach relies exclusively on a pretrained bidirectional language model (BERT) to score each candidate deletion based on the average Perplexity of the resulting sentence and performs progressive greedy lookahead search to select the best deletion for each step. We apply Deleter to the task of extractive Sentence Compression, and found that our model is competitive with state-of-the-art supervised models trained on 1.02 million in-domain examples with similar compression ratio. Qualitative analysis, as well as automatic and human evaluations both verify that our model produces high-quality compression.


title: Harnack Inequalities for Functional SDEs Driven by Subordinate Brownian Motions

abstract: Using coupling by change of measure and an approximation technique, Wang's Harnack inequalities are established for a class of functional SDEs driven by subordinate Brownian motions. The results cover the corresponding ones in the case without delay.


title: Yield ratio of neutrons to protons in $^{12}C(d,n)^{13}$N and $^{12}C(d,p)^{13}$C from 0.6 MeV to 3 MeV

abstract: The neutron yield in $^{12}$C(d,n)$^{13}$N and the proton yield in $^{12}C(d,p)^{13}$C have been measured by deuteron beam from 0.6 MeV to 3 MeV which is delivered from a 4-MeV electro static accelerator bombarding on the thick carbon target. The neutrons are detected at $0\degree$, $24\degree$, $48\degree$ and the protons at $135\degree$ in the lab frame. The ratios of the neutron yield to the proton one have been calculated and can be used as an effective probe to pin down the resonances. The resonances are found at 1.4 MeV, 1.7 MeV, 2.5 MeV in $^{12}C(d,p)^{13}$C and at 1.6 MeV, 2.7 MeV in $^{12}$C(d,n)$^{13}$N. This method provides a way to reduce the systematic uncertainty and helps to confirm more resonances in compound nuclei.


title: Optimal Measurement Protocols in Quantum Zeno Effect

abstract: The quantum Zeno effect is the prediction, going back to Alan Turing, that the decay of an unstable system can be slowed down by measuring it frequently enough. It was also noticed later that the opposite effect, i.e., enhancement of the decay due to frequent measurements, is rather common. An important question arising in this regards is how to choose the optimal measurement strategy to achieve the highest possible decay rate. Here we rigorously prove the universal optimality of the stroboscopic measurement protocol in the sense that it always provides the shortest expected decay time among all measurement procedures. However, the implementation of the stroboscopic protocol requires the knowledge of the optimal sampling period which may depend on the fine details of the quantum problem. We show that this difficulty can be overcame with the simple non-regular measurement procedures inspired by the scale-free restart strategies used to speed up the completion of random search tasks and probabilistic algorithms in computer science. Besides, our analysis reveals the universal criteria to discriminate between Zeno and anti-Zeno regimes for the unstable quantum systems under Poissonian measurements.


title: A Novel Cascade Binary Tagging Framework for Relational Triple Extraction

abstract: Extracting relational triples from unstructured text is crucial for large-scale knowledge graph construction. However, few existing works excel in solving the overlapping triple problem where multiple relational triples in the same sentence share the same entities. In this work, we introduce a fresh perspective to revisit the relational triple extraction task and propose a novel cascade binary tagging framework (CasRel) derived from a principled problem formulation. Instead of treating relations as discrete labels as in previous works, our new framework models relations as functions that map subjects to objects in a sentence, which naturally handles the overlapping problem. Experiments show that the CasRel framework already outperforms state-of-the-art methods even when its encoder module uses a randomly initialized BERT encoder, showing the power of the new tagging framework. It enjoys further performance boost when employing a pre-trained BERT encoder, outperforming the strongest baseline by 17.5 and 30.2 absolute gain in F1-score on two public datasets NYT and WebNLG, respectively. In-depth analysis on different scenarios of overlapping triples shows that the method delivers consistent performance gain across all these scenarios. The source code and data are released online.


title: HeteSpaceyWalk: A Heterogeneous Spacey Random Walk for Heterogeneous Information Network Embedding

abstract: Heterogeneous information network (HIN) embedding has gained increasing interests recently. However, the current way of random-walk based HIN embedding methods have paid few attention to the higher-order Markov chain nature of meta-path guided random walks, especially to the stationarity issue. In this paper, we systematically formalize the meta-path guided random walk as a higher-order Markov chain process, and present a heterogeneous personalized spacey random walk to efficiently and effectively attain the expected stationary distribution among nodes. Then we propose a generalized scalable framework to leverage the heterogeneous personalized spacey random walk to learn embeddings for multiple types of nodes in an HIN guided by a meta-path, a meta-graph, and a meta-schema respectively. We conduct extensive experiments in several heterogeneous networks and demonstrate that our methods substantially outperform the existing state-of-the-art network embedding algorithms.


title: Modeling of a MeV-scale Particle Detector Based on Organic Liquid Scintillator

abstract: The detectors based on the liquid scintillator (LS) monitored by an array of photo-multiplier tubes (PMT) are often used in low energy experiments such as neutrino oscillation studies and search for dark matter. Detectors of this kind operate in an energy range spanning from hundreds of keV to a few GeV providing a few percent resolution at energies above 1 MeV and allowing to observe fine spectral features. This article gives a brief overview of relevant physical processes and introduces a new universal simulation tool LSMC (Liquid Scintillator Monte Carlo) for simulation of LS-based detectors equipped with PMT arrays. This tool is based on the Geant4 framework and provides supplementing functionality for ease of configuration and comprehensive output. The usage of LSMC is illustrated by modeling and optimization of a compact detector prototype currently being built at Baksan Neutrino Observatory.


title: Sobolev trace inequality on $W^{s,q}(\mathbb{R}^n)$

abstract: Sobolev trace inequalities on nonhomogeneous fractional Sobolev spaces are established.


title: Streaming Message Interface: High-Performance Distributed Memory Programming on Reconfigurable Hardware

abstract: Distributed memory programming is the established paradigm used in high-performance computing (HPC) systems, requiring explicit communication between nodes and devices. When FPGAs are deployed in distributed settings, communication is typically handled either by going through the host machine, sacrificing performance, or by streaming across fixed device-to-device connections, sacrificing flexibility. We present Streaming Message Interface (SMI), a communication model and API that unifies explicit message passing with a hardware-oriented programming model, facilitating minimal-overhead, flexible, and productive inter-FPGA communication. Instead of bulk transmission, messages are streamed across the network during computation, allowing communication to be seamlessly integrated into pipelined designs. We present a high-level synthesis implementation of SMI targeting a dedicated FPGA interconnect, exposing runtime-configurable routing with support for arbitrary network topologies, and implement a set of distributed memory benchmarks. Using SMI, programmers can implement distributed, scalable HPC programs on reconfigurable hardware, without deviating from best practices for hardware design.


title: Algebraic entropy computations for lattice equations: why initial value problems do matter

abstract: In this letter we show that the results of degree growth (algebraic entropy) calculations for lattice equations strongly depend on the initial value problem that one chooses. We consider two problematic types of initial value configurations, one with problems in the past light-cone, the other one causing interference in the future light-cone, and apply them to Hirota's discrete KdV equation and to the discrete Liouville equation. Both of these initial value problems lead to exponential degree growth for Hirota's dKdV, the quintessential integrable lattice equation. For the discrete Liouville equation, though it is linearizable, one of the initial value problems yields exponential degree growth whereas the other is shown to yield non-polynomial (though still sub-exponential) growth. These results are in contrast to the common belief that discrete integrable equations must have polynomial growth and that linearizable equations necessarily have linear degree growth, regardless of the initial value problem one imposes. Finally, as a possible remedy for one of the observed anomalies, we also propose basing integrability tests that use growth criteria on the degree growth of a single initial value instead of all the initial values.


title: 2.5-D retrieval of atmospheric properties from exoplanet phase curves: Application to WASP-43b observations

abstract: We present a novel retrieval technique that attempts to model phase curve observations of exoplanets more realistically and reliably, which we call the 2.5-dimension (2.5-D) approach. In our 2.5-D approach we retrieve the vertical temperature profile and mean gaseous abundance of a planet at all longitudes and latitudes \textbf{simultaneously}, assuming that the temperature or composition, $x$, at a particular longitude and latitude $(\Lambda,\Phi)$ is given by $x(\Lambda,\Phi) = \bar{x} + (x(\Lambda,0) - \bar{x})\cos^n\Phi$, where $\bar{x}$ is the mean of the morning and evening terminator values of $x(\Lambda,0)$, and $n$ is an assumed coefficient. We compare our new 2.5-D scheme with the more traditional 1-D approach, which assumes the same temperature profile and gaseous abundances at all points on the visible disc of a planet for each individual phase observation, using a set of synthetic phase curves generated from a GCM-based simulation. We find that our 2.5-D model fits these data more realistically than the 1-D approach, confining the hotter regions of the planet more closely to the dayside. We then apply both models to WASP-43b phase curve observations of HST/WFC3 and Spitzer/IRAC. We find that the dayside of WASP-43b is apparently much hotter than the nightside and show that this could be explained by the presence of a thick cloud on the nightside with a cloud top at pressure $< 0.2$ bar. We further show that while the mole fraction of water vapour is reasonably well constrained to $(1-10)\times10^{-4}$, the abundance of CO is very difficult to constrain with these data since it is degenerate with temperature and prone to possible systematic radiometric differences between the HST/WFC3 and Spitzer/IRAC observations. Hence, it is difficult to reliably constrain C/O.


title: Scene Recognition with Prototype-agnostic Scene Layout

abstract: Abstract--- Exploiting the spatial structure in scene images is a key research direction for scene recognition. Due to the large intra-class structural diversity, building and modeling flexible structural layout to adapt various image characteristics is a challenge. Existing structural modeling methods in scene recognition either focus on predefined grids or rely on learned prototypes, which all have limited representative ability. In this paper, we propose Prototype-agnostic Scene Layout (PaSL) construction method to build the spatial structure for each image without conforming to any prototype. Our PaSL can flexibly capture the diverse spatial characteristic of scene images and have considerable generalization capability. Given a PaSL, we build Layout Graph Network (LGN) where regions in PaSL are defined as nodes and two kinds of independent relations between regions are encoded as edges. The LGN aims to incorporate two topological structures (formed in spatial and semantic similarity dimensions) into image representations through graph convolution. Extensive experiments show that our approach achieves state-of-the-art results on widely recognized MIT67 and SUN397 datasets without multi-model or multi-scale fusion. Moreover, we also conduct the experiments on one of the largest scale datasets, Places365. The results demonstrate the proposed method can be well generalized and obtains competitive performance.


title: Impact of Uncertainties in Astrophysical Reaction Rates on Nucleosynthesis in the $\nu p$ Process

abstract: The $\nu p$ process appears in proton-rich, hot matter which is expanding in a neutrino wind and may be realised in explosive environments such as core-collapse supernovae or in outflows from accretion disks. The impact of uncertainties in nuclear reaction cross sections on the finally produced abundances has been studied by applying Monte Carlo variation of all astrophysical reaction rates in a large reaction network. As the detailed astrophysical conditions of the $\nu p$ process still are unknown, a parameter study was performed, with 23 trajectories covering a large range of entropies and $Y_\mathrm{e}$. The resulting abundance uncertainties are given for each trajectory. The $\nu p$ process has been speculated to contribute to the light $p$ nuclides but it was not possible so far to reproduce the solar isotope ratios. It is found that it is possible to reproduce the solar $^{92}$Mo/$^{94}$Mo abundance ratio within nuclear uncertainties, even within a single trajectory. The solar values of the abundances in the Kr-Sr region relative to the Mo region, however, cannot be achieved within a single trajectory. They may still be obtained from a weighted superposition of different trajectories, though, depending on the actual conditions in the production site. For a stronger constraint of the required conditions, it would be necessary to reduce the uncertainties in the 3$\alpha$ and $^{56}$Ni(n,p)$^{56}$Co rates at temperatures $T>3$ GK.


title: Generation of strong magnetic fields in old neutron stars accounting for continuous chiral magnetic effect

abstract: We suggest a new mean field dynamo model in anomalous MagnetoHydroDynamics (AMHD) accounting for the mean spin (polarization) of the magnetized chiral (ultrarelativistic) plasma of a neutron star (NS). For simplicity we consider a non-superfluid NS with its rigid rotation neglecting also any matter turbulence (convection) within a star. On this way, we recover the Chiral Magnetic Effect (CME) as a possible source for the amplification of a seed, sufficiently strong magnetic field, $B\sim 10^{13}\,\text{G}$, up to values $B\gtrsim 10^{18}\,\text{G}$ in old NS's, having ages $t\gtrsim 10^6\,\text{yr}$. The important issue in AMHD model suggested is the continuous evolution of the chiral imbalance providing the CME for these ages, $\partial_t\mu_5 (t)\neq 0$, in spite of the fast spin-flip in Coulomb collisions in the dense NS plasma that leads to vanishing $\mu_5\to 0$ at an earlier epoch in the corresponding protoneutron star. In contrast to the conventional mean-field dynamos, the dynamo drivers in the model are produced due to magnetic field generated at the previous stages of stellar evolution. It makes our model basically nonlinear.


title: Interpolating sequences and the Toeplitz corona theorem on the symmetrized bidisk

abstract: This paper is a continuation of work done in \cite{BS}. It contains two new theorems about bounded holomorphic functions on the symmetrized bidisk -- a characterization of interpolating sequences and a Toeplitz corona theorem.


title: Linear response and moderate deviations: hierarchical approach. V

abstract: The Moderate Deviations Principle (MDP) is well-understood for sums of independent random variables, worse understood for stationary random sequences, and scantily understood for random fields. Here it is established for some planary random fields of the form $ X_t = \psi(G_t) $ obtained from a Gaussian random field $ G_t $ via a function $ \psi $, and consequently, for zeroes of the Gaussian Entire Function. Version 2: Appendix "Reader's guide to parts I-V" added. Minor changes, as follows. Formulations corrected: (2.1), 3.12(b), 4.5. Proofs corrected: 2.5, 2.6, 3.12, 3.16, 3.19, 4.13, 4.14, 4.15, 5.14. Formulations clarified: 2.10, 2.11 (former 2.9, 2.10), 3.17, 5.14, 5.15, 5.23. Clarifications/copyedit: remarks 2.11 (former 2.10), 5.17; pages 5, 11, 15, 21, 22, 36, 39, 40, 41, 42; refs [5], [6].


title: Solving difference equations in sequences: Universality and Undecidability

abstract: $ $We study solutions of difference equations in the rings of sequences and, more generally, solutions of equations with a monoid action in the ring of sequences indexed by the monoid. This framework includes, for example, difference equations on grids (e.g., standard difference schemes) and difference equations in functions on words. On the universality side, we prove a version of strong Nullstellensatz for such difference equations under the assuption that the cardinality of the ground field is greater than the cardinality of the monoid and construct an example showing that this assumption cannot be omitted. On the undecidability side, we show that the following problems are undecidable: $\bullet$ testing radical difference ideal membership or, equivalently, determining whether a given difference polynomial vanishes on the solution set of a given system of difference polynomials; $\bullet$ determining consistency of a system of difference equations in the ring of real-valued sequences; $\bullet$ determining consistency of a system of equations with action of $\mathbb{Z}^2$, $\mathbb{N}^2$, or the free monoid with two generators in the corresponding ring of sequences over any field of characteristic zero.


title: Fragile Glasses Associated with a Dramatic Drop of Entropy under Supercooling

abstract: We perform kinetic Monte Carlo simulations of a distinguishable-particle lattice model of structural glasses with random particle interactions. By varying the interaction distribution and the average particle hopping energy barrier, we obtain an extraordinarily wide range of kinetic fragility. A stretching exponent, characterizing structural relaxation, is found to decrease with the kinetic fragility in agreement with experiments. The most fragile glasses are those exhibiting low hopping barriers and, more importantly, dramatic drops of entropies upon cooling toward the glass transition temperatures. The entropy drops reduce possible kinetic pathways and lead to dramatic slowdowns in the dynamics. In addition, the kinetic fragility is shown to correlate with a thermodynamic fragility.


title: A Numerical Method for the Parametrization of Stable and Unstable Manifolds of Microscopic Simulators

abstract: We address a numerical methodology for the computation of coarse-grained stable and unstable manifolds of saddle equilibria/stationary states of multiscale/stochastic systems for which a "good" macroscopic description in the form of Ordinary (ODEs) and/or Partial differential equations (PDEs) does not explicitly/ analytically exists in a closed form. Thus, the assumption is that we have a detailed microscopic simulator of a complex system in the form of Monte-Carlo, Brownian dynamics, Agent-based models e.t.c. (or a black-box large-scale discrete time simulator) but due to the inherent complexity of the problem, we don't have explicitly an accurate model in the form of ODEs or PDEs. Our numerical scheme is a three-tier one including: (a) the "on demand" detection of the coarse-grained saddle equilibrium, (b) its coarse-grained stability analysis, and (c) the parametrization of the semi-local invariant stable and unstable manifolds by the numerical solution of the homological/functional equations for the coefficients of the truncated series approximation of the manifolds.


title: MultiFC: A Real-World Multi-Domain Dataset for Evidence-Based Fact Checking of Claims

abstract: We contribute the largest publicly available dataset of naturally occurring factual claims for the purpose of automatic claim verification. It is collected from 26 fact checking websites in English, paired with textual sources and rich metadata, and labelled for veracity by human expert journalists. We present an in-depth analysis of the dataset, highlighting characteristics and challenges. Further, we present results for automatic veracity prediction, both with established baselines and with a novel method for joint ranking of evidence pages and predicting veracity that outperforms all baselines. Significant performance increases are achieved by encoding evidence, and by modelling metadata. Our best-performing model achieves a Macro F1 of 49.2%, showing that this is a challenging testbed for claim veracity prediction.


title: Optimal steering of a smart active particle

abstract: We formulate the theory for steering an active particle with optimal travel time between two locations and apply it to the Mexican hat potential without brim. For small heights the particle can cross the potential barrier, while for large heights it has to move around it. Thermal fluctuations in the orientation strongly affect the path over the barrier. Then we consider a smart active particle and apply reinforcement learning. We show how the active particle learns in repeating episodes to move optimally. The optimal steering is stored in the optimized action-value function, which is able to rectify thermal fluctuations.


title: Shape and size of large-scale vortices: A generic fluid pattern in geophysical fluid dynamics

abstract: Planetary rotation organizes fluid motions into coherent, long-lived swirls, known as large-scale vortices (LSVs), which play an important role in the dynamics and long-term evolution of geophysical and astrophysical fluids. Here, using direct numerical simulations, we show that LSVs in rapidly rotating mixed convective and stably stratified fluids, which approximates the two-layer, turbulent-stratified dynamics of many geophysical and astrophysical fluids, have a generic shape and that their size can be predicted. We show that LSVs emerge in the convection zone from upscale energy transfers and can penetrate into the stratified layer. At the convective-stratified interface, the LSV cores have a positive buoyancy anomaly. Due to the thermal wind constraint, this buoyancy anomaly leads to winds in the stratified layer that decay over a characteristic vertical length scale. Thus LSVs take the shape of a depth-invariant cylinder with a finite-size radius in the turbulent layer and of a penetrating half dome in the stratified layer. Importantly, we demonstrate that when LSVs penetrate all the way through the stratified layer and reach a boundary that is no-slip, they saturate by boundary friction. We provide a prediction for the penetration depth and maximum radius of LSVs as a function of the LSV vorticity, the stratified layer depth, and the stratification. Our results, which apply for cyclonic LSVs, suggest that LSVs in slowly rotating stars and Earth's liquid core are confined to the convective layer, while in Earth's atmosphere and oceans they can penetrate far into the stratified layer.

categories: physics.flu-dyn astro-ph.SR physics.ao-ph physics.geo-ph


title: Regularized Anderson Acceleration for Off-Policy Deep Reinforcement Learning

abstract: Model-free deep reinforcement learning (RL) algorithms have been widely used for a range of complex control tasks. However, slow convergence and sample inefficiency remain challenging problems in RL, especially when handling continuous and high-dimensional state spaces. To tackle this problem, we propose a general acceleration method for model-free, off-policy deep RL algorithms by drawing the idea underlying regularized Anderson acceleration (RAA), which is an effective approach to accelerating the solving of fixed point problems with perturbations. Specifically, we first explain how policy iteration can be applied directly with Anderson acceleration. Then we extend RAA to the case of deep RL by introducing a regularization term to control the impact of perturbation induced by function approximation errors. We further propose two strategies, i.e., progressive update and adaptive restart, to enhance the performance. The effectiveness of our method is evaluated on a variety of benchmark tasks, including Atari 2600 and MuJoCo. Experimental results show that our approach substantially improves both the learning speed and final performance of state-of-the-art deep RL algorithms.


title: {Networks of Uniform Splicing Processors

abstract: In this note we consider a new variant of network of splicing processors which simplifies the general model such that filters remain associated with nodes but the input and output filters of every node coincide. This variant is called {\it network of uniform splicing processors}. Although the communication in the new variant seems less powerful, being based on simpler filters, the new variant is sufficiently powerful to be computationally complete. The main result is that nondeterministic Turing machines can be simulated by networks of uniform splicing processors. Furthermore, the simulation is time efficient.


title: Search for Ultra High Energy Cosmic Rays from Space -- The JEM-EUSO Program

abstract: The origin and nature of Ultra-High Energy Cosmic Rays (UHECRs) remain unsolved in contemporary astroparticle physics. To give an answer to these questions is rather challenging because of the extremely low flux of a few per km$^2$ per century at extreme energies (i.e. E $>$ 5$\times$10$^{19}$ eV). The central objective of the JEM-EUSO program, Joint Experiment Missions for Extreme Universe Space Observatory, is the realisation of an ambitious space-based mission devoted to UHECR science. A super-wide-field telescope will look down from space onto the night sky to detect UV photons emitted from air showers generated by UHECRs in the atmosphere. The JEM-EUSO program includes several missions from ground (EUSO-TA), from stratospheric balloons (EUSO-Balloon, EUSO-SPB1, EUSO-SPB2), and from space (TUS, Mini-EUSO) employing fluorescence detectors to demonstrate the UHECR observation from space and prepare the large size missions K-EUSO and POEMMA. We review the scientifical objectives associated with the developing projects of the JEM-EUSO program and the technological achievements allowing them.

categories: astro-ph.IM astro-ph.HE physics.ins-det physics.space-ph


title: Advancing the matter bispectrum estimation of large-scale structure: fast prescriptions for galaxy mock catalogues

abstract: We investigate various phenomenological schemes for the rapid generation of 3D mock galaxy catalogues with a given power spectrum and bispectrum. We apply the fast bispectrum estimator \MODALLSS{} to these mock galaxy catalogues and compare to $N$-body simulation data analysed with the halo-finder \texttt{ROCKSTAR} (our benchmark data). We propose an assembly bias model for populating parent halos with subhalos by using a joint lognormal-Gaussian probability distribution for the subhalo occupation number and the halo concentration. This prescription enabled us to recover the benchmark power spectrum from $N$-body simulations to within 1\% and the bispectrum to within 4\% across the entire range of scales of the simulation. A small further boost adding an extra galaxy to all parent halos above the mass threshold $M>2\times10^{14}\,h^{-1} M_\odot$ obtained a better than 1\% fit to both power spectrum and bispectrum in the range $K/3<1.1\,h\,\text{Mpc}^{-1}$, where $K=k_1+k_2+k_3$. This statistical model should be applicable to fast dark matter codes, allowing rapid generation of mock catalogues which simultaneously reproduce the halo power spectrum and bispectrum obtained from $N$-body simulations. We also investigate alternative schemes using the Halo Occupation Distribution (HOD) which depend only on halo mass, but these yield results deficient in both the power spectrum (2\%) and the bispectrum (>4\%) at $k,K/3 \approx 0.2\,h\,\text{Mpc}^{-1}$, with poor scaling for the latter. Efforts to match the power spectrum by modifying the standard four-parameter HOD model result in overboosting the bispectrum (with a 10\% excess). We also characterise the effect of changing the halo profile on the power spectrum and bispectrum.


title: A curated Dataset of Microservices-Based Systems

abstract: Microservices based architectures are based on a set of modular, independent and fault-tolerant services. In recent years, the software engineering community presented studies investigating potential, recurrent, effective architectural patterns in microservices-based architectures, as they are very essential to maintain and scale microservice-based systems. Indeed, the organizational structure of such systems should be reflected in so-called microservice architecture patterns, that best fit the projects and development teams needs. However, there is a lack of public repositories sharing open sources projects microservices patterns and practices, which could be beneficial for teaching purposes and future research investigations. This paper tries to fill this gap, by sharing a dataset, having a first curated list microservice-based projects. Specifically, the dataset is composed of 20 open-source projects, all using specific microservice architecture patterns. Moreover, the dataset also reports information about inter-service calls or dependencies of the aforementioned projects. For the analysis, we used two different tools (1) SLOCcount and (2) MicroDepGraph to get different parameters for the microservice dataset. Both the microservice dataset and analysis tool are publicly available online. We believe that this dataset will be highly used by the research community for understanding more about microservices architectural and dependencies patterns, enabling researchers to compare results on common projects.


title: Synergistic Effect of One- and Two-dimensional Connected Coral-like Li$_{6.25}$Al$_{0.25}$La$_3$Zr$_2$O$_{12}$ in PEO-Based Composite Solid State Electrolyte

abstract: As one of the most promising next-generation energy storage device, lithium metal batteries have been extensively investigated. However, the poor safety issue and undesired lithium dendrites growth hinder the development of lithium metal batteries. The application of solid state electrolytes has attracted increasing attention as they can solve the safety issue and partly inhibit the growth of lithium dendrites. Polyethylene oxide (PEO)-based electrolytes are very promising due to their enhanced safety and excellent flexibility. However, PEO-based electrolytes suffer from low ionic conductivity at room temperature and can't effectively inhibit lithium dendrites at high temperature due to the intrinsic semi-crystalline properties and poor mechanical strength. In this work, a novel coral-like Li6.25Al0.25La3Zr2O12 (LALZO) is synthesized to use as an active ceramic filler in PEO. The PEO with LALZO coral (PLC) exhibits increased ionic conductivity and mechanical strength, which leads to the uniform deposition/stripping of lithium metal. The Li symmetric cells with PLC cycle for 1500 h without short circuit at 50 centidegree. The assembled LiFePO4/PLC/Li batteries display excellent cycling stability at both 60 and 50 centidegree. This work reveals that the electrochemical properties of organic and inorganic composite electrolyte can be effectively improved by tuning the microstructure of the filler, such as the coral-like LALZO architecture.


title: Repetitive acoustic streaming patterns in sinusoidal shaped microchannels

abstract: Geometry of the fluid container plays a key role in the shape of acoustic streaming patterns. Inadvertent vortices can be troublesome in some cases, but if treated properly, the problem turns into a very useful parameter in acoustic tweezing or micromixing applications. In this paper, the effects of sinusoidal boundaries of a microchannel on acoustic streaming patterns are studied. Results show that while top and bottom sinusoidal walls are vertically actuated at the resonance frequency of basic hypothetical rectangular microchannel, some repetitive acoustic streaming patterns are recognized in classifiable cases. Such patterns can never be produced in rectangular geometry with flat boundaries. Relations between geometrical parameters and emerging acoustic streaming patterns lead us to propose formulas in order to predict more cases. Such results and formulations were not trivial at a glance.


title: Graph Convolutional Networks for Temporal Action Localization

abstract: Most state-of-the-art action localization systems process each action proposal individually, without explicitly exploiting their relations during learning. However, the relations between proposals actually play an important role in action localization, since a meaningful action always consists of multiple proposals in a video. In this paper, we propose to exploit the proposal-proposal relations using Graph Convolutional Networks (GCNs). First, we construct an action proposal graph, where each proposal is represented as a node and their relations between two proposals as an edge. Here, we use two types of relations, one for capturing the context information for each proposal and the other one for characterizing the correlations between distinct actions. Then we apply the GCNs over the graph to model the relations among different proposals and learn powerful representations for the action classification and localization. Experimental results show that our approach significantly outperforms the state-of-the-art on THUMOS14 (49.1% versus 42.8%). Moreover, augmentation experiments on ActivityNet also verify the efficacy of modeling action proposal relationships. Codes are available at https://github.com/Alvin-Zeng/PGCN.


title: NuClick: From Clicks in the Nuclei to Nuclear Boundaries

abstract: Best performing nuclear segmentation methods are based on deep learning algorithms that require a large amount of annotated data. However, collecting annotations for nuclear segmentation is a very labor-intensive and time-consuming task. Thereby, providing a tool that can facilitate and speed up this procedure is very demanding. Here we propose a simple yet efficient framework based on convolutional neural networks, named NuClick, which can precisely segment nuclei boundaries by accepting a single point position (or click) inside each nucleus. Based on the clicked positions, inclusion and exclusion maps are generated which comprise 2D Gaussian distributions centered on those positions. These maps serve as guiding signals for the network as they are concatenated to the input image. The inclusion map focuses on the desired nucleus while the exclusion map indicates neighboring nuclei and improve the results of segmentation in scenes with nuclei clutter. The NuClick not only facilitates collecting more annotation from unseen data but also leads to superior segmentation output for deep models. It is also worth mentioning that an instance segmentation model trained on NuClick generated labels was able to rank first in LYON19 challenge.


title: Stability for odd unitary $K_1$

abstract: We give a new purely algebraic approach to odd unitary groups using odd form rings. Using these objects, we prove the stability theorems for odd unitary $K_1$-functor without using the corresponding result from linear $K$-theory under the ordinary stable rank condition. Moreover, we prove a natural stabilization result for projective unitary groups and various general unitary groups.


title: Hard properties with (very) short PCPPs and their applications

abstract: We show that there exist properties that are maximally hard for testing, while still admitting PCPPs with a proof size very close to linear. Specifically, for every fixed $\ell$, we construct a property $\mathcal{P}^{(\ell)}\subseteq\{0,1\}^n$ satisfying the following: Any testing algorithm for $\mathcal{P}^{(\ell)}$ requires $\Omega(n)$ many queries, and yet $\mathcal{P}^{(\ell)}$ has a constant query PCPP whose proof size is $O(n\cdot \log^{(\ell)}n)$, where $\log^{(\ell)}$ denotes the $\ell$ times iterated log function (e.g., $\log^{(2)}n = \log \log n$). The best previously known upper bound on the PCPP proof size for a maximally hard to test property was $O(n \cdot \mathrm{poly}\log{n})$. As an immediate application, we obtain stronger separations between the standard testing model and both the tolerant testing model and the erasure-resilient testing model: for every fixed $\ell$, we construct a property that has a constant-query tester, but requires $\Omega(n/\log^{(\ell)}(n))$ queries for every tolerant or erasure-resilient tester.


title: Multi-wavelength structure analysis of local cluster galaxies. The WINGS project

abstract: We present a multi-wavelength analysis of the galaxies in nine clusters selected from the WINGS dataset, examining how galaxy structure varies as a function of wavelength and environment using the state of the art software GALAPAGOSII. We simultaneously fit single S\'ersic functions on three optical (u, B and V) and two near-infrared (J and K) bands thus creating a wavelength-dependent model of each galaxy. We measure the magnitudes, effective radius ($R_{e}$) the S\'ersic index ($n$), axis ratio and position angle in each band. The sample contains 790 cluster members (located close to the cluster center < 0.64 R$_{200}$ and 254 non-member galaxies that we further separate based on their morphology into ellipticals, lenticulars and spirals. We find that the S\'ersic index of all galaxies inside clusters remains nearly constant with wavelength while $R_{e}$ decreases as wavelength increases for all morphological types. We do not observe a significant variation on n and $R_{e}$ as a function of projected local density and distance from the clusters center. Comparing the n and $R_{e}$ of bright cluster galaxies with a subsample of non-member galaxies we find that bright cluster galaxies are more concentrated (display high $n$ values) and are more compact (low $R_{e}$). Moreover, the light profile ($\mathcal{N}$) and size ($\mathcal{R}$) of bright cluster galaxies does not change as a function of wavelength in the same manner as non-member galaxies.