title: Joint Angular Refinement and Reconstruction for Single-Particle Cryo-EM

abstract: Single-particle cryo-electron microscopy (cryo-EM) reconstructs the three-dimensional (3D) structure of bio-molecules from a large set of 2D projection images with random and unknown orientations. A crucial step in the single-particle cryo-EM pipeline is 3D refinement, which resolves a high-resolution 3D structure from an initial approximate volume by refining the estimation of the orientation of each projection. In this work, we propose a new approach that refines the projection angles on the continuum. We formulate the optimization problem over the density map and the orientations jointly. The density map is updated using the efficient alternating-direction method of multipliers, while the orientations are updated through a semi-coordinate-wise gradient descent for which we provide an explicit derivation of the gradient. Our method eliminates the requirement for a fine discretization of the orientation space and does away with the classical but computationally expensive template-matching step. Numerical results demonstrate the feasibility and performance of our approach compared to several baselines.


title: Fast(er) Reconstruction of Shredded Text Documents via Self-Supervised Deep Asymmetric Metric Learning

abstract: The reconstruction of shredded documents consists in arranging the pieces of paper (shreds) in order to reassemble the original aspect of such documents. This task is particularly relevant for supporting forensic investigation as documents may contain criminal evidence. As an alternative to the laborious and time-consuming manual process, several researchers have been investigating ways to perform automatic digital reconstruction. A central problem in automatic reconstruction of shredded documents is the pairwise compatibility evaluation of the shreds, notably for binary text documents. In this context, deep learning has enabled great progress for accurate reconstructions in the domain of mechanically-shredded documents. A sensitive issue, however, is that current deep model solutions require an inference whenever a pair of shreds has to be evaluated. This work proposes a scalable deep learning approach for measuring pairwise compatibility in which the number of inferences scales linearly (rather than quadratically) with the number of shreds. Instead of predicting compatibility directly, deep models are leveraged to asymmetrically project the raw shred content onto a common metric space in which distance is proportional to the compatibility. Experimental results show that our method has accuracy comparable to the state-of-the-art with a speed-up of about 22 times for a test instance with 505 shreds (20 mixed shredded-pages from different documents).


title: A Transactional Perspective on Execute-order-validate Blockchains

abstract: Smart contracts have enabled blockchain systems to evolve from simple cryptocurrency platforms, such as Bitcoin, to general transactional systems, such as Ethereum. Catering for emerging business requirements, a new architecture called execute-order-validate has been proposed in Hyperledger Fabric to support parallel transactions and improve the blockchain's throughput. However, this new architecture might render many invalid transactions when serializing them. This problem is further exaggerated as the block formation rate is inherently limited due to other factors beside data processing, such as cryptography and consensus. In this work, we propose a novel method to enhance the execute-order-validate architecture, by reducing invalid transactions to improve the throughput of blockchains. Our method is inspired by state-of-the-art optimistic concurrency control techniques in modern database systems. In contrast to existing blockchains that adopt database's preventive approaches which might abort serializable transactions, our method is theoretically more fine-grained. Specifically, unserializable transactions are aborted before ordering and the remaining transactions are guaranteed to be serializable. For evaluation, we implement our method in two blockchains respectively, FabricSharp on top of Hyperledger Fabric, and FastFabricSharp on top of FastFabric. We compare the performance of FabricSharp with vanilla Fabric and three related systems, two of which are respectively implemented with one standard and one state-of-the-art concurrency control techniques from databases. The results demonstrate that FabricSharp achieves 25% higher throughput compared to the other systems in nearly all experimental scenarios. Moreover, the FastFabricSharp's improvement over FastFabric is up to 66%.


title: Linguistically Driven Graph Capsule Network for Visual Question Reasoning

abstract: Recently, studies of visual question answering have explored various architectures of end-to-end networks and achieved promising results on both natural and synthetic datasets, which require explicitly compositional reasoning. However, it has been argued that these black-box approaches lack interpretability of results, and thus cannot perform well on generalization tasks due to overfitting the dataset bias. In this work, we aim to combine the benefits of both sides and overcome their limitations to achieve an end-to-end interpretable structural reasoning for general images without the requirement of layout annotations. Inspired by the property of a capsule network that can carve a tree structure inside a regular convolutional neural network (CNN), we propose a hierarchical compositional reasoning model called the "Linguistically driven Graph Capsule Network", where the compositional process is guided by the linguistic parse tree. Specifically, we bind each capsule in the lowest layer to bridge the linguistic embedding of a single word in the original question with visual evidence and then route them to the same capsule if they are siblings in the parse tree. This compositional process is achieved by performing inference on a linguistically driven conditional random field (CRF) and is performed across multiple graph capsule layers, which results in a compositional reasoning process inside a CNN. Experiments on the CLEVR dataset, CLEVR compositional generation test, and FigureQA dataset demonstrate the effectiveness and composition generalization ability of our end-to-end model.


title: Caption Generation of Robot Behaviors based on Unsupervised Learning of Action Segments

abstract: Bridging robot action sequences and their natural language captions is an important task to increase explainability of human assisting robots in their recently evolving field. In this paper, we propose a system for generating natural language captions that describe behaviors of human assisting robots. The system describes robot actions by using robot observations; histories from actuator systems and cameras, toward end-to-end bridging between robot actions and natural language captions. Two reasons make it challenging to apply existing sequence-to-sequence models to this mapping: 1) it is hard to prepare a large-scale dataset for any kind of robots and their environment, and 2) there is a gap between the number of samples obtained from robot action observations and generated word sequences of captions. We introduced unsupervised segmentation based on K-means clustering to unify typical robot observation patterns into a class. This method makes it possible for the network to learn the relationship from a small amount of data. Moreover, we utilized a chunking method based on byte-pair encoding (BPE) to fill in the gap between the number of samples of robot action observations and words in a caption. We also applied an attention mechanism to the segmentation task. Experimental results show that the proposed model based on unsupervised learning can generate better descriptions than other methods. We also show that the attention mechanism did not work well in our low-resource setting.


title: Supersaturation model for InN PA-MOCVD

abstract: We developed a thermodynamic supersaturation model for plasma-assisted metalorganic chemical vapor deposition of InN. The model is based on the chemical combination of indium with plasma-generated atomic nitrogen ions. Indium supersaturation was analyzed for InN films grown by PA-MOCVD with varying input flow of indium precursor. Raman spectroscopy, X-ray diffraction, and atomic force microscopy provided feedback on structural properties and surface morphology of grown films. Growth parameter variation effect on In supersaturation was analyzed. InN films grown at varying growth parameters resulting in the same In supersaturation value exhibit similar structural properties and surface morphology.


title: The high-order nonrelativistic Hamiltonian of electromagnetic system

abstract: The nonrelativistic Hamiltonians of scalar, spinor and vector particles in the electromagnetic field are studied by applying the Douglas-Kroll-Hess approach. Their relativistic Hamiltonians are expanded on the potential, and the Hamiltonians containing one- and two-photon potentials are derived. The nonrelativistic Hamiltonians up to $m\alpha^8$ order are obtained by applying Taylor expansion on momentum, and the result of spin-1/2 spinor is coincided with the result obtained by applying scattering matching approach in the Ref.~[Phys. Rev. A {\bf 100}, 012513 (2019)]. Then, the singularities in Hamiltonian of Coulomb systems are separated out and cancelled. The regularized Hamiltonian up to $m\alpha^8$ order for scaler and electron in Coulomb field are obtained. The numerical results of relativistic corrections are coincided with the relativistic theory. The regularized Hamiltonian up to $m\alpha^6$ for multi-electrons in Coulomb field are also derived.


title: Fast and memory-optimal dimension reduction using Kac's walk

abstract: In this work, we analyze dimension reduction algorithms based on the Kac walk and discrete variants. (1) For $n$ points in $\mathbb{R}^{d}$, we design an optimal Johnson-Lindenstrauss (JL) transform based on the Kac walk which can be applied to any vector in time $O(d\log{d})$ for essentially the same restriction on $n$ as in the best-known transforms due to Ailon and Liberty [SODA, 2008], and Bamberger and Krahmer [arXiv, 2017]. Our algorithm is memory-optimal, and outperforms existing algorithms in regimes when $n$ is sufficiently large and the distortion parameter is sufficiently small. In particular, this confirms a conjecture of Ailon and Chazelle [STOC, 2006] in a stronger form. (2) The same construction gives a simple transform with optimal Restricted Isometry Property (RIP) which can be applied in time $O(d\log{d})$ for essentially the same range of sparsity as in the best-known such transform due to Ailon and Rauhut [Discrete Comput. Geom., 2014]. (3) We show that by fixing the angle in the Kac walk to be $\pi/4$ throughout, one obtains optimal JL and RIP transforms with almost the same running time, thereby confirming -- up to a $\log\log{d}$ factor -- a conjecture of Avron, Maymounkov, and Toledo [SIAM J. Sci. Comput., 2010]. Our moment-based analysis of this modification of the Kac walk may also be of independent interest.


title: Satellite Alignment: III. Satellite Galaxies Spatial Distribution and their Dependence on Redshift with A Novel Galaxy Finder

abstract: After extensively explored, broad agreement between observations and theories has been reached that satellites are preferentially aligned with major axes of their host centrals. There are still some issues unsolved on this topic. In this paper, we present studies on satellite spatial distribution. To fairly compare with observations, we develop a novel galaxy finder and reconstruction algorithm in hydrodynamical simulation, which is based on the projected mock image, taking into account the full consideration of the point spread function, pixel size, surface brightness limit, resolution and redshift dimming effects. With galaxy samples constructed using such an algorithm, the satellite alignment is examined by comparing with observational results. It is found that the observational alignment can be reproduced for red galaxies, which dominate the sample in this study, but not for blue galaxies. Satellites' radial distribution is also investigated. It exhibits that outer satellites within host halos show stronger alignment signal than satellites in the inner regions, especially for red satellites, which is in contrast with previous studies. The disagreement is mainly due to extra galaxies identified by our new galaxy finder, which are mainly located in the inner region of host halos. Our study illustrates that at lower redshift, the alignment strength becomes stronger, while radial distribution curve becomes flatter. This suggests differences in the evolution of the angular distribution between satellites residing in the inner and outer halos, and implies that the post-infall evolution reduces the original alignment signal, that the impact decreases for satellites with later infall times.


title: ASLFeat: Learning Local Features of Accurate Shape and Localization

abstract: This work focuses on mitigating two limitations in the joint learning of local feature detectors and descriptors. First, the ability to estimate the local shape (scale, orientation, etc.) of feature points is often neglected during dense feature extraction, while the shape-awareness is crucial to acquire stronger geometric invariance. Second, the localization accuracy of detected keypoints is not sufficient to reliably recover camera geometry, which has become the bottleneck in tasks such as 3D reconstruction. In this paper, we present ASLFeat, with three light-weight yet effective modifications to mitigate above issues. First, we resort to deformable convolutional networks to densely estimate and apply local transformation. Second, we take advantage of the inherent feature hierarchy to restore spatial resolution and low-level details for accurate keypoint localization. Finally, we use a peakiness measurement to relate feature responses and derive more indicative detection scores. The effect of each modification is thoroughly studied, and the evaluation is extensively conducted across a variety of practical scenarios. State-of-the-art results are reported that demonstrate the superiority of our methods.


title: Improved Lower Bounds for Permutation Arrays Using Permutation Rational Functions

abstract: We consider rational functions of the form $V(x)/U(x)$, where both $V(x)$ and $U(x)$ are polynomials over the finite field $\mathbb{F}_q$. Polynomials that permute the elements of a field, called {\it permutation polynomials ($PPs$)}, have been the subject of research for decades. Let ${\mathcal P}^1(\mathbb{F}_q)$ denote $\mathbb{Z}_q \cup \{\infty\}$. If the rational function, $V(x)/U(x)$, permutes the elements of ${\mathcal P}^1(\mathbb{F}_q)$, it is called a {\em permutation rational function (PRf)}. Let $N_d(q)$ denote the number of PPs of degree $d$ over $\mathbb{F}_q$, and let $N_{v,u}(q)$ denote the number of PRfs with a numerator of degree $v$ and a denominator of degree $u$. It follows that $N_{d,0}(q) = N_d(q)$, so PRFs are a generalization of PPs. The number of monic degree 3 PRfs is known [11]. We develop efficient computational techniques for $N_{v,u}(q)$, and use them to show $N_{4,3}(q) = (q+1)q^2(q-1)^2/3$, for all prime powers $q \le 307$, $N_{5,4}(q) > (q+1)q^3(q-1)^2/2$, for all prime powers $q \le 97$, and $N_{4,4}(p) = (p+1)p^2(p-1)^3/3$, for all primes $p \le 47$. We conjecture that these formulas are, in fact, true for all prime powers $q$. Let $M(n,D)$ denote the maximum number of permutations on $n$ symbols with pairwise Hamming distance $D$. Computing improved lower bounds for $M(n,D)$ is the subject of much current research with applications in error correcting codes. Using PRfs, we obtain significantly improved lower bounds on $M(q,q-d)$ and $M(q+1,q-d)$, for $d \in \{5,7,9\}$.


title: Information-Theoretic Free Energy as Emotion Potential: Emotional Valence as a Function of Complexity and Novelty

abstract: This study extends the mathematical model of emotion dimensions that we previously proposed (Yanagisawa, et al. 2019, Front Comput Neurosci) to consider perceived complexity as well as novelty, as a source of arousal potential. Berlyne's hedonic function of arousal potential (or the inverse U-shaped curve, the so-called Wundt curve) is assumed. We modeled the arousal potential as information contents to be processed in the brain after sensory stimuli are perceived (or recognized), which we termed sensory surprisal. We mathematically demonstrated that sensory surprisal represents free energy, and it is equivalent to a summation of information gain (or information from novelty) and perceived complexity (or information from complexity), which are the collative variables forming the arousal potential. We demonstrated empirical evidence with visual stimuli (profile shapes of butterfly) supporting the hypothesis that the summation of perceived novelty and complexity shapes the inverse U-shaped beauty function. We discussed the potential of free energy as a mathematical principle explaining emotion initiators.


title: Dragoon: Private Decentralized HITs Made Practical

abstract: With the rapid popularity of blockchain, decentralized human intelligence tasks (HITs) are proposed to crowdsource human knowledge without relying on vulnerable third-party platforms. However, the inherent limits of blockchain cause decentralized HITs to face a few "new" challenges. For example, the confidentiality of solicited data turns out to be the sine qua non, though it was an arguably dispensable property in the centralized setting. To ensure the "new" requirement of data privacy, existing decentralized HITs use generic zero-knowledge proof frameworks (e.g. SNARK), but scarcely perform well in practice, due to the inherently expensive cost of generality. We present a practical decentralized protocol for HITs, which also achieves the fairness between requesters and workers. At the core of our contributions, we avoid the powerful yet highly-costly generic zk-proof tools and propose a special-purpose scheme to prove the quality of encrypted data. By various non-trivial statement reformations, proving the quality of encrypted data is reduced to efficient verifiable decryption, thus making decentralized HITs practical. Along the way, we rigorously define the ideal functionality of decentralized HITs and then prove the security due to the ideal-real paradigm. We further instantiate our protocol to implement a system called Dragoon, an instance of which is deployed atop Ethereum to facilitate an image annotation task used by ImageNet. Our evaluations demonstrate its practicality: the on-chain handling cost of Dragoon is even less than the handling fee of Amazon's Mechanical Turk for the same ImageNet HIT.


title: Bi-parametric $su(1,1)$ structure of the Heun class of equations and quasi-polynomial solutions

abstract: A new bi-parametric $su(1,1)$ algebraization of the Heun class of equations is explored. This yields additional quasi-polynomial solutions of the form $\{z^{\alpha}P_N(z): \ \alpha \in \mathbb{C}, \ N \in \mathbb{N}_0\}$ to the General Heun eqaution and its confluent versions. Explicit conditions leading to these quasi-polynomials have been provided for the individual equations to allow direct use. For the Confluent and the Doubly-confluent Heun equations, specific parametric situations leading to (i) an infinite number of quasi-polynomials and (ii) non-algebraizability of the equation have been identified.


title: Absolute Shapley Value

abstract: Shapley value is a concept in cooperative game theory for measuring the contribution of each participant, which was named in honor of Lloyd Shapley. Shapley value has been recently applied in data marketplaces for compensation allocation based on their contribution to the models. Shapley value is the only value division scheme used for compensation allocation that meets three desirable criteria: group rationality, fairness, and additivity. In cooperative game theory, the marginal contribution of each contributor to each coalition is a nonnegative value. However, in machine learning model training, the marginal contribution of each contributor (data tuple) to each coalition (a set of data tuples) can be a negative value, i.e., the accuracy of the model trained by a dataset with an additional data tuple can be lower than the accuracy of the model trained by the dataset only. In this paper, we investigate the problem of how to handle the negative marginal contribution when computing Shapley value. We explore three philosophies: 1) taking the original value (Original Shapley Value); 2) taking the larger of the original value and zero (Zero Shapley Value); and 3) taking the absolute value of the original value (Absolute Shapley Value). Experiments on Iris dataset demonstrate that the definition of Absolute Shapley Value significantly outperforms the other two definitions in terms of evaluating data importance (the contribution of each data tuple to the trained model).


title: Ly$\alpha$ forest power spectrum as an emerging window into the epoch of reionization and cosmic dawn

abstract: Conventional wisdom was that thermal relics from the epoch of reionization (EOR) would vanish swiftly. Recently, however, it was shown that these relics can survive to lower redshifts ($z \sim 2$) than previously thought, due to gas at mean density being heated to $T \sim 3 \times 10^4$ K by reionization, which is inhomogeneous, and shocks. Given the high sensitivities of upcoming Ly$\alpha$ forest surveys, this effect will be a novel broadband systematic for cosmological application. From the astrophysical point of view, however, the imprint of inhomogeneous reionization can shed light on the EOR and cosmic dawn. We utilize a hybrid method -- which includes two different simulation codes capable of handling the huge dynamical range -- to show the impact of patchy reionization on the Ly$\alpha$ forest and its dependence on different astrophysical scenarios. We found statistically significant deviations in the 1D Ly$\alpha$ power spectrum at $k = 0.14$ cMpc$^{-1}$ that range from $\sim 1\%$ at $z = 2$ up to almost $\sim 20\%$ at $z = 4$. The deviations in the 3D Ly$\alpha$ power spectrum, at the same wavenumber, are large and range from a few per cent at $z = 2$ up to $\sim 50\%$ at $z = 4$, although these deviations ignore the effect of He II reionization and AGN feedback at $z<4$. By exploiting different $k$-dependence of power spectrum among various astrophysical scenarios, the effect of patchy reionization on the Ly$\alpha$ forest power spectrum can open a new window into cosmic reionization and possibly cosmic dawn.


title: AGNs are not that cool: revisiting the intrinsic AGN far-infrared spectral energy distribution

abstract: We investigate the intrinsic spectral energy distribution (SED) of active galactic nuclei (AGNs) at infrared (IR) bands with 42 $z < 0.5$ optically luminous Palomar Green survey quasars through SED decomposition. We decompose the SEDs of the 42 quasars by combining an AGN IR template library Siebenmorgen2015 that covers a wide range of the AGN parameter space with three commonly used galaxy template libraries. We determine the median AGN SED from the best-fitting results. The far-IR (FIR) contribution of our median AGN SED is significantly smaller than that of Symeonidis et al. 2016, but roughly consistent with that of Lyu et al. 2017. The AGN IR SED becomes cooler with increasing bolometric luminosity, which might be due to that more luminous AGNs might have stronger radiative feedback to change torus structures and/or their tori might have higher metallicities. Our conclusions do not depend on the choice of galaxy template libraries. However, since the predicted polycyclic aromatic hydrocarbon (PAH) emission line flux is galaxy template-dependent, cautions should be taken on deriving galaxy FIR contribution from PAH fluxes.


title: Gauge dependence of alternative flow equation for the functional renormalization group

abstract: The gauge dependence problem of alternative flow equation for the functional renormalization group is studied. It is shown that the effective two-particle irreducible effective action depends on gauges at any value of IR parameter $k$. The situation with gauge dependence is similar to the standard formulation based on the effective one-particle irreducible effective action.


title: Lithography-free Kirchhoff's Metasurfaces

abstract: Lithography-free metasurfaces composed of a nano-layered stack of materials are attractive not only due to their optical properties but also by virtue of fabrication simplicity and cost reduction of devices based on such structures. We demonstrate a multi-layer metasurface with engineered electromagnetic absorption in the mid-infrared (MIR) wavelength range. Characterisation of thin SiO$_2$ and Si films sandwiched between two Au layers by way of experimental absorption and thermal radiation measurements as well as finite difference time domain (FDTD) numerical simulations is presented. Comparison of experimental and simulation data of optical properties of multilayer metasurfaces show guidelines for the absorber/emitter applications.


title: High-order accurate entropy stable finite difference schemes for the shallow water magnetohydrodynamics

abstract: This paper develops the high-order accurate entropy stable (ES) finite difference schemes for the shallow water magnetohydrodynamic (SWMHD) equations.They are built on the numerical approximation of the modified SWMHD equations with the Janhunen source term. First, the second-order accurate well-balanced semi-discrete entropy conservative (EC) schemes are constructed, satisfying the entropy identity for the given convex entropy function and preserving the steady states of the lake at rest (with zero magnetic field). The key is to match both discretizations for the fluxes and the non-flat river bed bottom and Janhunen source terms, and to find the affordable EC fluxes of the second-order EC schemes. Next, by using the second-order EC schemes as building block, high-order accurate well-balanced semi-discrete EC schemes are proposed. Then, the high-order accurate well-balanced semi-discrete ES schemes %satisfying the entropy inequality are derived by adding a suitable dissipation term to the EC scheme with the WENO reconstruction of the scaled entropy variables in order to suppress the numerical oscillations of the EC schemes. After that, the semi-discrete schemes are integrated in time by using the high-order strong stability preserving explicit Runge-Kutta schemes to obtain the fully-discrete high-order well-balanced schemes. The ES property of the Lax-Friedrichs flux is also proved and then the positivity-preserving ES schemes are studied by using the positivity-preserving flux limiter. Finally, extensive numerical tests are conducted to validate the accuracy, the well-balanced, ES and positivity-preserving properties, and the ability to capture discontinuities of our schemes.


title: JPEG Steganography and Synchronization of DCT Coefficients for a Given Development Pipeline

abstract: This short paper proposes to use the statistical analysis of the correlation between DCT coefficients to design a new synchronization strategy that can be used for cost-based steganographic schemes in the JPEG domain. First, an analysis is performed on the covariance matrix of DCT coefficients of neighboring blocks after a development similar to the one used to generate BossBase. This analysis exhibits groups of uncorrelated coefficients: 4 groups per block and 2 groups of uncorrelated diagonal neighbors together with groups of mutually correlated coefficients groups of 6 coefficients per blocs and 8 coefficients between 2 adjacent blocks. Using the uncorrelated groups, an embedding scheme can be designed using only 8 disjoint lattices. The cost map for each lattice is updated firstly by using an implicit underlying Gaussian distribution with a variance directly computed from the embedding costs, and secondly by deriving conditional distributions from multivariate distributions. The covariance matrix of these distributions takes into account both the correlations exhibited by the analysis of the covariance matrix and the variance derived from the cost. This synchronization scheme enables to obtain a gain of PE of 5% at QF 95 for an embedding rate close to 0.3 bnzac coefficient using DCTR feature sets.


title: A Note on Branch Flow Models with Line Shunts

abstract: When the shunt elements in the Pi circuit line model are assumed zero, it has been proved that branch flow models are equivalent to bus injection models and that the second-order cone relaxation of optimal power flow problems on a radial network is exact under certain conditions. In this note we propose a branch flow model that includes nonzero line shunts and prove that the equivalence and the exactness of relaxation continue to hold under essentially the same conditions as for zero shunt elements.


title: Data-Aided Channel Estimator for MIMO Systems via Reinforcement Learning

abstract: This paper presents a data-aided channel estimator that reduces the channel estimation error of the conventional linear minimum-mean-squared-error (LMMSE) method for multiple-input multiple-output communication systems. The basic idea is to selectively exploit detected symbol vectors obtained from data detection as additional pilot signals. To optimize the selection of the detected symbol vectors, a Markov decision process (MDP) is defined which finds the best selection to minimize the mean-squared-error (MSE) of the channel estimate. Then a reinforcement learning algorithm is developed to solve this MDP in a computationally efficient manner. Simulation results demonstrate that the presented channel estimator significantly reduces the MSE of the channel estimate and therefore improves the block error rate of the system, compared to the conventional LMMSE method.


title: A Trusted and Privacy-preserving Internet of Mobile Energy

abstract: The rapid growth in distributed energy sources on power grids leads to increasingly decentralised energy management systems for the prediction of power supply and demand and the dynamic setting of an energy price signal. Within this emerging smart grid paradigm, electric vehicles can serve as consumers, transporters, and providers of energy through two-way charging stations, which highlights a critical feedback loop between the movement patterns of these vehicles and the state of the energy grid. This paper proposes a vision for an Internet of Mobile Energy (IoME), where energy and information flow seamlessly across the power and transport sectors to enhance the grid stability and end user welfare. We identify the key challenges of trust, scalability, and privacy, particularly location and energy linking privacy for EV owners, for realising the IoME vision. We propose an information architecture for IoME that uses scalable blockchain to provide energy data integrity and authenticity, and introduces one-time keys for public EV transactions and a verifiable anonymous trip extraction method for EV users to share their trip data while protecting their location privacy. We present an example scenario that details the seamless and closed loop information flow across the energy and transport sectors, along with a blockchain design and transaction vocabulary for trusted decentralised transactions. We finally discuss the open challenges presented by IoME that can unlock significant benefits to grid stability, innovation, and end user welfare.


title: Eliminating COVID-19: The Impact of Travel and Timing

abstract: We analyze the spread of COVID-19 by considering the transmission of the disease among individuals both within and between regions. A set of regions can be defined as any partition of a population such that travel/social contact within each region far exceeds that between them. COVID-19 can be eliminated if the region-to-region reproductive number---i.e. the average number of other regions to which a single infected region will transmit the virus---is reduced to less than one. We find that this region-to-region reproductive number is proportional to the travel rate between regions and exponential in the length of the time-delay before region-level control measures are imposed. Thus, reductions in travel and the speed with which regions take action play decisive roles in whether COVID-19 is eliminated from a collection of regions. If, on average, infected regions (including those that become re-infected in the future) impose social distancing measures shortly after active spreading begins within them, the number of infected regions, and thus the number of regions in which such measures are required, will exponentially decrease over time. Elimination will in this case be a stable fixed point even after the social distancing measures have been lifted from most of the regions.


title: Asymptotic properties of generalized D-solutions to the stationary axially symmetric Navier-Stokes equations

abstract: In this paper, we derive asymptotic properties of both the velocity and the vorticity fields to the 3-dimensional axially symmetric Navier-Stokes equations at infinity under the generalized D-solution assumption $\int_{\mathbb{R}^3}|\nabla u|^qdx<\infty$ for $2<q<\infty$. We do not impose any zero or nonzero constant vector asymptotic assumption on the solution at infinity. Our results generalize those in \cite{CJ:2009JMFM,Ws:2018JMFM,CPZ2018} where the authors focused on the case $q=2$ and the velocity field approaches zero at infinity. Meanwhile, when $q\to 2_+$ and the velocity field approaches zero at infinity, our results coincide with the results in \cite{CJ:2009JMFM,Ws:2018JMFM,CPZ2018}.


title: Low Power Unsupervised Anomaly Detection by Non-Parametric Modeling of Sensor Statistics

abstract: This work presents AEGIS, a novel mixed-signal framework for real-time anomaly detection by examining sensor stream statistics. AEGIS utilizes Kernel Density Estimation (KDE)-based non-parametric density estimation to generate a real-time statistical model of the sensor data stream. The likelihood estimate of the sensor data point can be obtained based on the generated statistical model to detect outliers. We present CMOS Gilbert Gaussian cell-based design to realize Gaussian kernels for KDE. For outlier detection, the decision boundary is defined in terms of kernel standard deviation ($\sigma_{Kernel}$) and likelihood threshold ($P_{Thres}$). We adopt a sliding window to update the detection model in real-time. We use time-series dataset provided from Yahoo to benchmark the performance of AEGIS. A f1-score higher than 0.87 is achieved by optimizing parameters such as length of the sliding window and decision thresholds which are programmable in AEGIS. Discussed architecture is designed using 45nm technology node and our approach on average consumes $\sim$75 $\mu$W power at a sampling rate of 2 MHz while using ten recent inlier samples for density estimation. \textcolor{red}{Full-version of this research has been published at IEEE TVLSI}


title: Defective Edge states and Anomalous Bulk-boundary Correspondence for Topological Insulators under Non-Hermitian Similarity Transformation

abstract: It was known that for non-Hermitian topological systems due to the non-Hermitian skin effect, the bulk-edge correspondence is broken down. In this paper, by using one-dimensional Su-SchriefferHeeger model and two-dimensional (deformed) Qi-Wu-Zhang model as examples, we focus on a special type of non-Hermitian topological system without non-Hermitian skin effect-topological systems under non-Hermitian similarity transformation. In these non-Hermitian systems, the defective edge states and the breakdown of bulk-edge correspondence are discovered. To characterize the topological properties, we introduce a new type of inversion symmetry-protected topological invariant-total Z2 topological invariant. In topological phases, defective edge states appear. With the help of the effective edge Hamiltonian, we find that the defective edge states are protected by (generalized) chiral symmetry and thus the (singular) defective edge states are unstable against the perturbation breaking the chiral symmetry. In addition, the results are generalized to nonHermitian topological insulators with inversion symmetry in higher dimensions. This work could help people to understand the defective edge states and the breakdown of bulk-edge correspondence for non-Hermitian topological systems.


title: Spin-orbit-coupling-assisted roton softening and superstripes in a Rydberg-dressed Bose-Einstein Condensate

abstract: Rotons can exist in ultracold atomic gases either with long-range interactions or with spin-orbitcoupled dispersions. We find that two different kinds of rotons coexist in a joint system combining long-range interactions and spin-orbit coupling. One roton originates from spin-orbit coupling and two others come from long-range interactions. Their softening can be controlled separately. The interesting new phenomenon which we find is that spin-orbit-coupled roton can push down the energy of one long-range-interaction roton. The spin-orbit coupling accelerates the softening of this roton. The post phase of spin-orbit-coupling-assisted roton softening and instability is identified as a superstripe.


title: Unsteady control of supersonic turbulent cavity flow based on resolvent analysis

abstract: We use resolvent analysis to determine an unsteady active control setup to attenuate pressure fluctuations in turbulent supersonic flow over a rectangular cavity with a length-to-depth ratio of 6 at a Mach number of 1.4 and a Reynolds number based on cavity depth of 10,000. Large-eddy simulations (LES) and dynamic modal decomposition (DMD) of the supersonic cavity flow reveal the dominance of two-dimensional Rossiter modes II and IV. These predominantly two-dimensional vortical structures generate high-amplitude unsteadiness over the cavity through trailing-edge impingement and create oblique shock waves by obstructing the freestream. To disrupt the undesired formation of vortical structures, we introduce three-dimensional unsteady forcing along the cavity leading edge to generate streamwise vortical structures. Resolvent analysis with respect to the time-averaged base flow is leveraged to determine the optimal combination of forcing frequency and spanwise wavenumber. Instead of selecting the most amplified resolvent forcing modes, we seek the combination of control parameters that yields sustained amplification of the primary resolvent-based kinetic energy distribution over the entire length of the cavity. The sustained amplification is critical to ensure that the selected forcing input remains effective to prevent the formation of the large spanwise vortices. This resolvent-analysis-based flow control guideline is validated with a number of companion LES of the controlled cavity flows. The optimal control setup is verified to be the most effective in reducing the pressure root-mean-square level up to 52% along the aft and bottom cavity walls compared to the baseline cavity flow. The present flow control guideline derived from resolvent analysis should be applicable to flows that require the actuation input to remain effective over an extended region of interest.


title: Author's approach to the topological modeling of parallel computing systems

abstract: The author's research of topologies of parallel computing systems and the tasks solved with them, including the corresponding tools of their modeling, is summarized in the present paper. The original topological model of such systems is presented based on the modified Amdahl law. It allowed formalizing the dependence of the necessary number of processors and the maximal distance between information-adjacent vertices in a graph on the directive values of acceleration or efficiency. The dependences of these values on the system interconnection topology and on the information graph of the parallel task are also formalized. The tools for a comparative evaluation of these dependences, topological criteria and the functions of scaling and fault-tolerant operation of parallel systems are based on the author|s technique of projective description of graphs and the algorithms used in it.


title: Chemical characterization of dislocation in yttria-stabilized zirconia

abstract: This study demonstrates that a space charge layer is formed on dislocation during mechanical deformation at elevated temperature. High density of dislocation lines is generated in bulk single crystalline Y2O3 stabilized ZrO2 (YSZ) by uniaxial compression at elevated temperature. The creation of dislocation is proven with transmission electron microscopy (TEM). Then, energy-dispersive X-ray spectroscopy (EDS) and electron energy loss spectroscopy (EELS) are used to explore the changes in the composition on and away from the dislocation lines. Also, it is clarified that segregation of dopant atoms (yttrium) on the dislocation line is induced by high temperature annealing. Comparing the compositional variations with and without thermal annealing, we study the space charge layer formed on dislocation lines in a doped system.


title: Penalized and Decentralized Contextual Bandit Learning for WLAN Channel Allocation with Contention-Driven Feature Extraction

abstract: In this study, a contextual multi-armed bandit (CMAB)-based decentralized channel exploration framework disentangling a channel utility function (i.e., reward) with respect to contending neighboring access points (APs) is proposed. The proposed framework enables APs to evaluate observed rewards compositionally for contending APs, allowing both robustness against reward fluctuation due to neighboring APs' varying channels and assessment of even unexplored channels. To realize this framework, we propose contention-driven feature extraction (CDFE), which extracts the adjacency relation among APs under contention and forms the basis for expressing reward functions in the disentangled form, that is, a linear combination of parameters associated with neighboring APs under contention). This allows the CMAB to be leveraged with joint a linear upper confidence bound (JLinUCB) exploration and to delve into the effectiveness of the proposed framework. Moreover, we address the problem of non-convergence -- the channel exploration cycle -- by proposing a penalized JLinUCB (P-JLinUCB) based on the key idea of introducing a discount parameter to the reward for exploiting a different channel before and after the learning round. Numerical evaluations confirm that the proposed method allows APs to assess the channel quality robustly against reward fluctuations by CDFE and achieves better convergence properties by P-JLinUCB.


title: Can $f(T)$ gravity resolve the $H_0$ tension?

abstract: Motivated by the discrepancy in measurements of $H_0$ between local and global probes, we investigate whether teleparallel gravities could be a better model to describe the present days observations or at least to alleviate the $H_0$ tension. Specifically, in this work we study and place constraints on three popular $f(T)$ models in light of the Planck-2018 CMB data release. We find that the $f(T)$ power-law model can alleviate the $H_0$ tension from $4.4\sigma$ to $1.9\sigma$ level, while the $f(T)$ model of two exponential fail to resolve this inconsistency. Moreover, for the first time, we obtain constraints on the effective number of relativistic species $N_{eff}$ and on the sum of the neutrino masses $\Sigma m_\nu$ in $f(T)$ gravity. We find that the constraints obtained are looser than in $\Lambda$CDM. However, the introduction of massive neutrinos into the cosmological model alleviate the $H_0$ tension for the power-law model. Finally, we find that whether a viable $f(T)$ theory can mitigate the $H_0$ tension depends on the mathematical structure of the distortion factor $y(z,\,b)$. These results could provide a clue for theoreticians to write a more physical-motivated expression of $f(T)$ function.


title: Electric field thermopower modulation analyses of the operation mechanism of transparent amorphous SnO$_2$ thin-film transistor

abstract: Transparent amorphous oxide semiconductors (TAOSs) based transparent thin-film transistors (TTFTs) with high field effect mobility are essential for developing advanced flat panel displays. Among TAOSs, amorphous (a-) SnO$_2$ has several advantages against current a-InGaZnO4 such as higher field effect mobility and being indium free. Although a-SnO$_2$ TTFT has been demonstrated several times, the operation mechanism has not been clarified thus far due to the strong gas sensing characteristics of SnO$_2$. Here we clarify the operation mechanism of a-SnO$_2$ TTFT by electric field thermopower modulation analyses. We prepared a bottom-gate top-contact type TTFT using 4.2-nm-thick a-SnO$_2$ as the channel without any surface passivation. The effective thickness of the conducting channel was ~1.7 + - 0.4 nm in air and in vacuum, but a large threshold gate voltage shift occurred in different atmospheres; this is attributed to carrier depletion near at the top surface (~2.5 nm) of the a-SnO$_2$ due to its interaction with the gas molecules and the resulting shift in the Fermi energy. The present results would provide a fundamental design concept to develop a-SnO$_2$ TTFT.


title: E2EET: From Pipeline to End-to-end Entity Typing via Transformer-Based Embeddings

abstract: Entity Typing (ET) is the process of identifying the semantic types of every entity within a corpus. In contrast to Named Entity Recognition, where each token in a sentence is labelled with zero or one class label, ET involves labelling each entity mention with one or more class labels. Existing entity typing models, which operate at the mention level, are limited by two key factors: they do not make use of recently-proposed context-dependent embeddings, and are trained on fixed context windows. They are therefore sensitive to window size selection and are unable to incorporate the context of the entire document. In light of these drawbacks we propose to incorporate context using transformer-based embeddings for a mention-level model, and an end-to-end model using a Bi-GRU to remove the dependency on window size. An extensive ablative study demonstrates the effectiveness of contextualised embeddings for mention-level models and the competitiveness of our end-to-end model for entity typing.


title: Integer Sequences and Monomial Ideals

abstract: Let $\mathfrak{S}_n$ be the set of all permutations of $[n]=\{1,\ldots,n\}$ and let $W$ be the subset consisting of permutations $\sigma \in \mathfrak{S}_n$ avoiding 132 and 312-patterns. The monomial ideal $I_W = \left\langle \mathbf{x}^{\sigma} = \prod_{i=1}^n x_i^{\sigma(i)} : \sigma \in W \right\rangle $ in the polynomial ring $R = k[x_1,\ldots,x_n]$ over a field $k$ is called a hypercubic ideal in the article (Certain variants of multipermutohedron ideals, Proc. Indian Acad. Sci.(Math Sci. Vol. 126, No.4, (2016), 479-500). The Alexander dual $I_W^{[\mathbf{n}]}$ of $I_W$ with respect to $\mathbf{n}=(n,\ldots,n)$ has the minimal cellular resolution supported on the first barycentric subdivision $\mathbf{Bd}(\Delta_{n-1})$ of an $n-1$-simplex $\Delta_{n-1}$. We show that the number of standard monomials of the Artinian quotient $\frac{R}{I_W^{[\mathbf{n}]}}$ equals the number of rooted-labelled unimodal forests on the vertex set $[n]$. In other words, \[ \dim_k\left(\frac{R}{I_W^{[\mathbf{n}]}}\right) = \sum_{r=1}^n r!~s(n,r) = {\rm Per}\left([m_{ij}]_{n \times n} \right),\] where $s(n,r)$ is the (signless) Stirling number of the first kind and ${\rm Per}([m_{ij}]_{n \times n})$ is the permanent of the matrix $[m_{ij}]$ with $m_{ii}=i$ and $m_{ij}=1$ for $i \ne j$. For various subsets $S$ of $\mathfrak{S}_n$ consisting of permutations avoiding patterns, the corresponding integer sequences $\left\lbrace \dim_k\left(\frac{R}{I_S^{[\mathbf{n}]}}\right) \right\rbrace_{n=1}^{\infty}$ are identified.


title: Effective non-Hermitian physics for degenerate ground states of a nonHermitian Ising model with $\mathcal{RT}$ symmetry

abstract: In this paper, based on a one-dimensional non-Hermitian spin model with $\mathcal{RT}$-invariant term, we study the non-Hermitian physics for the two (nearly) degenerate ground states. By using the high-order perturbation method, an effective pseudo-spin model is obtained to describe non-Hermitian physics for the two (nearly) degenerate ground states, which are precisely consistent with the numerical calculations. We found that there may exist effective (anti) $\mathcal{PT}$ symmetry for the effective pseudo-spin model of the two (nearly) degenerate ground states. In particular, there exists spontaneous (anti) $\mathcal{PT}$ -symmetry breaking for the topological degenerate ground states with tunable parameters in external fields. We also found that even a very tiny imaginary external field applied will drive $\mathcal{PT}$ phase transition.


title: The Stefan problem for the Fisher-KPP equation with unbounded initial range

abstract: We consider the nonlinear Stefan problem $$ \left \{ \begin{array} {ll} -d \Delta u=a u-b u^2 \;\; & \mbox{for } x \in \Omega (t), \; t>0, \\ u=0 \mbox{ and } u_t=\mu|\nabla_x u |^2 \;\;&\mbox{for } x \in \partial\Omega (t), \; t>0, \\ u(0,x)=u_0 (x) \;\; & \mbox{for } x \in \Omega_0, \end{array}\right. $$ where $\Omega(0)=\Omega_0$ is an unbounded smooth domain in $\mathbb R^N$, $u_0>0$ in $\Omega_0$ and $u_0$ vanishes on $\partial\Omega_0$. When $\Omega_0$ is bounded, the long-time behavior of this problem has been rather well-understood by \cite{DG1,DG2,DLZ, DMW}. Here we reveal some interesting different behavior for certain unbounded $\Omega_0$. We also give a unified approach for a weak solution theory to this kind of free boundary problems with bounded or unbounded $\Omega_0$.


title: Nernst heat theorem for the Casimir-Polder interaction between a magnetizable atom and ferromagnetic dielectric plate

abstract: We find the low-temperature behavior of the Casimir-Polder free energy for a polarizable and magnetizable atom interacting with a plate made of ferromagnetic dielectric material. It is shown that the corresponding Casimir-Polder entropy goes to zero with vanishing temperature, i.e., the Nernst heat theorem is satisfied, if the dc conductivity of the plate material is disregarded in calculations. If the dc conductivity is taken into account, the Nernst theorem is violated. These results are discussed in light of recent experiments.


title: The curve shortening flow in the metric-affine plane

abstract: We investigate for the first time the curve shortening flow in the metric-affine plane and prove that under simple geometric condition it shrinks a closed convex curve to a "round point" in finite time. This generalizes the classical result by M. Gage and R.S. Hamilton about convex curves in Euclidean plane.


title: Suppressing Decoherence in Quantum Plasmonic Systems by Spectral Hole Burning Effect

abstract: Quantum plasmonic systems suffer from significant decoherence due to the intrinsically large dissipative and radiative dampings. Based on our quantum simulations via a quantum tensor network algorithm, we numerically demonstrate the mitigation of this restrictive drawback by hybridizing a plasmonic nanocavity with an emitter ensemble with inhomogeneously-broadened transition frequencies. By burning two narrow spectral holes in the spectral density of the emitter ensemble, the coherent time of Rabi oscillation for the hybrid system is increased tenfold. With the suppressed decoherence, we move one step further in bringing plasmonic systems into practical quantum applications.


title: From bypass transition to flow control and data-driven turbulence modeling: An input-output viewpoint

abstract: Transient growth and resolvent analyses are routinely used to assess non-asymptotic properties of fluid flows. In particular, resolvent analysis can be interpreted as a special case of viewing flow dynamics as an open system in which free-stream turbulence, surface roughness, and other irregularities provide sources of input forcing. We offer a comprehensive summary of the tools that can be employed to probe the dynamics of fluctuations around a laminar or turbulent base flow in the presence of such stochastic or deterministic input forcing and describe how input-output techniques enhance resolvent analysis. Specifically, physical insights that may remain hidden in the resolvent analysis are gained by detailed examination of input-output responses between spatially-localized body forces and selected linear combinations of state variables. This differentiating feature plays a key role in quantifying the importance of different mechanisms for bypass transition in wall-bounded shear flows and in explaining how turbulent jets generate noise. We highlight the utility of a stochastic framework, with white or colored inputs, in addressing a variety of open challenges including transition in complex fluids, flow control, and physics-aware data-driven turbulence modeling. Applications with time- or spatially-periodic base flows are discussed and future research directions are outlined.

categories: physics.flu-dyn cs.SY eess.SY math.DS math.OC


title: Monoidal abelian envelopes

abstract: We prove a constructive existence theorem for abelian envelopes of non-abelian monoidal categories. This establishes a new tool for the construction of tensor categories. As an example we obtain new proofs for the existence of several universal tensor categories as conjectured by Deligne. Another example constructs tensor categories in positive characteristic via tilting modules for SL(2).


title: Entanglement propagation in thermalization of an isolated quantum system

abstract: We study dynamics of entanglement in the thermalization process of an isolated quantum many-body system. We propose a simple setup for measuring the propagation speed of entanglement entropy (EE) in numerical simulations and apply it to the integrable/non-integrable spin models in 1D - the transverse Ising (TI) model, the chaotic Ising (CI) model, and the extended chaotic Ising (ECI) model. We find that two distinct time-scales $t^\ast$ and $t_{\rm {diff}}$ arise in the dynamics of EE in the thermalization process: the former represents the time-scale for the saturation of EE and the latter characterizes spreading of EE over the entire system. Evaluating the propagation speed of entanglement from $t_{\rm diff}$, we find that entanglement propagates ballistically with a constant velocity irrespective of the integrability of the model. The propagation speed of entanglement is found to coincide with the maximum group velocity of quasi-particle excitations in the TI model. We also evaluate the propagation speed of entanglement by mutual information and find the characteristic time-scale $t_{\mathrm{MI}}$. We show that the propagation speeds of entanglement evaluated by $t_{\mathrm{MI}}$ and $t_{\rm {diff}}$ agree well. We discuss the condition for thermalization based on the numerical results and propose that scrambling of the entire system has to take place before saturation of EE for thermalization.


title: 3D unknown view tomography via rotation invariants

abstract: In this paper, we study the problem of reconstructing a 3D point source model from a set of 2D projections at unknown view angles. Our method obviates the need to recover the projection angles by extracting a set of rotation-invariant features from the noisy projection data. From the features, we reconstruct the density map through a constrained nonconvex optimization. We show that the features have geometric interpretations in the form of radial and pairwise distances of the model. We further perform an ablation study to examine the effect of various parameters on the quality of the estimated features from the projection data. Our results showcase the potential of the proposed method in reconstructing point source models in various noise regimes.


title: Gate-tunable trion switch for excitonic device applications

abstract: Trions are excitonic species with a positive or negative charge, and thus, unlike neutral excitons, the flow of trions can generate a net detectable charge current. Trions under favourable doping conditions can be created in a coherent manner using resonant excitation. In this work, we exploit these properties to demonstrate a gate controlled trion switch in a few-layer graphene/monolayer WS2/monolayer graphene vertical heterojunction. By using a high resolution spectral scan through a temperature controlled variation of the bandgap of the WS2 sandwich layer, we obtain a gate voltage dependent vertical photocurrent strongly relying on the spectral position of the excitation, and the photocurrent maximizes when the excitation energy is resonant with the trion peak position. Further, the resonant photocurrent thus generated can be effectively controlled by a back gate voltage applied through the incomplete screening of the bottom monolayer graphene, and the photocurrent strongly correlates with the gate dependent trion intensity, while the non-resonant photocurrent exhibits only a weak gate dependence -unambiguously proving a trion driven photocurrent generation under resonance. We estimate a sub-100 fs switching time of the device. The findings are useful towards demonstration of ultra-fast excitonic devices in layered materials.


title: Equivariant Derived Categories for Toroidal Group Imbeddings

abstract: Let $\text{X}$ denote a projective variety over an algebraically closed field on which a linear algebraic group acts with finitely many orbits. Then, a conjecture of Soergel and Lunts in the setting of Koszul duality and Langlands' philosophy, postulates that the equivariant derived category of bounded complexes with constructible equivariant cohomology sheaves on $\text{X}$ is equivalent to a full subcategory of the derived category of modules over a graded ring defined as a suitable graded $Ext$. Only special cases of this conjecture have been proven so far. {\it The purpose of this paper is to provide a proof of this conjecture for all projective toroidal imbeddings of complex reductive groups.} In fact, we show that the methods used by Lunts for a proof in the case of toric varieties can be extended with suitable modifications to handle the toroidal imbedding case. {\it Since every equivariant imbedding of a complex reductive group is dominated by a toroidal imbedding, the class of varieties for which our proof applies is quite large.} We also show that, in general, there exist a countable number of obstructions for this conjecture to be true and that half of these vanish when the odd dimensional equivariant intersection cohomology sheaves on the orbit closures vanish. This last vanishing condition had been proven to be true in many cases of spherical varieties by Michel Brion and the author in prior work.


title: Thermodynamic cost of synchronizing a population of beating cilia

abstract: Synchronization among arrays of beating cilia is one of the emergent phenomena in biological processes at meso-scopic scales. Strong inter-ciliary couplings modify the natural beating frequencies, $\omega$, of individual cilia to produce a collective motion that moves around a group frequency $\omega_m$. Here we study the thermodynamic cost of synchronizing cilia arrays by mapping their dynamics onto a generic phase oscillator model. The model suggests that upon synchronization the mean heat dissipation rate is decomposed into two contributions, dissipation from each cilium's own natural driving force and dissipation arising from the interaction with other cilia, the latter of which can be interpreted as the one produced by a potential with a time-dependent protocol in the framework of our model. The spontaneous phase-synchronization of beating dynamics of cilia induced by strong inter-ciliary coupling is always accompanied with a significant reduction of dissipation for the cilia population, suggesting that organisms as a whole expend less energy by attaining a temporal order. At the level of individual cilia, however, a population of cilia with $|\omega|< \omega_m$ expend more amount of energy upon synchronization.


title: Illumination-based Transformations Improve Skin Lesion Segmentation in Dermoscopic Images

abstract: The semantic segmentation of skin lesions is an important and common initial task in the computer aided diagnosis of dermoscopic images. Although deep learning-based approaches have considerably improved the segmentation accuracy, there is still room for improvement by addressing the major challenges, such as variations in lesion shape, size, color and varying levels of contrast. In this work, we propose the first deep semantic segmentation framework for dermoscopic images which incorporates, along with the original RGB images, information extracted using the physics of skin illumination and imaging. In particular, we incorporate information from specific color bands, illumination invariant grayscale images, and shading-attenuated images. We evaluate our method on three datasets: the ISBI ISIC 2017 Skin Lesion Segmentation Challenge dataset, the DermoFit Image Library, and the PH2 dataset and observe improvements of 12.02%, 4.30%, and 8.86% respectively in the mean Jaccard index over a baseline model trained only with RGB images.


title: Sparsest Piecewise-Linear Regression of One-Dimensional Data

abstract: We study the problem of one-dimensional regression of data points with total-variation (TV) regularization (in the sense of measures) on the second derivative, which is known to promote piecewise-linear solutions with few knots. While there are efficient algorithms for determining such adaptive splines, the difficulty with TV regularization is that the solution is generally non-unique, an aspect that is often ignored in practice. In this paper, we present a systematic analysis that results in a complete description of the solution set with a clear distinction between the cases where the solution is unique and those, much more frequent, where it is not. For the latter scenario, we identify the sparsest solutions, i.e., those with the minimum number of knots, and we derive a formula to compute the minimum number of knots based solely on the data points. To achieve this, we first consider the problem of exact interpolation which leads to an easier theoretical analysis. Next, we relax the exact interpolation requirement to a regression setting, and we consider a penalized optimization problem with a strictly convex data-fidelity cost function. We show that the underlying penalized problem can be reformulated as a constrained problem, and thus that all our previous results still apply. Based on our theoretical analysis, we propose a simple and fast two-step algorithm, agnostic to uniqueness, to reach a sparsest solution of this penalized problem.


title: Algorithms for Non-Stationary Generalized Linear Bandits

abstract: The statistical framework of Generalized Linear Models (GLM) can be applied to sequential problems involving categorical or ordinal rewards associated, for instance, with clicks, likes or ratings. In the example of binary rewards, logistic regression is well-known to be preferable to the use of standard linear modeling. Previous works have shown how to deal with GLMs in contextual online learning with bandit feedback when the environment is assumed to be stationary. In this paper, we relax this latter assumption and propose two upper confidence bound based algorithms that make use of either a sliding window or a discounted maximum-likelihood estimator. We provide theoretical guarantees on the behavior of these algorithms for general context sequences and in the presence of abrupt changes. These results take the form of high probability upper bounds for the dynamic regret that are of order d^2/3 G^1/3 T^2/3 , where d, T and G are respectively the dimension of the unknown parameter, the number of rounds and the number of breakpoints up to time T. The empirical performance of the algorithms is illustrated in simulated environments.


title: Perturbative description of bias tracers using consistency relations of LSS

abstract: We develop a simple formalism of biased tracers that we dub $\mathit{Monkey\ bias}$. In this formalism, a biased tracer field is constructed directly in terms of the linear matter fluctuation field and the set of derivative operators acting on it. Such bias expansion is first organized based on the general structure of non-linear dynamical equations for the biased tracers. Further physical conditions, like the equivalence principle, are imposed on tree-level correlators utilising the consistency relations. We obtain the bias expansion up to the third-order in linear matter fluctuation in the generalized $\Lambda$CDM background, which reproduces the previous results in the limit of the EdS universe. This algorithmic construction of our bias operator basis is well suited for extensions towards higher-order bias fields. Moreover, this formalism reveals that biased tracer dynamics in generalized $\Lambda$CDM background is not entirely degenerate with the rest of bias parameters, thus opening a possibility of testing the background cosmology through the observations of biased tracers.


title: A Central Limit Theorem for incomplete U-statistics over triangular arrays

abstract: We analyze the fluctuations of incomplete $U$-statistics over a triangular array of independent random variables. We give criteria for a Central Limit Theorem (CLT, for short) to hold in the sense that we prove that an appropriately scaled and centered version of the U-statistic converges to a normal random variable. Our method of proof relies on a martingale CLT. A possible application -- a CLT for the hitting time for random walk on random graphs -- will be presented in \cite{LoTe20b}


title: Average speed and its powers $v^n$ of a heavy quark in quarkonia

abstract: The typical velocity of a heavy quark in a quarkonium is a widely used quantity, in this paper, based on the relativistic Bethe-Salpeter equation method, we calculate the average values ${\overline{|\boldsymbol{q}|^n}}$ and $ \overline{|\boldsymbol{v}|^n}\equiv v^n$ of a heavy quark in a $S$ wave or $P$ wave quarkonium rest frame, where $\boldsymbol{q}$ and $\boldsymbol{v}$ are the three dimensional momentum and velocity, $n=1,2,3,4$. For a charm quark in $J/\psi$, we obtained $v_{J/\psi}=0.46$, $v^2_{J/\psi}=0.26$, $v^3_{J/\psi}=0.18$, and $v^4_{J/\psi}=0.14$, for a bottom quark in $\Upsilon(1S)$, $v_{\Upsilon(1S)}=0.24$, $v^2_{\Upsilon(1S)}=0.072$, $v^3_{\Upsilon(1S)}=0.025$, and $v^4_{\Upsilon(1S)}=0.010$. The values indicate that ${v^n} >{v^{n_1}}\cdot{v^{n_2}}$, where $n_1+n_2=n$, which is correct for all the charmonia and bottomonia. Our results also show the poor convergence if we make the {speed} expansion in charmonium system, but good for bottomonium. Based on the $v^n$ values and the following obtained relations $v^n_{4S} > v^n_{3S}> v^n_{2S}>v^n_{1S}$, $v^n_{4P} > v^n_{3P}> v^n_{2P}>v^n_{1P}$ and $v^n_{mP}>v^n_{mS}$ ($n,m=1,2,3,4$), we conclude that highly excited quarkonia have larger relativistic corrections than those of the corresponding low excited and ground states, and there are large relativistic corrections in charmonium system.


title: Sign reversal of nonlocal response due to electron collisions

abstract: Electron-electron collisions are known to cause a nonlocal voltage drop in a presence of current flow. The semi-phenomenological theory predicts this drop to be opposite to the direction of the current in the ballistic regime. We use a microscopic approach and show that the sign of this drop may be of both signs depending on the temperature and the distance between the source and probe contacts. The change of sign corresponds to the change of the dominant scattering process from head-on collisions to backward scattering of electrons. Our results agree with the experimental data.


title: Faster computation of isogenies of large prime degree

abstract: Let $\mathcal{E}/\mathbb{F}_q$ be an elliptic curve, and $P$ a point in $\mathcal{E}(\mathbb{F}_q)$ of prime order $\ell$. V\'elu's formulae let us compute a quotient curve $\mathcal{E}' = \mathcal{E}/\langle{P}\rangle$ and rational maps defining a quotient isogeny $\phi: \mathcal{E} \to \mathcal{E}'$ in $\tilde{O}(\ell)$ $\mathbb{F}_q$-operations, where the $\tilde{O}$ is uniform in $q$.This article shows how to compute $\mathcal{E}'$, and $\phi(Q)$ for $Q$ in $\mathcal{E}(\mathbb{F}_q)$, using only $\tilde{O}(\sqrt{\ell})$ $\mathbb{F}_q$-operations, where the $\tilde{O}$ is again uniform in $q$.As an application, this article speeds up some computations used in the isogeny-based cryptosystems CSIDH and CSURF.


title: Giant enhancement in the thermal responsivity of microelectromechanical resonators by internal mode coupling

abstract: We report on a giant enhancement in the thermal responsivity of the doubly-clamped GaAs microelectromechanical (MEMS) beam resonators by using the internal mode coupling effect. This is achieved by coupling the fundamental bending mode with the fundamental torsional mode of the MEMS beam resonators through the cubic Duffing nonlinearity. In the mode coupling regime, we have found that, when the input heat to the MEMS resonators is modulated at a particular frequency, the resonance frequency shift caused by heating can be enhanced by almost two orders of magnitude. The observed effect is promising for realizing high-sensitivity thermal sensing by using MEMS resonators, such as ultrasensitive terahertz detection at room temperature.


title: Efficient Crowd Counting via Structured Knowledge Transfer

abstract: Crowd counting is an application-oriented task and its inference efficiency is crucial for real-world applications. However, most previous works relied on heavy backbone networks and required prohibitive run-time consumption, which would seriously restrict their deployment scopes and cause poor scalability. To liberate these crowd counting models, we propose a novel Structured Knowledge Transfer (SKT) framework, which fully exploits the structured knowledge of a well-trained teacher network to generate a lightweight but still highly effective student network. Specifically, it is integrated with two complementary transfer modules, including an Intra-Layer Pattern Transfer which sequentially distills the knowledge embedded in layer-wise features of the teacher network to guide feature learning of the student network and an Inter-Layer Relation Transfer which densely distills the cross-layer correlation knowledge of the teacher to regularize the student's feature evolutio Consequently, our student network can derive the layer-wise and cross-layer knowledge from the teacher network to learn compact yet effective features. Extensive evaluations on three benchmarks well demonstrate the effectiveness of our SKT for extensive crowd counting models. In particular, only using around $6\%$ of the parameters and computation cost of original models, our distilled VGG-based models obtain at least 6.5$\times$ speed-up on an Nvidia 1080 GPU and even achieve state-of-the-art performance. Our code and models are available at {\url{https://github.com/HCPLab-SYSU/SKT}}.


title: Market Efficient Portfolios in a Systemic Economy

abstract: We study the ex-ante minimization of market inefficiency, defined in terms of minimum deviation of market prices from fundamental values, from a centralized planner's perspective. Prices are pressured from exogenous trading actions of leverage targeting banks, which rebalance their portfolios in response to asset shocks. We characterize market inefficiency in terms of two key drivers, the banks' systemic significance and the statistical moments of asset shocks, and develop an explicit expression for the matrix of asset holdings which minimizes such inefficiency. Our analysis shows that to reduce inefficiencies, portfolio holdings should deviate more from a full diversification strategy if there is little heterogeneity in banks' systemic significance.


title: Extra-cavity-enhanced difference-frequency generation at 1.63 {\mu}m

abstract: A 1632-nm laser has highly important applications in interfacing the wavelength of rubidium-based quantum memories (795 nm) and the telecom band (typically 1550 nm) by frequency conversion in three-wave mixing processes. A 1632-nm laser source based on pump-enhanced difference frequency generation is demonstrated. It has 300 mW of output power, in agreement with simulations, and a 55% quantum efficiency. An average power fluctuation of 0.51% over one hour was observed, and 200-kHz linewidth was measured using a delayed self-heterodyne method.


title: Stabilizability properties of a linearized water waves system

abstract: We consider the strong stabilization of small amplitude gravity water waves in a two dimensional rectangular domain. The control acts on one lateral boundary, by imposing the horizontal acceleration of the water along that boundary, as a multiple of a scalar input function $u$, times a given function $h$ of the height along the active boundary. The state $z$ of the system consists of two functions: the water level $\zeta$ along the top boundary, and its time derivative $\dot\zeta$. We prove that for suitable functions $h$, there exists a bounded feedback functional $F$ such that the feedback $u=Fz$ renders the closed-loop system strongly stable. Moreover, for initial states in the domain of the semigroup generator, the norm of the solution decays like $(1+t)^{-\frac{1}{6}}$. Our approach uses a detailed analysis of the partial Dirichlet to Neumann and Neumann to Neumann operators associated to certain edges of the rectangular domain, as well as recent abstract non-uniform stabilization results by Chill, Paunonen, Seifert, Stahn and Tomilov (2019).


title: Apollonian Emulsions

abstract: We have discovered the existence of extremely polydisperse High Internal-Phase-Ratio Emulsions (HIPE) in which the internal-phase droplets, present at 95% volume fraction, remain spherical and organize themselves in the available space according to Apollonian packing rules. Such Apollonian emulsions are obtained from dispersing oil dropwise in water in the presence of very little surfactant, and allowing them to evolve at rest for a week. The packing structure of the droplets was confirmed through size distribution measurements that evolved spontaneously towards power laws with the known Apollonian exponents, as well as comparison of the structure factors of aged HIPEs measured by Small-Angle X-ray Scattering with that of a numerically simulated Random Apollonian Packing. Thanks to the perfect sphericity of the droplets, Apollonian emulsions were found to display Newtonian ow even at such extremely high volume fraction. We argue that these fascinating space-filling assemblies of spherical droplets are a result of coalescence and fragmentation processes obeying simple geometrical rules of conserving total volume and sphericity, minimizing the elastic energy associated with interactions of neighbouring droplets.


title: Sonic Point and Photon Surface

abstract: The sonic point/photon surface correspondence is thoroughly investigated in a general setting. First, we investigate a sonic point of a transonic steady perfect fluid flow in a general stationary spacetime, particularly focusing on the radiation fluid. The necessary conditions that the flow must satisfy at a sonic point are derived as conditions for the kinematical quantities of the congruence of streamlines in analogy with the de Laval nozzle equation in fluid mechanics. We compare the conditions for a sonic point with the notion of a photon surface, which can be defined as a timelike totally umbilical hypersurface. As a result, we find that, for the realization of the sonic point/photon surface correspondence, the speed of sound $v_{\rm s}$ must be given by $1/\sqrt{d}$ with $d$ being the spatial dimension of the spacetime. For the radiation fluid ($v_{\rm s}=1/\sqrt{d}$), we confirm that a part of the conditions is shared by the sonic point and the photon surface. However, in general, a Bondi surface, a set of sonic points, does not necessarily coincide with a photon surface. Additional assumptions, such as a spatial symmetry, are essential to the realization of the sonic point/photon surface correspondence in all known examples.


title: Deterministic Approximate EM Algorithm; Application to the Riemann Approximation EM and the Tempered EM

abstract: The Expectation Maximisation (EM) algorithm is widely used to optimise non-convex likelihood functions with latent variables. Many authors modified its simple design to fit more specific situations. For instance, the Expectation (E) step has been replaced by Monte Carlo (MC), Markov Chain Monte Carlo or tempered approximations, etc. Most of the well-studied approximations belong to the stochastic class. By comparison, the literature is lacking when it comes to deterministic approximations. In this paper, we introduce a theoretical framework, with state-of-the-art convergence guarantees, for any deterministic approximation of the E step. We analyse theoretically and empirically several approximations that fit into this framework. First, for intractable E-steps, we introduce a deterministic version of MC-EM using Riemann sums. A straightforward method, not requiring any hyper-parameter fine-tuning, useful when the low dimensionality does not warrant a MC-EM. Then, we consider the tempered approximation, borrowed from the Simulated Annealing literature and used to escape local extrema. We prove that the tempered EM verifies the convergence guarantees for a wider range of temperature profiles than previously considered. We showcase empirically how new non-trivial profiles can more successfully escape adversarial initialisations. Finally, we combine the Riemann and tempered approximations into a method that accomplishes both their purposes.


title: Model Comparison tests of modified gravity from the E\"ot-Wash experiment

abstract: Perivolaropoulos et al (arXiv:1904.09462) (P19) have argued that the residual torque data in the E\"ot-Wash experiment is consistent with an oscillating signal. This could either be a signature of non-local modified gravity theories or some other systematic error in the data. We independently assess the viability of such an oscillating signal in the same data using Bayesian and information theoretical criterion, to complement the frequentist analysis in P19. We fit this data to three different parametrizations (an offset Newtonian, Yukawa, and an oscillating model), and assess the significance of the oscillating model using AIC, BIC, WAIC, and Bayes factor. All these techniques provide decisive evidence for the oscillating model compared to the Newtonian model, provided the phase is fixed to the same value as in P19. If the phase is allowed to vary, then significance from BIC, WAIC, and Bayes based tests reduces to strong evidence, whereas only AIC still shows decisive evidence. Our analysis codes have been made publicly available.


title: Soteria: A Provably Compliant User Right Manager Using a Novel Two-Layer Blockchain Technology

abstract: Soteria is a user right management system designed to safeguard user-data privacy in a transparent and provable manner in compliance to regulations such as GDPR and CCPA. Soteria represents user data rights as formal executable sharing agreements, which can automatically be translated into a human readable form and enforced as data are queried. To support revocation and to prove compliance, an indelible, audited trail of the hash of data access and sharing agreements are stored on a two-layer distributed ledger. The main chain ensures partition tolerance and availability (PA) properties while side chains ensure consistency and availability (CA), thus providing the three properties of the CAP (consistency, availability, and partition tolerance) theorem. Besides depicting the two-layer architecture of Soteria, this paper evaluates representative consensus protocols and reports performance statistics.


title: Multi-Plateau Ensemble for Endoscopic Artefact Segmentation and Detection

abstract: Endoscopic artefact detection challenge consists of 1) Artefact detection, 2) Semantic segmentation, and 3) Out-of-sample generalisation. For Semantic segmentation task, we propose a multi-plateau ensemble of FPN (Feature Pyramid Network) with EfficientNet as feature extractor/encoder. For Object detection task, we used a three model ensemble of RetinaNet with Resnet50 Backbone and FasterRCNN (FPN + DC5) with Resnext101 Backbone}. A PyTorch implementation to our approach to the problem is available at https://github.com/ubamba98/EAD2020.


title: Incomplete Graph Representation and Learning via Partial Graph Neural Networks

abstract: Graph Neural Networks (GNNs) are gaining increasing attention on graph data learning tasks in recent years. However, in many applications, graph may be coming in an incomplete form where attributes of graph nodes are partially unknown/missing. Existing GNNs are generally designed on complete graphs which can not deal with attribute-incomplete graph data directly. To address this problem, we develop a novel partial aggregation based GNNs, named Partial Graph Neural Networks (PaGNNs), for attribute-incomplete graph representation and learning. Our work is motivated by the observation that the neighborhood aggregation function in standard GNNs can be equivalently viewed as the neighborhood reconstruction formulation. Based on it, we define two novel partial aggregation (reconstruction) functions on incomplete graph and derive PaGNNs for incomplete graph data learning. Extensive experiments on several datasets demonstrate the effectiveness and efficiency of the proposed PaGNNs.


title: Similarity solutions and Conservation laws for the Bogoyavlensky-Konopelchenko Equation by Lie point symmetries

abstract: The 1 + 2 dimensional Bogoyavlensky-Konopelchenko Equation is investigated for its solution and conservation laws using the Lie point symmetry analysis. In the recent past, certain work has been done describing the Lie point symmetries for the equation and this work seems to be incomplete (Ray S (2017) Compt. Math. Appl. 74, 1157). We obtained certain new symmetries and corresponding conservation laws. The travelling-wave solution and some other similarity solutions are studied.


title: An introduction into optimal control for quantum technologies

abstract: In this series of lectures, we would like to introduce the audience to quantum optimal control. The first lecture will cover basic ideas and principles of optimal control with the goal of demystifying its jargon. The second lecture will describe computational tools (for computations both on paper and in a computer) for its implementation as well as their conceptual background. The third chapter will go through a series of popular examples from different applications of quantum technology.


title: The Palais-Smale condition for the Hamiltonian action on a mixed regularity space of loops in cotangent bundles and applications

abstract: We show that the Hamiltonian action satisfies the Palais-Smale condition over a "mixed regularity" space of loops in cotangent bundles, namely the space of loops with regularity $H^s$, $s\in (\frac 12, 1)$, in the base and $H^{1-s}$ in the fiber direction. As an application, we give a simplified proof of a theorem of Hofer-Viterbo on the existence of closed characteristic leaves for certain contact type hypersufaces in cotangent bundles.


title: Mixed boundary valued problem for linear and nonlinear wave equations in domains with fractal boundaries

abstract: The weak well-posedness, with the mixed boundary conditions, of the strongly damped linear wave equation and of the non linear Westervelt equation is proved in the largest natural class of Sobolev admissible non-smooth domains. In the framework of uniform domains in R^2 or R^3 we also validate the approximation of the solution of the Wester-velt equation on a fractal domain by the solutions on the prefractals using the Mosco convergence of the corresponding variational forms.


title: The path to Z And-type outbursts: The case of V426 Sagittae (HBHA 1704-05)

abstract: The star V426 Sge (HBHA~1704-05), originally classified as an emission-line object and a semi-regular variable, brightened at the beginning of August 2018, showing signatures of a symbiotic star outburst. We aim to confirm the nature of V426 Sge as a classical symbiotic star, determine the photometric ephemeris of the light minima, and suggest the path from its 1968 symbiotic nova outburst to the following 2018 Z And-type outburst. We re-constructed an historical light curve (LC) of V426 Sge from approximately the year 1900, and used original low- and high-resolution spectroscopy complemented with Swift-XRT and UVOT, optical UBVRcIc and near-infrared JHKL photometry obtained during the 2018 outburst and the following quiescence. The historical LC reveals no symbiotic-like activity from 1900 to 1967. In 1968, V426 Sge experienced a symbiotic nova outburst that ceased around 1990. From approximately 1972, a wave-like orbitally related variation with a period of $493.4\pm 0.7$ days developed in the LC. This was interrupted by a Z And-type outburst from the beginning of August 2018 to the middle of February 2019. At the maximum of the 2018 outburst, the burning white dwarf (WD) increased its temperature to $>2\times 10^5$ K, generated a luminosity of $\sim 7\times 10^{37}(d/3.3kpc)^2$ erg/s, and blew a wind at the rate of $\sim 3\times 10^{-6}$ M$_{\odot}$/yr. The donor is a normal M4-5 III giant and the accretor is a low-mass $\sim$0.5 M$_{\odot}$ WD. During the transition from the symbiotic nova outburst to the quiescent phase, a pronounced sinusoidal variation along the orbit develops in the LC of most symbiotic novae. The following eventual outburst is of Z And-type, when the accretion by the WD temporarily exceeds the upper limit of the stable burning. At this point the system becomes a classical symbiotic star.


title: Effect of Topology upon Relay Synchronization in Triplex Neuronal Networks

abstract: Relay synchronization in complex networks is characterized by the synchronization of remote parts of the network due to their interaction via a relay. In multilayer networks, distant layers that are not connected directly can synchronize due to signal propagation via relay layers. In this work, we investigate relay synchronization of partial synchronization patterns like chimera states in three-layer networks of interacting FitzHugh-Nagumo oscillators. We demonstrate that the phenomenon of relay synchronization is robust to topological random inhomogeneities of small-world type in the layer networks. We show that including randomness in the connectivity structure either of the remote network layers, or of the relay layer, increases the range of interlayer coupling strength where relay synchronization can be observed.


title: On the Cauchy problem for semilinear regularity-loss-type $\sigma$-evolution models with memory term

abstract: In this paper, we consider the Cauchy problem for semilinear $\sigma$-evolution models with an exponential decay memory term. Concerning the corresponding linear Cauchy problem, we derive some regularity-loss-type estimates of solutions and generalized diffusion phenomena. Particularly, the obtained estimations for solutions are sharper than those in the previous paper [20]. Then, we determine the critical exponents for the semilinear Cauchy problem with power nonlinearity in some spatial dimensions by proving global (in time) existence of Sobolev solutions with low regularity of fractional orders and blow-up result for the Sobolev solutions even for any fractional value of $\sigma\geqslant 1$.


title: Depth Edge Guided CNNs for Sparse Depth Upsampling

abstract: Guided sparse depth upsampling aims to upsample an irregularly sampled sparse depth map when an aligned high-resolution color image is given as guidance. Many neural networks have been designed for this task. However, they often ignore the structural difference between the depth and the color image, resulting in obvious artifacts such as texture copy and depth blur at the upsampling depth. Inspired by the normalized convolution operation, we propose a guided convolutional layer to recover dense depth from sparse and irregular depth image with an depth edge image as guidance. Our novel guided network can prevent the depth value from crossing the depth edge to facilitate upsampling. We further design a convolution network based on proposed convolutional layer to combine the advantages of different algorithms and achieve better performance. We conduct comprehensive experiments to verify our method on real-world indoor and synthetic outdoor datasets. Our method produces strong results. It outperforms state-of-the-art methods on the Virtual KITTI dataset and the Middlebury dataset. It also presents strong generalization capability under different 3D point densities, various lighting and weather conditions.


title: The strong clique number of graphs with forbidden cycles

abstract: Given a graph $G$, the strong clique number of $G$, denoted $\omega_S(G)$, is the maximum size of a set $S$ of edges such that every pair of edges in $S$ has distance at most $2$ in the line graph of $G$. As a relaxation of the renowned Erd\H{o}s--Ne\v{s}et\v{r}il conjecture regarding the strong chromatic index, Faudree et al. suggested investigating the strong clique number, and conjectured a quadratic upper bound in terms of the maximum degree. Recently, Cames van Batenburg, Kang, and Pirot conjectured a linear upper bound in terms of the maximum degree for graphs without even cycles. Namely, if $G$ is a $C_{2k}$-free graph, then $\omega_S(G)\leq (2k-1)\Delta(G)-{2k-1\choose 2}$, and if $G$ is a $C_{2k}$-free bipartite graph, then $\omega_S(G)\leq k\Delta(G)-(k-1)$. We prove the second conjecture in a stronger form, by showing that forbidding all odd cycles is not necessary. To be precise, we show that a $\{C_5, C_{2k}\}$-free graph $G$ with $\Delta(G)\ge 1$ satisfies $\omega_S(G)\leq k\Delta(G)-(k-1)$, when either $k\geq 4$ or $k\in \{2,3\}$ and $G$ is also $C_3$-free. Regarding the first conjecture, we prove an upper bound that is off by the constant term. Namely, for $k\geq 3$, we prove that a $C_{2k}$-free graph $G$ with $\Delta(G)\ge 1$ satisfies $\omega_S(G)\leq (2k-1)\Delta(G)+(2k-1)^2$. This improves some results of Cames van Batenburg, Kang, and Pirot.


title: An alternative indicator of annihilated electrons in atoms: Rahm's electronegativity scale

abstract: This paper presents a new explanation of the width of gamma-ray spectra based on Rahm's electronegativity scale. This quantitatively proves, for the first time, that positrophilic electrons in the positron-electron annihilation process are exactly the valence electrons. This suggests the replacement of Full Width at Half Maximum (FWHM) of the gamma-ray spectra with the newly defined physical quantity Average Doppler Shift (ADS). Both FWHM and ADS of the gamma-ray spectra in light elements agree well with the corresponding Rahm's electronegativity values, respectively. Further, ADS provides strong evidence in favor of Rahm's electronegativity scale. It is expected that this will be useful in understanding the mechanism of the positron-electron annihilation process.


title: Spatially homogeneous conformal St\"ackel spacetimes of type (3.1)

abstract: In this work, we obtain all spatially homogeneous space-time models related to the intersection of the set of St\"ackel spaces of type (2.1) and the set of conformally St\"ackel spaces of type (3.1). These models allow a complete separation of variables both in the Hamilton-Jacobi equation for massive test particles and in the eikonal equation for radiation. The models obtained in this work relate to wave-like space-time models. For the found models, solutions of the Einstein equations with the cosmological constant and radiation are obtained. For the obtained solutions, the eikonal equation and the equations of motion of massive test particles in the Hamilton-Jacobi form are integrated.


title: EPSNet: Efficient Panoptic Segmentation Network with Cross-layer Attention Fusion

abstract: Panoptic segmentation is a scene parsing task which unifies semantic segmentation and instance segmentation into one single task. However, the current state-of-the-art studies did not take too much concern on inference time. In this work, we propose an Efficient Panoptic Segmentation Network (EPSNet) to tackle the panoptic segmentation tasks with fast inference speed. Basically, EPSNet generates masks based on simple linear combination of prototype masks and mask coefficients. The light-weight network branches for instance segmentation and semantic segmentation only need to predict mask coefficients and produce masks with the shared prototypes predicted by prototype network branch. Furthermore, to enhance the quality of shared prototypes, we adopt a module called "cross-layer attention fusion module", which aggregates the multi-scale features with attention mechanism helping them capture the long-range dependencies between each other. To validate the proposed work, we have conducted various experiments on the challenging COCO panoptic dataset, which achieve highly promising performance with significantly faster inference speed (53ms on GPU).


title: Cyclo-dissipativity revisited

abstract: Starting from a symmetrization and extension of the basic definitions and results of dissipativity theory we obtain new results on cyclo-dissipativity; in particular their external characterization and description of the set of storage functions.


title: CF2-Net: Coarse-to-Fine Fusion Convolutional Network for Breast Ultrasound Image Segmentation

abstract: Breast ultrasound (BUS) image segmentation plays a crucial role in a computer-aided diagnosis system, which is regarded as a useful tool to help increase the accuracy of breast cancer diagnosis. Recently, many deep learning methods have been developed for segmentation of BUS image and show some advantages compared with conventional region-, model-, and traditional learning-based methods. However, previous deep learning methods typically use skip-connection to concatenate the encoder and decoder, which might not make full fusion of coarse-to-fine features from encoder and decoder. Since the structure and edge of lesion in BUS image are common blurred, these would make it difficult to learn the discriminant information of structure and edge, and reduce the performance. To this end, we propose and evaluate a coarse-to-fine fusion convolutional network (CF2-Net) based on a novel feature integration strategy (forming an 'E'-like type) for BUS image segmentation. To enhance contour and provide structural information, we concatenate a super-pixel image and the original image as the input of CF2-Net. Meanwhile, to highlight the differences in the lesion regions with variable sizes and relieve the imbalance issue, we further design a weighted-balanced loss function to train the CF2-Net effectively. The proposed CF2-Net was evaluated on an open dataset by using four-fold cross validation. The results of the experiment demonstrate that the CF2-Net obtains state-of-the-art performance when compared with other deep learning-based methods


title: Multi-Terminal DC Fault Identification for MMC-HVDC Systems based on Modal Analysis -- A Localized Protection Scheme

abstract: We propose a localized protection scheme based on modal analysis in multi-terminal modular multilevel converter (MMC) based high voltage DC (HVDC) systems. The paper addresses the issues of localized protection scheme based DC fault identification, such as differentiating between external and internal faults, classification of type of fault contingency i.e., pole to pole (\textit{PTP}) or pole to ground (\textit{PTG}) for high impedance faults (HIFs) in the system. The scheme works on equivalent network of multi-terminal MMC-HVDC system for a DC fault, using phase-modal transformation to analyse line-mode and zero-mode voltage across the current limiting reactor (CLR) for different possible contingencies in the presence of fault resistance. The protection scheme is validated to be reliable for HIFs and in the presence of White Gaussian Noise (WGN) in measurement. The scheme operation is validated to be intact for varying fault location, fault resistances and system transients.


title: Julia Language in Machine Learning: Algorithms, Applications, and Open Issues

abstract: Machine learning is driving development across many fields in science and engineering. A simple and efficient programming language could accelerate applications of machine learning in various fields. Currently, the programming languages most commonly used to develop machine learning algorithms include Python, MATLAB, and C/C ++. However, none of these languages well balance both efficiency and simplicity. The Julia language is a fast, easy-to-use, and open-source programming language that was originally designed for high-performance computing, which can well balance the efficiency and simplicity. This paper summarizes the related research work and developments in the application of the Julia language in machine learning. It first surveys the popular machine learning algorithms that are developed in the Julia language. Then, it investigates applications of the machine learning algorithms implemented with the Julia language. Finally, it discusses the open issues and the potential future directions that arise in the use of the Julia language in machine learning.


title: The observation of vibrating pear shapes in radon nuclei: update

abstract: There is a large body of evidence that atomic nuclei can undergo octupole distortion and assume the shape of a pear. This phenomenon is important for measurements of electric-dipole moments of atoms, which would indicate CP violation and hence probe physics beyond the standard model of particle physics. Isotopes of both radon and radium have been identified as candidates for such measurements. Here, we have observed the low-lying quantum states in $^{224}$Rn and $^{226}$Rn by accelerating beams of these radioactive nuclei. We report here additional states not assigned in our 2019 publication. We show that radon isotopes undergo octupole vibrations but do not possess static pear-shapes in their ground states. We conclude that radon atoms provide less favourable conditions for the enhancement of a measurable atomic electric-dipole moment.