title: Fluorescence Resonance Energy Transfer (FRET) as Biomarkers

abstract: Applications of Fluorescence Resonance Energy Transfer (FRET) in biology have expanded tremendously in the last 25 years. This technique has become a staple technique in many biological and biophysical fields. FRET based chemical sensors and biosensors can play an important role as biomarkers. Development of new and effective FRET based assay for biological application is an emerging area of research needing multidisciplinary approach from biologists, chemists and physicists. Here we have discussed the use of FRET technique as biomarker.


title: Uniformly Bounded Initial Chaos in Large System Often Intensifies Infinitely

abstract: We consider infinite harmonic chain with completely deterministic dynamics. Initial data are assumed absolutely bounded. Nevertheless maximum of the variables can grow infinitely in time. We give conditions for this phenomenon. It coincides with intuitive guess that the main condition for this growth is sufficient chaos in the initial conditions.


title: Resistive Switching Behaviour of Organic Molecules

abstract: Organic electronics is very promising due to the flexibility, modifiability as well as variety of the available organic molecules. Efforts are going on to use organic materials for the realization of memory devices. In this regard resistive switching devices surely will play a key role. In this paper an effort has been made to illustrate the general information about resistive switching devices as well as switching mechanisms involving organic materials. As a whole a general overview of the emerging topic resistive switching has been given.


title: A reverse coarea-type inequality in Carnot groups

abstract: We prove a coarea-type inequality for a continuously Pansu differentiable function acting between two Carnot groups endowed with homogeneous distances. We assume that the level sets of the function are uniformly lower Ahlfors regular and that the Pansu differential is everywhere surjective.


title: How Smooth Should be the System Initially to Escape Unbounded Chaos

abstract: We consider infinite harmonic chain on the real line with deterministic dynamics (no stochasticity). We indicate classes of uniformly bounded initial conditions when the trajectories of particles stay uniformly bounded.


title: Scattering theory for Dirac fields near an extreme Kerr-de Sitter black hole

abstract: In this paper, we construct a scattering theory for classical massive Dirac fields near the "double" horizon of an extreme Kerr-de Sitter blackhole. Our main tool is the existence of a conjugate operator in the sense of Mourre theory. Additionally, despite the fact that effects of the rotation are 'amplified' near the double horizon, we show that one can still reduce our study to a 1-dimensional problem through an appropriate decomposition of the Hilbert space.


title: On $\alpha$-adjacency energy of graphs and Zagreb index

abstract: Let $A(G)$ be the adjacency matrix and $D(G)$ be the diagonal matrix of the vertex degrees of a simple connected graph $G$. Nikiforov defined the matrix $A_{\alpha}(G)$ of the convex combinations of $D(G)$ and $A(G)$ as $A_{\alpha}(G)=\alpha D(G)+(1-\alpha)A(G)$, for $0\leq \alpha\leq 1$. If $ \rho_{1}\geq \rho_{2}\geq \dots \geq \rho_{n}$ are the eigenvalues of $A_{\alpha}(G)$ (which we call $\alpha$-adjacency eigenvalues of $G$), the $ \alpha $-adjacency energy of $G$ is defined as $E^{A_{\alpha}}(G)=\sum_{i=1}^{n}\left|\rho_i-\frac{2\alpha m}{n}\right|$, where $n$ is the order and $m$ is the size of $G$. We obtain the upper and lower bounds for $E^{A_{\alpha}}(G) $ in terms of order $n$, size $m$ and Zagreb index $Zg(G)$ associated to the structure of $G$. Further, we characterize the extremal graphs attaining these bounds.


title: SEPAR: Towards Regulating Future of Work Multi-Platform Crowdworking Environments with Privacy Guarantees

abstract: Crowdworking platforms provide the opportunity for diverse workers to execute tasks for different requesters. The popularity of the "gig" economy has given rise to independent platforms that provide competing and complementary services. Workers as well as requesters with specific tasks may need to work for or avail from the services of multiple platforms resulting in the rise of multi-platform crowdworking systems. Recently, there has been increasing interest by governmental, legal and social institutions to enforce regulations, such as minimal and maximal work hours, on crowdworking platforms. Platforms within multi-platform crowdworking systems, therefore, need to collaborate to enforce cross-platform regulations. While collaborating to enforce global regulations requires the transparent sharing of information about tasks and their participants, the privacy of all participants needs to be preserved. In this paper, we propose an overall vision exploring the regulation, privacy, and architecture dimensions for the future of work multi-platform crowdworking environments. We then present SEPAR, a multi-platform crowdworking system that enforces a large sub-space of practical global regulations on a set of distributed independent platforms in a privacy-preserving manner. SEPAR, enforces privacy using lightweight and anonymous tokens, while transparency is achieved using fault-tolerant blockchains shared across multiple platforms. The privacy guarantees of SEPAR against covert adversaries are formalized and thoroughly demonstrated, while the experiments reveal the efficiency of SEPAR in terms of performance and scalability.


title: Leptogenesis in the minimal gauged U(1)$_{L_\mu-L_\tau}$ model and the sign of the cosmological baryon asymmetry

abstract: The minimal gauged U(1)$_{L_\mu-L_\tau}$ model is a simple extension of the Standard Model and has a strong predictive power for the neutrino sector. In particular, the mass spectrum and couplings of heavy right-handed neutrinos are determined as functions of three neutrino Dirac Yukawa couplings, with which we can evaluate the baryon asymmetry of the Universe generated through their decay, i.e., leptogenesis. In this letter, we study leptogenesis in the minimal gauged U(1)$_{L_\mu-L_\tau}$ model. It turns out that the sign of the resultant baryon asymmetry for the case with the Dirac CP phase, $\delta$, larger than $\pi$ is predicted to be opposite to that for $\delta < \pi$. In addition, if lepton asymmetry is dominantly produced by the decay of the lightest right-handed neutrino, then the correct sign of baryon asymmetry is obtained for $\delta > \pi$, which is favored by the current neutrino-oscillation experiments, whilst the wrong sign is obtained for $\delta < \pi$. We further investigate a non-thermal leptogenesis scenario where the U(1)$_{L_\mu-L_\tau}$ breaking field plays the role of inflaton and decays into right-handed neutrinos, as a concrete example. It is found that this simple framework offers a successful inflation that is consistent with the CMB observation. We then show that the observed amount of baryon asymmetry can be reproduced in this scenario, with its sign predicted to be positive in most of the parameter space.


title: Finite-Time Stability Under Denial of Service

abstract: Finite-time stability of networked control systems under Denial of Service (DoS) attacks are investigated in this paper, where the communication between the plant and the controller is compromised at some time intervals. Toward this goal, first an event-triggered mechanism based on the variation rate of the Lyapunov function is proposed such that the closed-loop system remains finite-time stable (FTS) and at the same time, the amount data exchange in the network is reduced. Next, the vulnerability of the proposed event-triggered finite-time controller in the presence of DoS attacks are evaluated and sufficient conditions on the DoS duration and frequency are obtained to assure the finite-time stability of the closed-loop system in the presence of DoS attack where no assumption on the DoS attack in terms of following a certain probabilistic or a well-structured periodic model is considered. Finally, the efficiency of the proposed approach is demonstrated through a simulation study.


title: Polarized rigid del Pezzo surfaces in low codimension

abstract: We provide explicit graded constructions of orbifold del Pezzo surfaces with rigid orbifold points of type $\left\{k_i\times\frac{1}{r_i}(1,a_i): 3\le r_i \le 10,k_i \in \ZZ_{\ge 0}\right\}$; as well-formed and quasismooth varieties embedded in some weighted projective space. In particular, we present a collection of 147 such surfaces such that their image under their anti-canonical embeddings can be described by using one of the following sets of equations: a single equation, two linearly independent equations, five maximal Pfaffians of $5\times 5$ skew symmetric matrix, and nine $2\times 2$ minors of size 3 square matrix. This is a complete classification of such surfaces under certain carefully chosen bounds on the weights of ambient weighted projective spaces and it is largely based on detailed computer-assisted searches by using the computer algebra system \textsc{magma}.


title: Transcriptional landscape of SARS-CoV-2 infection dismantles pathogenic pathways activated by the virus, proposes unique sex-specific differences and predicts tailored therapeutic strategies

abstract: The emergence of the severe acute respiratory syndrome coronavirus 2 (SARS-CoV-2) disease (COVID-19) has posed a serious threat to global health. As no specific therapeutics are yet available to control disease evolution, more in-depth understanding of the pathogenic mechanisms induced by SARS-CoV-2 will help to characterize new targets for the management of COVID-19. The present study identified a specific set of biological pathways altered in primary human lung epithelium upon SARS-CoV-2 infection, and a comparison with SARS-CoV from the 2003 pandemic was studied. The transcriptomic profiles were also exploited as possible novel therapeutic targets, and anti-signature perturbation analysis predicted potential drugs to control disease progression. Among them, Mitogen-activated protein kinase kinase (MEK), serine-threonine kinase (AKT), mammalian target of rapamycin (mTOR) and I kappa B Kinase (IKK) inhibitors emerged as candidate drugs. Finally, sex-specific differences that may underlie the higher COVID-19 mortality in men are proposed.


title: On Secure Coded Caching via Combinatorial Method

abstract: Coded caching is an efficient way to reduce network traffic congestion during peak hours by storing some content at the user's local cache memory without knowledge of later demands. The goal of coded caching design is to minimize the transmission rate and the subpacketization. In practice the demand for each user is sensitive since one can get the other users' preferences when it gets the other users' demands. The first coded caching scheme with private demands was proposed by Wan et al. However the transmission rate and the subpacketization of their scheme increase with the file number stored in the library. In this paper we consider the following secure coded caching: prevent the wiretappers from obtaining any information about the files in the server and protect the demands from all the users in the delivery phase. We firstly introduce a combinatorial structure called secure placement delivery array (SPDA in short) to realize a coded caching scheme for our security setting. Then we obtain three classes of secure schemes by constructing SPDAs, where one of them is optimal. It is worth noting that the transmission rates and the subpacketizations of our schemes are independent to the file number. Furthermore, comparing with the previously known schemes with the same security setting, our schemes have significantly advantages on the subpacketizations and for some parameters have the advantage on the transmission rates.


title: Non-Hermitian Aharonov-Bohm Cage

abstract: Aharonov-Bohm (AB) cage has a spectrum fully constituted by the flat bands and has the capacity to confine arbitrary excitation. The confined excitation in coupled waveguides propagates without diffraction. Exploited the unidirectionality of the exceptional point (EP), we first propose the non-Hermitian AB cage in the photonic crystal with inversion symmetry or combined-inversion symmetry. Alternatively, the destructive interference of the synthetic magnetic flux incorporated with gain and loss at the EP is then shown to be able to induce the non-Hermitian AB cage. The spectrum of the non-Hermitian AB cage is entirely constituted by the coalesced flat bands. The light excitation is still confined regardless of the nonunitary dynamics caused by the non-Hermiticity, but the localization area may alter. The non-Hermitian AB caging can also be observed in the passive photonic crystals including coupled waveguides. These findings pave the way of light control and manipulation in the non-Hermitian integrated photonics.


title: Locally testable codes via high-dimensional expanders

abstract: Locally testable codes (LTC) are error-correcting codes that have a local tester which can distinguish valid codewords from words that are "far" from all codewords by probing a given word only at a very few (sublinear, typically constant) number of locations. Such codes form the combinatorial backbone of PCPs. A major open problem is whether there exist LTCs with positive rate, constant relative distance and testable with a constant number of queries. In this paper, we present a new approach towards constructing such LTCs using the machinery of high-dimensional expanders. To this end, we consider the Tanner representation of a code, which is specified by a graph and a base code. Informally, our result states that if this graph is part of a high-dimensional expander then the local testability of the code follows from the local testability of the base code. This work unifies and generalizes the known results on testability of the Hadamard, Reed-Muller and lifted codes on the Subspace Complex, all of which are proved via local self correction. However, unlike previous results, constant rounds of self correction do not suffice as the diameter of the underlying test graph can be logarithmically large in a high-dimensional expander and not constant as in all known earlier results. We overcome this technical hurdle by performing iterative self correction with logarithmically many rounds and tightly controlling the error in each iteration using properties of the high-dimensional expander. Given this result, the missing ingredient towards constructing a constant-query LTC with positive rate and constant relative distance is an instantiation of a base code that interacts well with a constant-degree high-dimensional expander.


title: Global Existence and Uniform Estimates of Solution to Reaction Diffusion Systems with Mass Transport Type Boundary Conditions

abstract: We consider reaction diffusion systems where components diffuse inside the domain and react on the surface through mass transport type boundary conditions. Under reasonable hypotheses, we establish the existence of component wise non-negative global solutions which are uniformly bounded in the sup norm.


title: Fusion of visible and infrared images via complex function

abstract: We propose an algorithm for the fusion of partial images collected from the visual and infrared cameras such that the visual and infrared images are the real and imaginary parts of a complex function. The proposed image fusion algorithm of the complex function is a generalization for the algorithm of conventional image addition in the same way as the addition of complex numbers is the generalization for the addition of real numbers. The proposed algorithm of the complex function is simple in use and non-demanding in computer power. The complex form of the fused image opens a possibility to form the fused image either as the amplitude image or as a phase image, which in turn can be in several forms. We show theoretically that the local contrast of the fused phase images is higher than those of the partial images as well as in comparison with the images obtained by the algorithm of the simple or weighted addition. Experimental image quality assessment of the fused phase images performed using the histograms, entropy shows the higher quality of the phase images in comparison with those of the input partial images as well as those obtained with different fusion methods reported in the literature. Keywords: digital image processing, image fusion, infrared imaging, image quality assessment


title: Thermodynamical property of entanglement entropy and deconfinement phase transition

abstract: We analyze the holographic entanglement entropy in a soliton background with Wilson lines and derive a relation analogous to the first law of thermodynamics. The confinement/deconfinement phase transition occurs due to the competition of two minimal surfaces. The entropic c function probes the confinement/deconfinement phase transition. It is sensitive to the degrees of freedom (DOF) smaller than the size of a spatial circle. When the Wilson line becomes large, the entropic c function becomes non-monotonic as a function of the size and does not satisfy the usual c-theorem. We analyze the entanglement entropy for a small subregion and the relation analogous to the first law of thermodynamics. For the small amount of Wilson lines, the excited amount of the entanglement entropy decreases from the ground state. It reflects that confinement decreases degrees of freedom. We finally discuss the second order correction of the holographic entanglement entropy.


title: Lattice of intermediate subalgebras

abstract: Analogous to subfactor theory, employing Watatani's notions of index and $C^*$-basic construction of certain inclusions of $C^*$-algebras, (a) we develop a Fourier theory (consisting of Fourier transforms, rotation maps and shift operators) on the relative commutants of any inclusion of simple unital $C^*$-algebras with finite Watatani index, and (b) we introduce the notions of interior and exterior angles between intermediate $C^*$-subalgebras of any inclusion of unital $C^*$-algebras admitting a finite index conditional expectation. Then, on the lines of [2], we apply these concepts to obtain a bound for the cardinality of the lattice of intermediate $C^*$-subalgebras of any irreducible inclusion as in (a), and improve Longo's bound for the cardinality of intermediate subfactors of an inclusion of type $III$ factors with finite index. Moreover, we also show that for a fairly large class of inclusions of finite von Neumann algebras, the lattice of intermediate von Neumann subalgebras is always finite.


title: Semicomplete Compositions of Digraphs

abstract: Let $T$ be a digraph with vertices $u_1, \dots, u_t$ ($t\ge 2$) and let $H_1, \dots, H_t$ be digraphs such that $H_i$ has vertices $u_{i,j_i},\ 1\le j_i\le n_i.$ Then the composition $Q=T[H_1, \dots, H_t]$ is a digraph with vertex set $\{u_{i,j_i}\colon\, 1\le i\le t, 1\le j_i\le n_i\}$ and arc set $$A(Q)=\cup^t_{i=1}A(H_i)\cup \{u_{ij_i}u_{pq_p}\colon\, u_iu_p\in A(T), 1\le j_i\le n_i, 1\le q_p\le n_p\}.$$ The composition $Q=T[H_1, \dots, H_t]$ is a semicomplete composition if $T$ is semicomplete, i.e. there is at least one arc between every pair of vertices. Digraph compositions generalize some families of digraphs, including (extended) semicomplete digraphs, quasi-transitive digraphs and lexicographic product digraphs. In particular, strong semicomplete compositions form a significant generalization of strong quasi-transitive digraphs. In this paper, we study the structural properties of semicomplete compositions and obtain results on connectivity, paths, cycles, strong spanning subdigraphs and acyclic spanning subgraphs. Our results show that this class of digraphs shares some nice properties of quasi-transitive digraphs.


title: Adsorption time scales of cluster-forming systems

abstract: A microscopic model of adsorption in cluster forming systems with competing interaction is considered. The adsorption process is described by the master equation and modelled by a kinetic Monte Carlo method. The evolution of the particle concentration and interaction energy during the adsorption of particles on a plane triangular lattice is investigated. The simulation results show a diverse behavior of the system time evolution depending on the temperature and chemical potential and finally on the formation of clusters in the system. The characteristic relaxation times of adsorption vary in several orders of magnitude depending on the thermodynamic parameters of the final equilibrium state of the adsorbate. A very fast adsorption of particles is observed for highly ordered adsorbate equilibrium states.


title: A dynamic programming approach for distributing quantum circuits by bipartite graphs

abstract: Near-term large quantum computers are not able to operate as a single processing unit. It is therefore required to partition a quantum circuit into smaller parts, and then each part is executed on a small unit. This approach is known as distributed quantum computation. In this study, a dynamic programming algorithm is proposed to minimize the number of communications in a distributed quantum circuit (DQC). This algorithm consists of two steps: first, the quantum circuit is converted into a bipartite graph model, and then a dynamic programming approach (DP) is proposed to partition the model into low-capacity quantum circuits. The proposed approach is evaluated on some benchmark quantum circuits with remarkable reduction in the number of required teleportations.


title: Energy Efficient User Clustering, Hybrid Precoding and Power Optimization in Terahertz MIMO-NOMA Systems

abstract: Terahertz (THz) band communication has been widely studied to meet the future demand for ultra-high capacity. In addition, multi-input multi-output (MIMO) technique and non-orthogonal multiple access (NOMA) technique with multi-antenna also enable the network to carry more users and provide multiplexing gain. In this paper, we study the maximization of energy efficiency (EE) problem in THz-NOMA-MIMO systems for the first time. And the original optimization problem is divided into user clustering, hybrid precoding and power optimization. Based on channel correlation characteristics, a fast convergence scheme for user clustering in THz-NOMA-MIMO system using enhanced K-means machine learning algorithm is proposed. Considering the power consumption and implementation complexity, the hybrid precoding scheme based on the sub-connection structure is adopted. Considering the fronthaul link capacity constraint, we design a distributed alternating direction method of multipliers (ADMM) algorithm for power allocation to maximize the EE of THz-NOMA cache-enabled system with imperfect successive interference cancellation (SIC). The simulation results show that the proposed user clustering scheme can achieve faster convergence and higher EE, the design of the hybrid precoding of the sub-connection structure can achieve lower power consumption and power optimization can achieve a higher EE for the THz cache-enabled network.


title: KF, PKF, and Reinhardt's Program

abstract: In 'Some Remarks on Extending an Interpreting Theories with a Partial Truth Predicate' Reinhardt famously proposed an instrumentalist interpretation of the truth theory Kripke-Feferman (KF) in analogy to Hilbert's program. Reinhardt suggested to view KF as a tool for generating 'the significant part of KF', that is, as a tool for deriving sentences of the form $T\ulcorner\varphi\urcorner$. The constitutive question of Reinhardt's program was whether it was possible "to justify the use of nonsignificant sentences entirely within the framework of significant sentences"? This question was answered negatively by Halbach and Horsten (2006) but we argue that under a more careful interpretation the question may receive a positive answer. To this end, we propose to shift attention from KF-provably true sentences to KF-provably true inferences, that is, we shall identify the significant part of KF with the set of pairs $\langle\Gamma, \Delta\rangle$, such that KF proves that if all members of $\Gamma$ are true, at least one member of $\Delta$ is true. In way of addressing Reinhardt's question we show that the provably true inferences of KF coincide with the provable sequents of the theory Partial Kripke-Feferman (PKF).


title: Faces in random great hypersphere tessellations

abstract: The concept of typical and weighted typical spherical faces for tessellations of the $d$-dimensional unit sphere, generated by $n$ independent random great hyperspheres distributed according to a non-degenerate directional distribution, is introduced and studied. Probabilistic interpretations for such spherical faces are given and their directional distributions are determined. Explicit formulas for the expected $f$-vector, the expected spherical Querma\ss integrals and the expected spherical intrinsic volumes are found in the isotropic case. Their limiting behaviour as $n\to\infty$ is discussed and compared to the corresponding notions and results in the Euclidean case. The expected statistical dimension and a problem related to intersection probabilities of spherical random polytopes is investigated.


title: NTIRE 2020 Challenge on Perceptual Extreme Super-Resolution: Methods and Results

abstract: This paper reviews the NTIRE 2020 challenge on perceptual extreme super-resolution with focus on proposed solutions and results. The challenge task was to super-resolve an input image with a magnification factor 16 based on a set of prior examples of low and corresponding high resolution images. The goal is to obtain a network design capable to produce high resolution results with the best perceptual quality and similar to the ground truth. The track had 280 registered participants, and 19 teams submitted the final results. They gauge the state-of-the-art in single image super-resolution.


title: Information geometry in cosmological inference problems

abstract: Statistical inference more often than not involves models which are non-linear in the parameters thus leading to non-Gaussian posteriors. Many computational and analytical tools exist that can deal with non-Gaussian distributions, and empirical Gaussianisation transforms can reduce the amount of non-Gaussianity in a distribution. Alternatively, in this work, we employ methods from information geometry. The latter formulates a set of probability distributions for some given model as a manifold employing a Riemannian structure, equipped with a metric, the Fisher information. In this framework we study the differential geometrical meaning of non-Gaussianities in a higher order Fisher approximation, and their respective transformation behaviour under re-parameterisation, which corresponds to a chart transition on the statistical manifold. While weak non-Gaussianities vanish in normal coordinates in a first order approximation, one can in general not find transformations that discard non-Gaussianities globally. As an application we consider the likelihood of the supernovae distance-redshift relation in cosmology for the parameter pair ($\Omega_{\mathrm{m_0}}$, $w$). We demonstrate the connection between confidence intervals and geodesic length and demonstrate how the Lie-derivative along the degeneracy directions gives hints at possible isometries of the Fisher metric.


title: Gaussian linear model selection in a dependent context

abstract: In this paper, we study the nonparametric linear model, when the error process is a dependent Gaussian process. We focus on the estimation of the mean vector via a model selection approach. We first give the general theoretical form of the penalty function, ensuring that the penalized estimator among a collection of models satisfies an oracle inequality. Then we derive a penalty shape involving the spectral radius of the covariance matrix of the errors, which can be chosen proportional to the dimension when the error process is stationary and short range dependent. However, this penalty can be too rough in some cases, in particular when the error process is long range dependent. In a second part, we focus on the fixed-design regression model assuming that the error process is a stationary Gaussian process. We propose a model selection procedure in order to estimate the mean function via piecewise polynomials on a regular partition, when the error process is either short range dependent, long range dependent or anti-persistent. We present different kinds of penalties, depending on the memory of the process. For each case, an adaptive estimator is built, and the rates of convergence are computed. Thanks to several sets of simulations, we study the performance of these different penalties for all types of errors (short memory, long memory and anti-persistent errors). Finally, we give an application of our method to the well-known Nile data, which clearly shows that the type of dependence of the error process must be taken into account.


title: The Endless Beta Integrals

abstract: We consider a special degeneration limit $\omega_1\to - \omega_2$ (or $b\to {\rm i}$ in the context of $2d$ Liouville quantum field theory) for the most general univariate hyperbolic beta integral. This limit is also applied to the most general hyperbolic analogue of the Euler-Gauss hypergeometric function and its $W(E_7)$ group of symmetry transformations. Resulting functions are identified as hypergeometric functions over the field of complex numbers related to the ${\rm SL}(2,\mathbb{C})$ group. A new similar nontrivial hypergeometric degeneration of the Faddeev modular quantum dilogarithm (or hyperbolic gamma function) is discovered in the limit $\omega_1\to \omega_2$ (or $b\to 1$).


title: Cost-Effective Bad Synchrophasor Data Detection Based on Unsupervised Time Series Data Analytics

abstract: In modern smart grids deployed with various advanced sensors, e.g., phasor measurement units (PMUs), bad (anomalous) measurements are always inevitable in practice. Considering the imperative need for filtering out potential bad data, this paper develops a novel online bad PMU data detection (BPDD) approach for regional phasor data concentrators (PDCs) by sufficiently exploring spatial-temporal correlations. With no need for costly data labeling or iterative learning, it performs model-free, label-free, and non-iterative BPDD in power grids from a new data-driven perspective of spatial-temporal nearest neighbor (STNN) discovery. Specifically, spatial-temporally correlated regional measurements acquired by PMUs are first gathered as a spatial-temporal time series (TS) profile. Afterwards, TS subsequences contaminated with bad PMU data are identified by characterizing anomalous STNNs. To make the whole approach competent in processing online streaming PMU data, an efficient strategy for accelerating STNN discovery is carefully designed. Different from existing data-driven BPDD solutions requiring either costly offline dataset preparation/training or computationally intensive online optimization, it can be implemented in a highly cost-effective way, thereby being more applicable and scalable in practical contexts. Numerical test results on the Nordic test system and the realistic China Southern Power Grid demonstrate the reliability, efficiency and scalability of the proposed approach in practical online monitoring.


title: Relative variations of nonlinear elastic moduli in polystyrene-based nanocomposites

abstract: In this paper we apply the methodology based on the analysis of changes in acoustic wave velocities under static stress for measurements of the third-order elastic moduli in three polystyrene-based nanocomposites with different fillers: SiO2 particles, halloysite natural tubules, and carbon black particles. The samples were fabricated by the same technology and our data provide information on relative changes of nonlinear properties of the composites caused by addition of the fillers. The data obtained for composites are compared with that for commercial grade polystyrene. The substantial variations of the nonlinear elastic moduli for composites with different types of fillers are demonstrated and analyzed. The results are in a qualitative agreement with theoretical predictions.


title: Eisenstein cohomology for orthogonal groups and the special values of $L$-functions for ${\rm GL}_1 \times {\rm O}(2n)$

abstract: For an even positive integer $n$, we study rank-one Eisenstein cohomology of the split orthogonal group ${\rm O}(2n+2)$ over a totally real number field $F.$ This is used to prove a rationality result for the ratios of successive critical values of degree-$2n$ Langlands $L$-functions associated to the group ${\rm GL}_1 \times {\rm O}(2n)$ over $F$. The case $n=2$ specializes to classical results of Shimura on the special values of Rankin - Selberg $L$-functions attached to a pair of Hilbert modular forms.


title: A Two-Stage Masked LM Method for Term Set Expansion

abstract: We tackle the task of Term Set Expansion (TSE): given a small seed set of example terms from a semantic class, finding more members of that class. The task is of great practical utility, and also of theoretical utility as it requires generalization from few examples. Previous approaches to the TSE task can be characterized as either distributional or pattern-based. We harness the power of neural masked language models (MLM) and propose a novel TSE algorithm, which combines the pattern-based and distributional approaches. Due to the small size of the seed set, fine-tuning methods are not effective, calling for more creative use of the MLM. The gist of the idea is to use the MLM to first mine for informative patterns with respect to the seed set, and then to obtain more members of the seed class by generalizing these patterns. Our method outperforms state-of-the-art TSE algorithms. Implementation is available at: https://github.com/ guykush/TermSetExpansion-MPB/


title: Compact intermediate-mass black hole X-ray binaries: potential LISA sources?

abstract: The scientific aim of the space gravitational wave (GW) detector Laser Interferometer Space Antenna (LISA) that was scheduled to launch in the early 2030s is to detect the low-frequency GW signals in the Galaxy. Its main candidate GW sources are compact binaries of white dwarfs and neutron stars. In this work, we examine whether compact intermediate-mass black hole (IMBH) X-ray binaries could be potential LISA sources. Our simulations indicate that IMBH binary with a 1000 $M_{\odot}$ IMBH and a 3 $M_{\odot}$ donor star in an orbit of initial orbital period near the so-called bifurcation period of 0.77 d could evolve into an ultra-compact X-ray binary, which will emit GW signals with maximum frequency of 2.5 mHz. According to the evolutionary tracks of characteristic strain, IMBH X-ray binaries with the initial donor-star masses of $1-3~M_{\odot}$ and the initial orbital periods slightly less than the bifurcation periods will be detectable by the LISA in a distance of 15 kpc. Assuming each of 60 Galactic globular clusters hosts a 1000 $M_{\odot}$ IMBH, the maximum number of compact IMBH X-ray binaries that LISA will detect in the Galaxy should be less than ten. Therefore, the detectability of compact IMBH X-ray binaries by the LISA is not optimistic.


title: Electron transparency of a Micromegas mesh

abstract: Measurements of the electron transparency of a Micromegas mesh are compared to simulations. The flux conservation argument is shown to lead to inaccurate estimates of the transparency, the importance of accurate geometric modelling of the mesh is discussed and the effect of the dipole moment of the mesh is demonstrated. This study provides a validation of the microscopic simulation methods specifically developed for micropattern devices where the characteristic dimensions are of the same order of magnitude as the electron mean free path in the gas.


title: Quantum-Well Laser Diodes for Frequency Comb Spectroscopy

abstract: We demonstrate simple optical frequency combs based on semiconductor quantum well laser diodes. The frequency comb spectrum can be tailored by choice of material properties and quantum-well widths, providing spectral flexibility. Finally, we demonstrate the mutual coherence of these devices by using two frequency combs on the same device to generate a radio-frequency dual comb spectrum.


title: Some formulae for coefficients in restricted $q$-products

abstract: In this paper, we derive some formulae involving coefficients of polynomials which occur quite naturally in the study of restricted partitions. Our method involves a recently discovered sieve technique by Li and Wan (Sci. China. Math. 2010). Based on this method, by considering cyclic groups of different orders we obtain some new results for these coefficients. The general result holds for any group of the form $\mathbb{Z}_{N}$ where $N\in\mathbb{N}$ and expresses certain partial sums of coefficients in terms of expressions involving roots of unity. By specializing $N$ to different values, we see that these expressions simplify in some cases and we obtain several nice identities involving these coefficients. We also use a result of Sudler (QJMAAT 1964) to obtain an asymptotic formula for the maximum absolute value of these coefficients.


title: On 3-folds having a holomorphic torus action with 6 fixed points

abstract: We study $3$-folds with an action of a algebraic torus $T$ and finite fixed point set. In particular, assuming the torus action has (exactly) $6$ fixed points we show that aside from Mori fibre spaces, the topology of such spaces is strongly restricted. For $T= \mathbb{C}^{*}$ we prove that there are two explicit infinite families plus a finite number of exceptional cases. For $T = \mathbb{C}^{*} \times \mathbb{C}^{*}$ there are $2$ exceptional cases which are described explicitly.


title: Witten Anomaly in 4d Heterotic Compactificaitons with N = 2 Supersymmetry

abstract: We showed that there is no SU(2) Witten anomaly in a large class of 4d N = 2 supersymmetric Heterotic string compactifications. The consistency conditions we consider are the modularity of the new supersymmetric index, the integrality of BPS indices, and the discrete Peccei-Quinn shift symmetries. We also found an example where these conditions are not sufficient to show that the theory is anomaly free. This suggests that there are more conditions in the worldsheet SCFT essential for consistent string compactifications.


title: A note on restricted invertibility with weighted columns

abstract: The restricted invertibility theorem was originally introduced by Bourgain and Tzafriri in $1987$ and has been considered as one of the most celebrated theorems in geometry and analysis. In this note, we present weighted versions of this theorem with slightly better estimates. Particularly, we show that for any $A\in\mathbb{R}^{n\times m}$ and $k,r\in\mathbb{N}$ with $k\leq r\leq \mbox{rank}(A)$, there exists a subset $\mathcal{S}$ of size $k$ such that $\sigma_{\min}(A_{\mathcal{S}}W_{\mathcal{S}})^2\geq \frac{(\sqrt{r}-\sqrt{k-1})^2}{\|W^{-1}\|_F^{2}}\cdot\frac{r}{\sum_{i=1}^{r}\sigma_{i}(A)^{-2}}$, where $W=\mbox{diag}(w_1,\ldots,w_m)$ with $w_i$ being the weight of the $i$-th column of $A$. Our constructions are algorithmic and employ the interlacing families of polynomials developed by Marcus, Spielman, and Srivastava.


title: Revisiting Parameter Synthesis for One-Counter Automata

abstract: We study the (parameter) synthesis problem for one-counter automata with parameters. One-counter automata are obtained by extending classical finite-state automata with a counter whose value can range over non-negative integers and be tested for zero. The updates and tests applicable to the counter can further be made parametric by introducing a set of integer-valued variables called parameters. The synthesis problem for such automata asks whether there exists a valuation of the parameters such that all infinite runs of the automaton satisfy some omega-regular property. Lechner showed that (the complement of) the problem can be encoded in a restricted one-alternation fragment of Presburger arithmetic with divisibility. In this work (i) we argue that said fragment, called AERPADPLUS, is unfortunately undecidable. Nevertheless, by a careful re-encoding of the problem into a decidable restriction of AERPADPLUS, (ii) we prove that the synthesis problem is decidable in general and in N2EXP for several fixed omega-regular properties. Finally, (iii) we give a polynomial-space algorithm for the special case of the problem where parameters can only be used in tests, and not updates, of the counter.


title: The Criteria for Quantum Teleportation of an Arbitrary Two-Qubit State Information Based on The Channel Matrices

abstract: We propose channel matrices by using unfolding matrices from their reduced density matrices. These channel matrices can be a criterion for a channel whether the channel can teleport or not any qubit state. We consider a special case, teleportation of the arbitrary two-qubit state by using the four-qubit channel. The four-qubit channel can only teleport if the rank of the related channel matrix is four.


title: Schemes of modules over gentle algebras and laminations of surfaces

abstract: We study the affine schemes of modules over gentle algebras. We describe the smooth points of these schemes, and we also analyze their irreducible components in detail. Several of our results generalize formerly known results, e.g. by dropping acyclicity, and by incorporating band modules. A special class of gentle algebras are Jacobian algebras arising from triangulations of unpunctured marked surfaces. For these we obtain a bijection between the set of generically tau-reduced decorated irreducible components and the set of laminations of the surface. As an application, we get that the set of bangle functions (defined by Musiker-Schiffler-Williams) in the upper cluster algebra associated with the surface coincides with the set of generic Caldero-Chapoton functions.


title: Reentrant superconductivity in UTe$_2$

abstract: The reentrant superconductivity is the peculiar phenomenon observed in paramagnetic metal UTe$_2$ in magnetic field parallel to the hard magnetisation axis. It is difficult to explain it in terms of field dependent intensity of magnetic fluctuations like it is done for explanation of the formally similar phenomena in the ferromagnetic uranium superconductors URhGe, UCoGe. Extremely large initial slope of the upper critical field temperature dependence suggests that the phenomenon has the quasi-two-dimensional nature. Indeed, according to the recent band structure calculations by Yuanji Xu et al, Phys.Rev. Lett. {\bf 123}, 217002 (2019) the Fermi surface of UTe$_2$ consists of two types slightly corrugated cylinders.The theory of reentrant superconductivity in UTe$_2$ based on its quasi-two-dimensional structure is presented here.


title: Autoencoders for strategic decision support

abstract: In the majority of executive domains, a notion of normality is involved in most strategic decisions. However, few data-driven tools that support strategic decision-making are available. We introduce and extend the use of autoencoders to provide strategically relevant granular feedback. A first experiment indicates that experts are inconsistent in their decision making, highlighting the need for strategic decision support. Furthermore, using two large industry-provided human resources datasets, the proposed solution is evaluated in terms of ranking accuracy, synergy with human experts, and dimension-level feedback. This three-point scheme is validated using (a) synthetic data, (b) the perspective of data quality, (c) blind expert validation, and (d) transparent expert evaluation. Our study confirms several principal weaknesses of human decision-making and stresses the importance of synergy between a model and humans. Moreover, unsupervised learning and in particular the autoencoder are shown to be valuable tools for strategic decision-making.


title: The complexity of approximating the complex-valued Potts model

abstract: We study the complexity of approximating the partition function of the $q$-state Potts model and the closely related Tutte polynomial for complex values of the underlying parameters. Apart from the classical connections with quantum computing and phase transitions in statistical physics, recent work in approximate counting has shown that the behaviour in the complex plane, and more precisely the location of zeros, is strongly connected with the complexity of the approximation problem, even for positive real-valued parameters. Previous work in the complex plane by Goldberg and Guo focused on $q=2$, which corresponds to the case of the Ising model; for $q>2$, the behaviour in the complex plane is not as well understood and most work applies only to the real-valued Tutte plane. Our main result is a complete classification of the complexity of the approximation problems for all non-real values of the parameters, by establishing \#P-hardness results that apply even when restricted to planar graphs. Our techniques apply to all $q\geq 2$ and further complement/refine previous results both for the Ising model and the Tutte plane, answering in particular a question raised by Bordewich, Freedman, Lov\'{a}sz and Welsh in the context of quantum computations.


title: A local representation formula for quaternionic slice regular functions

abstract: After their introduction in 2006, quaternionic slice regular functions have mostly been studied over domains that are symmetric with respect to the real axis. This choice was motivated by some foundational results published in 2009, such as the Representation Formula for axially symmetric domains. The present work studies slice regular functions over domains that are not axially symmetric, partly correcting the hypotheses of some previously published results. In particular, this work includes a Local Representation Formula valid without the symmetry hypothesis. Moreover, it determines a class of domains, called simple, having the following property: every slice regular function on a simple domain can be uniquely extended to the symmetric completion of its domain.


title: Residue classes free of values of Euler's function

abstract: We characterize which residue classes contain infinitely many totients (values of Euler's function) and which do not. We show that the union of all residue classes that are totient-free has asymptotic density 3/4, that is, almost all numbers that are 2 mod 4 are in a residue class that is totient-free. In the other direction, we show the existence of a positive density of odd numbers m, such that for any $s\ge0$ and any even number $a$, the residue class $a\pmod{2^sm}$ contains infinitely many totients.


title: Distributed Second-order Multi-Agent Optimization over unbalanced network without boundedness of gradients

abstract: This paper is mainly devoted to the distributed second-order multi-agent optimization problem with unbalanced and directed networks. To deal with this problem, a new distributed algorithm is proposed based on the local neighbor information and the private objective functions. By a coordination transformation, the closed-loop system is divided into two first-order subsystems, which is easier to be dealt with. Under the assumption of the strong connectivity of networks, it is proved that all agent can collaboratively converge to some optimal solution of the team objective function, where the gradient of the private objective functions is not assumed to be bounded.


title: The Maximum Number of Cliques in Hypergraphs without Large Matchings

abstract: Let $[n]$ denote the set $\{1, 2, \ldots, n\}$ and $\mathcal{F}^{(r)}_{n,k,a}$ be an $r$-uniform hypergraph on the vertex set $[n]$ with edge set consisting of all the $r$-element subsets of $[n]$ that contains at least $a$ vertices in $[ak+a-1]$. For $n\geq 2rk$, Frankl proved that $\mathcal{F}^{(r)}_{n,k,1}$ maximizes the number of edges in $r$-uniform hypergraphs on $n$ vertices with the matching number at most $k$. Huang, Loh and Sudakov considered a multicolored version of the Erd\H{o}s matching conjecture, and provided a sufficient condition on the number of edges for a multicolored hypergraph to contain a rainbow matching of size $k$. In this paper, we show that $\mathcal{F}^{(r)}_{n,k,a}$ maximizes the number of $s$-cliques in $r$-uniform hypergraphs on $n$ vertices with the matching number at most $k$ for sufficiently large $n$, where $a=\lfloor \frac{s-r}{k} \rfloor+1$. We also obtain a condition on the number of $s$-clques for a multicolored $r$-uniform hypergraph to contain a rainbow matching of size $k$, which reduces to the condition of Huang, Loh and Sudakov when $s=r$.


title: Multialternative Neural Decision Processes

abstract: We introduce an algorithmic decision process for multialternative choice that combines binary comparisons and Markovian exploration. We show that a preferential property, transitivity, makes it testable.


title: Low-complexity Learning of Linear Quadratic Regulators from Noisy Data

abstract: This paper considers the Linear Quadratic Regulator problem for linear systems with unknown dynamics, a central problem in data-driven control and reinforcement learning. We propose a method that uses data to directly return a controller without estimating a model of the system. Sufficient conditions are given under which this method returns a stabilizing controller with guaranteed relative error when the data used to design the controller are affected by noise. This method has low complexity as it only requires a finite number of samples of the system response to a sufficiently exciting input, and can be efficiently implemented as a semi-definite program. Further, the method does not require assumptions on the noise statistics, and the relative error nicely scales with the noise magnitude.


title: The reduction of the number of incoherent Kraus operations for qutrit systems

abstract: Quantum coherence is a fundamental property that can emerge within any quantum system. Incoherent operations, defined in terms of the Kraus decomposition, take an important role in state transformation. The maximum number of incoherent Kraus operators has been presented in [A. Streltsov, S. Rana, P. Boes, J. Eisert, Phys. Rev. Lett. 119. 140402 (2017)]. In this work, we show that the number of incoherent Kraus operators for a single qubit can be reduced from 5 to 4 by constructing a proper unitary matrix. For qutrit systems we further obtain 32 incoherent Kraus operators, while the upper bound in the research of Sterltsov gives 39 Kraus operators. Besides, we reduce the number of strictly incoherent Kraus operators from more than 15 to 13. And we consider the state transformation problem for these two types of operations in single qutrit systems.


title: Moduli of parabolic sheaves and filtered Kronecker modules

abstract: We give functorial moduli construction of pure parabolic sheaves, in the sense of Alvarez-Consul and A. King, using the moduli of filtered Kronecker modules we introduced in our earlier work. We also use a version of S. G. Langton's result due to K. Yokogawa to deduce the projectivity of moduli of pure parabolic sheaves of maximal dimension. As an application of functorial moduli construction, we can get the morphisms at the level of moduli stacks.


title: A construction of SKT manifolds using toric geometry

abstract: We produce infinite families of SKT manifolds by using methods of toric geometry like the $J$-construction. These SKT manifolds are total spaces of certain principal $G$-bundles over smooth projective toric varieties, where $G$ is an even dimensional compact connected Lie group.


title: Noncommutative partially convex rational functions

abstract: Motivated by classical notions of bilinear matrix inequalities (BMIs) and partial convexity, this article investigates partial convexity for noncommutative functions. It is shown that noncommutative rational functions that are partially convex admit novel butterfly-type realizations that necessitate square roots. The notion of xy-convexity, a strengthening of partial convexity arising in connection with BMIs, is also considered. A characterization of xy-convex polynomials is given.


title: Hochschild cohomology of twisted tensor products

abstract: For a tensor product of algebras twisted by a bicharacter, we completely describe its Hochschild cohomology, as a Gerstenhaber algebra, in terms of the Hochschild cohomology of its component parts. This description generalizes a result of Bergh and Oppermann. It allows us to significantly simplify various calculations in the literature, and to compute Hochschild cohomology for a number of new examples.


title: A note on the isotonic vector-valued convex functions

abstract: The property of isotonicity of a continuous convex function defined on the entire space or only on the positive cone is characterized via subdifferentials. Numerous examples illustrating the obtained results are included.


title: Towards accurate quantitative photoacoustic imaging: learning vascular blood oxygen saturation in 3D

abstract: Significance: 2D fully convolutional neural networks have been shown capable of producing maps of sO$_2$ from 2D simulated images of simple tissue models. However, their potential to produce accurate estimates in vivo is uncertain as they are limited by the 2D nature of the training data when the problem is inherently 3D, and they have not been tested with realistic images. Aim: To demonstrate the capability of deep neural networks to process whole 3D images and output 3D maps of vascular sO$_2$ from realistic tissue models/images. Approach: Two separate fully convolutional neural networks were trained to produce 3D maps of vascular blood oxygen saturation and vessel positions from multiwavelength simulated images of tissue models. Results: The mean of the absolute difference between the true mean vessel sO$_2$ and the network output for 40 examples was 4.4% and the standard deviation was 4.5%. Conclusions: 3D fully convolutional networks were shown capable of producing accurate sO$_2$ maps using the full extent of spatial information contained within 3D images generated under conditions mimicking real imaging scenarios. This work demonstrates that networks can cope with some of the confounding effects present in real images such as limited-view artefacts, and have the potential to produce accurate estimates in vivo.


title: Filtering Internal Tides From Wide-Swath Altimeter Data Using Convolutional Neural Networks

abstract: The upcoming Surface Water Ocean Topography (SWOT) satellite altimetry mission is expected to yield two-dimensional high-resolution measurements of Sea Surface Height (SSH), thus allowing for a better characterization of the mesoscale and submesoscale eddy field. However, to fulfill the promises of this mission, filtering the tidal component of the SSH measurements is necessary. This challenging problem is crucial since the posterior studies done by physical oceanographers using SWOT data will depend heavily on the selected filtering schemes. In this paper, we cast this problem into a supervised learning framework and propose the use of convolutional neural networks (ConvNets) to estimate fields free of internal tide signals. Numerical experiments based on an advanced North Atlantic simulation of the ocean circulation (eNATL60) show that our ConvNet considerably reduces the imprint of the internal waves in SSH data even in regions unseen by the neural network. We also investigate the relevance of considering additional data from other sea surface variables such as sea surface temperature (SST).


title: A Little Bit More: Bitplane-Wise Bit-Depth Recovery

abstract: Imaging sensors digitize incoming scene light at a dynamic range of 10--12 bits (i.e., 1024--4096 tonal values). The sensor image is then processed onboard the camera and finally quantized to only 8 bits (i.e., 256 tonal values) to conform to prevailing encoding standards. There are a number of important applications, such as high-bit-depth displays and photo editing, where it is beneficial to recover the lost bit depth. Deep neural networks are effective at this bit-depth reconstruction task. Given the quantized low-bit-depth image as input, existing deep learning methods employ a single-shot approach that attempts to either (1) directly estimate the high-bit-depth image, or (2) directly estimate the residual between the high- and low-bit-depth images. In contrast, we propose a training and inference strategy that recovers the residual image bitplane-by-bitplane. Our bitplane-wise learning framework has the advantage of allowing for multiple levels of supervision during training and is able to obtain state-of-the-art results using a simple network architecture. We test our proposed method extensively on several image datasets and demonstrate an improvement from 0.5dB to 2.3dB PSNR over prior methods depending on the quantization level.


title: A Decoupled Learning Strategy for Massive Access Optimization in Cellular IoT Networks

abstract: Cellular-based networks are expected to offer connectivity for massive Internet of Things (mIoT) systems. However, their Random Access CHannel (RACH) procedure suffers from unreliability, due to the collision from the simultaneous massive access. Despite that this collision problem has been treated in existing RACH schemes, these schemes usually organize IoT devices' transmission and re-transmission along with fixed parameters, thus can hardly adapt to time-varying traffic patterns. Without adaptation, the RACH procedure easily suffers from high access delay, high energy consumption, or even access unavailability. With the goal of improving the RACH procedure, this paper targets to optimize the RACH procedure in real-time by maximizing a long-term hybrid multi-objective function, which consists of the number of access success devices, the average energy consumption, and the average access delay. To do so, we first optimize the long-term objective in the number of access success devices by using Deep Reinforcement Learning (DRL) algorithms for different RACH schemes, including Access Class Barring (ACB), Back-Off (BO), and Distributed Queuing (DQ). The converging capability and efficiency of different DRL algorithms including Policy Gradient (PG), Actor-Critic (AC), Deep Q-Network (DQN), and Deep Deterministic Policy Gradients (DDPG) are compared. Inspired by the results from this comparison, a decoupled learning strategy is developed to jointly and dynamically adapt the access control factors of those three access schemes. This decoupled strategy first leverage a Recurrent Neural Network (RNN) model to predict the real-time traffic values of the network environment, and then uses multiple DRL agents to cooperatively configure parameters of each RACH scheme.


title: Medium modifications of girth distributions for inclusive jets and $Z^0+{\rm jet}$ in relativistic heavy-ion collisions at the LHC

abstract: In this paper we investigate the medium modifications of girth distributions for inclusive jets and $Z^0$ tagged jets with small radius ($R=0.2$) in Pb+Pb collisions with $\sqrt{s}=2.76$ TeV at the LHC. The partonic spectrum in the initial hard scattering of elementary collisions are obtained by a event generator POWHEG+PYTHIA, which matches the next-to-leading (NLO) matrix elements with parton showering, and energy loss of faster parton traversing in hot/dense QCD medium is calculated by Monte Carlo simulation within Higher-Twist formalism of jet quenching in heavy-ion collisions. We present the model calculations of event normalized girth distributions for inclusive jets in p+p and Pb+Pb collisions at $\sqrt{s}=2.76$ TeV, which give nice descriptions of ALICE measurements. It is shown that the girth distributions of inclusive jets in Pb+Pb are shifted to lower girth region relative to that in p+p. Thus the nuclear modification factor of girth distributions for inclusive jets is larger than unity at small girth region, while smaller than one at large girth region. This behavior results from more soft fragments inside a jet as well as the fraction alteration of gluon/quark initiated jets in heavy-ion collisions. We further predict the girth distributions for $Z^0$ boson tagged jets in Pb+Pb collisions at $\sqrt{s}=2.76$ TeV, and demonstrate that the medium modification on girth distributions for $Z^0$ tagged jets is less pronounced as compared to that for inclusive jets because the dominant components of $Z^0$ tagged jets are quark-initiated jets.


title: Remote Sensing Image Scene Classification Meets Deep Learning: Challenges, Methods, Benchmarks, and Opportunities

abstract: Remote sensing image scene classification, which aims at labeling remote sensing images with a set of semantic categories based on their contents, has broad applications in a range of fields. Propelled by the powerful feature learning capabilities of deep neural networks, remote sensing image scene classification driven by deep learning has drawn remarkable attention and achieved significant breakthroughs. However, to the best of our knowledge, a comprehensive review of recent achievements regarding deep learning for scene classification of remote sensing images is still lacking. Considering the rapid evolution of this field, this paper provides a systematic survey of deep learning methods for remote sensing image scene classification by covering more than 160 papers. To be specific, we discuss the main challenges of remote sensing image scene classification and survey (1) Autoencoder-based remote sensing image scene classification methods, (2) Convolutional Neural Network-based remote sensing image scene classification methods, and (3) Generative Adversarial Network-based remote sensing image scene classification methods. In addition, we introduce the benchmarks used for remote sensing image scene classification and summarize the performance of more than two dozen of representative algorithms on three commonly-used benchmark data sets. Finally, we discuss the promising opportunities for further research.


title: A Causal View on Robustness of Neural Networks

abstract: We present a causal view on the robustness of neural networks against input manipulations, which applies not only to traditional classification tasks but also to general measurement data. Based on this view, we design a deep causal manipulation augmented model (deep CAMA) which explicitly models possible manipulations on certain causes leading to changes in the observed effect. We further develop data augmentation and test-time fine-tuning methods to improve deep CAMA's robustness. When compared with discriminative deep neural networks, our proposed model shows superior robustness against unseen manipulations. As a by-product, our model achieves disentangled representation which separates the representation of manipulations from those of other latent causes.


title: Neural Data-to-Text Generation via Jointly Learning the Segmentation and Correspondence

abstract: The neural attention model has achieved great success in data-to-text generation tasks. Though usually excelling at producing fluent text, it suffers from the problem of information missing, repetition and "hallucination". Due to the black-box nature of the neural attention architecture, avoiding these problems in a systematic way is non-trivial. To address this concern, we propose to explicitly segment target text into fragment units and align them with their data correspondences. The segmentation and correspondence are jointly learned as latent variables without any human annotations. We further impose a soft statistical constraint to regularize the segmental granularity. The resulting architecture maintains the same expressive power as neural attention models, while being able to generate fully interpretable outputs with several times less computational cost. On both E2E and WebNLG benchmarks, we show the proposed model consistently outperforms its neural attention counterparts.


title: Adaptive Learning of the Optimal Batch Size of SGD

abstract: Recent advances in the theoretical understanding of SGD led to a formula for the optimal batch size minimizing the number of effective data passes, i.e., the number of iterations times the batch size. However, this formula is of no practical value as it depends on the knowledge of the variance of the stochastic gradients evaluated at the optimum. In this paper we design a practical SGD method capable of learning the optimal batch size adaptively throughout its iterations for strongly convex and smooth functions. Our method does this provably, and in our experiments with synthetic and real data robustly exhibits nearly optimal behaviour; that is, it works as if the optimal batch size was known a-priori. Further, we generalize our method to several new batch strategies not considered in the literature before, including a sampling suitable for distributed implementations.


title: A Dynamic Space-Efficient Filter with Constant Time Operations

abstract: A dynamic dictionary is a data structure that maintains sets of cardinality at most $n$ from a given universe and supports insertions, deletions, and membership queries. A filter approximates membership queries with a one-sided error that occurs with probability at most $\epsilon$. The goal is to obtain dynamic filters that are space-efficient (the space is $1+o(1)$ times the information-theoretic lower bound) and support all operations in constant time with high probability. One approach to designing filters is to reduce to the retrieval problem. When the size of the universe is polynomial in $n$, this approach yields a space-efficient dynamic filter as long as the error parameter $\epsilon$ satisfies $\log(1/\epsilon) = \omega(\log\log n)$. For the case that $\log(1/\epsilon) = O(\log\log n)$, we present the first space-efficient dynamic filter with constant time operations in the worst case (whp). In contrast, the space-efficient dynamic filter of Pagh, Pagh, Rao (SODA 2005) supports insertions and deletions in amortized expected constant time. Our approach employs the classic reduction of Carter et al. (STOC 1978) on a new type of dictionary construction that supports random multisets.


title: Coherent unit actions on braided operads and Hopf algebras

abstract: The notion of a coherent unit action on algebraic operads was first introduced by Loday for binary quadratic nonsymmetric operads and generalized by Holtkamp, to ensure that the free objects of the operads carry a Hopf algebra structure. There was also a classification of such operads in the binary quadratic nonsymmetric case. We generalize the notion of coherent unit action to braided operads and show that free objects of braided operads with such an action carries a braided Hopf algebra structure. Under the conditions of binary, quadratic and nonsymmetric, we give a characterization and classification of the braided operads that allow a coherent unit action and thus carry a braided Hopf algebra structure on their free objects.


title: Beta Jacobi ensembles and associated Jacobi polynomials

abstract: Beta ensembles on the real line with three classical weights (Gaussian, Laguerre and Jacobi) are now realized as the eigenvalues of certain tridiagonal random matrices. The paper deals with beta Jacobi ensembles, the type with the Jacobi weight. Making use of the random matrix model, we show that in the regime where $\beta N \to const \in [0, \infty)$, with $N$ the system size, the empirical distribution of the eigenvalues converges weakly to a limiting measure which belongs to a new class of probability measures of associated Jacobi polynomials. This is analogous to the existing results for the other two classical weights. We also study the limiting behavior of the empirical measure process of beta Jacobi processes in the same regime and obtain a dynamic version of the above.


title: A study of the U.S. domestic air transportation network: Temporal evolution of network topology and robustness from 2001 to 2016

abstract: The U.S. air transportation network (ATN) is critical to the mobility and the functioning of the United States. It is thus necessary to ensure that it is well-connected, efficient, and robust. Despite extensive research on its topology, the temporal evolution of the network's robustness and tolerance remains largely unexplored. In the present paper, a temporal study of the domestic U.S. ATN was performed based on annual flight data from 1996 to 2016 and network analytics were used to examine the effects of restructuring that followed the 9/11 events along with the current state of the system. Centrality measures were computed to assess the system's topology and its global robustness. A node deletion method was applied to assess the network's tolerance by simulating a targeted attack scenario. The study showed that the 9/11 terrorist attacks triggered vast restructuring of the network, in terms of efficiency and security. Air traffic expanded, as new airports and air routes were introduced. Airlines reconsidered their strategy and optimized their operations, thus allowing the network to recover rapidly and become even more efficient. Security concerns resulted in significant improvement of the network's robustness. Since 2001, the global traffic and topological properties of the U.S. ATN have displayed continuous growth, due to the network's expansion. On the other hand, the robustness of the system has not shown an improving tendency. Findings suggest that although the system's ability to sustain its operational level under extreme circumstances has lately improved, its tolerance to targeted attacks has deteriorated. The presented methodology may be applied on different network levels or different transportation networks, to provide a general perspective of the system's vulnerabilities.


title: Deep Neural Network-Based Quantized Signal Reconstruction for DOA Estimation

abstract: For a massive multiple-input-multiple-output (MIMO) system using intelligent reflecting surface (IRS) equipped with radio frequency (RF) chains, the multi-channel RF chains are expensive compared to passive IRS, especially, when the high-resolution and high-speed analog to digital converters (ADC) are used in each RF channel. In this letter, a direction of angle (DOA) estimation problem is investigated with low-cost ADC in IRS, and we propose a deep neural network (DNN) as a recovery method for the low-resolution sampled signal. Different from the existing denoising convolutional neural network (DnCNN) for Gaussian noise, the proposed DNN with fully connected (FC) layers estimates the quantization noise caused by the ADC. Then, the denoised signal is subjected to the DOA estimation, and the recovery performance for the quantized signal is evaluated by DOA estimation. Simulation results show that under the same training conditions, the better reconstruction performance is achieved by the proposed network than state-of-the-art methods. The performance of the DOA estimation using 1-bit ADC is improved to exceed that using 2-bit ADC.


title: Dynamic Reserves in Matching Markets

abstract: We study a school choice problem under affirmative action policies where authorities reserve a certain fraction of the slots at each school for specific student groups, and where students have preferences not only over the schools they are matched to but also the type of slots they receive. Such reservation policies might cause waste in instances of low demand from some student groups. To propose a solution to this issue, we construct a family of choice functions, dynamic reserves choice functions, for schools that respect within-group fairness and allow the transfer of otherwise vacant slots from low-demand groups to high-demand groups. We propose the cumulative offer mechanism (COM) as an allocation rule where each school uses a dynamic reserves choice function and show that it is stable with respect to schools' choice functions, is strategy-proof, and respects improvements. Furthermore, we show that transferring more of the otherwise vacant slots leads to strategy-proof Pareto improvement under the COM.


title: Probing thermalization in quenched (non-)integrable Fermi-Hubbard models

abstract: Using numerically exact methods we examine the Fermi-Hubbard model on arbitrary cluster topology. We focus on the question which systems eventually equilibrate or even thermalize after an interaction quench when initially prepared in a state highly entangled between system and bath. We find that constants of motion in integrable clusters prevent equilibration to the thermal state. We discuss the size of fluctuations during equilibration and thermalization and the influence of integrability. The influence of real space topology and in particular of infinite-range graphs on equilibration and thermalization is studied.


title: Berry curvature for coupled waves of magnons and electromagnetic waves

abstract: In this paper, we introduce Berry curvature, topological Chern number and topological chiral edge mode, that emerge from a hybridization between magnon and electromagnetic wave in a ferromagnet insulator. By focusing on the energy conservation, we first reformulate the Landau-Lifshitz-Maxwell equation into a Hermitian eigenvalue equation. From the eigenvalue equation, we define the Berry curvature of the magnon-photon coupled waves. We show that the Berry curvature thus introduced shows a prominent peak around a hybridization point between magnon mode and photon mode, and a massive hybrid mode takes a non-zero Chern number ($\pm 1$) due to the magnon-photon coupling. In accordance with the non-zero Chern number, the topological edge modes emerge inside the hybridization gap at a domain wall between two ferromagnetic insulators with opposite magnetizations.


title: Universally Optimal Verification of Entangled States with Nondemolition Measurements

abstract: The efficient and reliable characterization of quantum states plays a vital role in most, if not all, quantum information processing tasks. In this work, we present a universally optimal protocol for verifying entangled states by employing the so-called quantum nondemolition measurements, such that the verification efficiency is equivalent to that of the optimal global strategy. Instead of being probabilistic as the standard verification strategies, our protocol is constructed sequentially, which is thus more favorable for experimental realizations. In addition, the target states are preserved in the protocol after each measurement, so can be reused in any subsequent tasks. We demonstrate the power of our protocol for the optimal verification of Bell states, arbitrary two-qubit pure states, and stabilizer states. We also prove that our protocol is able to perform tasks including fidelity estimation and state preparation.


title: Simplifying Paragraph-level Question Generation via Transformer Language Models

abstract: Question generation (QG) is a natural language generation task where a model is trained to ask questions corresponding to some input text. Most recent approaches frame QG as a sequence-to-sequence problem and rely on additional features and mechanisms to increase performance; however, these often increase model complexity, and can rely on auxiliary data unavailable in practical use. A single Transformer-based unidirectional language model leveraging transfer learning can be used to produce high quality questions while disposing of additional task-specific complexity. Our QG model, finetuned from GPT-2 Small, outperforms several paragraph-level QG baselines on the SQuAD dataset by 0.95 METEOR points. Human evaluators rated questions as easy to answer, relevant to their context paragraph, and corresponding well to natural human speech. Also introduced is a new set of baseline scores on the RACE dataset, which has not previously been used for QG tasks. Further experimentation with varying model capacities and datasets with non-identification type questions is recommended in order to further verify the robustness of pretrained Transformer-based LMs as question generators.


title: Monte Carlo modeling photon-tissue interaction using on-demand cloud infrastructure

abstract: Purpose: This work advances a Monte Carlo (MC) method to combine ionizing radiation physics with optical physics, in a manner which was implicitly designed for deployment with the most widely accessible parallelization and portability possible. Methods: The current work updates a previously developed optical propagation plugin for GEANT4 architecture for medically oriented simulations (GAMOS). Both virtual-machine (VM) and container based instances were validated using previously published scripts, and improvements in execution time using parallel simulations are demonstrated. A method to programmatically deploy multiple containers to achieve parallel execution using an on-demand cloud-based infrastructure is presented. Results: A container-based GAMOS deployment is demonstrated using a multi-layer tissue model and both optical and X-ray source inputs. As an example, the model was split into 154 simulations which were run simultaneously on 64 separate containers across 4 servers. Conclusions: The container-based model provides the ability to execute parallel simulations of applications which are not inherently thread-safe or GPU-optimized. In the current demonstration, this reduced the time by at most 97% compared to sequential execution. The code and examples are available through an interactive online interface through links at: https://sites.dartmouth.edu/optmed/research-projects/monte-carlo-software/


title: Unconventional spin-orbit torque in transition metal dichalcogenide/ferromagnet bilayers from first-principles calculations

abstract: Motivated by recent observations of unconventional out-of-plane dampinglike torque in \ch{WTe2}/Permalloy bilayer systems, we calculate the spin-orbit torque generated in two-dimensional transition metal dichalcogenide (TMD)-ferromagnet heterostructures using first-principles methods and linear response theory. Our numerical calculation of spin-orbit torques in \ch{WTe2}/Co and \ch{MoTe2}/Co heterostructures shows both conventional and novel dampinglike torkances (torque per electric field) with comparable magnitude, around $100~\hbar/2e~(\rm \Omega\cdot cm)^{-1}$, for an electric field applied perpendicular to the mirror plane of the TMD layer. To gain further insight into the source of dampinglike torque, we compute the spin current flux between the TMD and Co layers and find good agreement between the two quantities. This indicates that the conventional picture of dampinglike spin-orbit torque, whereby the torque results from the spin Hall effect plus spin transfer torque, largely applies to TMD/Co bilayer systems.


title: Transposed Poisson algebras, Novikov-Poisson algebras and 3-Lie algebras

abstract: We introduce a dual notion of the Poisson algebra by exchanging the roles of the two binary operations in the Leibniz rule defining the Poisson algebra. We show that the transposed Poisson algebra thus defined not only shares common properties of the Poisson algebra, including the closure under taking tensor products and the Koszul self-duality as an operad, but also admits a rich class of identities. More significantly, a transposed Poisson algebra naturally arises from a Novikov-Poisson algebra by taking the commutator Lie algebra of the Novikov algebra. Consequently, the classic construction of a Poisson algebra from a commutative associative algebra with a pair of commuting derivations has a similar construction of a transposed Poisson algebra when there is one derivation. More broadly, the transposed Poisson algebra also captures the algebraic structures when the commutator is taken in pre-Lie Poisson algebras and two other Poisson type algebras. Furthermore, the transposed Poisson algebra improves two processes in~[17] that produce 3-Lie algebras from Poisson algebras with a strongness condition. When transposed Poisson algebras are used in one process, the strongness condition is no longer needed and the resulting 3-Lie algebra gives a transposed Poisson 3-Lie algebra. In the other process, the resulting 3-Lie algebra is shown to again give a transposed Poisson 3-Lie algebra.


title: Probing the large scale structure using gravitational-wave observations of binary black holes

abstract: Third generation gravitational-wave (GW) detectors are expected to detect a large number of binary black holes (BBHs) to large redshifts, opening up an independent probe of the large scale structure using their clustering. This probe will be complementary to the probes using galaxy clustering -- GW events could be observed up to very large redshifts ($z \sim 10$) although the source localization will be much poorer at large distances ($\sim$ tens of square degrees). We explore the possibility of probing the large scale structure from the spatial distribution of the observed BBH population, using their two-point (auto)correlation function. We find that we can estimate the bias factor of population of BBH (up to $z \sim 0.7$) with a few years of observations with these detectors. Our method relies solely on the source-location posteriors obtained from the GW events and does not require any information from electromagnetic observations. This will help in identifying the type of galaxies that host the BBH population, thus shedding light on their origins.


title: Efficiently Testing Simon's Congruence

abstract: Simon's congruence $\sim_k$ is defined as follows: two words are $\sim_k$-equivalent if they have the same set of subsequences of length at most $k$. We propose an algorithm which computes, given two words $s$ and $t$, the largest $k$ for which $s\sim_k t$. Our algorithm runs in linear time $O(|s|+|t|)$ when the input words are over the integer alphabet $\{1,\ldots,|s|+|t|\}$ (or other alphabets which can be sorted in linear time). This approach leads to an optimal algorithm in the case of general alphabets as well. Our results are based on a novel combinatorial approach and a series of efficient data structures.


title: Perfect Edge-Transmitting Recombination of Permutations

abstract: Crossover is the process of recombining the genetic features of two parents. For many applications where crossover is applied to permutations, relevant genetic features are pairs of adjacent elements, also called edges in the permutation order. Recombination of edges without errors is thought to be an NP-hard problem, typically approximated by heuristics that either introduce new edges or are only able to produce a small variety of offspring. Here, we derive an algorithm for crossover of permutations that achieves perfect transmission of edges and produces a uniform sampling of all possible offspring, in quadratic average computation time. The algorithm and its derivation reveal a link between cycle crossover (CX) and edge assembly crossover (EAX), offering a new perspective on these well-established algorithms. We also describe a modification of the algorithm that generates the mathematically optimal offspring for the asymmetric travelling salesman problem.


title: Almost Sure Invariance Principle for Random Distance Expanding Maps with a Nonuniform Decay of Correlations

abstract: We prove a quenched almost sure invariance principle for certain classes of random distance expanding dynamical systems which do not necessarily exhibit uniform decay of correlations.


title: Deep Encoder-Decoder Neural Network for Fingerprint Image Denoising and Inpainting

abstract: Fingerprint image denoising is a very important step in fingerprint identification. to improve the denoising effect of fingerprint image,we have designs a fingerprint denoising algorithm based on deep encoder-decoder network,which encoder subnet to learn the fingerprint features of noisy images.the decoder subnet reconstructs the original fingerprint image based on the features to achieve denoising, while using the dilated convolution in the network to increase the receptor field without increasing the complexity and improve the network inference speed. In addition, feature fusion at different levels of the network is achieved through the introduction of residual learning, which further restores the detailed features of the fingerprint and improves the denoising effect. Finally, the experimental results show that the algorithm enables better recovery of edge, line and curve features in fingerprint images, with better visual effects and higher peak signal-to-noise ratio (PSNR) compared to other methods.


title: Multi-focus Image Fusion: A Benchmark

abstract: Multi-focus image fusion (MFIF) has attracted considerable interests due to its numerous applications. While much progress has been made in recent years with efforts on developing various MFIF algorithms, some issues significantly hinder the fair and comprehensive performance comparison of MFIF methods, such as the lack of large-scale test set and the random choices of objective evaluation metrics in the literature. To solve these issues, this paper presents a multi-focus image fusion benchmark (MFIFB) which consists a test set of 105 image pairs, a code library of 30 MFIF algorithms, and 20 evaluation metrics. MFIFB is the first benchmark in the field of MFIF and provides the community a platform to compare MFIF algorithms fairly and comprehensively. Extensive experiments have been conducted using the proposed MFIFB to understand the performance of these algorithms. By analyzing the experimental results, effective MFIF algorithms are identified. More importantly, some observations on the status of the MFIF field are given, which can help to understand this field better.


title: Multi-agent Reinforcement Learning for Decentralized Stable Matching

abstract: In the real world, people/entities usually find matches independently and autonomously, such as finding jobs, partners, roommates, etc. It is possible that this search for matches starts with no initial knowledge of the environment. We propose the use of a multi-agent reinforcement learning (MARL) paradigm for a spatially formulated decentralized two-sided matching market with independent and autonomous agents. Having autonomous agents acting independently makes our environment very dynamic and uncertain. Moreover, agents lack the knowledge of preferences of other agents and have to explore the environment and interact with other agents to discover their own preferences through noisy rewards. We think such a setting better approximates the real world and we study the usefulness of our MARL approach for it. Along with conventional stable matching case where agents have strictly ordered preferences, we check the applicability of our approach for stable matching with incomplete lists and ties. We investigate our results for stability, level of instability (for unstable results), and fairness. Our MARL approach mostly yields stable and fair outcomes.


title: Observation of terahertz-induced magnetooscillations in graphene

abstract: When high-frequency radiation is incident upon graphene subjected to a perpendicular magnetic field, graphene absorbs incident photons by allowing transitions between nearest LLs that follow strict selection rules dictated by angular momentum conservation. Here we show a qualitative deviation from this behavior in high-quality graphene devices exposed to terahertz (THz) radiation. We demonstrate the emergence of a pronounced THz-driven photoresponse, which exhibits low-field magnetooscillations governed by the ratio of the frequency of the incoming radiation and the quasiclassical cyclotron frequency. We analyze the modifications of generated photovoltage with the radiation frequency and carrier density and demonstrate that the observed photoresponse shares a common origin with microwave-induced resistance oscillations previously observed in GaAs-based heterostructures, yet in graphene, it appears at much higher frequencies and persists above liquid nitrogen temperatures. Our observations expand the family of radiation-driven phenomena in graphene and offer potential for the development of novel optoelectronic devices.


title: Emergence of Syntax Needs Minimal Supervision

abstract: This paper is a theoretical contribution to the debate on the learnability of syntax from a corpus without explicit syntax-specific guidance. Our approach originates in the observable structure of a corpus, which we use to define and isolate grammaticality (syntactic information) and meaning/pragmatics information. We describe the formal characteristics of an autonomous syntax and show that it becomes possible to search for syntax-based lexical categories with a simple optimization process, without any prior hypothesis on the form of the model.


title: Can Planet Nine Be Detected Gravitationally by a Sub-Relativistic Spacecraft?

abstract: Planet 9 was proposed as an explanation for the clustering of orbits for some trans-Neuptunian objects. Recently, the use of a sub-relativistic spacecraft was proposed to indirectly probe Planet 9's gravitational influence. Here we study the effects of the drag and electromagnetic forces exerted on a sub-relativistic spacecraft by the interstellar medium (ISM) and compare these forces with the gravitational force induced by Planet 9. We find that the resulting noise due to density and magnetic fluctuations would dominate over Planet 9's gravitational signal at sub-relativistic speeds, $v\gtrsim 0.001~c$. We then identify the parameter space required to overcome the drag and magnetic noise from the ISM turbulence and enable the detection of Planet 9's gravity. Finally, we discuss practical strategies to mitigate the effect of the drag and electromagnetic forces.


title: Digital Sand: The Becoming of Digital Representations

abstract: The versatility of digital technologies relies on a capacity to represent and subsequently manipulate algorithmically selected physical processes, objects or qualities in a domain. Organizationally real digital representations are those that, beyond the mere capacity to, actually get woven into everyday work practices. Empirically, we draw on a four-year case study of offshore oil and gas production. Our case provides a vivid illustration of Internet of Things (IoT) based visualizations and data driven predictions characteristic for efforts of digitally transforming industrial process and manufacturing enterprises. We contribute by identifying and discussing three mechanisms through which digital representations become organizationally real: (i) noise reduction (the strategies and heuristics to filter out signal from noise), (ii) material tethering (grounding the digital representations to a corresponding physical measurement) and (iii) triangulating (in the absence of a direct correspondence, corroborating digital representations relative to other representations).


title: On the graceful exit problem in warm inflation

abstract: A seemingly simple question, how does warm inflation exit gracefully?, has a more complex answer than in a cold paradigm. It has been highlighted here that whether warm inflation exits gracefully depends on three independent choices: The form of the potential, the choice of the warm inflation model (i.e., on the form of its dissipative coefficient) and the regime, of weak or strong dissipation, characterizing the warm inflation dynamics. Generic conditions on slow-roll parameters and several constraints on the different model parameters required for warm inflation to exit gracefully are derived.


title: Mutual Information Gradient Estimation for Representation Learning

abstract: Mutual Information (MI) plays an important role in representation learning. However, MI is unfortunately intractable in continuous and high-dimensional settings. Recent advances establish tractable and scalable MI estimators to discover useful representation. However, most of the existing methods are not capable of providing an accurate estimation of MI with low-variance when the MI is large. We argue that directly estimating the gradients of MI is more appealing for representation learning than estimating MI in itself. To this end, we propose the Mutual Information Gradient Estimator (MIGE) for representation learning based on the score estimation of implicit distributions. MIGE exhibits a tight and smooth gradient estimation of MI in the high-dimensional and large-MI settings. We expand the applications of MIGE in both unsupervised learning of deep representations based on InfoMax and the Information Bottleneck method. Experimental results have indicated significant performance improvement in learning useful representation.


title: Probing nucleon strange and charm distributions with lattice QCD

abstract: We present the first lattice-QCD calculation of the unpolarized strange and charm parton distribution functions using large-momentum effective theory (LaMET). We use a lattice ensemble with 2+1+1 flavors of highly improved staggered quarks (HISQ) generated by MILC collaboration, with lattice spacing $a\approx 0.12$ fm and $M_\pi \approx 310$ MeV, and clover valence fermions with two valence pion masses: 310 and 690 MeV. We use momentum-smeared sources to improve the signal up to nucleon boost momentum $P_z=2.18$ GeV, and determine nonperturbative renormalization factors in RI/MOM scheme. We compare our lattice results with the matrix elements obtained from matching the PDFs from CT18NNLO and NNPDF3.1NNLO global fits. Our data support the assumptions of strange-antistrange and charm-anticharm symmetry that are commonly used in global PDF fits, and we find smaller than expected parton distribution at mid to small $x$.


title: Implementation of UAV Coordination Based on a Hierarchical Multi-UAV Simulation Platform

abstract: In this paper, a hierarchical multi-UAV simulation platform,called XTDrone, is designed for UAV swarms, which is completely open-source 4 . There are six layers in XTDrone: communication, simulator,low-level control, high-level control, coordination, and human interac-tion layers. XTDrone has three advantages. Firstly, the simulation speedcan be adjusted to match the computer performance, based on the lock-step mode. Thus, the simulations can be conducted on a work stationor on a personal laptop, for different purposes. Secondly, a simplifiedsimulator is also developed which enables quick algorithm designing sothat the approximated behavior of UAV swarms can be observed inadvance. Thirdly, XTDrone is based on ROS, Gazebo, and PX4, andhence the codes in simulations can be easily transplanted to embeddedsystems. Note that XTDrone can support various types of multi-UAVmissions, and we provide two important demos in this paper: one is aground-station-based multi-UAV cooperative search, and the other is adistributed UAV formation flight, including consensus-based formationcontrol, task assignment, and obstacle avoidance.


title: A theory of spectral partitions of metric graphs

abstract: We introduce an abstract framework for the study of clustering in metric graphs: after suitably metrising the space of graph partitions, we restrict Laplacians to the clusters thus arising and use their spectral gaps to define several notions of partition energies; this is the graph counterpart of the well-known theory of spectral minimal partitions on planar domains and includes the setting in [Band \textit{et al}, Comm.\ Math.\ Phys.\ \textbf{311} (2012), 815--838] as a special case. We focus on the existence of optimisers for a large class of functionals defined on such partitions, but also study their qualitative properties, including stability, regularity, and parameter dependence. We also discuss in detail their interplay with the theory of nodal partitions. Unlike in the case of domains, the one-dimensional setting of metric graphs allows for explicit computation and analytic -- rather than numerical -- results. Not only do we recover the main assertions in the theory of spectral minimal partitions on domains, as studied in [Conti \textit{et al}, Calc.\ Var.\ \textbf{22} (2005), 45--72; Helffer \textit{et al}, Ann.\ Inst.\ Henri Poincar\'e Anal.\ Non Lin\'eaire \textbf{26} (2009), 101--138], but we can also generalise some of them and answer (the graph counterparts of) a few open questions.


title: Pandemic Programming: How COVID-19 affects software developers and how their organizations can help

abstract: Context. As a novel coronavirus swept the world in early 2020, thousands of software developers began working from home. Many did so on short notice, under difficult and stressful conditions. Objective. This study investigates the effects of the pandemic on developers' wellbeing and productivity. Method. A questionnaire survey was created mainly from existing, validated scales and translated into 12 languages. The data was analyzed using non-parametric inferential statistics and structural equation modeling. Results. The questionnaire received 2225 usable responses from 53 countries. Factor analysis supported the validity of the scales and the structural model achieved a good fit (CFI = 0.961, RMSEA = 0.051, SRMR = 0.067). Confirmatory results include: (1) the pandemic has had a negative effect on developers' wellbeing and productivity; (2) productivity and wellbeing are closely related; (3) disaster preparedness, fear related to the pandemic and home office ergonomics all affect wellbeing or productivity. Exploratory analysis suggests that: (1) women, parents and people with disabilities may be disproportionately affected; (2) different people need different kinds of support. Conclusions. To improve employee productivity, software companies should focus on maximizing employee wellbeing and improving the ergonomics of employees' home offices. Women, parents and disabled persons may require extra support.


title: A Survey on Wild Mathematics

abstract: We usually construct mathematical objects that are accessible, on which we can put our hands, but a huge part of the mathematical existing is actually wild. Here we explore part of the wild world: its inhabitants are knots that are infinitely knotted, spheres that try to hug themselves, colorful earrings, labyrinths of labyrinths...