title: Engineering Si doping in anatase and rutile TiO$_2$ with oxygen vacancy for efficient optical application

abstract: In this paper, I demonstrate a density functional theory plus dynamical mean field theory study on the electronic properties of doped $TiO_2$ rutile as well as another tetragonal phase anatase with oxygen vacancy. The density of states and optical properties have been obtained from the electronic structure applying screened hybrid exchange correlation density functionals. All the single-particle excitations are treated within the dynamical mean field theory for independent quasiparticles. For optical properties, excitations are considered by solving the Bethe-Salpeter equation for Coulomb correlated electron-hole duo. On this theoretical basis, band structure and optical spectra for the two structures of $TiO_2$ are provided. Further, I compared the present results with earlier optical data of parent structure and established the increased optical efficiency in doped $TiO_2$ with oxygen vacancy in both the structure.


title: A recursive construction of units in a class of rings

abstract: Let $R$ be an associative ring with identity and let $N$ be a nil ideal of $R$. It is shown that units of $R/N$ can be lifted to units in $R$. Under some mild conditions on the ring, a procedure is given to determine those lifted units in a recursive way. As an application, the units of several classes of rings are determined, including: matrix rings, chain rings, and group rings where the ring is a chain ring. Numerical examples are given illustrating the main results.


title: Pinching a glass reveals key properties of its soft spots

abstract: It is now well established that glasses feature quasilocalized nonphononic excitations --- coined "soft spots"---, which follow a universal $\omega^4$ density of states in the limit of low frequencies $\omega$. All glass-specific properties, such as the dependence on the preparation protocol or composition, are encapsulated in the non-universal prefactor of the universal $\omega^4$ law. The prefactor, however, is a composite quantity that incorporates information both about the number of quasilocalized nonphononic excitations and their characteristic stiffness, in an apparently inseparable manner. We show that by pinching a glass, i.e. by probing its response to force dipoles, one can disentangle and independently extract these two fundamental pieces of physical information. This analysis reveals that the number of quasilocalized nonphononic excitations follows a Boltzmann-like law in terms of the parent temperature from which the glass is quenched. The latter, sometimes termed the fictive (or effective) temperature, plays important roles in non-equilibrium thermodynamic approaches to the relaxation, flow and deformation of glasses. The analysis also shows that the characteristic stiffness of quasilocalized nonphononic excitations can be related to their characteristic size, a long sought-for length scale. These results show that important physical information, which is relevant for various key questions in glass physics, can be obtained through pinching a glass.


title: Kneser's Theorem in $\sigma$-finite Abelian groups

abstract: Let $G$ be a $\sigma$-finite abelian group, i.e. $G=\bigcup_{n\geq 1} G_n$ where $(G_n)_{n\geq 1}$ is a non decreasing sequence of finite subgroups. For any $A\subset G$, let $\underline{\mathrm{d}}(A):=\liminf_{n\to\infty}\frac{|A\cap G_n|}{|G_n|}$ be its lower asymptotic density. We show that for any subsets $A$ and $B$ of $G$, whenever $\underline{\mathrm{d}}(A+B)<\underline{\mathrm{d}}(A)+\underline{\mathrm{d}}(B)$, the sumset $A+B$ must be periodic, that is, a union of translates of a subgroup $H\leq G$ of finite index. This is exactly analogous to Kneser's theorem regarding the density of infinite sets of integers. Further, we show similar statements for the upper asymptotic density in the case where $A=\pm B$. An analagous statement had already been proven by Griesmer in the very general context of countable abelian groups, but the present paper provides a much simpler argument specifically tailored for the setting of $\sigma$-finite abelian groups. This argument relies on an appeal to another theorem of Kneser, namely the one regarding finite sumsets in an abelian group.


title: Renewal reward perspective on linear switching diffusion systems

abstract: In many biological systems, the movement of individual agents is commonly characterized as having multiple qualitatively distinct behaviors that arise from various biophysical states. This is true for vesicles in intracellular transport, micro-organisms like bacteria, or animals moving within and responding to their environment. For example, in cells the movement of vesicles, organelles and other cargo are affected by their binding to and unbinding from cytoskeletal filaments such as microtubules through molecular motor proteins. A typical goal of theoretical or numerical analysis of models of such systems is to investigate the effective transport properties and their dependence on model parameters. While the effective velocity of particles undergoing switching diffusion is often easily characterized in terms of the long-time fraction of time that particles spend in each state, the calculation of the effective diffusivity is more complicated because it cannot be expressed simply in terms of a statistical average of the particle transport state at one moment of time. However, it is common that these systems are regenerative, in the sense that they can be decomposed into independent cycles marked by returns to a base state. Using decompositions of this kind, we calculate effective transport properties by computing the moments of the dynamics within each cycle and then applying renewal-reward theory. This method provides a useful alternative large-time analysis to direct homogenization for linear advection-reaction-diffusion partial differential equation models. Moreover, it applies to a general class of semi-Markov processes and certain stochastic differential equations that arise in models of intracellular transport. Applications of the proposed framework are illustrated for case studies such as mRNA transport in developing oocytes and processive cargo movement by teams of motor proteins.


title: DeepSat V2: Feature Augmented Convolutional Neural Nets for Satellite Image Classification

abstract: Satellite image classification is a challenging problem that lies at the crossroads of remote sensing, computer vision, and machine learning. Due to the high variability inherent in satellite data, most of the current object classification approaches are not suitable for handling satellite datasets. The progress of satellite image analytics has also been inhibited by the lack of a single labeled high-resolution dataset with multiple class labels. In a preliminary version of this work, we introduced two new high resolution satellite imagery datasets (SAT-4 and SAT-6) and proposed DeepSat framework for classification based on "handcrafted" features and a deep belief network (DBN). The present paper is an extended version, we present an end-to-end framework leveraging an improved architecture that augments a convolutional neural network (CNN) with handcrafted features (instead of using DBN-based architecture) for classification. Our framework, having access to fused spatial information obtained from handcrafted features as well as CNN feature maps, have achieved accuracies of 99.90% and 99.84% respectively, on SAT-4 and SAT-6, surpassing all the other state-of-the-art results. A statistical analysis based on Distribution Separability Criterion substantiates the robustness of our approach in learning better representations for satellite imagery.


title: Linear rankwidth meets stability

abstract: Classes with bounded rankwidth are MSO-transductions of trees and classes with bounded linear rankwidth are MSO-transductions of paths. These results show a strong link between the properties of these graph classes considered from the point of view of structural graph theory and from the point of view of finite model theory. We take both views on classes with bounded linear rankwidth and prove structural and model theoretic properties of these classes: 1) Graphs with linear rankwidth at most $r$ are linearly \mbox{$\chi$-bounded}. Actually, they have bounded $c$-chromatic number, meaning that they can be colored with $f(r)$ colors, each color inducing a cograph. 2) Based on a Ramsey-like argument, we prove for every proper hereditary family $\mathcal F$ of graphs (like cographs) that there is a class with bounded rankwidth that does not have the property that graphs in it can be colored by a bounded number of colors, each inducing a subgraph in~$\mathcal F$. 3) For a class $\mathcal C$ with bounded linear rankwidth the following conditions are equivalent: a) $\mathcal C$~is~stable, b)~$\mathcal C$~excludes some half-graph as a semi-induced subgraph, c) $\mathcal C$ is a first-order transduction of a class with bounded pathwidth. These results open the perspective to study classes admitting low linear rankwidth covers.


title: On the computation of counterfactual explanations -- A survey

abstract: Due to the increasing use of machine learning in practice it becomes more and more important to be able to explain the prediction and behavior of machine learning models. An instance of explanations are counterfactual explanations which provide an intuitive and useful explanations of machine learning models. In this survey we review model-specific methods for efficiently computing counterfactual explanations of many different machine learning models and propose methods for models that have not been considered in literature so far.


title: Beyond the Grounding Bottleneck: Datalog Techniques for Inference in Probabilistic Logic Programs (Technical Report)

abstract: State-of-the-art inference approaches in probabilistic logic programming typically start by computing the relevant ground program with respect to the queries of interest, and then use this program for probabilistic inference using knowledge compilation and weighted model counting. We propose an alternative approach that uses efficient Datalog techniques to integrate knowledge compilation with forward reasoning with a non-ground program. This effectively eliminates the grounding bottleneck that so far has prohibited the application of probabilistic logic programming in query answering scenarios over knowledge graphs, while also providing fast approximations on classical benchmarks in the field.


title: Smooth rigidity for very non-algebraic expanding maps

abstract: We show that the space of expanding maps contains an open and dense set where smooth conjugacy classes of expanding maps are determined by the values of the Jacobians of return maps at periodic points.


title: ONETEP + TOSCAM: uniting dynamical mean field theory and linear-scaling density functional theory

abstract: We introduce the unification of dynamical mean field theory (DMFT) and linear-scaling density functional theory (DFT), as recently implemented in ONETEP, a linear-scaling DFT package, and TOSCAM, a DMFT toolbox. This code can account for strongly correlated electronic behavior while simultaneously including the effects of the environment, making it ideally suited for studying complex and heterogeneous systems containing transition metals and lanthanides, such as metalloproteins. We systematically introduce the necessary formalism, which must account for the non-orthogonal basis set used by ONETEP. In order to demonstrate the capabilities of this code, we apply it to carbon monoxide-ligated iron porphyrin and explore the distinctly quantum-mechanical character of the iron $3d$ electrons during the process of photodissociation.

categories: cond-mat.str-el physics.chem-ph physics.comp-ph quant-ph


title: Universal superposition codes: capacity regions of compound quantum broadcast channel with confidential messages

abstract: We derive universal codes for transmission of broadcast and confidential messages over classical-quantum-quantum and fully quantum channels. These codes are robust to channel uncertainties considered in the compound model. To construct these codes we generalize random codes for transmission of public messages, to derive a universal superposition coding for the compound quantum broadcast channel. As an application, we give a multi-letter characterization of regions corresponding to the capacity of the compound quantum broadcast channel for transmitting broadcast and confidential messages simultaneously. This is done for two types of broadcast messages, one called public and the other common.


title: Understanding parameter differences between analyses employing nested data subsets

abstract: We provide an analytical argument for understanding the likely nature of parameter shifts between those coming from an analysis of a dataset and from a subset of that dataset, assuming differences are down to noise and any intrinsic variance alone. This gives us a measure against which we can interpret changes seen in parameters and make judgements about the coherency of the data and the suitability of a model in describing those data.


title: Learning Probably Approximately Correct Maximin Strategies in Simulation-Based Games with Infinite Strategy Spaces

abstract: We tackle the problem of learning equilibria in simulation-based games. In such games, the players' utility functions cannot be described analytically, as they are given through a black-box simulator that can be queried to obtain noisy estimates of the utilities. This is the case in many real-world games in which a complete description of the elements involved is not available upfront, such as complex military settings and online auctions. In these situations, one usually needs to run costly simulation processes to get an accurate estimate of the game outcome. As a result, solving these games begets the challenge of designing learning algorithms that can find (approximate) equilibria with high confidence, using as few simulator queries as possible. Moreover, since running the simulator during the game is unfeasible, the algorithms must first perform a pure exploration learning phase and, then, use the (approximate) equilibrium learned this way to play the game. In this work, we focus on two-player zero-sum games with infinite strategy spaces. Drawing from the best arm identification literature, we design two algorithms with theoretical guarantees to learn maximin strategies in these games. The first one works in the fixed-confidence setting, guaranteeing the desired confidence level while minimizing the number of queries. Instead, the second algorithm fits the fixed-budget setting, maximizing the confidence without exceeding the given maximum number of queries. First, we formally prove {\delta}-PAC theoretical guarantees for our algorithms under some regularity assumptions, which are encoded by letting the utility functions be drawn from a Gaussian process. Then, we experimentally evaluate our techniques on a testbed made of randomly generated games and instances representing simple real-world security settings.


title: Spin-dependent electron transmission across the corrugated graphene

abstract: We study various mechanisms of electron transmission across the corrugations in the graphene sheet. The spin dependence of the electron transmission probability in the rippled graphene is found. The electrons mean free path and transmission probabilities are analysed for different distributions of ripples in the graphene sheet as well. We demonstrate that the periodically repeated rippled graphene structure (the superlattice) leads to the suppression of the transmission of the ballistic electrons with one spin orientation in contrast to the other, depending on the direction of the incoming electron flow.


title: Satellite Image Time Series Classification with Pixel-Set Encoders and Temporal Self-Attention

abstract: Satellite image time series, bolstered by their growing availability, are at the forefront of an extensive effort towards automated Earth monitoring by international institutions. In particular, large-scale control of agricultural parcels is an issue of major political and economic importance. In this regard, hybrid convolutional-recurrent neural architectures have shown promising results for the automated classification of satellite image time series.We propose an alternative approach in which the convolutional layers are advantageously replaced with encoders operating on unordered sets of pixels to exploit the typically coarse resolution of publicly available satellite images. We also propose to extract temporal features using a bespoke neural architecture based on self-attention instead of recurrent networks. We demonstrate experimentally that our method not only outperforms previous state-of-the-art approaches in terms of precision, but also significantly decreases processing time and memory requirements. Lastly, we release a large open-access annotated dataset as a benchmark for future work on satellite image time series.


title: Inexact Primal-Dual Gradient Projection Methods for Nonlinear Optimization on Convex Set

abstract: In this paper, we propose a novel primal-dual inexact gradient projection method for nonlinear optimization problems with convex-set constraint. This method only needs inexact computation of the projections onto the convex set for each iteration, consequently reducing the computational cost for projections per iteration. This feature is attractive especially for solving problems where the projections are computationally not easy to calculate. Global convergence guarantee and O(1/k) ergodic convergence rate of the optimality residual are provided under loose assumptions. We apply our proposed strategy to l1-ball constrained problems. Numerical results exhibit that our inexact gradient projection methods for solving l1-ball constrained problems are more efficient than the exact methods.


title: A gamified simulator and physical platform for self-driving algorithm training and validation

abstract: We identify the need for a gamified self-driving simulator where game mechanics encourage high-quality data capture, and design and apply such a simulator to collecting lane-following training data. The resulting synthetic data enables a Convolutional Neural Network (CNN) to drive an in-game vehicle. We simultaneously develop a physical test platform based on a radio-controlled vehicle and the Robotic Operating System (ROS) and successfully transfer the simulation-trained model to the physical domain without modification. The cross-platform simulator facilitates unsupervised crowdsourcing, helping to collect diverse data emulating complex, dynamic environment data, infrequent events, and edge cases. The physical platform provides a low-cost solution for validating simulation-trained models or enabling rapid transfer learning, thereby improving the safety and resilience of self-driving algorithms.


title: A Gr\"obner basis for Kazhdan-Lusztig ideals of the flag variety of affine type A

abstract: A Kazhdan-Lusztig variety is the intersection of a locally-closed Schubert cell with an opposite Schubert variety in a flag variety. We present a linear parametrization of the Schubert cells in the affine type A flag variety via Bott-Samelson maps, and give explicit equations that generate the Kazhdan-Lusztig ideals in these coordinates. Furthermore, our equations form a Gr\"obner basis for the Kazhdan-Lusztig ideals. Our result generalizes a result of Woo-Yong that gave a Gr\"obner basis for Kazhdan-Lusztig ideals in the type A flag variety.


title: Length scales in Brownian yet non-Gaussian dynamics

abstract: According to the classical theory of Brownian motion, the mean squared displacement of diffusing particles evolves linearly with time whereas the distribution of their displacements is Gaussian. However, recent experiments on mesoscopic particle systems have discovered Brownian yet non-Gaussian regimes where diffusion coexists with an exponential tail in the distribution of displacements. Here we show that, contrary to the present theoretical understanding, the length scale $\lambda$ associated to this exponential distribution does not necessarily scale in a diffusive way. Simulations of Lennard- Jones systems reveal a behavior $\lambda \sim t^{1/3}$ in three dimensions and $\lambda \sim t^{1/2}$ in two dimensions. We propose a scaling theory based on the idea of hopping motion to explain this result. In contrast, simulations of a tetrahedral gelling system, where particles interact by a non-isotropic potential, yield a temperature-dependent scaling of $\lambda$. We interpret this behavior in terms of an intermittent hopping motion. Our findings link the Brownian yet non-Gaussian phenomenon with generic features of glassy dynamics and open new experimental perspectives on the class of molecular and supramolecular systems whose dynamics is ruled by rare events.


title: Online Change-Point Detection in High-Dimensional Covariance Structure with Application to Dynamic Networks

abstract: In this paper, we develop an online change-point detection procedure in the covariance structure of high-dimensional data. A new stopping rule is proposed to terminate the process as early as possible when a change in covariance structure occurs. The stopping rule allows temporal dependence and can be applied to non-Gaussian data. An explicit expression for the average run length (ARL) is derived, so that the level of threshold in the stopping rule can be easily obtained with no need to run time-consuming Monte Carlo simulations. We also establish an upper bound for the expected detection delay (EDD), the expression of which demonstrates the impact of data dependence and magnitude of change in the covariance structure. Simulation studies are provided to confirm accuracy of the theoretical results. The practical usefulness of the proposed procedure is illustrated by detecting the change of brain's covariance network in a resting-state fMRI dataset.


title: A Spark ML driven preprocessing approach for deep learning based scholarly data applications

abstract: Big data has found applications in multiple domains. One of the largest sources of textual big data is scientific documents and papers. Big scholarly data have been used in numerous ways to create innovative applications such as collaborator discovery, expert finding and research management systems. With the advent of advanced machine and deep learning techniques, the accuracy and novelty of such applications have risen manifold. However, the biggest challenge in the development of deep learning models for scholarly applications in cloud based environment is the underutilization of resources because of the excessive time taken by textual preprocessing. This paper presents a preprocessing pipeline that makes use of Spark for data ingestion and Spark ML for pipelining preprocessing tasks. The evaluation of the proposed work is done using a case study, which uses LSTM based text summarization for generating title or summary from abstract of any research. The ingestion, preprocessing and cumulative time for the proposed approach (P3SAPP) is much lower than the conventional approach (CA), which manifests in reduction of costs as well.


title: Novel Relay Selection Protocol for Cooperative Networks

abstract: Extensive research has been done to achieve better throughput and reliability in wireless networks, with focus on multiple-input multiple-output systems. Recently, cooperative networking techniques have been investigated to increase the performance of low-cost wireless systems by using the diversity created by different single antenna devices. However, cooperative networking requires a medium access control layer able to handle source-relay-destination communications. Wireless cooperative relaying poses several challenges, being the most important one related to the relay selection mechanism, especially in the presence of mobile nodes. This position paper aims to describe our findings towards development of an efficient relay selection algorithm.


title: Hydrodynamics from free-streaming to thermalization and back again

abstract: We study the evolution of the Knudsen and Reynolds numbers in (0+1)-dimensionally expanding fluids with Bjorken symmetry for systems whose microscopic mean free path rises more quickly with time than usually assumed. This allows us to explore within a simple 1-dimensional model the transition from initially thermalizing to ultimately decoupling dynamics. In all cases studied the dynamics is found to be controlled by hydrodynamic attractors for both the Knudsen and Reynolds numbers whose trajectories undergo characteristic changes as the dynamics changes from thermalizing to decoupling.


title: Co-production of light and heavy $r$-process elements via fission deposition

abstract: We apply for the first time fission yields determined across the chart of nuclides from the macroscopic-microscopic theory of the Finite Range Liquid Drop Model to simulations of rapid neutron capture ($r$-process) nucleosynthesis. With the fission rates and yields derived within the same theoretical framework utilized for other relevant nuclear data, our results represent an important step toward self-consistent applications of macroscopic-microscopic models in $r$-process calculations. The yields from this model are wide for nuclei with extreme neutron excess. We show that these wide distributions of neutron-rich nuclei, and particularly the asymmetric yields for key species that fission at late times in the $r$ process, can contribute significantly to the abundances of the lighter heavy elements, specifically the light precious metals palladium and silver. Since these asymmetric yields correspondingly also deposit into the lanthanide region, we consider the possible evidence for co-production by comparing our nucleosynthesis results directly with the trends in the elemental ratios of metal-poor stars rich in $r$-process material. We show that for $r$-process enhanced stars palladium over europium and silver over europium display mostly flat trends suggestive of co-production and compare to the lanthanum over europium trend which is often used to justify robustness arguments in the lanthanide region. We find that such robustness arguments may be extendable down to palladium and heavier and demonstrate that fission deposition is a mechanism by which such a universality or robustness can be achieved.


title: Data-driven Linear Quadratic Regulation via Semidefinite Programming

abstract: This paper studies the finite-horizon linear quadratic regulation problem where the dynamics of the system are assumed to be unknown and the state is accessible. Information on the system is given by a finite set of input-state data, where the input injected in the system is persistently exciting of a sufficiently high order. Using data, the optimal control law is then obtained as the solution of a suitable semidefinite program. The effectiveness of the approach is illustrated via numerical examples.


title: Flag manifold sigma-models and nilpotent orbits

abstract: In the present paper we study flag manifold sigma-models that admit a zero-curvature representation. It is shown that these models may be naturally considered as interacting (holomorphic and anti-holomorphic) $\beta\gamma$-systems. Besides, using the theory of nilpotent orbits of complex Lie groups, we establish a relation to the principal chiral model.


title: Catalecticant intersections and confinement of decompositions of forms

abstract: We introduce the notion of confinement of decompositions for forms or vector of forms. The confinement, when it holds, lowers the number of parameters that one needs to consider, in order to find all the possible decompositions of a given set of data. With the technique of confinement, we obtain here two results. First, we give a new, shorter proof of a result by London (\cite{London90}) that $3$ general plane cubics have $2$ simultaneous Waring decompositions of rank $6$. Then we compute, with the software Bertini, that $4$ general plane quartics have $18$ different decompositions of rank $10$ (a result which was not known before).


title: Elastic transfer and parity dependence of the nucleus-nucleus optical potential

abstract: Background: A recent coupled reaction channel (CRC) study shows that the enhanced oscillation of the elastic $^{16}$O+$^{12}$C cross section at backward angles is due mainly to the elastic $\alpha$ transfer or the core exchange. Such a process gives rise to a parity-dependent term in the total elastic $S$-matrix, an indication of the parity dependence of the $^{16}$O+$^{12}$C optical potential (OP). Purpose: To explicitly determine the core exchange potential (CEP) induced by the symmetric exchange of the two $^{12}$C cores in the elastic $^{16}$O+$^{12}$C scattering at $E_{\rm lab}= 132$ and 300 MeV, and explore its parity dependence. Method: $S$-matrix generated by CRC description of the elastic $^{16}$O+$^{12}$C scattering is used as the input for the inversion calculation to obtain the effective local OP that contains both the Wigner and Majorana terms. Results: The high-precision inversion results show a strong contribution by the complex Majorana term in the total OP of the $^{16}$O+$^{12}$C system, and thus provide for the first time a direct estimation of the parity-dependent CEP. Conclusions: The elastic $\alpha$ transfer or exchange of the two $^{12}$C cores in the $^{16}$O+$^{12}$C system gives rise to a complex parity dependence of the total OP. This should be a general feature of the OP for the light heavy-ion systems that contain two identical cores.


title: MaskedFusion: Mask-based 6D Object Pose Estimation

abstract: MaskedFusion is a framework to estimate the 6D pose of objects using RGB-D data, with an architecture that leverages multiple sub-tasks in a pipeline to achieve accurate 6D poses. 6D pose estimation is an open challenge due to complex world objects and many possible problems when capturing data from the real world, e.g., occlusions, truncations, and noise in the data. Achieving accurate 6D poses will improve results in other open problems like robot grasping or positioning objects in augmented reality. MaskedFusion improves the state-of-the-art by using object masks to eliminate non-relevant data. With the inclusion of the masks on the neural network that estimates the 6D pose of an object we also have features that represent the object shape. MaskedFusion is a modular pipeline where each sub-task can have different methods that achieve the objective. MaskedFusion achieved 97.3% on average using the ADD metric on the LineMOD dataset and 93.3% using the ADD-S AUC metric on YCB-Video Dataset, which is an improvement, compared to the state-of-the-art methods. The code is available on GitHub (https://github.com/kroglice/MaskedFusion).


title: An improved multi-ridge fitting method for ring-diagram helioseismic analysis

abstract: Context: There is a wide discrepancy in current estimates of the strength of convection flows in the solar interior obtained using different helioseismic methods applied to observations from SDO/HMI. The cause for these disparities is not known. Aims: As one step in the effort to resolve this discrepancy, we aim to characterize the multi-ridge fitting code for ring-diagram helioseismic analysis that is used to obtain flow estimates from local power spectra of solar oscillations. Methods: We updated the multi-ridge fitting code developed by Greer et al.(2014) to solve several problems we identified through our inspection of the code. In particular, we changed the merit function to account for the smoothing of the power spectra, model for the power spectrum, and noise estimates. We used Monte Carlo simulations to generate synthetic data and to characterize the noise and bias of the updated code by fitting these synthetic data. Results: The bias in the output fit parameters, apart from the parameter describing the amplitude of the p-mode resonances in the power spectrum, is below what can be measured from the Monte-Carlo simulations. The amplitude parameters are underestimated; this is a consequence of choosing to fit the logarithm of the averaged power. We defer fixing this problem as it is well understood and not significant for measuring flows in the solar interior. The scatter in the fit parameters from the Monte-Carlo simulations is well-modeled by the formal error estimates from the code. Conclusions: We document and demonstrate a reliable multi-ridge fitting method for ring-diagram analysis. The differences between the updated fitting results and the original results are less than one order of magnitude and therefore we suspect that the changes will not eliminate the aforementioned orders-of-magnitude discrepancy in the amplitude of convective flows in the solar interior.


title: Optimal Search and Discovery

abstract: This paper studies a search problem where a consumer is initially aware of only a few products. At every point in time, the consumer then decides between searching among alternatives he is already aware of and discovering more products. I show that the optimal policy for this search and discovery problem is fully characterized by tractable reservation values. Moreover, I prove that a predetermined index fully specifies the purchase decision of a consumer following the optimal search policy. Finally, a comparison highlights differences to classical random and directed search.


title: Combined Covers and Beth Definability (Extended Version)

abstract: In ESOP 2008, Gulwani and Musuvathi introduced a notion of cover and exploited it to handle infinite-state model checking problems. Motivated by applications to the verification of data-aware processes, we proved in a previous paper that covers are strictly related to model completions, a well-known topic in model theory. In this paper we investigate cover transfer to theory combinations in the disjoint signatures case. We prove that for convex theories, cover algorithms can be transferred to theory combinations under the same hypothesis (equality interpolation property aka strong amalgamation property) needed to transfer quantifier-free interpolation. In the non-convex case, we show by a counterexample that covers may not exist in the combined theories, even in case combined quantifier-free interpolants do exist. However, we exhibit a cover transfer algorithm operating also in the non-convex case for special kinds of theory combinations; these combinations (called `tame combinations') concern multi-sorted theories arising in many model-checking applications (in particular, the ones oriented to verification of data-aware processes).


title: Advent of Extreme Events in Predator Populations

abstract: We study the dynamics of a ring of patches with vegetation-prey-predator populations, coupled through interactions of the Lotka-Volterra type. We find that the system yields aperiodic, recurrent and rare explosive bursts of predator density in a few isolated spatial patches from time to time. Further, the collective predator biomass also exhibits sudden uncorrelated occurrences of large deviations as the coupled system evolves. The maximum value of the predator population in a patch, as well as the maximum value of the predator biomass, increases with coupling strength. These trends are further corroborated by fits to Generalized Extreme Value distributions, where the location and scale factor of the distribution increases markedly with coupling strength, indicating the crucial role of coupling interactions in the generation of extreme events. These results indicate how occurrences of extremely large predator populations can emerge in coupled population dynamics, and in a more general context they suggest a generic class of deterministic nonlinear systems that can naturally exhibit extreme events.


title: DeepPFCN: Deep Parallel Feature Consensus Network For Person Re-Identification

abstract: Person re-identification aims to associate images of the same person over multiple non-overlapping camera views at different times. Depending on the human operator, manual re-identification in large camera networks is highly time consuming and erroneous. Automated person re-identification is required due to the extensive quantity of visual data produced by rapid inflation of large scale distributed multi-camera systems. The state-of-the-art works focus on learning and factorize person appearance features into latent discriminative factors at multiple semantic levels. We propose Deep Parallel Feature Consensus Network (DeepPFCN), a novel network architecture that learns multi-scale person appearance features using convolutional neural networks. This model factorizes the visual appearance of a person into latent discriminative factors at multiple semantic levels. Finally consensus is built. The feature representations learned by DeepPFCN are more robust for the person re-identification task, as we learn discriminative scale-specific features and maximize multi-scale feature fusion selections in multi-scale image inputs. We further exploit average and max pooling in separate scale for person-specific task to discriminate features globally and locally. We demonstrate the re-identification advantages of the proposed DeepPFCN model over the state-of-the-art re-identification methods on three benchmark datasets: Market1501, DukeMTMCreID, and CUHK03. We have achieved mAP results of 75.8%, 64.3%, and 52.6% respectively on these benchmark datasets.


title: Raman laser from an optical resonator with a grafted single molecule monolayer

abstract: Raman-based technologies have enabled many ground-breaking scientific discoveries related to surface science, single molecule chemistry and biology. For example, researchers have identified surface bound molecules by their Raman vibrational modes and demonstrated polarization-dependent Raman gain. However, a surface constrained Raman laser has yet to be demonstrated because of the challenges associated with achieving a sufficiently high photon population located at a surface to transition from spontaneous to stimulated Raman scattering. Here, advances in surface chemistry and in integrated photonics are combined to demonstrate lasing based on surface stimulated Raman scattering (SSRS). By creating an oriented, constrained Si-O-Si monolayer on the surface of integrated silica optical microresonators, the requisite conditions for SSRS are achieved with low threshold powers (200microW). The expected polarization-dependence of the SSRS due to the orientation of the Si-O-Si bond is observed. Due to the ordered monolayer, the Raman lasing efficiency is improved from ~5% to over 40%.


title: Long Cycles, Heavy Cycles and Cycle Decompositions in Digraphs

abstract: Haj\'os conjectured in 1968 that every Eulerian \(n\)-vertex graph can be decomposed into at most $\lfloor (n-1)/2\rfloor$ edge-disjoint cycles. This has been confirmed for some special graph classes, but the general case remains open. In a sequence of papers by Bienia and Meyniel (1986), Dean (1986), and Bollob\'as and Scott (1996) it was analogously conjectured that every \emph{directed} Eulerian graph can be decomposed into $O(n)$ cycles. In this paper, we show that every directed Eulerian graph can be decomposed into $O(n \log \Delta)$ disjoint cycles, thus making progress towards the conjecture by Bollob\'as and Scott. Our approach is based on finding heavy cycles in certain edge-weightings of directed graphs. As a further consequence of our techniques, we prove that for every edge-weighted digraph in which every vertex has out-weight at least $1$, there exists a cycle with weight at least $\Omega(\log \log n/{\log n})$, thus resolving a question by Bollob\'as and Scott.


title: Feature-Interaction Aware Configuration Prioritization for Configurable Code

abstract: Unexpected interactions among features induce most bugs in a configurable software system. Exhaustively analyzing all the exponential number of possible configurations is prohibitively costly. Thus, various sampling techniques have been proposed to systematically narrow down the exponential number of legal configurations to be analyzed. Since analyzing all selected configurations can require a huge amount of effort, fault-based configuration prioritization, that helps detect faults earlier, can yield practical benefits in quality assurance. In this paper, we propose CoPro, a novel formulation of feature-interaction bugs via common program entities enabled/disabled by the features. Leveraging from that, we develop an efficient feature-interaction aware configuration prioritization technique for a configurable system by ranking the configurations according to their total number of potential bugs. We conducted several experiments to evaluate CoPro on the ability to detect configuration-related bugs in a public benchmark. We found that CoPro outperforms the state-of-the-art configuration prioritization techniques when we add them on advanced sampling algorithms. In 78% of the cases, CoPro ranks the buggy configurations at the top 3 positions in the resulting list. Interestingly, CoPro is able to detect 17 not-yet-discovered feature-interaction bugs.


title: Lorentz-Violating Running of Coupling Constants

abstract: We compute the full vacuum polarization tensor in the minimal QED extension. We find that its low-energy limit is dominated by the radiatively induced Chern-Simons-like term and the high-energy limit is dominated by the c-type coefficients. We investigate the implications of the high-energy limit for the QED and QCD running couplings. In particular, the QCD running offers the possibility to study Lorentz-violating effects on the parton distribution functions and observables such as the hadronic R ratio.


title: Combining Program Analysis and Statistical Language Model for Code Statement Completion

abstract: Automatic code completion helps improve developers' productivity in their programming tasks. A program contains instructions expressed via code statements, which are considered as the basic units of program execution. In this paper, we introduce AutoSC, which combines program analysis and the principle of software naturalness to fill in a partially completed statement. AutoSC benefits from the strengths of both directions, in which the completed code statement is both frequent and valid. AutoSC is first trained on a large code corpus to derive the templates of candidate statements. Then, it uses program analysis to validate and concretize the templates into syntactically and type-valid candidate statements. Finally, these candidates are ranked by using a language model trained on the lexical form of the source code in the code corpus. Our empirical evaluation on the large datasets of real-world projects shows that AutoSC achieves 38.9-41.3% top-1 accuracy and 48.2-50.1% top-5 accuracy in statement completion. It also outperforms a state-of-the-art approach from 9X-69X in top-1 accuracy.


title: QMA-hardness of Consistency of Local Density Matrices with Applications to Quantum Zero-Knowledge

abstract: We provide several advances to the understanding of the class of Quantum Merlin-Arthur proof systems (QMA), the quantum analogue of NP. Our central contribution is proving a longstanding conjecture that the Consistency of Local Density Matrices (CLDM) problem is QMA-hard under Karp reductions. The input of CLDM consists of local reduced density matrices on sets of at most k qubits, and the problem asks if there is an n-qubit global quantum state that is consistent with all of the k-qubit local density matrices. The containment of this problem in QMA and the QMA-hardness under Turing reductions were proved by Liu [APPROX-RANDOM 2006]. Liu also conjectured that CLDM is QMA-hard under Karp reductions, which is desirable for applications, and we finally prove this conjecture. We establish this result using the techniques of simulatable codes of Grilo, Slofstra, and Yuen [FOCS 2019], simplifying their proofs and tailoring them to the context of QMA. In order to develop applications of CLDM, we propose a framework that we call locally simulatable proofs for QMA: this provides QMA proofs that can be efficiently verified by probing only k qubits and, furthermore, the reduced density matrix of any k-qubit subsystem of an accepting witness can be computed in polynomial time, independently of the witness. Within this framework, we show advances in quantum zero-knowledge. We show the first commit-and-open computational zero-knowledge proof system for all of QMA, as a quantum analogue of a "sigma" protocol. We then define a Proof of Quantum Knowledge, which guarantees that a prover is effectively in possession of a quantum witness in an interactive proof, and show that our zero-knowledge proof system satisfies this definition. Finally, we show that our proof system can be used to establish that QMA has a quantum non-interactive zero-knowledge proof system in the secret parameter setting.


title: AIM 2019 Challenge on Real-World Image Super-Resolution: Methods and Results

abstract: This paper reviews the AIM 2019 challenge on real world super-resolution. It focuses on the participating methods and final results. The challenge addresses the real world setting, where paired true high and low-resolution images are unavailable. For training, only one set of source input images is therefore provided in the challenge. In Track 1: Source Domain the aim is to super-resolve such images while preserving the low level image characteristics of the source input domain. In Track 2: Target Domain a set of high-quality images is also provided for training, that defines the output domain and desired quality of the super-resolved images. To allow for quantitative evaluation, the source input images in both tracks are constructed using artificial, but realistic, image degradations. The challenge is the first of its kind, aiming to advance the state-of-the-art and provide a standard benchmark for this newly emerging task. In total 7 teams competed in the final testing phase, demonstrating new and innovative solutions to the problem.


title: Efficient analytic second derivative of electrostatic embedding QM/MM energy: normal mode analysis of plant cryptochrome

abstract: Analytic second derivatives of electrostatic embedding (EE) quantum mechanics/molecular mechanics (QM/MM) energy are important for performing vibrational analysis and simulating vibrational spectra of quantum systems interacting with an environment represented as a classical electrostatic potential. The main bottleneck of EE-QM/MM second derivatives is the solution of coupled perturbed equations for each MM atom perturbation. Here, we exploit the Q-vector method {[J. Chem. Phys., 151, 041102 (2019)]} to workaround this bottleneck. We derive the full analytic second derivative of the EE-QM/MM energy, which allows to compute QM, MM and QM-MM Hessian blocks in an efficient and easy to implement manner. To show the capabilities of our method, we compute the normal modes for the full \textit{arabidopsis thaliana} plant cryptochrome. We show that the flavin adenine dinucleotide vibrations (QM subsystem) strongly mix with protein modes. We compute approximate vibronic couplings for the lowest bright transition, from which we extract spectral densities and the homogeneous broadening of FAD absorption spectrum in protein using vibrationally resolved electronic spectrum simulations.


title: An Efficient Method for Multi-Parameter Mapping in Quantitative MRI using B-Spline Interpolation

abstract: Quantitative MRI methods that estimate multiple physical parameters simultaneously often require the fitting of a computational complex signal model defined through the Bloch equations. Repeated Bloch simulations can be avoided by matching the measured signal with a precomputed signal dictionary on a discrete parameter grid, as used in MR Fingerprinting. However, accurate estimation requires discretizing each parameter with a high resolution and consequently high computational and memory costs for dictionary generation, storage, and matching. Here, we reduce the required parameter resolution by approximating the signal between grid points through B-spline interpolation. The interpolant and its gradient are evaluated efficiently which enables a least-squares fitting method for parameter mapping. The resolution of each parameter was minimized while obtaining a user-specified interpolation accuracy. The method was evaluated by phantom and in-vivo experiments using fully-sampled and undersampled unbalanced (FISP) MR fingerprinting acquisitions. Bloch simulations incorporated relaxation effects ($T_1,T_2$), proton density ($PD$), receiver phase ($\phi_0$), transmit field inhomogeneity ($B_1^+$), and slice profile. Parameter maps were compared with those obtained from dictionary matching, where the parameter resolution was chosen to obtain similar signal (interpolation) accuracy. For both the phantom and the in-vivo acquisition, the proposed method approximated the parameter maps obtained through dictionary matching while reducing the parameter resolution in each dimension ($T_1,T_2,B_1^+$) by, on average, an order of magnitude. In effect, the applied dictionary was reduced from 1.47 GB to 464 KB. Dictionary fitting with B-spline interpolation reduces the computational and memory costs of dictionary-based methods and is therefore a promising method for multi-parametric mapping.


title: Determination of the single particle distribution function in a weakly correlated weakly inhomogeneous plasma

abstract: Single particle distribution function of plasma particles has been derived from the first member of the Bogoliubov-Born-Green-Kirkwood-Yvon (BBGKY) hierarchy utilising the pair correlation function evaluated in \cite{kn:ab1} from the second member of the BBGKY hierarchy. This distribution function may be employed to probe the thermodynamic properties of the weakly inhomogeneous plasma systems.


title: PES: Proactive Event Scheduling for Responsive and Energy-Efficient Mobile Web Computing

abstract: Web applications are gradually shifting toward resource-constrained mobile devices. As a result, the Web runtime system must simultaneously address two challenges: responsiveness and energy-efficiency. Conventional Web runtime systems fall short due to their reactive nature: they react to a user event only after it is triggered. The reactive strategy leads to local optimizations that schedule event executions one at a time, missing global optimization opportunities. This paper proposes Proactive Event Scheduling (PES). The key idea of PES is to proactively anticipate future events and thereby globally coordinate scheduling decisions across events. Specifically, PES predicts events that are likely to happen in the near future using a combination of statistical inference and application code analysis. PES then speculatively executes future events ahead of time in a way that satisfies the QoS constraints of all the events while minimizing the global energy consumption. Fundamentally, PES unlocks more optimization opportunities by enlarging the scheduling window, which enables coordination across both outstanding events and predicted events. Hardware measurements show that PES reduces the QoS violation and energy consumption by 61.2% and 26.5%, respectively, over the Android default Interactive CPU governor. It also reduces the QoS violation and energy consumption by 63.1% and 17.9%, respectively, compared to EBS, a state-of-the-art reactive scheduler.


title: Biological Value of Centaurea damascena: Minireview

abstract: The family Asteraceae include large number of Centaurea species which have been applied in folk medicine. One of the family Asteraceae members is the Centaurea damascena which authentically been tested for its antibacterial activity. The aim of the study was to discuss antibacterial activities of essential oil composition and methanolic extract of the same plant aerial part leaves. Thirty-seven components were characterized with 86 of oxygenated terpenes. The composition in percentage was dominated by 11.45 Fokienol, 8.8 thymol, 8.21 Alpha Terpineol, 7.24 Chrysanthemumic acid, 7.13 Terpinen4-ol and 6.59 Borneol with a high degree of polymorphism in the occurrence of these compounds as compared with the different species of centaurea.. Free radical scavenging capacity of the C. damascna methanol extract was calculated by DPPH and FRAP test. DPPH radicals were scavenged with an IC50 value of 17.08 microgram per ml. Antioxidant capacities obtained by the FRAP was 51.9 and expressed in mg Trolox gram per Liter dry weight. The total phenolic compounds of the methanol extracts of aerial parts, as estimated by Folin Ciocalteu reagent method, was about 460 milligram GAE per gram. The phenolic contents in the extracts highly correlate with their antioxidant activity, confirming that the antioxidant activity of this plant extracts is considerably phenolic contents dependent.


title: A review of partial slip solutions for contacts represented by half-planes including bulk tension and moments

abstract: Solution procedures for establishing the regimes of stick and slip for frictional contacts capable of idealisation within the framework of half-plane elasticity and subject to complex loading regimes are reviewed, starting with the well known fundamental problems and going on to more complicated ones. These include problems where the normal load, shear force, applied moment and differential remote tensions all vary with time. Transient and steady state solutions are discussed.


title: A Simple Heuristic for Bayesian Optimization with A Low Budget

abstract: The aim of black-box optimization is to optimize an objective function within the constraints of a given evaluation budget. In this problem, it is generally assumed that the computational cost for evaluating a point is large; thus, it is important to search efficiently with as low budget as possible. Bayesian optimization is an efficient method for black-box optimization and provides exploration-exploitation trade-off by constructing a surrogate model that considers uncertainty of the objective function. However, because Bayesian optimization should construct the surrogate model for the entire search space, it does not exhibit good performance when points are not sampled sufficiently. In this study, we develop a heuristic method refining the search space for Bayesian optimization when the available evaluation budget is low. The proposed method refines a promising region by dividing the original region so that Bayesian optimization can be executed with the promising region as the initial search space. We confirm that Bayesian optimization with the proposed method outperforms Bayesian optimization alone and shows equal or better performance to two search-space division algorithms through experiments on the benchmark functions and the hyperparameter optimization of machine learning algorithms.


title: Lorentz Violation and Partons

abstract: A parton-model description of high-energy hadronic interactions in the presence of Lorentz violation is presented. This approach is used to study lepton-hadron and hadron-hadron interactions at large momentum transfer. Cross sections for deep inelastic scattering and the Drell-Yan process are calculated at first order for minimal and nonminimal Lorentz violation. Estimated bounds are placed using existing LHC and future US-based Electron-Ion Collider data.


title: Circular Wilson loops in defect ${\cal N}$=4 SYM: phase transitions, double-scaling limits and OPE expansion

abstract: We consider circular Wilson loops in a defect version of $\mathcal{N}=4$ super-Yang-Mills theory which is dual to the D3-D5 brane system with $k$ units of flux. When the loops are parallel to the defect, we can construct both BPS and non-BPS operators, depending on the orientation of the scalar couplings in the R-symmetry directions. At strong 't Hooft coupling we observe, in the non supersymmetric case, a Gross-Ooguri-like phase transition in the dual gravitational theory: the familiar disk solution dominates, as expected, when the operator is far from the defect while a cylindrical string worldsheet, connecting the boundary loop with the probe D5-brane, is favourite below a certain distance (or equivalently for large radii of the circles). In the BPS case, instead, the cylindrical solution does not exist for any choice of the physical parameters, suggesting that the exchange of light supergravity modes always saturate the expectation value at strong coupling. We study the double-scaling limit for large $k$ and large 't Hooft coupling, finding full consistency in the non-BPS case between the string solution and the one-loop perturbative result. Finally we discuss, in the BPS case, the failure of the double-scaling limit and the OPE expansion of the Wilson loop, finding consistency with the known results for the one-point functions of scalar composite operators.


title: On the Complexity of 2-Player Packing Games

abstract: We analyze the computational complexity of two 2-player games involving packing objects into a box. In the first game, players alternate drawing polycubes from a shared pile and placing them into an initially empty box in any available location; the first player who can't place another piece loses. In the second game, there is a fixed sequence of polycubes, and on a player's turn they drop the next piece in through the top of the box, after which it falls until it hits a previously placed piece (as in Tetris); the first player who can't place the next piece loses. We prove that in both games, deciding the outcome under perfect play is PSPACE-complete.


title: Gamma-Nets: Generalizing Value Estimation over Timescale

abstract: We present $\Gamma$-nets, a method for generalizing value function estimation over timescale. By using the timescale as one of the estimator's inputs we can estimate value for arbitrary timescales. As a result, the prediction target for any timescale is available and we are free to train on multiple timescales at each timestep. Here we empirically evaluate $\Gamma$-nets in the policy evaluation setting. We first demonstrate the approach on a square wave and then on a robot arm using linear function approximation. Next, we consider the deep reinforcement learning setting using several Atari video games. Our results show that $\Gamma$-nets can be effective for predicting arbitrary timescales, with only a small cost in accuracy as compared to learning estimators for fixed timescales. $\Gamma$-nets provide a method for compactly making predictions at many timescales without requiring a priori knowledge of the task, making it a valuable contribution to ongoing work on model-based planning, representation learning, and lifelong learning algorithms.


title: From topological recursion to wave functions and PDEs quantizing hyperelliptic curves

abstract: Starting from loop equations, we prove that the wave functions constructed from topological recursion on families of degree $2$ spectral curves with a global involution satisfy a system of partial differential equations, whose equations can be seen as quantizations of the original spectral curves. The families of spectral curves can be parametrized with the so-called times, defined as periods on second type cycles, and with the poles. These equations can be used to prove that the WKB solution of many isomonodromic systems coincides with the topological recursion wave function, which proves that the topological recursion wave function is annihilated by a quantum curve. This recovers many known quantum curves for genus zero spectral curves and generalizes this construction to hyperelliptic curves.


title: An Optimization Approach to Verifying and Synthesizing K-Cooperative Systems

abstract: Differential positivity and K-cooperativity, a special case of differential positivity, extend differential approaches to control to nonlinear systems with multiple equilibria, such as switches or multi-agent consensus. To apply this theory, we reframe conditions for strict K-cooperativity as an optimization problem. Geometrically, the conditions correspond to finding a cone that a set of linear operators leave invariant. Even though solving the optimization problem is hard, we combine the optimization perspective with the geometric intuition to construct a heuristic cone-finding algorithm centered around Linear Programming (LP). The algorithm we obtain is unique in that it modifies existing rays of a candidate cone instead of adding new ones. This enables us to also take a first step in tackling the synthesis problem for K-cooperative systems. We demonstrate our approach on some examples, including one in which we repurpose our algorithm to obtain a novel alternative tool for computing polyhedral Lyapunov functions of bounded complexity.


title: The conformal measures of a normal subgroup of a cocompact Fuchsian group

abstract: In this paper, we study the conformal measures of a normal subgroup of a cocompact Fuchsian group. In particular, we relate the extremal conformal measures to the eigenmeasures of a suitable Ruelle operator. Using Ancona's theorem, adapted to the Ruelle operator setting, we show that if the group of deck transformations $G$ is hyperbolic then the extremal conformal measures and the hyperbolic boundary of $G$ coincide. We then interpret these results in terms of the asymptotic behavior of cutting sequences of geodesics on a regular cover of a compact hyperbolic surface.


title: Proximity-Induced Superconductivity in a Topological Crystalline Insulator

abstract: Superconducting topological crystalline insulators (TCI) are predicted to host new topological phases protected by crystalline symmetries, but available materials are insufficiently suitable for surface studies. To induce superconductivity at the surface of a prototypical TCI SnTe, we use molecular beam epitaxy to grow a heterostructure of SnTe and a high-Tc superconductor Fe(Te,Se), utilizing a 'buffer' layer to bridge the large lattice mismatch between SnTe and Fe(Te,Se). Using low-temperature scanning tunneling microscopy and spectroscopy, we measure a prominent spectral gap on the surface of SnTe, and demonstrate its superconducting origin by its dependence on temperature and magnetic field. Our work provides a new platform for atomic-scale investigations of emergent topological phenomena in superconducting TCIs.


title: Hecke insertion and maximal increasing and decreasing sequences in fillings of stack polyominoes

abstract: We prove that the number of 01-fillings of a given stack polyomino (a polyomino with justified rows whose lengths form a unimodal sequence) with at most one 1 per column which do not contain a fixed-size northeast chain and a fixed-size southeast chain, depends only on the set of row lengths of the polyomino. The proof is via a bijection between fillings of stack polyominoes which differ only in the position of one row and uses the Hecke insertion algorithm by Buch, Kresch, Shimozono, Tamvakis, and Yong and the jeu de taquin for increasing tableaux of Thomas and Yong. Moreover, our bijection gives another proof of the result by Chen, Guo, and Pang that the crossing number and the nesting number have a symmetric joint distribution over linked partitions.


title: Optimal design of shell-graded-infill structures by a hybrid MMC-MMV approach

abstract: In the present work, a hybrid MMC-MMV approach is developed for designing additive manufacturing-oriented shell-graded-infill structures. The key idea is to describe the geometry of a shell-graded-infill structure explicitly using some geometry parameters. To this end, a set of morphable voids is adopted to describe the boundary of the coating shell, while a set of morphable components combing with a coordinate perturbation technique are introduced to represent the graded infill distribution. Under such treatment, both the crisp boundary of the coating shell and the graded infill can be optimized simultaneously, with a small number of design variables. Numerical examples demonstrate the effectiveness of the proposed approach.


title: Atomic-scale fragmentation and collapse of antiferromagnetic order in a doped Mott insulator

abstract: Disentangling the relationship between the insulating state with a charge gap and the magnetic order in an antiferromagnetic (AF) Mott insulator remains difficult due to inherent phase separation as the Mott state is perturbed. Measuring magnetic and electronic properties at the atomic length scales would provide crucial insight, but this is yet to be experimentally achieved. Here we use spectroscopic-imaging spin-polarized scanning tunneling microscopy (SP-STM) to visualize periodic spin-resolved modulations originating from the AF order in a relativistic Mott insulator Sr2IrO4, and study these as a function of doping. We find that near insulator-to-metal transition (IMT), the long-range AF order melts into a fragmented state with short-range AF correlations. Crucially, we discover that the short-range AF order is locally uncorrelated with the observed spectral gap magnitude. This strongly suggests that short range AF correlations are unlikely to be the culprit behind inhomogeneous gap closing and the emergence of pseudogap regions near IMT. Our work establishes SP-STM as a powerful tool for revealing atomic-scale magnetic information in complex oxides.


title: Experimental observation of Josephson oscillations in a room-temperature Bose-Einstein magnon condensate

abstract: The alternating current (ac) Josephson effect in a time-independent spatially-inhomogeneous setting is manifested by the occurrence of Josephson oscillations - periodic macroscopic phase-induced collective motions of the quantum condensate. So far, this phenomenon was observed at cryogenic temperatures in superconductors, in superfluid helium, and in Bose-Einstein condensates (BECs) of trapped atoms. Here, we report on the discovery of the ac Josephson effect in a magnon BEC carried by a room-temperature ferrimagnetic film. The BEC is formed in a parametrically populated magnon gas in the spatial vicinity of a magnetic trench created by a dc electric current. The appearance of the Josephson effect is manifested by oscillations of the magnon BEC density in the trench, caused by a coherent phase shift between this BEC and the BEC in the nearby regions. Our findings advance the physics of room-temperature macroscopic quantum phenomena and will allow for their application for data processing in magnon spintronics devices.


title: A Hybrid Control Algorithm for Gradient-Free Optimization using Conjugate Directions

abstract: The problem of steering a particular class of $n$-dimensional continuous-time dynamical systems towards the minima of a function without gradient information is considered. We propose an hybrid controller, implementing a discrete-time Direct Search algorithm based on conjugate directions, able to solve the optimization problem for the resulting closed loop system in an almost global sense. Furthermore, we show that Direct Search algorithms based on asymptotic step size reduction are not robust to measurement noise, and, to achieve robustness, we propose a modified version by imposing a lower bound on the step size and able to achieve robust practical convergence to the optimum. In this context we show a bound relating the supremum norm of the noise signal to the step size by highlighting a trade-off between asymptotic convergence and robustness.


title: A uniqueness result for light ray transform on symmetric 2-tensor fields

abstract: We study light ray transform of symmetric 2-tensor fields defined on a bounded time-space domain in $\mathbb{R}^{1+n}$ for $n\geq 3$. We prove a uniqueness result for such light ray transforms. More precisely, we characterize the kernel of the light ray transform vanishing near a fixed direction at each point in the time-space domain.


title: Binary Sine Cosine Algorithms for Feature Selection from Medical Data

abstract: A well-constructed classification model highly depends on input feature subsets from a dataset, which may contain redundant, irrelevant, or noisy features. This challenge can be worse while dealing with medical datasets. The main aim of feature selection as a pre-processing task is to eliminate these features and select the most effective ones. In the literature, metaheuristic algorithms show a successful performance to find optimal feature subsets. In this paper, two binary metaheuristic algorithms named S-shaped binary Sine Cosine Algorithm (SBSCA) and V-shaped binary Sine Cosine Algorithm (VBSCA) are proposed for feature selection from the medical data. In these algorithms, the search space remains continuous, while a binary position vector is generated by two transfer functions S-shaped and V-shaped for each solution. The proposed algorithms are compared with four latest binary optimization algorithms over five medical datasets from the UCI repository. The experimental results confirm that using both bSCA variants enhance the accuracy of classification on these medical datasets compared to four other algorithms.


title: Action Anticipation with RBF Kernelized Feature Mapping RNN

abstract: We introduce a novel Recurrent Neural Network-based algorithm for future video feature generation and action anticipation called feature mapping RNN. Our novel RNN architecture builds upon three effective principles of machine learning, namely parameter sharing, Radial Basis Function kernels and adversarial training. Using only some of the earliest frames of a video, the feature mapping RNN is able to generate future features with a fraction of the parameters needed in traditional RNN. By feeding these future features into a simple multi-layer perceptron facilitated with an RBF kernel layer, we are able to accurately predict the action in the video. In our experiments, we obtain 18% improvement on JHMDB-21 dataset, 6% on UCF101-24 and 13% improvement on UT-Interaction datasets over prior state-of-the-art for action anticipation.


title: Quasiconvexity in $3$-manifold groups

abstract: In this paper, we study strongly quasiconvex subgroups in a finitely generated $3$--manifold group $\pi_1(M)$. We prove that if $M$ is a compact, orientable $3$--manifold that does not have a summand supporting the Sol geometry in its sphere-disc decomposition then a finitely generated subgroup $H \le \pi_1(M)$ has finite height if and only if $H$ is strongly quasiconvex. On the other hand, if $M$ has a summand supporting the Sol geometry in its sphere-disc decomposition then $\pi_1(M)$ contains finitely generated, finite height subgroups which are not strongly quasiconvex. We also characterize strongly quasiconvex subgroups of graph manifold groups by using their finite height, their Morse elements, and their actions on the Bass-Serre tree of $\pi_1(M)$. This result strengthens analogous results in right-angled Artin groups and mapping class groups. Finally, we characterize hyperbolic strongly quasiconvex subgroups of a finitely generated $3$--manifold group $\pi_1(M)$ by using their undistortedness property and their Morse elements.


title: Unsupervised Representation Learning by Discovering Reliable Image Relations

abstract: Learning robust representations that allow to reliably establish relations between images is of paramount importance for virtually all of computer vision. Annotating the quadratic number of pairwise relations between training images is simply not feasible, while unsupervised inference is prone to noise, thus leaving the vast majority of these relations to be unreliable. To nevertheless find those relations which can be reliably utilized for learning, we follow a divide-and-conquer strategy: We find reliable similarities by extracting compact groups of images and reliable dissimilarities by partitioning these groups into subsets, converting the complicated overall problem into few reliable local subproblems. For each of the subsets we obtain a representation by learning a mapping to a target feature space so that their reliable relations are kept. Transitivity relations between the subsets are then exploited to consolidate the local solutions into a concerted global representation. While iterating between grouping, partitioning, and learning, we can successively use more and more reliable relations which, in turn, improves our image representation. In experiments, our approach shows state-of-the-art performance on unsupervised classification on ImageNet with 46.0% and competes favorably on different transfer learning tasks on PASCAL VOC.


title: Emergence of criticality through a cascade of delocalization transitions in quasiperiodic chains

abstract: Conduction through materials crucially depends on how ordered they are. Periodically ordered systems exhibit extended Bloch waves that generate metallic bands, whereas disorder is known to limit conduction and localize the motion of particles in a medium. In this context, quasiperiodic systems, which are neither periodic nor disordered, reveal exotic conduction properties, self-similar wavefunctions, and critical phenomena. Here, we explore the localization properties of waves in a novel family of quasiperiodic chains obtained when continuously interpolating between two paradigmatic limits: the Aubry-Andr\'e model, famous for its metal-to-insulator transition, and the Fibonacci chain, known for its critical nature. Using both theoretical analysis and experiments on cavity-polariton devices, we discover that the Aubry-Andr\'e model evolves into criticality through a cascade of band-selective localization/delocalization transitions that iteratively shape the self-similar critical wavefunctions of the Fibonacci chain. Our findings offer (i) a unique new insight into understanding the criticality of quasiperiodic chains, (ii) a controllable knob by which to engineer band-selective pass filters, and (iii) a versatile experimental platform with which to further study the interplay of many-body interactions and dissipation in a wide range of quasiperiodic models.


title: Blow-Up Profile of 2D Focusing Mixture Bose Gases

abstract: We study the collapse of a many-body system which is used to model two-component Bose-Einstein condensates with attractive intra-species interactions and either attractive or repulsive inter-species interactions. Such a system consists a mixture of two different species for $N$ identical bosons in $\mathbb R^2$, interacting with potentials rescaled in the mean-field manner $-N^{2\beta-1}w^{(\sigma)}(N^{\beta}x)$ with $\int_{\mathbb R^{2}}w^{(\sigma)}(x){\rm d}x=1$. Assuming that $0<\beta<1/2$, we first show that the leading order of the quantum energy is captured correctly by the Gross-Pitaevskii energy. Secondly, we investigate the blow-up behavior of the quantum energy as well as the ground states when $N\to\infty$ and either the total interaction strength of intra-species and inter-species or the strengths of intra-species interactions of each component approaches sufficiently slowly a critical value, which is the critical strength for the focusing Gross-Pitaevskii functional. We prove that the many-body ground states fully condensate on the (unique) Gagliardo-Nirenberg solution.


title: Existence of almost automorphic solution in distribution for a class of stochastic integro-differential equation driven by Levy noise

abstract: We investigate a class of stochastic integro differential equations driven by Levy noise.


title: Wavefront Shaping of the Pump in Multimode Fiber Amplifiers; The Gain-Dependent Transmission Matrix

abstract: Wavefront shaping techniques allow the control of the transport of light through many types of scattering or complex media, among them multimode fibers. The case of a multimode fiber which is also a gain medium presents further intriguing prospects for control, due to the possibility of wavefront shaping not only the signal light amplified by the medium, but also the pump light absorbed within it. Provided that the lightwave used for pumping is coherent, its shaping prior to injection will affect the complex, speckle-like spatial patterns of excitation within the amplifier volume, which in turn will act upon the signal as heterogeneous gain. We introduce a new theoretical model which captures the essential features of a multimode amplifying fiber pumped by a coherent beam with configurable modal content, allowing the calculation of the gain-dependent transmission matrix. We numerically implement our model to explore the extent to which one may control the amplified light in the spatial-domain, by shaping the pump; we demonstrate a significant ability of manipulation, as well as several interesting physical mechanisms limiting it. In particular, we show how taking into account the cross-contributions between all guided modes within the fiber is essential for understanding the full range of the signal sensitivity to the choice of pump shaping.


title: Turbulence in stably stratified radiative zone

abstract: The topic of turbulent transport in a stellar radiative zone is vast and poorly understood. Many physical processes can potentially drive turbulence in stellar radiative zone but the limited observational constraints and the uncertainties in modelling turbulent transport make it difficult to identify the most relevant one. Here, we focus on the effect of stable stratification on the radial turbulent transport of chemicals and more particularly on the case where the turbulence is driven by a radial shear. Results of numerical simulations designed to test phenomenological models of turbulent transport will be presented. While this may appears little ambitious, stable stratification will influence the radial turbulent transport whatever the mechanism that drives the turbulent motions and the present considerations should be useful for these other mechanism too.


title: A First Look at References from the Dark to Surface Web World

abstract: Tor is one of the most well-known networks that protects the identity of both content providers and their clients against any tracking or tracing on the Internet. So far, most research attention has been focused on investigating the security and privacy concerns of Tor and characterizing the topic or hyperlink structure of its hidden services. However, there is still lack of knowledge about the information leakage attributed to the linking from Tor hidden services to the surface Web. This work addresses this gap by presenting a broad evaluation of the network of referencing from Tor to surface Web and investigates to what extent Tor hidden services are vulnerable against this type of information leakage. The analyses also consider how linking to surface websites can change the overall hyperlink structure of Tor hidden services. They also provide reports regarding the type of information and services provided by Tor domains. Results recover the dark-to-surface network as a single massive connected component where over 90% of Tor hidden services have at least one link to the surface world despite their interest in being isolated from surface Web tracking. We identify that Tor directories have closest proximity to all other Web resources and significantly contribute to both communication and information dissemination through the network which emphasizes on the main application of Tor as information provider to the public. Our study is the product of crawling near 2 million pages from 23,145 onion seed addresses, over a three-month period.


title: Generation and application of sub-kilohertz oscillatory flows in microchannels

abstract: We present a user-friendly and versatile experimental technique that generates sub-kilohertz sinusoidal oscillatory flows within microchannels. The method involves the direct interfacing of microfluidic tubing with a loudspeaker diaphragm to generate oscillatory flow in microchannels with frequencies ranging from $10-1000$ Hz and amplitudes ranging from $10 - 600 \ \mu$m. The speaker-based apparatus allows independent control of frequency and amplitude that is unique to the speaker's manufacturing specifications. The performance of our technique is evaluated by Fourier spectral analysis of oscillatory motion of tracer particles, obtained by particle tracking velocimetry, as well as by comparing oscillatory flow profiles against theoretical benchmarks such as Stokes flow in a square channel and Stokes' second problem near a solid boundary. Applications that utilize both the oscillatory flow and the associated steady rectified flows are demonstrated in prototypical microfluidic configurations. These include inertial focusing and mixing at low Reynolds numbers, respectively.


title: Quantized Compressed Sensing by Rectified Linear Units

abstract: This work is concerned with the problem of recovering high-dimensional signals $\mathbf{x} \in \mathbb{R}^n$ which belong to a convex set of low-complexity from a small number of quantized measurements. We propose to estimate the signals via a convex program based on rectified linear units (ReLUs) for two different quantization schemes, namely one-bit and uniform multi-bit quantization. Assuming that the linear measurement process can be modelled by a sensing matrix with i.i.d. subgaussian rows, we obtain for both schemes near-optimal uniform reconstruction guarantees by adding well-designed noise to the linear measurements prior to the quantization step. In the one-bit case, we show that the program is robust against adversarial bit corruptions as well as additive noise on the linear measurements. Further, our analysis quantifies precisely how the rate-distortion relationship of the program changes depending on whether we seek reconstruction accuracies above or below the noise floor. The proofs rely on recent results by Dirksen and Mendelson on non-Gaussian hyperplane tessellations. Finally, we complement our theoretical analysis with numerical experiments which compare our method to other state-of-the-art methodologies.


title: Skin Lesion Classification Using Deep Neural Network

abstract: This paper reports the methods and techniques we have developed for classify dermoscopic images (task 1) of the ISIC 2019 challenge dataset for skin lesion classification, our approach aims to use ensemble deep neural network with some powerful techniques to deal with unbalance data sets as its the main problem for this challenge in a move to increase the performance of CNNs model.


title: Twisted Morse complexes

abstract: In this paper we study Morse homology and cohomology with local coefficients, i.e. "twisted" Morse homology and cohomology, on closed finite dimensional smooth manifolds. We prove a Morse theoretic version of Eilenberg's Theorem, and we prove isomorphisms between twisted Morse homology, Steenrod's CW-homology with local coefficients for regular CW-complexes, and singular homology with local coefficients. By proving Morse theoretic versions of the Poincare Lemma and of the de Rham Theorem, we show that twisted Morse cohomology with coefficients in a local system determined by a closed 1-form is isomorphic to the Lichnerowicz cohomology obtained by deforming the de Rham differential by the 1-form. We demonstrate the effectiveness of twisted Morse complexes by using them to compute Lichnerowicz cohomology, to compute obstructions to spaces being associative H-spaces, and to compute Novikov numbers.


title: Drug Repurposing for Cancer: An NLP Approach to Identify Low-Cost Therapies

abstract: More than 200 generic drugs approved by the U.S. Food and Drug Administration for non-cancer indications have shown promise for treating cancer. Due to their long history of safe patient use, low cost, and widespread availability, repurposing of generic drugs represents a major opportunity to rapidly improve outcomes for cancer patients and reduce healthcare costs worldwide. Evidence on the efficacy of non-cancer generic drugs being tested for cancer exists in scientific publications, but trying to manually identify and extract such evidence is intractable. In this paper, we introduce a system to automate this evidence extraction from PubMed abstracts. Our primary contribution is to define the natural language processing pipeline required to obtain such evidence, comprising the following modules: querying, filtering, cancer type entity extraction, therapeutic association classification, and study type classification. Using the subject matter expertise on our team, we create our own datasets for these specialized domain-specific tasks. We obtain promising performance in each of the modules by utilizing modern language modeling techniques and plan to treat them as baseline approaches for future improvement of individual components.


title: Coordinate-wise Armijo's condition

abstract: Let $z=(x,y)$ be coordinates for the product space $\mathbb{R}^{m_1}\times \mathbb{R}^{m_2}$. Let $f:\mathbb{R}^{m_1}\times \mathbb{R}^{m_2}\rightarrow \mathbb{R}$ be a $C^1$ function, and $\nabla f=(\partial _xf,\partial _yf)$ its gradient. Fix $0<\alpha <1$. For a point $(x,y) \in \mathbb{R}^{m_1}\times \mathbb{R}^{m_2}$, a number $\delta >0$ satisfies Armijo's condition at $(x,y)$ if the following inequality holds: \begin{eqnarray*} f(x-\delta \partial _xf,y-\delta \partial _yf)-f(x,y)\leq -\alpha \delta (||\partial _xf||^2+||\partial _yf||^2). \end{eqnarray*} When $f(x,y)=f_1(x)+f_2(y)$ is a coordinate-wise sum map, we propose the following {\bf coordinate-wise} Armijo's condition. Fix again $0<\alpha <1$. A pair of positive numbers $\delta _1,\delta _2>0$ satisfies the coordinate-wise variant of Armijo's condition at $(x,y)$ if the following inequality holds: \begin{eqnarray*} [f_1(x-\delta _1\nabla f_1(x))+f_2(y-\delta _2\nabla f_2(y))]-[f_1(x)+f_2(y)]\leq -\alpha (\delta _1||\nabla f_1(x)||^2+\delta _2||\nabla f_2(y)||^2). \end{eqnarray*} We then extend results in our recent previous results, on Backtracking Gradient Descent and some variants, to this setting. We show by an example the advantage of using coordinate-wise Armijo's condition over the usual Armijo's condition.


title: On the Statistical Treatment of the Cabibbo Angle Anomaly

abstract: We point out that testing the equality of the Cabibbo angle as extracted from $\Gamma(K\rightarrow \pi l\nu)$, the ratio $\Gamma(K\rightarrow l\nu)/\Gamma(\pi\rightarrow l\nu)$ and nuclear $\beta$ decays is not identical to a test of first row unitarity of the Cabibbo-Kobayashi-Maskawa (CKM) matrix. The reason is that a CKM unitarity test involves only two parameters, while the degrees of freedom for the assessment of the goodness-of-fit of the universality of the Cabibbo angle entailed by the Standard Model (SM) is equal to the number of measurements minus one. Beyond the SM all different processes could in principle give different Cabibbo angles. Consequently, the difference between the two tests becomes relevant starting from three observables giving results for the Cabibbo angle that are in tension with each other. With current data, depending on the treatment of the nuclear $\beta$ decays, we find that New Physics is favored over the SM at $5.1\,\sigma$ or $3.6\,\sigma$ while CKM unitarity is rejected at $4.8\sigma$ or $3.0\sigma$, respectively. We argue that the best method to test the SM is to test the equality of the Cabibbo angle, because CKM unitarity is only one aspect of the SM.


title: Revisiting the role of intermittent heat transport towards Reynolds stress anisotropy in convective turbulence

abstract: Thermal plumes are the energy containing eddy motions that carry heat and momentum in a convective boundary layer. The detailed understanding of their structure is of fundamental interest for a range of applications, from wall-bounded engineering flows to quantifying surface-atmosphere flux exchanges. We address the aspect of Reynolds stress anisotropy associated with the intermittent nature of heat transport in thermal plumes by performing an invariant analysis of the Reynolds stress tensor in an unstable atmospheric surface layer flow, using a field-experimental dataset. Given the intermittent and asymmetric nature of the turbulent heat flux, we formulate this problem in an event-based framework. In this approach, we provide structural descriptions of warm-updraft and cold-downdraft events and investigate the degree of isotropy of the Reynolds stress tensor within these events of different sizes. We discover that only a subset of these events are associated with the least anisotropic turbulence in highly-convective conditions. Additionally, intermittent large heat flux events are found to contribute substantially to turbulence anisotropy under unstable stratification. Moreover, we find that the sizes related to the maximum value of the degree of isotropy do not correspond to the peak positions of the heat flux distributions. This is because, the vertical velocity fluctuations pertaining to the sizes associated with the maximum heat flux, transport significant amount of streamwise momentum. A preliminary investigation shows that the sizes of the least anisotropic events probably scale with a mixed-length scale ($z^{0.5}\lambda^{0.5}$, where $z$ is the measurement height and $\lambda$ is the large-eddy length scale).


title: When Smoothness is Not Enough: Toward Exact Quantification and Optimization of the Price of Anarchy

abstract: The price of anarchy (PoA) is a popular metric for analyzing the inefficiency of self-interested decision making. Although its study is widespread, characterizing the PoA can be challenging. A commonly employed approach is based on the smoothness framework, which provides tight PoA values under the assumption that the system objective consists in the sum of the agents' individual welfares. Unfortunately, several important classes of problems do not satisfy this requirement (e.g., taxation in congestion games), and our first result demonstrates that the smoothness framework does *not* tightly characterize the PoA for such settings. Motivated by this observation, this work develops a framework that achieves two chief objectives: i) to tightly characterize the PoA for such scenarios, and ii) to do so through a tractable approach. As a direct consequence, the proposed framework recovers and generalizes many existing PoA results, and enables efficient computation of incentives that optimize the PoA. We conclude by highlighting the applicability of our contributions to incentive design in congestion games and utility design in distributed welfare games.


title: Cosmological Simulation of Galaxy Groups and Clusters-I: Global Effect of Feedback from Active Galactic Nuclei

abstract: In this study we quantify the properties of the gas and dark matter around active galactic nuclei (AGN) in simulated galaxy groups and clusters and analyze the effect of AGN feedback on the surrounding intra-cluster (group) medium. Our results suggest downsizing of AGN luminosity with host halo mass, supporting the results obtained from clustering studies of AGN. By examining the temperature and density distribution of the gas in the vicinity of AGN we show that due to feedback from the central engine, the gas gets displaced from the centre of the group/cluster resulting in a reduction of the density but an enhancement of temperature. We show that these effects are pronounced at both high and low redshifts and propose new observables to study the effect of feedback in higher redshift galaxies. We also show that the average stellar mass is decreased in halos in the presence of AGN feedback confirming claims from previous studies. Our work for the first time uses a fully cosmological-hydrodynamic simulation to evaluate the global effects of AGN feedback on their host dark matter halos as well as galaxies at scales of galaxy groups and clusters.


title: Know thy star, know thy planet: Chemo-kinematically characterizing TESS targets

abstract: The Transiting Exoplanet Survey Satellite (TESS) has already begun to discover what will ultimately be thousands of exoplanets around nearby cool bright stars. These potential host stars must be well-understood to accurately characterize exoplanets at the individual and population levels. We present a catalogue of the chemo-kinematic properties of 2,218,434 stars in the TESS Candidate Target List using survey data from Gaia DR2, APOGEE, GALAH, RAVE, LAMOST, and photometrically-derived stellar properties from SkyMapper. We compute kinematic thin disc, thick disc, and halo membership probabilities for these stars and find that though the majority of TESS targets are in the thin disc, 4% of them reside in the thick disc and <1% of them are in the halo. The TESS Objects of Interest in our sample also display similar contributions from the thin disc, thick disc, and halo with a majority of them being in the thin disc. We also explore metallicity and [alpha/Fe] distributions for each Galactic component and show that each cross-matched survey exhibits metallicity and [alpha/Fe] distribution functions that peak from higher to lower metallicity and lower to higher [alpha/Fe] from the thin disc to the halo. This catalogue will be useful to explore planet occurrence rates, among other things, with respect to kinematics, component-membership, metallicity, or [alpha/Fe].


title: Non-Hilbert Banach spaces with the self-extension property

abstract: In 1992, Kiendi, Adamy and Stelzner investigated under which conditions a certain type of function constituted a Lyapunov function for some time-invariant linear system. Six years later, it was obtained that this property holds if and only if the Banach space enjoys the self-extension property. However, the knowledge of these spaces needed to be extended in order to make useful this characterization, since there were little information on which classic Banach spaces satisfy this property and its relations with other classic properties. We present the self-extension property in a wider frame, relating it to other well-known spaces as the $1$-injective or $1$-projective ones. We investigate the property in two important low-dimensional classic Banach spaces: $\mathbb{R}_1^3$ and $\mathbb{R}_1^4$. We introduce the concept of $k-$self-extensible spaces and a discussion of the stability of the property. We also show that every real Banach space of dimension greater than or equal to $3$ can be equivalently renormed to fail the self-extension property. Finally, we summarize some consequences of our study and mention some open questions which appear naturally.


title: DRHotNet: An R package for detecting differential risk hotspots on a linear network

abstract: One of the most common applications of spatial data analysis is detecting zones, at a certain investigation level, where a point-referenced event under study is especially concentrated. The detection of this kind of zones, which are usually referred to as hotspots, is essential in certain fields such as criminology, epidemiology or traffic safety. Traditionally, hotspot detection procedures have been developed over areal units of analysis. Although working at this spatial scale can be suitable enough for many research or practical purposes, detecting hotspots at a more accurate level (for instance, at the road segment level) may be more convenient sometimes. Furthermore, it is typical that hotspot detection procedures are entirely focused on the determination of zones where an event is (overall) highly concentrated. It is less common, by far, that such procedures prioritize the location of zones where a specific type of event is overrepresented in relation to the other types observed, which have been denoted as differential risk hotspots. The R package DRHotNet provides several functionalities to facilitate the detection of differential risk hotspots along a linear network. In this paper, DRHotNet is depicted and its usage in the R console is shown through a detailed analysis of a crime dataset.


title: GPT Conjecture: Understanding the Trade-offs between Granularity, Performance and Timeliness in Control-Flow Integrity

abstract: Performance/security trade-off is widely noticed in CFI research, however, we observe that not every CFI scheme is subject to the trade-off. Motivated by the key observation, we ask three questions. Although the three questions probably cannot be directly answered, they are inspiring. We find that a deeper understanding of the nature of the trade-off will help answer the three questions. Accordingly, we proposed the GPT conjecture to pinpoint the trade-off in designing CFI schemes, which says that at most two out of three properties (fine granularity, acceptable performance, and preventive protection) could be achieved.


title: Surface anchoring as a control parameter for stabilizing torons, skyrmions, twisted walls, fingers and their hybrids in chiral nematics

abstract: Chiral condensed matter systems, such as liquid crystals and magnets, exhibit a host of spatially localized topological structures that emerge from the medium's tendency to twist and its competition with confinement and field coupling effects. We show that the strength of perpendicular surface boundary conditions can be used to control the structure and topology of solitonic and other localized field configurations. By combining numerical modeling and three-dimensional imaging of the director field, we reveal structural stability diagrams and inter-transformation of twisted walls and fingers, torons and skyrmions and their crystalline organizations upon changing boundary conditions. Our findings provide a recipe for controllably realizing skyrmions, torons and hybrid solitonic structures possessing features of both of them, which will aid in fundamental explorations and technological uses of such topological solitons. Moreover, we discuss how other material parameters can be used to determine soliton stability, and how similar principles can be systematically applied to other liquid crystal solitons, and solitons in other material systems.


title: A new interface capturing method for Allen-Cahn type equations based on a flow dynamic approach in Lagrangian coordinates, I. One-dimensional case

abstract: We develop a new Lagrangian approach --- flow dynamic approach to effectively capture the interface in the Allen-Cahn type equations. The underlying principle of this approach is the Energetic Variational Approach (EnVarA), motivated by Rayleigh and Onsager \cite{onsager1931reciprocal,onsager1931reciprocal2}. Its main advantage, comparing with numerical methods in Eulerian coordinates, is that thin interfaces can be effectively captured with few points in the Lagrangian coordinate. We concentrate in the one-dimensional case and construct numerical schemes for the trajectory equation in Lagrangian coordinate that obey the variational structures, and as a consequence, are energy dissipative. Ample numerical results are provided to show that only a fewer points are enough to resolve very thin interfaces by using our Lagrangian approach.