title: The quartic integrability and long time existence of steep water waves in 2D

abstract: It is known since the work of Dyachenko \& Zakharov \cite{zd} that for the weakly nonlinear 2d infinite depth water waves, there are no 3-wave interactions and all of the 4-wave interaction coefficients vanish on the non-trivial resonant manifold. In this paper we study this partial integrability from a different point of view. We construct, directly in the physical space, a sequence of energy functionals $\mathfrak E_j(t)$ which are explicit in the Riemann mapping variable and involve material derivatives of order $j$ of the solutions for the 2d water wave equation, so that $\frac d{dt} \mathfrak E_j(t)$ is quintic or higher order. We show that if some scaling invariant norm, and a norm involving one spatial derivative above the scaling of the initial data are of size no more than $\varepsilon$, then the lifespan of the solution for the 2d water wave equation is at least of order $O(\varepsilon^{-3})$, and the solution remains as regular as the initial data during this time. If only the scaling invariant norm of the data is of size $\varepsilon$, then the lifespan of the solution is at least of order $O(\varepsilon^{-5/2})$. Our long time existence results do not impose size restrictions on the slope of the initial interface and the magnitude of the initial velocity, they allow the interface to have arbitrary large steepnesses and initial velocities to have arbitrary large magnitudes.


title: Sub-Poissonian atom-number distributions by means of Rydberg dressing and electromagnetically induced transparency

abstract: A method is proposed to produce atomic ensembles with sub-Poissonian atom number distributions. The method consists of removing the excess atoms using the interatomic interactions induced by Rydberg dressing. The selective removal of atoms occurs via spontaneous decay into untrapped states using an electromagnetically induced transparency scheme. Ensembles with the desired number of atoms can be produced almost deterministically. Numerical simulations predict a strong reduction of the atom number fluctuations, with the variance twenty times less than the Poisson noise level (the predicted Fano factor is F = 0.05). Strikingly, the method is suitable for both fermions and bosons. It solves the problem of the atom-number fluctuations in bosons, whose weak interactions have usually been an obstacle to controlling the number of atoms.


title: FADER: Fast Adversarial Example Rejection

abstract: Deep neural networks are vulnerable to adversarial examples, i.e., carefully-crafted inputs that mislead classification at test time. Recent defenses have been shown to improve adversarial robustness by detecting anomalous deviations from legitimate training samples at different layer representations - a behavior normally exhibited by adversarial attacks. Despite technical differences, all aforementioned methods share a common backbone structure that we formalize and highlight in this contribution, as it can help in identifying promising research directions and drawbacks of existing methods. The first main contribution of this work is the review of these detection methods in the form of a unifying framework designed to accommodate both existing defenses and newer ones to come. In terms of drawbacks, the overmentioned defenses require comparing input samples against an oversized number of reference prototypes, possibly at different representation layers, dramatically worsening the test-time efficiency. Besides, such defenses are typically based on ensembling classifiers with heuristic methods, rather than optimizing the whole architecture in an end-to-end manner to better perform detection. As a second main contribution of this work, we introduce FADER, a novel technique for speeding up detection-based methods. FADER overcome the issues above by employing RBF networks as detectors: by fixing the number of required prototypes, the runtime complexity of adversarial examples detectors can be controlled. Our experiments outline up to 73x prototypes reduction compared to analyzed detectors for MNIST dataset and up to 50x for CIFAR10 dataset respectively, without sacrificing classification accuracy on both clean and adversarial data.


title: Topological Frobenius reciprocity and invariant Hermitian forms

abstract: In his article "Unitary Representations and Complex Analysis", David Vogan gives a characterization of the continuous invariant Hermitian forms defined on the compactly supported sheaf cohomology groups of certain homogeneous analytic sheaves defined on open orbits in generalized flag manifolds. In the last section of the manuscript, Vogan raises a question about the possibility of a topological Frobenius reciprocity for these representations. In this article we give a specific version of the topological reciprocity in the regular, antidominant case and use it to study the existence of continuous invariant hermitian forms on the sheaf cohomology. In particular, we obtain a natural relationship between invariant forms on the sheaf cohomology and invariant forms on the geometric fiber.


title: Online-to-Offline Advertisements as Field Experiments

abstract: Online advertisements have become one of today's most widely used tools for enhancing businesses partly because of their compatibility with A/B testing. A/B testing allows sellers to find effective advertisement strategies such as ad creatives or segmentations. Even though several studies propose a technique to maximize the effect of an advertisement, there is insufficient comprehension of the customers' offline shopping behavior invited by the online advertisements. Herein, we study the difference in offline behavior between customers who received online advertisements and regular customers (i.e., the customers visits the target shop voluntary), and the duration of this difference. We analyzed approximately three thousand users' offline behavior with their 23.5 million location records through 31 A/B testings. We first demonstrate the externality that customers with advertisements traverse larger areas than those without advertisements, and this spatial difference lasts several days after their shopping day. We then find a long-run effect of this externality of advertising that a certain portion of the customers invited to the offline shops revisit these shops. Finally, based on this revisit effect findings, we utilize a causal machine learning model to propose a marketing strategy to maximize the revisit ratio. Our results suggest that advertisements draw customers who have different behavior traits from regular customers. This study's findings demonstrate that a simple analysis may underrate the effects of advertisements on businesses, and an analysis considering externality can attract potentially valuable customers.


title: Fundamentals of Physical Layer Anonymous Communications: Sender Detection and Anonymous Precoding

abstract: In the era of big data, anonymity is recognized as an important attribute in privacy-preserving communications. The existing anonymous authentication and routing are applied at higher layers of networks, ignoring physical layer (PHY) also contains privacy-critical information. In this paper, we introduce the concept of PHY anonymity, and reveal that the receiver can unmask the sender's identity by only analyzing the PHY information, i.e., the signaling patterns and the characteristics of channel. We investigate two practical scenarios, where the receiver has more antennas than the sender in the strong receiver case, and vice versa in the strong sender case. For each scenario, we first investigate sender detection strategy at the receiver, and then we develop corresponding anonymous precoding to address anonymity while guaranteeing high receive signal-to-interference-plus-noise-ratio (SINR) for communications. In particular, an interference suppression anonymous precoder is first proposed, assisted by a dedicated transmit phase equalizer for removing phase ambiguity. Afterwards, a constructive interference anonymous precoder is further investigated to utilize the inter-antenna interference as a beneficial element without loss of sender's anonymity. Simulation demonstrates the proposed anonymous precoders are able to preserve the sender's anonymity and simultaneously guarantee high receive SINR, opening a new dimension on PHY anonymous designs.


title: Lower bounds for the number of subrings in $\mathbb{Z}^n$

abstract: Let $f_n(k)$ be the number of subrings of index $k$ in $\mathbb{Z}^n$. We show that results of Brakenhoff imply a lower bound for the asymptotic growth of subrings in $\mathbb{Z}^n$, improving upon lower bounds given by Kaplan, Marcinek, and Takloo-Bighash. Further, we prove two new lower bounds for $f_n(p^e)$ when $e \ge n-1$. Using these bounds, we study the divergence of the subring zeta function of $\mathbb{Z}^n$ and its local factors. Lastly, we apply these results to the problem of counting orders in a number field.


title: The fundamental theorem of finite fields: a proof from first principles

abstract: A mathematics student's first introduction to the fundamental theorem of finite fields (FTFF) often occurs in an advanced abstract algebra course and invokes the power of Galois theory to prove it. Yet the combinatorial and algebraic coding theory applications of finite fields can show up early on for students in STEM. To make the FTFF more accessible to students lacking exposure to Galois theory, we provide a proof from algebraic "first principles."


title: Image GANs meet Differentiable Rendering for Inverse Graphics and Interpretable 3D Neural Rendering

abstract: Differentiable rendering has paved the way to training neural networks to perform "inverse graphics" tasks such as predicting 3D geometry from monocular photographs. To train high performing models, most of the current approaches rely on multi-view imagery which are not readily available in practice. Recent Generative Adversarial Networks (GANs) that synthesize images, in contrast, seem to acquire 3D knowledge implicitly during training: object viewpoints can be manipulated by simply manipulating the latent codes. However, these latent codes often lack further physical interpretation and thus GANs cannot easily be inverted to perform explicit 3D reasoning. In this paper, we aim to extract and disentangle 3D knowledge learned by generative models by utilizing differentiable renderers. Key to our approach is to exploit GANs as a multi-view data generator to train an inverse graphics network using an off-the-shelf differentiable renderer, and the trained inverse graphics network as a teacher to disentangle the GAN's latent code into interpretable 3D properties. The entire architecture is trained iteratively using cycle consistency losses. We show that our approach significantly outperforms state-of-the-art inverse graphics networks trained on existing datasets, both quantitatively and via user studies. We further showcase the disentangled GAN as a controllable 3D "neural renderer", complementing traditional graphics renderers.


title: On interplay between operators, bases, and matrices

abstract: Given a bounded linear operator $T$ on separable Hilbert space, we develop an approach allowing one to construct a matrix representation for $T$ having certain specified algebraic or asymptotic structure. We obtain matrix representations for $T$ with preassigned bands of the main diagonals, with an upper bound for all of the matrix elements, and with entrywise polynomial lower and upper bounds for these elements. In particular, we substantially generalize and complement our results on diagonals of operators from [46] and other related results. Moreover, we obtain a vast generalization of a theorem by Stout (1981), and (partially) answer his open question. Several of our results have no analogues in the literature.


title: Split Left-Right Symmetry and Scotogenic Quark and Lepton Masses

abstract: A model of split left-right symmetry is proposed, where the first family of quarks and leptons transforms under $SU(2)_R$ but the heavier two families do not. The Higgs scalar sector consists only of an $SU(2)_L$ doublet and an $SU(2)_R$ doublet. The $u,d$ quarks and the electron, as well as the neutrinos, are massless at tree level, but become massive radiatively through their interactions with a simple dark sector. Verifiable consequences include $Z'$ and Higgs properties, neutrino mixing and rare decays, etc.


title: Multi-agent Bayesian Learning with Adaptive Strategies: Convergence and Stability

abstract: We study learning dynamics induced by strategic agents who repeatedly play a game with an unknown payoff-relevant parameter. In each step, an information system estimates a belief distribution of the parameter based on the players' strategies and realized payoffs using Bayes' rule. Players adjust their strategies by accounting for an equilibrium strategy or a best response strategy based on the updated belief. We prove that beliefs and strategies converge to a fixed point with probability 1. We also provide conditions that guarantee local and global stability of fixed points. Any fixed point belief consistently estimates the payoff distribution given the fixed point strategy profile. However, convergence to a complete information Nash equilibrium is not always guaranteed. We provide a sufficient and necessary condition under which fixed point belief recovers the unknown parameter. We also provide a sufficient condition for convergence to complete information equilibrium even when parameter learning is incomplete.


title: In search of convexity: diagonals and numerical ranges

abstract: We show that the set of all possible constant diagonals of a bounded Hilbert space operator is always convex. This, in particular, answers an open question of J.-C. Bourin ($2003$). Moreover, we show that the joint numerical range of a commuting operator tuple is in general not convex, which fills a gap in the literature. We also prove that the Asplund-Ptak numerical range (which is convex for pairs of operators) is, in general, not convex for tuples of operators.


title: Algebraically unrealizable complex orientations of plane real pseudoholomorphic curves

abstract: We prove two inequalities for the complex orientations of a separating (Type I) non-singular real algebraic curve in $RP^2$ of any odd degree. We also construct a separating non-singular pseudoholomorphic curve in $RP^2$ of any degree congruent to 9 mod 12 which does not satisfies one of these inequalities. Therefore the oriented isotopy type of the real locus of each of these curves is algebraically unrealizable.


title: Network and Phase Symmetries Reveal That Amplitude Dynamics Stabilize Decoupled Oscillator Clusters

abstract: Oscillator networks display intricate synchronization patterns. Determining their stability typically requires incorporating the symmetries of the network coupling. Going beyond analyses that appeal only to a network's automorphism group, we explore synchronization patterns that emerge from the phase-shift invariance of the dynamical equations and symmetries in the nodes. We show that these nonstructural symmetries simplify stability calculations. We analyze a ring-network of phase-amplitude oscillators that exhibits a "decoupled" state in which physically-coupled nodes appear to act independently due to emergent cancellations in the equations of dynamical evolution. We establish that this state can be linearly stable for a ring of phase-amplitude oscillators, but not for a ring of phase-only oscillators that otherwise require explicit long-range, nonpairwise, or nonphase coupling. In short, amplitude-phase interactions are key to stable synchronization at a distance.


title: Self-Attention Generative Adversarial Network for Speech Enhancement

abstract: Existing generative adversarial networks (GANs) for speech enhancement solely rely on the convolution operation, which may obscure temporal dependencies across the sequence input. To remedy this issue, we propose a self-attention layer adapted from non-local attention, coupled with the convolutional and deconvolutional layers of a speech enhancement GAN (SEGAN) using raw signal input. Further, we empirically study the effect of placing the self-attention layer at the (de)convolutional layers with varying layer indices as well as at all of them when memory allows. Our experiments show that introducing self-attention to SEGAN leads to consistent improvement across the objective evaluation metrics of enhancement performance. Furthermore, applying at different (de)convolutional layers does not significantly alter performance, suggesting that it can be conveniently applied at the highest-level (de)convolutional layer with the smallest memory overhead.


title: DAGs with No Fears: A Closer Look at Continuous Optimization for Learning Bayesian Networks

abstract: This paper re-examines a continuous optimization framework dubbed NOTEARS for learning Bayesian networks. We first generalize existing algebraic characterizations of acyclicity to a class of matrix polynomials. Next, focusing on a one-parameter-per-edge setting, it is shown that the Karush-Kuhn-Tucker (KKT) optimality conditions for the NOTEARS formulation cannot be satisfied except in a trivial case, which explains a behavior of the associated algorithm. We then derive the KKT conditions for an equivalent reformulation, show that they are indeed necessary, and relate them to explicit constraints that certain edges be absent from the graph. If the score function is convex, these KKT conditions are also sufficient for local minimality despite the non-convexity of the constraint. Informed by the KKT conditions, a local search post-processing algorithm is proposed and shown to substantially and universally improve the structural Hamming distance of all tested algorithms, typically by a factor of 2 or more. Some combinations with local search are both more accurate and more efficient than the original NOTEARS.


title: GROWN: Local Data Compression in Real-Time To Support Energy Efficiency in WBAN

abstract: The evolution of wireless technologies has enabled the creation of networks for several purposes as health care monitoring. The Wireless Body Area Networks (WBANs) enable continuous and real-time monitoring of physiological signals, but that monitoring leads to an excessive data transmission usage, and drastically affects the power consumption of the devices. Although there are approaches for reducing energy consumption, many of them do not consider information redundancy to reduce the power consumption. This paper proposes a hybrid approach of local data compression, called GROWN, to decrease information redundancy during data transmission and reduce the energy consumption. Our approach combines local data compression methods found in WSN. We have evaluated GROWN by experimentation, and the results show a decrease in energy consumption of the devices and an increase in network lifetime.


title: Accelerating Irregular Computations with Hardware Transactional Memory and Active Messages

abstract: We propose Atomic Active Messages (AAM), a mechanism that accelerates irregular graph computations on both shared- and distributed-memory machines. The key idea behind AAM is that hardware transactional memory (HTM) can be used for simple and efficient processing of irregular structures in highly parallel environments. We illustrate techniques such as coarsening and coalescing that enable hardware transactions to considerably accelerate graph processing.We conduct a detailed performance analysis of AAM on Intel Haswell and IBM Blue Gene/Q and we illustrate various performance tradeoffs between different HTM parameters that impact the efficiency of graph processing. AAM can be used to implement abstractions offered by existing programming models and to improve the performance of irregular graph processing codes such as Graph500 or Galois.


title: Spacetime Quantum Actions

abstract: We propose a formulation of quantum mechanics in an extended Fock space in which a tensor product structure is applied to time. Subspaces of histories consistent with the dynamics of a particular theory are defined by a direct quantum generalization of the corresponding classical action. The diagonalization of such quantum actions enables us to recover the predictions of conventional quantum mechanics and reveals an extended unitary equivalence between all physical theories. Quantum correlations and coherent effects across time and between distinct theories acquire a rigorous meaning, which is encoded in the rich temporal structure of physical states. Connections with modern relativistic schemes and the path integral formulation also emerge.


title: Current-induced spin torques on single GdFeCo magnetic layers

abstract: Spintronics exploits spin-orbit coupling (SOC) to generate spin currents, spin torques, and, in the absence of inversion symmetry, Rashba, and Dzyaloshinskii-Moriya interactions (DMI). The widely used magnetic materials, based on 3d metals such as Fe and Co, possess a small SOC. To circumvent this shortcoming, the common practice has been to utilize the large SOC of nonmagnetic layers of 5d heavy metals (HMs), such as Pt, to generate spin currents by Spin Hall Effect (SHE) and, in turn, exert spin torques on the magnetic layers. Here, we introduce a new class of material architectures, excluding nonmagnetic 5d HMs, for high-performance spintronics operations. We demonstrate very strong current-induced torques exerted on single GdFeCo layers due to the combination of large SOC of the Gd 5d states, and inversion symmetry breaking mainly engineered by interfaces. These "self-torques" are enhanced around the magnetization compensation temperature (close to room temperature) and can be tuned by adjusting the spin absorption outside the GdFeCo layer. In other measurements, we determine the very large emission of spin current from GdFeCo. This material platform opens new perspectives to exert "self-torques" on single magnetic layers as well as to generate spin currents from a magnetic layer.


title: High level ab initio binding energy distribution of molecules on interstellar ices: Hydrogen fluoride

abstract: The knowledge of the binding energy of molecules on astrophysically relevant ices can help to obtain an estimate of the desorption rate, i.e. the molecules residence time on the surface. This represents an important parameter for astrochemical models, crucial to determine the chemical fate of complex organic molecules formed on dust grains and observed in the densest regions of the interstellar medium. In this work, we propose a new robust procedure to study the interaction of atoms and molecules with interstellar ices, based on \textit{ab initio} molecular dynamics and density functional theory, validated by high-level \textit{ab initio} methods at a CCSD(T)/CBS level. We have applied this procedure to hydrogen fluoride (HF), a promising tracer of the molecular content of galaxies. In total we found 13 unique equilibrium structures of HF binding to small water clusters of up to 4 molecules, with binding energies ranging from 1208 to 7162 K. We computed a 22-molecules model of amorphous solid water (ASW) surface using \textit{ab initio} molecular dynamics simulations and carried out a systematic analysis of the binding sites of HF, in terms of binding modes and binding energies. Considering 10 different water clusters, we found a binding energy distribution with an average value of $5313\pm74$ K, and a dispersion of $921\pm115$ K. Finally, the effect of the electrostatic field of the 22 water molecules on the binding energies was investigated incrementally by symmetry adapted perturbation theory, in order to gauge the effect of the water environment. The results indicate that the extent of the electrostatic interaction of HF with ASW depends strongly on the properties of the binding site. We expect that this work will provide a solid foundation for a systematic development of a binding energy distribution database of molecules on interstellar surfaces.


title: We Need to Rethink How We Describe and Organize Spatial Information: Instrumenting and Observing the Community of Users to Improve Data Description and Discovery

abstract: In Spatial Data Infrastructure or Cyber Infrastructure, the description of geographic data semantics is intended to support data discovery, reuse and integration. In the vast majority of cases the producers of these data generate descriptions based on particular understandings of what uses the data are good for. This producer-oriented perspective means that the descriptions often do not help to answer the question of whether a data set is of use for a consumer who might want to apply it in a different context. In this paper, we discuss the role geographic information observatories can play in providing an infrastructure for observing the context of data use by consumers. These observations of data pragmatics lead to operational statistical methods that will support better fitness-for-use assessment. Finally, we highlight some of the challenges to building these observatories, and briefly discuss strategies to address those challenges.


title: Localized Interactive Instance Segmentation

abstract: In current interactive instance segmentation works, the user is granted a free hand when providing clicks to segment an object; clicks are allowed on background pixels and other object instances far from the target object. This form of interaction is highly inconsistent with the end goal of efficiently isolating objects of interest. In our work, we propose a clicking scheme wherein user interactions are restricted to the proximity of the object. In addition, we propose a novel transformation of the user-provided clicks to generate a weak localization prior on the object which is consistent with image structures such as edges, textures etc. We demonstrate the effectiveness of our proposed clicking scheme and localization strategy through detailed experimentation in which we raise state-of-the-art on several standard interactive segmentation benchmarks.


title: Diverse Data Selection under Fairness Constraints

abstract: Diversity is an important principle in data selection and summarization, facility location, and recommendation systems. Our work focuses on maximizing diversity in data selection, while offering fairness guarantees. In particular, we offer the first study that augments the Max-Min diversification objective with fairness constraints. More specifically, given a universe $U$ of $n$ elements that can be partitioned into $m$ disjoint groups, we aim to retrieve a $k$-sized subset that maximizes the pairwise minimum distance within the set (diversity) and contains a pre-specified $k_i$ number of elements from each group $i$ (fairness). We show that this problem is NP-complete even in metric spaces, and we propose three novel algorithms, linear in $n$, that provide strong theoretical approximation guarantees for different values of $m$ and $k$. Finally, we extend our algorithms and analysis to the case where groups can be overlapping.


title: Chart-to-Text: Generating Natural Language Descriptions for Charts by Adapting the Transformer Model

abstract: Information visualizations such as bar charts and line charts are very popular for exploring data and communicating insights. Interpreting and making sense of such visualizations can be challenging for some people, such as those who are visually impaired or have low visualization literacy. In this work, we introduce a new dataset and present a neural model for automatically generating natural language summaries for charts. The generated summaries provide an interpretation of the chart and convey the key insights found within that chart. Our neural model is developed by extending the state-of-the-art model for the data-to-text generation task, which utilizes a transformer-based encoder-decoder architecture. We found that our approach outperforms the base model on a content selection metric by a wide margin (55.42% vs. 8.49%) and generates more informative, concise, and coherent summaries.


title: Light-Induced Static Magnetization: Nonlinear Edelstein Effect

abstract: We theoretically and computationally demonstrate that static magnetization can be generated under light illumination via nonlinear Edelstein effect (NLEE). NLEE is applicable to semiconductors under both linearly and circularly polarized light, and there are no constraints from either spatial inversion or time-reversal symmetry. Remarkably, magnetization can be induced under linearly polarized light in nonmagnetic materials. With ab initio calculations, we reveal several prominent features of NLEE. We find that the orbital contributions can be significantly greater than the spin contributions. And magnetization with various orderings, including anti-ferromagnetic, ferromagnetic, etc., are all realizable with NLEE, which may facilitate many applications, such as unveiling hidden physical effects, creating a spatially varying magnetization, or manipulating the magnetization of anti-ferromagnetic materials. The relationship between NLEE and other magneto-optic effects, including the inverse Faraday effect and inverse Cotton-Mouton effect, is also discussed.


title: Using mutation testing to measure behavioural test diversity

abstract: Diversity has been proposed as a key criterion to improve testing effectiveness and efficiency.It can be used to optimise large test repositories but also to visualise test maintenance issues and raise practitioners' awareness about waste in test artefacts and processes. Even though these diversity-based testing techniques aim to exercise diverse behavior in the system under test (SUT), the diversity has mainly been measured on and between artefacts (e.g., inputs, outputs or test scripts). Here, we introduce a family of measures to capture behavioural diversity (b-div) of test cases by comparing their executions and failure outcomes. Using failure information to capture the SUT behaviour has been shown to improve effectiveness of history-based test prioritisation approaches. However, history-based techniques require reliable test execution logs which are often not available or can be difficult to obtain due to flaky tests, scarcity of test executions, etc. To be generally applicable we instead propose to use mutation testing to measure behavioral diversity by running the set of test cases on various mutated versions of the SUT. Concretely, we propose two specific b-div measures (based on accuracy and Matthew's correlation coefficient, respectively) and compare them with artefact-based diversity (a-div) for prioritising the test suites of 6 different open-source projects. Our results show that our b-div measures outperform a-div and random selection in all of the studied projects. The improvement is substantial with an average increase in average percentage of faults detected (APFD) of between 19% to 31% depending on the size of the subset of prioritised tests.


title: MROS: Runtime Adaptation For Robot Control Architectures

abstract: Known attempts to build autonomous robots rely on complex control architectures, often implemented with the Robot Operating System platform (ROS). Runtime adaptation is needed in these systems, to cope with component failures and with contingencies arising from dynamic environments-otherwise, these affect the reliability and quality of the mission execution. Existing proposals on how to build self-adaptive systems in robotics usually require a major re-design of the control architecture and rely on complex tools unfamiliar to the robotics community. Moreover, they are hard to reuse across applications. This paper presents MROS: a model-based framework for run-time adaptation of robot control architectures based on ROS. MROS uses a combination of domain-specific languages to model architectural variants and captures mission quality concerns, and an ontology-based implementation of the MAPE-K and meta-control visions for run-time adaptation. The experiment results obtained applying MROS in two realistic ROS-based robotic demonstrators show the benefits of our approach in terms of the quality of the mission execution, and MROS' extensibility and re-usability across robotic applications.


title: On graded division rings

abstract: We develop the theory of group graded division ring parallel to the one by P. Cohn for (ungraded) division rings.


title: Physics-informed neural networks for solving forward and inverse flow problems via the Boltzmann-BGK formulation

abstract: In this study, we employ physics-informed neural networks (PINNs) to solve forward and inverse problems via the Boltzmann-BGK formulation (PINN-BGK), enabling PINNs to model flows in both the continuum and rarefied regimes. In particular, the PINN-BGK is composed of three sub-networks, i.e., the first for approximating the equilibrium distribution function, the second for approximating the non-equilibrium distribution function, and the third one for encoding the Boltzmann-BGK equation as well as the corresponding boundary/initial conditions. By minimizing the residuals of the governing equations and the mismatch between the predicted and provided boundary/initial conditions, we can approximate the Boltzmann-BGK equation for both continuous and rarefied flows. For forward problems, the PINN-BGK is utilized to solve various benchmark flows given boundary/initial conditions, e.g., Kovasznay flow, Taylor-Green flow, cavity flow, and micro Couette flow for Knudsen number up to 5. For inverse problems, we focus on rarefied flows in which accurate boundary conditions are difficult to obtain. We employ the PINN-BGK to infer the flow field in the entire computational domain given a limited number of interior scattered measurements on the velocity with unknown boundary conditions. Results for the two-dimensional micro Couette and micro cavity flows with Knudsen numbers ranging from 0.1 to 10 indicate that the PINN-BGK can infer the velocity field in the entire domain with good accuracy. Finally, we also present some results on using transfer learning to accelerate the training process. Specifically, we can obtain a three-fold speedup compared to the standard training process (e.g., Adam plus L-BFGS-B) for the two-dimensional flow problems considered in our work.


title: On $(\lambda,\mu,\gamma)$-derivations of BiHom-Lie algebras

abstract: In this paper, we generalize the results about generalized derivations of Lie algebras to the case of BiHom-Lie algebras. In particular we give the classification of generalized derivations of Heisenberg BiHom-Lie algebras. The definition of the generalized derivation depends on some parameters $ (\lambda,\mu,\gamma)\in \mathbb{C}^{3}. $ In particular for $(\lambda,\mu,\gamma)=(1,1,1)$, we obtain classical concept of derivation of BiHom-Lie algebra and for $(\lambda,\mu,\gamma)=(1,1,0) $ we obtain the centroid of BiHom-Lie algebra. We give classifications of $ 2 $-dimensional BiHom-Lie algebra, centroides and derivations of $ 2 $-dimensional BiHom-Lie algebras.


title: Regularity of weak solutions to higher order elliptic systems in critical dimensions

abstract: In this paper, we develop an elementary and unified treatment, in the spirit of Rivi\`ere and Struwe (Comm. Pure. Appl. Math. 2008), to explore regularity of weak solutions of higher order geometric elliptic systems in critical dimensions without using conservation law. As a result, we obtain an interior H\"older continuity for solutions of the higher order elliptic system of de Longueville and Gastel \cite{deLongueville-Gastel-2019} in critical dimensions $$\Delta^{k}u=\sum_{i=0}^{k-1}\Delta^{i}\left\langle V_{i},du\right\rangle +\sum_{i=0}^{k-2}\Delta^{i}\delta\left(w_{i}du\right) \quad \text{in } B^{2k},$$ under critical regularity assumptions on the coefficient functions. This verifies an expectation of Rivi\`ere, and provides an affirmative answer to an open question of Struwe in dimension four when $k=2$. The H\"older continuity is also an improvement of the continuity result of Lamm and Rivi\`ere and de Longueville and Gastel.


title: Machine-learning prediction of infrared spectra of interstellar polycyclic aromatic hydrocarbons

abstract: We design and train a neural network (NN) model to efficiently predict the infrared spectra of interstellar polycyclic aromatic hydrocarbons (PAHs) with a computational cost many orders of magnitude lower than what a first-principles calculation would demand. The input to the NN is based on the Morgan fingerprints extracted from the skeletal formulas of the molecules and does not require precise geometrical information such as interatomic distances. The model shows excellent predictive skill for out-of-sample inputs, making it suitable for improving the mixture models currently used for understanding the chemical composition and evolution of the interstellar medium. We also identify the constraints to its applicability caused by the limited diversity of the training data and estimate the prediction errors using a ensemble of NNs trained on subsets of the data. With help from other machine-learning methods like random forests, we dissect the role of different chemical features in this prediction. The power of these topological descriptors is demonstrated by the limited effect of including detailed geometrical information in the form of Coulomb matrix eigenvalues.


title: Learnable Spectro-temporal Receptive Fields for Robust Voice Type Discrimination

abstract: Voice Type Discrimination (VTD) refers to discrimination between regions in a recording where speech was produced by speakers that are physically within proximity of the recording device ("Live Speech") from speech and other types of audio that were played back such as traffic noise and television broadcasts ("Distractor Audio"). In this work, we propose a deep-learning-based VTD system that features an initial layer of learnable spectro-temporal receptive fields (STRFs). Our approach is also shown to provide very strong performance on a similar spoofing detection task in the ASVspoof 2019 challenge. We evaluate our approach on a new standardized VTD database that was collected to support research in this area. In particular, we study the effect of using learnable STRFs compared to static STRFs or unconstrained kernels. We also show that our system consistently improves a competitive baseline system across a wide range of signal-to-noise ratios on spoofing detection in the presence of VTD distractor noise.


title: Green functions of Energized complexes

abstract: If h is a ring-valued function on a simplicial complex G we can define two matrices L and g, where the matrix entries are the h energy of homoclinic intersections. We know that the sum over all h values on G is equal to the sum of the Green matrix entries g(x,y). We also have already seen that that the determinants of L or g are both the product of the h(x). In the case where h(x) is the parity of dimension, the sum of the energy values was the standard Euler characteristic and the determinant was a unit. If h(x) was the unit in the ring then L,g are integral quadratic forms which are isospectral and inverse matrices of each other. We prove here that the quadratic energy expression summing over all pairs h(x)^* h(y) of intersecting sets is a signed sum of squares of Green function entries. The quadratic energy expression is Wu characteristic in the case when h is dimension parity. For general h, the quadratic energy expression resembles an Ising Heisenberg type interaction. The conjugate of g is the inverse of L if h takes unit values in a normed ring or in the group of unitary operators in an operator algebra.


title: Self-focal points of ellipsoids of dimension $\geq 3$

abstract: A self-focal point of a Riemannian manifold $(M,g)$ is a point $p$ so that every geodesic starting from $p$ returns to $p$ at some positive time. It is called a pole if all geodesics through $p$ are closed, and a non-polar self-focal point if all geodesics loop back but not all are smoothly closed. Umbilic points of two dimensional tri-axial ellipsoids are non-polar self-focal points. Little is known about existence of self-focal points for Riemannian manifolds of dimension $\geq 3$. We prove that ellipsoids of dimension $\geq 3$ with at least 4 distinct axes have no self-focal points. Certain ellipsoids of dimension $\geq 3$ with three distinct axes do have non-polar self-focal points. Ellipsoids with $\leq 2$ distinct axes always have self-focal points. Self-focal points play an important role in the study of $L^{\infty}$ norms of Laplace eigenfunctions. Our results imply that Laplace eigenfunctions on ellipsoids of dimension $\geq 3$ with at least $4$ distinct axes never achieve maximal sup-norm growth.


title: Musings about Constructions of Efficient Latin Hypercube Designs with Flexible Run-sizes

abstract: Efficient Latin hypercube designs (LHDs), including maximin distance LHDs, maximum projection LHDs and orthogonal LHDs, are widely used in computer experiments. It is challenging to construct such designs with flexible sizes, especially for large ones. In the current literature, various algebraic methods and search algorithms have been proposed for identifying efficient LHDs, each having its own pros and cons. In this paper, we review, summarize and compare some currently popular methods aiming to provide guidance for experimenters on what method should be used in practice. Using the R package we developed which integrates and improves various algebraic and searching methods, many of the designs found in this paper are better than the existing ones. They are easy to use for practitioners and can serve as benchmarks for the future developments on LHDs.


title: On nilpotent extensions of $\infty$-categories and the cyclotomic trace

abstract: We do three things in this paper: (1) study the analog of localization sequences (in the sense of algebraic $K$-theory of stable $\infty$-categories) for additive $\infty$-categories, (2) define the notion of nilpotent extensions for suitable $\infty$-categories and furnish interesting examples such as categorical square-zero extensions, and (3) use (1) and (2) to extend the Dundas-Goodwillie-McCarthy theorem for stable $\infty$-categories which are not monogenically generated (such as the stable $\infty$-category of Voevodsky's motives or the stable $\infty$-category of perfect complexes on some algebraic stacks). The key input in our paper is Bondarko's notion of weight structures which provides a "ring-with-many-objects" analog of a connective $\mathbb{E}_1$-ring spectrum. As applications, we prove cdh descent results for truncating invariants of stacks extending the work of Hoyois-Krishna for homotopy $K$-theory, and establish new cases of Blanc's lattice conjecture.


title: Optimal probes for continuous variable quantum illumination

abstract: Quantum illumination is the task of determining the presence of an object in a noisy environment. We determine the optimal continuous variable states for quantum illumination in the limit of zero object reflectivity. We prove that the optimal single mode state is a coherent state, while the optimal two mode state is the two-mode squeezed-vacuum state. We find that these probes are not optimal at non-zero reflectivity, but remain near optimal. This demonstrates the viability of the continuous variable platform for an experimentally accessible, near optimal quantum illumination implementation.


title: Poincare: Recommending Publication Venues via Treatment Effect Estimation

abstract: Choosing a publication venue for an academic paper is a crucial step in the research process. However, in many cases, decisions are based solely on the experience of researchers, which often leads to suboptimal results. Although there exist venue recommender systems for academic papers, they recommend venues where the paper is expected to be published. In this study, we aim to recommend publication venues from a different perspective. We estimate the number of citations a paper will receive if the paper is published in each venue and recommend the venue where the paper has the most potential impact. However, there are two challenges to this task. First, a paper is published in only one venue, and thus, we cannot observe the number of citations the paper would receive if the paper were published in another venue. Secondly, the contents of a paper and the publication venue are not statistically independent; that is, there exist selection biases in choosing publication venues. In this paper, we formulate the venue recommendation problem as a treatment effect estimation problem. We use a bias correction method to estimate the potential impact of choosing a publication venue effectively and to recommend venues based on the potential impact of papers in each venue. We highlight the effectiveness of our method using paper data from computer science conferences.


title: Extended Abstract: Motion Planners Learned from Geometric Hallucination

abstract: Learning motion planners to move robot from one point to another within an obstacle-occupied space in a collision-free manner requires either an extensive amount of data or high-quality demonstrations. This requirement is caused by the fact that among the variety of maneuvers the robot can perform, it is difficult to find the single optimal plan without many trial-and-error or an expert who is already capable of doing so. However, given a plan performed in obstacle-free space, it is relatively easy to find an obstacle geometry, where this plan is optimal. We consider this "dual" problem of classical motion planning and name this process of finding appropriate obstacle geometry as hallucination. In this work, we present two different approaches to hallucinate (1) the most constrained and (2) a minimal obstacle space where a given plan executed during an exploration phase in a completely safe obstacle-free environment remains optimal. We then train an end-to-end motion planner that can produce motions to move through realistic obstacles during deployment. Both methods are tested on a physical mobile robot in real-world cluttered environments.


title: Sky Highway Design for Dense Traffic

abstract: The number of Unmanned Aerial Vehicles (UAVs) continues to explode. Within the total spectrum of Unmanned Aircraft System (UAS) operations, Urban Air Mobility (UAM) is also on the way. Dense air traffic is getting ever closer to us. Current research either focuses on traffic network design and route design for safety purpose or swarm control in open airspace to contain large volume of UAVs. In order to achieve a tradeoff between safety and volumes of UAVs, a sky highway with its basic operation for Vertical Take-Off and Landing (VTOL) UAV is proposed, where traffic network, route and swarm control design are all considered. In the sky highway, each UAV will have its route, and an airway like a highway road can allow many UAVs to perform free flight. The geometrical structure of the proposed sky highway with corresponding flight modes to support dense traffic is studied one by one. The effectiveness of the proposed sky highway is shown by the given demonstration.


title: Universal Behavior of Magnetoresistance in Organic Dirac Electron Systems

abstract: In-plane magnetoresistance for organic massless Dirac electron system (OMDES) $\alpha$-(BEDT-TTF)$_2$I$_3$ and $\theta$-(BEDT-TTF)$_2$I$_3$ in addition to possible candidates of the OMDES $\alpha$-(BETS)$_2$I$_3$ and $\alpha$-(BEDT-STF)$_2$I$_3$, was investigated under hydrostatic pressure. We have found the universal behavior of the in-plane magnetoresistance under a low magnetic field perpendicular to two-dimensional plane. As for $\alpha$-(BEDT-TTF)$_2$I$_3$, the universality was examined with the parameters of temperature, magnetic field and its direction. We suggest that the universal magnetoresistance behavior is found even for the gapped state of $\alpha$-(BEDT-TTF)$_2$I$_3$ under intermediate pressure, when the thermal energy exceeds the gap.


title: Can Clean New Code reduce Technical Debt Density?

abstract: While technical debt grows in absolute numbers as software systems evolve over time, the density of technical debt (technical debt divided by lines of code) is reduced in some cases. This can be explained by either the application of refactorings or the development of new artifacts with limited Technical Debt. In this paper we explore the second explanation, by investigating the relation between the amount of Technical Debt in new code and the evolution of Technical Debt in the system. To this end, we compare the Technical Debt Density of new code with existing code, and we investigate which of the three major types of code changes (additions, deletions and modifications) is primarily responsible for changes in the evolution of Technical Debt density. Furthermore, we study whether there is a relation between code quality practices and the 'cleanness' of new code. To obtain the required data, we have performed a large-scale case study on twenty-seven open-source software projects by the Apache Software Foundation, analyzing 66,661 classes and 56,890 commits. The results suggest that writing "clean" (or at least "cleaner") new code can be an efficient strategy for reducing Technical Debt Density, and thus preventing software decay over time. The findings also suggest that projects adopting an explicit policy for quality improvement, e.g. through discussions on code quality in board meetings, are associated with a higher frequency of cleaner new code commits. Therefore, we champion the establishment of processes that monitor the density of Technical Debt of new code to control the accumulation of Technical Debt in a software system.


title: Hybrid Beamforming and Adaptive RF Chain Activation for Uplink Cell-Free Millimeter-Wave Massive MIMO Systems

abstract: In this work, we investigate hybrid analog-digital beamforming (HBF) architectures for uplink cell-free (CF) millimeter-wave (mmWave) massive multiple-input multiple-output (MIMO) systems. {We first propose two HBF schemes, namely, decentralized HBF (D-HBF) and semi-centralized HBF (SC-HBF). In the former, both the digital and analog beamformers are generated independently at each AP based on the local channel state information (CSI). In contrast, in the latter, only the digital beamformer is obtained locally at the AP, whereas the analog beamforming matrix is generated at the central processing unit (CPU) based on the global CSI received from all APs. We show that the analog beamformers generated in these two HBF schemes provide approximately the same achievable rates despite the lower complexity of D-HBF and its lack of CSI requirement.} Furthermore, to reduce the power consumption, we propose a novel adaptive radio frequency (RF) chain-activation (ARFA) scheme, which dynamically activates/deactivates RF chains and their connected analog-to-digital converters (ADCs) and phase shifters (PSs) at the APs based on the CSI. For the activation of RF chains, low-complexity algorithms are proposed, which can achieve significant improvement in energy efficiency (EE) with only a marginal loss in the total achievable rate.


title: D2RL: Deep Dense Architectures in Reinforcement Learning

abstract: While improvements in deep learning architectures have played a crucial role in improving the state of supervised and unsupervised learning in computer vision and natural language processing, neural network architecture choices for reinforcement learning remain relatively under-explored. We take inspiration from successful architectural choices in computer vision and generative modelling, and investigate the use of deeper networks and dense connections for reinforcement learning on a variety of simulated robotic learning benchmark environments. Our findings reveal that current methods benefit significantly from dense connections and deeper networks, across a suite of manipulation and locomotion tasks, for both proprioceptive and image-based observations. We hope that our results can serve as a strong baseline and further motivate future research into neural network architectures for reinforcement learning. The project website with code is at this link https://sites.google.com/view/d2rl/home.


title: Evidential Sparsification of Multimodal Latent Spaces in Conditional Variational Autoencoders

abstract: Discrete latent spaces in variational autoencoders have been shown to effectively capture the data distribution for many real-world problems such as natural language understanding, human intent prediction, and visual scene representation. However, discrete latent spaces need to be sufficiently large to capture the complexities of real-world data, rendering downstream tasks computationally challenging. For instance, performing motion planning in a high-dimensional latent representation of the environment could be intractable. We consider the problem of sparsifying the discrete latent space of a trained conditional variational autoencoder, while preserving its learned multimodality. As a post hoc latent space reduction technique, we use evidential theory to identify the latent classes that receive direct evidence from a particular input condition and filter out those that do not. Experiments on diverse tasks, such as image generation and human behavior prediction, demonstrate the effectiveness of our proposed technique at reducing the discrete latent sample space size of a model while maintaining its learned multimodality.


title: Optimal Descartes' Rule of Signs for Circuits

abstract: We present an optimal version of Descartes' rule of signs to bound the number of positive real roots of a sparse system of polynomial equations in n variables with n+2 monomials. This sharp upper bound is given in terms of the sign variation of a sequence associated to the exponents and the coefficients of the system.


title: Strongly confined 2D parabolic quantum dot: Biexciton or Quadron?

abstract: Excitonic systems localized in a single InAs/GaAs parabolic quantum dot are studied theoretically using an unrestricted Hartree-Fock method. The binding energies of excitons, conventional biexcitons and quadrons - four particles system of two electrons and two holes, in the ground state have been obtained as functions of magnetic field and confinement potential. It is found that for strong confinement, while the binding energy of biexciton is negative, the binding energy of quadron is positive, suggesting the strong lateral confinement of the parabolic quantum dot supports the formation of a quadron rather than a biexciton.


title: Linear Forms in Polylogarithms

abstract: Let $r, \,m$ be positive integers. Let $x$ be a rational number with $0 \le x <1$. Consider $\Phi_s(x,z) =\displaystyle\sum_{k=0}^{\infty}\frac{z^{k+1}}{{(k+x+1)}^s}$ the $s$-th Lerch function with $s=1, 2, \cdots, r$. When $x=0$, this is a polylogarithmic function. Let $\alpha_1, \cdots, \alpha_m$ be pairwise distinct algebraic numbers of arbitrary degree over the rational number field, with $0<|\alpha_j|<1 \,\,\,(1\leq j \leq m)$. In this article, we show a criterion for the linear independence, over an algebraic number field containing $\mathbb{Q}(\alpha_1, \cdots, \alpha_m)$, of all the $rm+1$ numbers : $\Phi_1(x,\alpha_1)$, $\Phi_2(x,\alpha_1), $ $\cdots , \Phi_r(x,\alpha_1)$, $\Phi_1(x,\alpha_2)$, $\Phi_2(x,\alpha_2), $ $\cdots , \Phi_r(x,\alpha_2), \cdots, \cdots, \Phi_1(x,\alpha_m)$, $\Phi_2(x,\alpha_m)$, $\cdots , \Phi_r(x,\alpha_m)$ and $1$. This is the first result that gives a sufficient condition for the linear independence of values of the Lerch functions at several distinct algebraic points, not necessarily lying in the rational number field nor in quadratic imaginary fields. We give a complete proof with refinements and quantitative statements of the main theorem announced in [10], together with a proof in detail on the non-vanishing Wronskian of Hermite type.


title: Improving cold-atom sensors with quantum entanglement: Prospects and challenges

abstract: Quantum entanglement has been generated and verified in cold-atom experiments and used to make atom-interferometric measurements below the shot-noise limit. However, current state-of-the-art cold-atom devices exploit separable (i.e. unentangled) atomic states. This Perspective piece asks the question: can entanglement usefully improve cold-atom sensors, in the sense that it gives new sensing capabilities unachievable with current state-of-the-art devices? We briefly review the state-of-the-art in precision cold-atom sensing, focussing on clocks and inertial sensors, identifying the potential benefits entanglement could bring to these devices, and the challenges that need to be overcome to realize these benefits. We survey demonstrated methods of generating metrologically-useful entanglement in cold-atom systems, note their relative strengths and weaknesses, and assess their prospects for near-to-medium term quantum-enhanced cold-atom sensing.


title: Gaussian Constrained Attention Network for Scene Text Recognition

abstract: Scene text recognition has been a hot topic in computer vision. Recent methods adopt the attention mechanism for sequence prediction which achieve convincing results. However, we argue that the existing attention mechanism faces the problem of attention diffusion, in which the model may not focus on a certain character area. In this paper, we propose Gaussian Constrained Attention Network to deal with this problem. It is a 2D attention-based method integrated with a novel Gaussian Constrained Refinement Module, which predicts an additional Gaussian mask to refine the attention weights. Different from adopting an additional supervision on the attention weights simply, our proposed method introduces an explicit refinement. In this way, the attention weights will be more concentrated and the attention-based recognition network achieves better performance. The proposed Gaussian Constrained Refinement Module is flexible and can be applied to existing attention-based methods directly. The experiments on several benchmark datasets demonstrate the effectiveness of our proposed method. Our code has been available at https://github.com/Pay20Y/GCAN.


title: Belief-Grounded Networks for Accelerated Robot Learning under Partial Observability

abstract: Many important robotics problems are partially observable in the sense that a single visual or force-feedback measurement is insufficient to reconstruct the state. Standard approaches involve learning a policy over beliefs or observation-action histories. However, both of these have drawbacks; it is expensive to track the belief online, and it is hard to learn policies directly over histories. We propose a method for policy learning under partial observability called the Belief-Grounded Network (BGN) in which an auxiliary belief-reconstruction loss incentivizes a neural network to concisely summarize its input history. Since the resulting policy is a function of the history rather than the belief, it can be executed easily at runtime. We compare BGN against several baselines on classic benchmark tasks as well as three novel robotic touch-sensing tasks. BGN outperforms all other tested methods and its learned policies work well when transferred onto a physical robot.


title: Multi-Agent Deep Reinforcement Learning for Distributed Resource Management in Wirelessly Powered Communication Networks

abstract: This paper studies multi-agent deep reinforcement learning (MADRL) based resource allocation methods for multi-cell wireless powered communication networks (WPCNs) where multiple hybrid access points (H-APs) wirelessly charge energy-limited users to collect data from them. We design a distributed reinforcement learning strategy where H-APs individually determine time and power allocation variables. Unlike traditional centralized optimization algorithms which require global information collected at a central unit, the proposed MADRL technique models an H-AP as an agent producing its action based only on its own locally observable states. Numerical results verify that the proposed approach can achieve comparable performance of the centralized algorithms.


title: Signed Alternating-runs enumeration in Classical Weyl Groups

abstract: The alternating-runs polynomial enumerates alternating runs in the symmetric group. There are three formulae for the number of permutations, $R_{n,k}$ in $\mathfrak{S}_n$ with $k$ alternating runs, but all of them are complicated. We show that when enumerated with sign taken into account, one gets a {\it neat formula}. As a consequence, we get a near refinement of a result of Wilf on the exponent of $(1+t)$ when it divides the alternating-runs polynomial in the alternating group $\mathcal{A}_n$. Other applications include a moment-type identity and enumeration of alternating permutations in $\mathcal{A}_n$. Similar results are obtained for the type B and type D Coxeter groups.


title: On thermal radiation of de Sitter space in the semiclassical Jackiw-Teitelboim model

abstract: In general, the Gibbons-Hawking temperature based on the Euclidean functional approach shows that de Sitter space in the Bunch-Davies vacuum is globally thermal. In the exactly soluble semiclassical Jackiw-Teitelboim model, we investigate thermal property of de Sitter space by taking into account the quantum back reaction of the geometry. The proper temperature of de Sitter space in the Bunch-Davies vacuum is found to vanish. In case of a certain quantum state breaking the de Sitter symmetry, de Sitter space can be made thermally exited; however, in this case the dilaton singularity cannot be avoided. Consequently, in the Jackiw-Teitelboim model the proper temperature of de Sitter space in the Bunch-Davies vacuum turns out to be zero and the Bunch-Davies vacuum is found to be the only physical vacuum without any naked singularities.


title: Safe and active parameter exploration for event-triggered control

abstract: This paper presents a framework of learning parameter space for event-triggered control. In particular, our goal is to find a set of parameters for the event-triggered condition, such that certain specifications on safety and convergence properties are satisfied. The exploration strategy is based on the Gaussian process-based active learning, in which, for each iteration, the parameter with having the largest variance is evaluated. Moreover, we provide a theoretical analysis, so that the derived parameter space satisfies both convergence and safety. Finally, a numerical simulation is given to illustrate the effectiveness of the approach.


title: Summarizing graphs using the configuration model

abstract: Given a large graph, how can we summarize it with fewer nodes and edges while maintaining its key properties, such as spectral property? Although graphs play more and more important roles in many real-world applications, the growth of their size presents great challenges to graph analysis. As a solution, graph summarization, which aims to find a compact representation that preserves the important properties of a given graph, has received much attention, and numerous algorithms have been developed for it. However, most of the algorithms adopt the uniform reconstruction scheme, which is based on an unrealistic assumption that edges are uniformly distributed. In this work, we propose a novel and realistic reconstruction scheme, which preserves the degree of nodes, and we develop an efficient graph summarization algorithm called DPGS based on the Minimum Description Length principle. We theoretically analyze the difference between the original and summary graphs from a spectral perspective, and we perform extensive experiments on multiple real-world datasets. The results show that DPGS yields compact representation that preserves the essential properties of the original graph.


title: Log-symmetric quantile regression models

abstract: Regression models based on the log-symmetric family of distributions are particularly useful when the response is strictly positive and asymmetric. In this paper, we propose a class of quantile regression models based on reparameterized log-symmetric distributions, which have a quantile parameter. Two Monte Carlo simulation studies are carried out using the R software. The first one analyzes the performance of the maximum likelihood estimators, the information criteria AIC, BIC and AICc, and the generalized Cox-Snell and random quantile residuals. The second one evaluates the performance of the size and power of the Wald, likelihood ratio, score and gradient tests. A real box office data set is finally analyzed to illustrate the proposed approach.


abstract: A widely-used actor-critic reinforcement learning algorithm for continuous control, Deep Deterministic Policy Gradients (DDPG), suffers from the overestimation problem, which can negatively affect the performance. Although the state-of-the-art Twin Delayed Deep Deterministic Policy Gradient (TD3) algorithm mitigates the overestimation issue, it can lead to a large underestimation bias. In this paper, we propose to use the Boltzmann softmax operator for value function estimation in continuous control. We first theoretically analyze the softmax operator in continuous action space. Then, we uncover an important property of the softmax operator in actor-critic algorithms, i.e., it helps to smooth the optimization landscape, which sheds new light on the benefits of the operator. We also design two new algorithms, Softmax Deep Deterministic Policy Gradients (SD2) and Softmax Deep Double Deterministic Policy Gradients (SD3), by building the softmax operator upon single and double estimators, which can effectively improve the overestimation and underestimation bias. We conduct extensive experiments on challenging continuous control tasks, and results show that SD3 outperforms state-of-the-art methods.


title: Hamiltonian Groups with Perfect Order Classes

abstract: A finite group is said to have "perfect order classes" if the number of elements of any given order is either zero or a divisor of the order of the group. The purpose of this note is to describe explicitly the finite Hamiltonian groups with perfect order classes. We show that a finite Hamiltonian group has perfect order classes if, and only if, it is isomorphic to the direct product of the quaternion group of order $8$, a non-trivial cyclic $3$-group and a group of order at most $2$. Theorem. A finite Hamiltonian group has perfect order classes if, and only if, it is isomorphic either to $Q\times C_{3^k}$ or to $Q\times C_{2}\times C_{3^k}$, for some positive integer $k$.


title: Hamilton type entropy formula along the Ricci flow on surfaces with boundary

abstract: In this article, we establish a monotonicity formula of Hamilton type entropy along Ricci flow on compact surfaces with boundary. We also study the relation between our entropy functional and the $\mathcal{W}$-functional of Perelman type.


title: Magnetic texture based magnonics

abstract: The spontaneous magnetic orders arising in ferro-, ferri- and antiferromagnets stem from various magnetic interactions. Depending on the interplay and competition among the Heisenberg exchange interaction, Dzyaloshinskii-Moriya exchange interaction, magnetic dipolar interaction and crystal anisotropies, a great variety of magnetic textures may be stabilized, such as magnetic domain walls, vortices, Skyrmions and spiral helical structures. While each of these spin textures responds to external forces in a specific manner with characteristic resonance frequencies, they also interact with magnons, the fundamental collective excitation of the magnetic order, which can propagate in magnetic materials free of charge transport and therefore with low energy dissipation. Recent theories and experiments found that the interplay between spin waves and magnetic textures is particularly interesting and rich in physics. In this review, we introduce and discuss the theoretical framework of magnons living on a magnetic texture background, as well as recent experimental progress in the manipulation of magnons via magnetic textures. The flexibility and reconfigurability of magnetic textures are discussed regarding the potential for applications in information processing schemes based on magnons.


title: Multiscale simulations for multi-continuum Richards equations

abstract: In this paper, we study a multiscale method for simulating a dual-continuum unsaturated flow problem within complex heterogeneous fractured porous media. Mathematically, each of the dual continua is modeled by a multiscale Richards equation (for pressure head), and these equations are coupled to one another by transfer terms. On its own, Richards equation is already a nonlinear partial differential equation, and it is exceedingly difficult to solve numerically due to the extra nonlinear dependencies involving the soil water. To deal with multiple scales, our strategy is that starting from a microscopic scale, we upscale the coupled system of dual-continuum Richards equations via homogenization by the two-scale asymptotic expansion, to obtain a homogenized system, at an intermediate scale (level). Based on a hierarchical approach, the homogenization's effective coefficients are computed through solving the arising cell problems. To tackle the nonlinearity, after time discretization, we use Picard iteration procedure for linearization of the homogenized Richards equations. At each Picard iteration, some degree of multiscale still remains from the intermediate level, so we utilize the generalized multiscale finite element method (GMsFEM) combining with a multi-continuum approach, to upscale the homogenized system to a macroscopic (coarse-grid) level. This scheme involves building uncoupled and coupled multiscale basis functions, which are used not only to construct coarse-grid solution approximation with high accuracy but also (with the coupled multiscale basis) to capture the interactions among continua. These prospects and convergence are demonstrated by several numerical results for the proposed method.


title: Faisceaux Q/Z(j) et conjecture de Gersten sur un corps imparfait

abstract: On revoit explicitement la construction ainsi que certaines propri\'et\'es des complexes de faisceaux \'etales $\mathbb{Q}/\mathbb{Z}(j)$ sur certains sch\'emas. Le but de ces notes est d'avoir une r\'ef\'erence pr\'ecise pour la conjecture de Gersten pour les faisceaux $\mathbb{Q}/\mathbb{Z}(j)$ sur un corps imparfait ainsi que pour la comparaison entre les groupes de cohomologie $\mathrm{H}^2(\ast,\mathbb{Q}/\mathbb{Z}(1))$ et $\mathrm{H}^2(\ast,\mathbb{G}_m)$. We review explicitly the definition and some properties of \'etale sheaf complexes $\mathbb{Q}/\mathbb{Z}(j)$ on some schemes. The purpose of these notes is to be a precise reference for the Gersten conjecture of $\mathbb{Q}/\mathbb{Z}(j)$ over an imperfect field and also for the comparison between the cohomology groups $\mathrm{H}^2(\ast,\mathbb{Q}/\mathbb{Z}(1))$ and $\mathrm{H}^2(\ast,\mathbb{G}_m)$.


title: Modified EP MIMO Detection Algorithm with Deep Learning Parameters Selection

abstract: Expectation Propagation (EP)-based Multiple-Input Multiple-Output (MIMO) detector is regarded as a state-of-the-art MIMO detector because of its exceptional performance. However, we find that the EP MIMO detector cannot guarantee to achieve the optimal performance due to the empirical parameter selection, including initial variance and damping factors. According to the influence of the moment matching and parameter selection for the performance of the EP MIMO detector, we propose a modified EP MIMO detector (MEPD). In order to obtain the optimal initial variance and damping factors, we adopt a deep learning scheme, in which we unfold the iterative processing of MEPD to establish MEPNet for parameters training. The simulation results show that MEPD with off-line trained parameters outperforms the original one in various MIMO scenarios. Besides, the proposed MEPD with deep learning parameters selection is more robust than EPD in practical scenarios.


title: Partial UV Completion of $P(X)$ from a Curved Field Space

abstract: The $k$-essence theory is a prototypical class of scalar-field models that already gives rich phenomenology and has been a target of extensive studies in cosmology. General forms of shift-symmetric $k$-essence are known to suffer from formation of caustics in a planar-symmetric configuration, with the only exceptions of canonical and DBI-/cuscuton-type kinetic terms. With this in mind, we seek for multi-field caustic-free completions of a general class of shift-symmetric $k$-essence models in this paper. The field space in UV theories is naturally curved, and we introduce the scale of the curvature as the parameter that controls the mass of the heavy field(s) that would be integrated out in the process of EFT reduction. By numerical methods, we demonstrate that the introduction of a heavy field indeed resolves the caustic problem by invoking its motion near the would-be caustic formation. We further study the cosmological application of the model. By expanding the equations with respect to the curvature scale of the field space, we prove that the EFT reduction is successfully done by taking the limit of infinite curvature, both for the background and perturbation, with gravity included. The next leading-order computation is consistently conducted and shows that the EFT reduction breaks down in the limit of vanishing sound speed of the perturbation.


title: MaskNet: A Fully-Convolutional Network to Estimate Inlier Points

abstract: Point clouds have grown in importance in the way computers perceive the world. From LIDAR sensors in autonomous cars and drones to the time of flight and stereo vision systems in our phones, point clouds are everywhere. Despite their ubiquity, point clouds in the real world are often missing points because of sensor limitations or occlusions, or contain extraneous points from sensor noise or artifacts. These problems challenge algorithms that require computing correspondences between a pair of point clouds. Therefore, this paper presents a fully-convolutional neural network that identifies which points in one point cloud are most similar (inliers) to the points in another. We show improvements in learning-based and classical point cloud registration approaches when retrofitted with our network. We demonstrate these improvements on synthetic and real-world datasets. Finally, our network produces impressive results on test datasets that were unseen during training, thus exhibiting generalizability. Code and videos are available at https://github.com/vinits5/masknet


title: Strong Convergence to the Mean-Field Limit of A Finite Agent Equilibrium

abstract: We study an equilibrium-based continuous asset pricing problem for the securities market. In the previous work [16], we have shown that a certain price process, which is given by the solution to a forward backward stochastic differential equation of conditional McKean-Vlasov type, asymptotically clears the market in the large population limit. In the current work, under suitable conditions, we show the existence of a finite agent equilibrium and its strong convergence to the corresponding mean-field limit given in [16]. As an important byproduct, we get the direct estimate on the difference of the equilibrium price between the two markets; one consisting of heterogeneous agents of finite population size and the other of homogeneous agents of infinite population size.


title: Neural Network Architectures for Location Estimation in the Internet of Things

abstract: Artificial Intelligence (AI) solutions for wireless location estimation are likely to prevail in many real-world scenarios. In this work, we demonstrate for the first time how the Cramer-Rao upper bound on localization accuracy can facilitate efficient neural-network solutions for wireless location estimation. In particular, we demonstrate how the number of neurons for the network can be intelligently chosen, leading to AI location solutions that are not time-consuming to run and less likely to be plagued by over-fitting. Experimental verification of our approach is provided. Our new algorithms are directly applicable to location estimates in many scenarios including the Internet of Things, and vehicular networks where vehicular GPS coordinates are unreliable or need verifying. Our work represents the first successful AI solution for a communication problem whose neural-network design is based on fundamental information-theoretic constructs. We anticipate our approach will be useful for a wide range of communication problems beyond location estimation.


title: A Bayesian Approach for Characterizing and Mitigating Gate and Measurement Errors

abstract: Various noise models have been developed in quantum computing study to describe the propagation and effect of the noise which is caused by imperfect implementation of hardware. Identifying parameters such as gate and readout error rates are critical to these models. We use a Bayesian inference approach to identity posterior distributions of these parameters, such that they can be characterized more elaborately. By characterizing the device errors in this way, we can further improve the accuracy of quantum error mitigation. Experiments conducted on IBM's quantum computing devices suggest that our approach provides better error mitigation performance than existing techniques used by the vendor. Also, our approach outperforms the standard Bayesian inference method in such experiments.


title: Knowledge-guided Open Attribute Value Extraction with Reinforcement Learning

abstract: Open attribute value extraction for emerging entities is an important but challenging task. A lot of previous works formulate the problem as a \textit{question-answering} (QA) task. While the collections of articles from web corpus provide updated information about the emerging entities, the retrieved texts can be noisy, irrelevant, thus leading to inaccurate answers. Effectively filtering out noisy articles as well as bad answers is the key to improving extraction accuracy. Knowledge graph (KG), which contains rich, well organized information about entities, provides a good resource to address the challenge. In this work, we propose a knowledge-guided reinforcement learning (RL) framework for open attribute value extraction. Informed by relevant knowledge in KG, we trained a deep Q-network to sequentially compare extracted answers to improve extraction accuracy. The proposed framework is applicable to different information extraction system. Our experimental results show that our method outperforms the baselines by 16.5 - 27.8\%.


title: SciSummPip: An Unsupervised Scientific Paper Summarization Pipeline

abstract: The Scholarly Document Processing (SDP) workshop is to encourage more efforts on natural language understanding of scientific task. It contains three shared tasks and we participate in the LongSumm shared task. In this paper, we describe our text summarization system, SciSummPip, inspired by SummPip (Zhao et al., 2020) that is an unsupervised text summarization system for multi-document in news domain. Our SciSummPip includes a transformer-based language model SciBERT (Beltagy et al., 2019) for contextual sentence representation, content selection with PageRank (Page et al., 1999), sentence graph construction with both deep and linguistic information, sentence graph clustering and within-graph summary generation. Our work differs from previous method in that content selection and a summary length constraint is applied to adapt to the scientific domain. The experiment results on both training dataset and blind test dataset show the effectiveness of our method, and we empirically verify the robustness of modules used in SciSummPip with BERTScore (Zhang et al., 2019a).


title: Multi-channel target speech extraction with channel decorrelation and target speaker adaptation

abstract: The end-to-end approaches for single-channel target speech extraction have attracted widespread attention. However, the studies for end-to-end multi-channel target speech extraction are still relatively limited. In this work, we propose two methods for exploiting the multi-channel spatial information to extract the target speech. The first one is using a target speech adaptation layer in a parallel encoder architecture. The second one is designing a channel decorrelation mechanism to extract the inter-channel differential information to enhance the multi-channel encoder representation. We compare the proposed methods with two strong state-of-the-art baselines. Experimental results on the multi-channel reverberant WSJ0 2-mix dataset demonstrate that our proposed methods achieve up to 11.2% and 11.5% relative improvements in SDR and SiSDR respectively, which are the best reported results on this task to the best of our knowledge.


title: Theory of the Strain Engineering of Graphene Nanoconstrictions

abstract: Strain engineering is one of the key technologies for using graphene as an electronic device: the strain-induced pseudo-gauge field reflects Dirac electrons, thus opening the so-called conduction gap. Since strain accumulates in constrictions, graphene nanoconstrictions can be a good platform for this technology. On the other hand, in the graphene nanoconstrictions, Fabry-Perot type quantum interference dominates the electrical conduction at low bias voltages. We argue that these two effects have different strain dependence; the pseudo-gauge field contribution is symmetric with respect to positive (tensile) and negative (compressive) strain, whereas the quantum interference is antisymmetric. As a result, a peculiar strain dependence of the conductance appears even at room temperatures.


title: Tensor-based Intrinsic Subspace Representation Learning for Multi-view Clustering

abstract: As a hot research topic, many multi-view clustering approaches are proposed over the past few years. Nevertheless, most existing algorithms merely take the consensus information among different views into consideration for clustering. Actually, it may hinder the multi-view clustering performance in real-life applications, since different views usually contain diverse statistic properties. To address this problem, we propose a novel Tensor-based Intrinsic Subspace Representation Learning (TISRL) for multi-view clustering in this paper. Concretely, the rank preserving decomposition is proposed firstly to effectively deal with the diverse statistic information contained in different views. Then, to achieve the intrinsic subspace representation, the tensor-singular value decomposition based low-rank tensor constraint is also utilized in our method. It can be seen that specific information contained in different views is fully investigated by the rank preserving decomposition, and the high-order correlations of multi-view data are also mined by the low-rank tensor constraint. The objective function can be optimized by an augmented Lagrangian multiplier based alternating direction minimization algorithm. Experimental results on nine common used real-world multi-view datasets illustrate the superiority of TISRL.


title: Infusing Sequential Information into Conditional Masked Translation Model with Self-Review Mechanism

abstract: Non-autoregressive models generate target words in a parallel way, which achieve a faster decoding speed but at the sacrifice of translation accuracy. To remedy a flawed translation by non-autoregressive models, a promising approach is to train a conditional masked translation model (CMTM), and refine the generated results within several iterations. Unfortunately, such approach hardly considers the \textit{sequential dependency} among target words, which inevitably results in a translation degradation. Hence, instead of solely training a Transformer-based CMTM, we propose a Self-Review Mechanism to infuse sequential information into it. Concretely, we insert a left-to-right mask to the same decoder of CMTM, and then induce it to autoregressively review whether each generated word from CMTM is supposed to be replaced or kept. The experimental results (WMT14 En$\leftrightarrow$De and WMT16 En$\leftrightarrow$Ro) demonstrate that our model uses dramatically less training computations than the typical CMTM, as well as outperforms several state-of-the-art non-autoregressive models by over 1 BLEU. Through knowledge distillation, our model even surpasses a typical left-to-right Transformer model, while significantly speeding up decoding.


title: Optimal Transmit Power and Flying Location for UAV Covert Wireless Communications

abstract: This paper jointly optimizes the flying location and wireless communication transmit power for an unmanned aerial vehicle (UAV) conducting covert operations. This is motivated by application scenarios such as military ground surveillance from airborne platforms, where it is vital for a UAV's signal transmission to be undetectable by those within the surveillance region. Specifically, we maximize the communication quality to a legitimate ground receiver outside the surveillance region, subject to: a covertness constraint, a maximum transmit power constraint, and a physical location constraint determined by the required surveillance quality. We provide an explicit solution to the optimization problem for one of the most practical constraint combinations. For other constraint combinations, we determine feasible regions for flight, that can then be searched to establish the UAV's optimal location. In many cases, the 2-dimensional optimal location is achieved by a 1-dimensional search. We discuss two heuristic approaches to UAV placement, and show that in some cases they are able to achieve close to optimal, but that in other cases significant gains can be achieved by employing our developed solutions.


title: Unsupervised Machine Learning Discovery of Chemical and Physical Transformation Pathways from Imaging Data

abstract: We show that unsupervised machine learning can be used to learn physical and chemical transformation pathways from the observational microscopic data, as demonstrated for atomically resolved images in Scanning Transmission Electron Microscopy (STEM) and ferroelectric domain structures in Piezoresponse Force Microscopy (PFM). To enable this analysis in STEM, we assumed the existence of atoms, a discreteness of atomic classes, and the presence of an explicit relationship between the observed STEM contrast and the presence of atomic units. In PFM, we assumed the uniquely-defined relationship between the measured signal and polarization distribution. With only these postulates, we developed a machine learning method leveraging a rotationally-invariant variational autoencoder (rVAE) that can identify the existing structural units observed within a material. The approach encodes the information contained in image sequences using a small number of latent variables, allowing the exploration of chemical and physical transformation pathways via the latent space of the system. The results suggest that the high-veracity imaging data can be used to derive fundamental physical and chemical mechanisms involved, by providing encodings of the observed structures that act as bottom-up equivalents of structural order parameters. The approach also demonstrates the potential of variational (i.e., Bayesian) methods for physical sciences and will stimulate the development of new ways to encode physical constraints in the encoder-decoder architectures, and generative physical laws, topological invariances, and causal relationships in the latent space of VAEs.


title: Fermionic Sign Structure of High-order Feynman diagrams in a Many-fermion System

abstract: The sign cancellation between scattering amplitudes makes fermions different from bosons. We systematically investigate Feynman diagrams' fermionic sign structure in a representative many-fermion system---a uniform Fermi gas with Yukawa interaction. We analyze the role of the crossing symmetry and the global gauge symmetry in the fermionic sign cancellation. The symmetry arguments are then used to identify the sign-canceled groups of diagrams. Sign-structure analysis has two applications. Numerically, it leads to a cluster diagrammatic Monte Carlo algorithm for fast diagram evaluations. The new algorithm is about $10^5$ times faster than the conventional approaches in the sixth order. Furthermore, our analysis provides important hints in constructing the relevant effective field theory for many-fermion systems.


title: Fukaya category for Landau-Ginzburg orbifolds

abstract: For a weighted homogeneous polynomial and a choice of a diagonal symmetry group, we define a new Fukaya category for a Landau-Ginzburg orbifold (of Fano or Calabi-Yau type). The construction is based on the wrapped Fukaya category of its Milnor fiber together with the monodromy of the singularity, and it is analogous to the variation operator in singularity theory. The new $\AI$-structure is constructed using popsicle maps with interior insertions of the monodromy orbit. This requires new compactifications of popsicle moduli spaces where conformal structures of some of the spheres and discs are aligned due to the popsicle structures. In particular, codimension one popsicle sphere bubbles might exist and become obstructions to define the $\AI$-structure. For log Fano and Calabi-Yau cases, we show that the sphere bubbles do not arise from action and degree estimates, together with the computation of indices of twisted Reeb orbits for Milnor fiber quotients.


title: ALMA View of the Infalling Envelope around a Massive Protostar in S255IR SMA1

abstract: The massive young stellar object S255IR NIRS3 embedded in the star forming core SMA1 has been recently observed with a luminosity burst, which is conjectured as a disc-mediated variable accretion event. In this context, it is imperative to characterize the gas properties around the massive young stellar object. With this in mind, we carried out high angular resolution observations with the Atacama Large Millimeter and submillimeter Array and imaged the 900 $\mu m$ dust continuum and the CH$_3$CN $J$=19$-$18 $K$=0$-$10 transitions of S255IR SMA1. The integrated CH$_3$CN emission exhibits an elongated feature with an extent of 1800 au in the northwest-southeast direction at a position angle of 165 degree, which is nearly perpendicular to the bipolar outflow. We confirm the presence of dense (a few $\times 10^{9}$ cm$^{-3}$) and hot ($\sim$ 400 K) gas immediately surrounding the central protostar. The CH$_3$CN emission features a velocity gradient along the elongated ridge and by modelling the gas kinematics based on features in the position-velocity diagram, we infer that the gas is best described by a flattened rotating infalling envelope (or pseudo-disc). A mass infall rate of a few $\times$ 10$^{-4}$ solar-mass per year is derived. If there exists a putative Keplerian disc directly involved in the mass accretion onto the star and jet/outflow launching, it is likely smaller than 125 au and unresolved by our observations. We show qualitative resemblances between the gas properties (such as density and kinematics) in 255IR SMA1 inferred from our observations and those in a numerical simulation particularly tailored for studying the burst mode of massive star formation.


title: There is no Diophantine $D(-1)$--quadruple

abstract: A set of positive integers with the property that the product of any two of them is the successor of a perfect square is called Diophantine $D(-1)$--set. Such objects are usually studied via a system of generalized Pell equations naturally attached to the set under scrutiny. In this paper, an innovative technique is introduced in the study of Diophantine $D(-1)$--quadruples. The main novelty is the uncovering of a quadratic equation relating various parameters describing a hypothetical $D(-1)$--quadruple with integer entries. In combination with extensive computations, this idea leads to the confirmation of the conjecture according to which there is no Diophantine $D(-1)$--quadruple.


title: A qubit strongly interacting with a bosonic environment: Geometry of thermal states

abstract: A standard theory of thermodynamics states that a quantum system in contact with a thermal environment relaxes to the equilibrium state known as the Gibbs state wherein decoherence occurs in the system's energy eigenbasis. When the interaction between the system and environment is strong, a different equilibrium state can be reached that is not diagonal in the system energy eigenbasis. Zurek's theory of einselection predicts that the decoherence takes place in the so-called pointer basis under the strong coupling regime, which can be viewed as continuous measurement of the system by the environment. The thermal state under the strong coupling regime is thus expected to be diagonal in the pointer states rather than energy eigenstates. We have postulated that the thermals state in the strong coupling limit is a Gibbs state projected onto the pointer basis and have demonstrated this with a simple model of single qubit strongly interacting with a bosonic environment.


title: Rotation Invariant Aerial Image Retrieval with Group Convolutional Metric Learning

abstract: Remote sensing image retrieval (RSIR) is the process of ranking database images depending on the degree of similarity compared to the query image. As the complexity of RSIR increases due to the diversity in shooting range, angle, and location of remote sensors, there is an increasing demand for methods to address these issues and improve retrieval performance. In this work, we introduce a novel method for retrieving aerial images by merging group convolution with attention mechanism and metric learning, resulting in robustness to rotational variations. For refinement and emphasis on important features, we applied channel attention in each group convolution stage. By utilizing the characteristics of group convolution and channel-wise attention, it is possible to acknowledge the equality among rotated but identically located images. The training procedure has two main steps: (i) training the network with Aerial Image Dataset (AID) for classification, (ii) fine-tuning the network with triplet-loss for retrieval with Google Earth South Korea and NWPU-RESISC45 datasets. Results show that the proposed method performance exceeds other state-of-the-art retrieval methods in both rotated and original environments. Furthermore, we utilize class activation maps (CAM) to visualize the distinct difference of main features between our method and baseline, resulting in better adaptability in rotated environments.


title: A novel method for inference of chemical compounds with prescribed topological substructures based on integer programming

abstract: Analysis of chemical graphs is becoming a major research topic in computational molecular biology due to its potential applications to drug design. One of the major approaches in such a study is inverse quantitative structure activity/property relationships (inverse QSAR/QSPR) analysis, which is to infer chemical structures from given chemical activities/properties. Recently, a novel framework has been proposed for inverse QSAR/QSPR using both artificial neural networks (ANN) and mixed integer linear programming (MILP). This method consists of a prediction phase and an inverse prediction phase. In the first phase, a feature vector $f(G)$ of a chemical graph $G$ is introduced and a prediction function $\psi_{\mathcal{N}}$ on a chemical property $\pi$ is constructed with an ANN $\mathcal{N}$. In the second phase, given a target value $y^*$ of the chemical property $\pi$, a feature vector $x^*$ is inferred by solving an MILP formulated from the trained ANN $\mathcal{N}$ so that $\psi_{\mathcal{N}}(x^*)$ is equal to $y^*$ and then a set of chemical structures $G^*$ such that $f(G^*)= x^*$ is enumerated by a graph enumeration algorithm. The framework has been applied to chemical compounds with a rather abstract topological structure such as acyclic or monocyclic graphs and graphs with a specified polymer topology with cycle index up to 2. In this paper, we propose a new flexible modeling method to the framework so that we can specify a topological substructure of graphs and a partial assignment of chemical elements and bond-multiplicity to a target graph.


title: Stress chain analysis of soil particles in slope via persistent homology

abstract: The relationship between the macroscopic response of the slope and the macrostructure of the force chain network under the action of the metal plate was studied by the particle discrete element method and the persistent homology. The particle accumulation model was used to simulate the instability process of slope under the continuous downward action of metal plate by the particle discrete element method. The macroscopic responses such as the total velocity vector of the two-dimensional slope deposit, the angle of the slip cracking surface when the slope is unstable, and the average velocity in the y-direction of the slope were studied. Then, the normal force chain undirected network model of the natural accumulation of slope stacking particles was constructed. Finally, the topological characteristics of the particle contact force chain network of the slope top were analyzed by the persistent homology method to obtain the barcode. Finally, the relationship between the instability evolution and the characteristics of persistent homology is established. This research provides a new method for the study of slope instability topology identification. Thus, the instability destruction of slope can be predicted effectively.