title: A Note on Lower Digits Extraction Polynomial for Bootstrapping

abstract: Bootstrapping is a crucial but computationally expensive step for realizing Fully Homomorphic Encryption (FHE). Recently, Chen and Han (Eurocrypt 2018) introduced a family of low-degree polynomials to extract the lowest digit with respect to a certain congruence, which helps improve the bootstrapping for both FV and BGV schemes. In this note, we present the following relevant findings about the work of Chen and Han (referred to as CH18): 1. We provide a simpler construction of the low-degree polynomials that serve the same purpose and match the asymptotic bound achieved in CH18; 2. We show the optimality and limit of our approach by solving a minimal polynomial degree problem; 3. We consider the problem of extracting other low-order digits using polynomials, and provide negative results.


title: Modeling financial analysts' decision making via the pragmatics and semantics of earnings calls

abstract: Every fiscal quarter, companies hold earnings calls in which company executives respond to questions from analysts. After these calls, analysts often change their price target recommendations, which are used in equity research reports to help investors make decisions. In this paper, we examine analysts' decision making behavior as it pertains to the language content of earnings calls. We identify a set of 20 pragmatic features of analysts' questions which we correlate with analysts' pre-call investor recommendations. We also analyze the degree to which semantic and pragmatic features from an earnings call complement market data in predicting analysts' post-call changes in price targets. Our results show that earnings calls are moderately predictive of analysts' decisions even though these decisions are influenced by a number of other factors including private communication with company executives and market conditions. A breakdown of model errors indicates disparate performance on calls from different market sectors.


title: One-Shot Neural Architecture Search via Compressive Sensing

abstract: Neural Architecture Search remains a very challenging meta-learning problem. Several recent techniques based on parameter-sharing idea have focused on reducing the NAS running time by leveraging proxy models, leading to architectures with competitive performance compared to those with hand-crafted designs. In this paper, we propose an iterative technique for NAS, inspired by algorithms for learning low-degree sparse Boolean functions. We validate our approach on the DARTs search space (Liu et al., 2018b) and NAS-Bench-201 (Yang et al., 2020). In addition, we provide theoretical analysis via upper bounds on the number of validation error measurements needed for reliable learning, and include ablation studies to further in-depth understanding of our technique.


title: Worst-Case Regret Bounds for Exploration via Randomized Value Functions

abstract: This paper studies a recent proposal to use randomized value functions to drive exploration in reinforcement learning. These randomized value functions are generated by injecting random noise into the training data, making the approach compatible with many popular methods for estimating parameterized value functions. By providing a worst-case regret bound for tabular finite-horizon Markov decision processes, we show that planning with respect to these randomized value functions can induce provably efficient exploration.


title: Graph Embedding based Wireless Link Scheduling with Few Training Samples

abstract: Link scheduling in device-to-device (D2D) networks is usually formulated as a non-convex combinatorial problem, which is generally NP-hard and difficult to get the optimal solution. Traditional methods to solve this problem are mainly based on mathematical optimization techniques, where accurate channel state information (CSI), usually obtained through channel estimation and feedback, is needed. To overcome the high computational complexity of the traditional methods and eliminate the costly channel estimation stage, machine leaning (ML) has been introduced recently to address the wireless link scheduling problems. In this paper, we propose a novel graph embedding based method for link scheduling in D2D networks. We first construct a fully-connected directed graph for the D2D network, where each D2D pair is a node while interference links among D2D pairs are the edges. Then we compute a low-dimensional feature vector for each node in the graph. The graph embedding process is based on the distances of both communication and interference links, therefore without requiring the accurate CSI. By utilizing a multi-layer classifier, a scheduling strategy can be learned in a supervised manner based on the graph embedding results for each node. We also propose an unsupervised manner to train the graph embedding based method to further reinforce the scalability and generalizability and develop a K-nearest neighbor graph representation method to reduce the computational complexity. Extensive simulation demonstrates that the proposed method is near-optimal compared with the existing state-of-art methods but is with only hundreds of training samples. It is also competitive in terms of scalability and generalizability to more complicated scenarios.


title: Mixed Strategy Game Model Against Data Poisoning Attacks

abstract: In this paper we use game theory to model poisoning attack scenarios. We prove the non-existence of pure strategy Nash Equilibrium in the attacker and defender game. We then propose a mixed extension of our game model and an algorithm to approximate the Nash Equilibrium strategy for the defender. We then demonstrate the effectiveness of the mixed defence strategy generated by the algorithm, in an experiment.


title: Initial self-embeddings of models of set theory

abstract: By a classical theorem of Harvey Friedman (1973), every countable nonstandard model $\mathcal{M}$ of a sufficiently strong fragment of ZF has a proper rank-initial self-embedding $j$, i.e., $j$ is a self-embedding of $\mathcal{M}$ such that $j[\mathcal{M}]\subsetneq\mathcal{M}$, and the ordinal rank of each member of $j[\mathcal{M}]$ is less than the ordinal rank of each element of $\mathcal{M}\setminus j[\mathcal{M}]$. Here we investigate the larger family of proper initial-embeddings $j$ of models $\mathcal{M}$ of fragments of set theory, where the image of $j$ is a transitive submodel of $\mathcal{M}$.


title: The Redshift Space Momentum Power Spectrum II: measuring the growth rate from the combined 2MTF and 6dFGSv surveys

abstract: Measurements of the growth rate of structure, $f\sigma_8$ in the low-redshift Universe allow stringent tests of the cosmological model. In this work, we provide new constraints on $f\sigma_{8}$ at an effective redshift of $z=0.03$ using the combined density and velocity fields measured by the 2MTF and 6dFGSv surveys. We do this by applying a new estimator of the redshift-space density and momentum (density-weighted velocity) power spectra, developed in the first paper of this series, to measured redshifts and peculiar velocities from these datasets. We combine this with models of the density and momentum power spectra in the presence of complex survey geometries and with an ensemble of simulated galaxy catalogues that match the survey selection functions and galaxy bias. We use these simulations to estimate the errors on our measurements and identify possible systematics. In particular, we are able to identify and remove biases caused by the non-Gaussianity of the power spectra by applying the Box-Cox transformation to the power spectra prior to fitting. After thorough validation of our methods we recover a constraint of $f\sigma_8(z_{\mathrm{eff}}=0.03)=0.404^{+0.082}_{-0.081}$ from the combined 2MTF and 6dFGSv data. This measurement is fully consistent with the expectations of General Relativity and the $\Lambda$ Cold Dark Matter cosmological model. It is also comparable and complementary to constraints using different techniques on similar data, affirming the usefulness of our method for extracting cosmology from velocity fields.


title: The Redshift-Space Momentum Power Spectrum I: Optimal Estimation From Peculiar Velocity Surveys

abstract: Low redshift surveys of galaxy peculiar velocities provide a wealth of cosmological information. We revisit the idea of extracting this information by directly measuring the redshift-space momentum power spectrum from such surveys. We provide a comprehensive theoretical and practical framework for estimating and fitting this from data, analogous to well understood techniques used to measure the galaxy density power spectrum from redshift surveys. We formally derive a new estimator, which includes the effects of shot noise and survey geometry; we evaluate the variance of the estimator in the Gaussian regime; we compute the optimal weights for the estimator; we demonstrate that the measurements are Gaussian distributed, allowing for easy extraction of cosmological parameters; and we explore the effects of peculiar velocity measurement errors. We finish with a proof-of-concept using realistic mock galaxy catalogues, which demonstrates that we can measure and fit both the redshift-space galaxy density and momentum power spectra from peculiar velocity surveys and that including the latter substantially improves our constraints on the growth rate of structure. We also provide theoretical descriptions for modelling the non-linear redshift-space density and momentum power spectrum multipoles, and forecasting the constraints on cosmological parameters using the Fisher information contained in these measurements for arbitrary weights. These may be useful for measurements of the galaxy density power spectrum even in the absence of peculiar velocities.


title: Compressing RNNs for IoT devices by 15-38x using Kronecker Products

abstract: Recurrent Neural Networks (RNN) can be difficult to deploy on resource constrained devices due to their size.As a result, there is a need for compression techniques that can significantly compress RNNs without negatively impacting task accuracy. This paper introduces a method to compress RNNs for resource constrained environments using Kronecker product (KP). KPs can compress RNN layers by 15-38x with minimal accuracy loss. By quantizing the resulting models to 8-bits, we further push the compression factor to 50x. We show that KP can beat the task accuracy achieved by other state-of-the-art compression techniques across 5 benchmarks spanning 3 different applications, while simultaneously improving inference run-time. We show that the KP compression mechanism does introduce an accuracy loss, which can be mitigated by a proposed hybrid KP (HKP) approach. Our HKP algorithm provides fine-grained control over the compression ratio, enabling us to regain accuracy lost during compression by adding a small number of model parameters.


title: Plerion model of the X-ray plateau in short gamma-ray bursts

abstract: Many short gamma-ray bursts (sGRBs) exhibit a prolonged plateau in the X-ray light curve following the main burst. It is shown that an X-ray plateau at the observed luminosity emerges naturally from a plerion-like model of the sGRB remnant, in which the magnetized, relativistic wind of a millisecond magnetar injects shock-accelerated electrons into a cavity confined by the sGRB blast wave. A geometry-dependent fraction of the plerionic radiation is also intercepted and reprocessed by the optically thick merger ejecta. The relative contributions of the plerion and ejecta to the composite X-ray light curve are estimated approximately with the aid of established ejecta models. The plerionic component of the electron energy spectrum is evolved under the action of time-dependent, power-law injection and adiabatic and synchrotron cooling in order to calculate the X-ray light curve analytically. The model yields an anti-correlation between the luminosity and duration of the plateau as well as a sudden cut-off in the X-ray flux, if the decelerating magnetar collapses to form a black hole. Both features are broadly consistent with the data and can be related to the surface magnetic field of the magnetar and its angular velocity at birth. The analogy with core-collapse supernova remnants is discussed briefly.


title: Explicit logarithmic formulas of special values of hypergeometric functions 3F2

abstract: In a joint paper [4] by Otsubo, Terasoma and the first author, we proved that the special value 3F2(a,b,q;a+b,q;1) of the generalized hypergeometric function is a linear combination of log of algebraic numbers if the triplet (a,b,q) of rational numbers satisfies a certain numerical condition. However there remains a question how to obtain explicit descriptions of the values. In this paper, we give a method to do this, which is a further development of the technique in [4].


title: Holographic Principle and the Second Law in Stephani Cosmology Revisited

abstract: We show in a model-independent way that the inhomogeneous cosmological class II Stephani model fulfills both the the cosmological holographic principle, and that the entropy is increasing with time. By this we mean the result does not depend on any assumption on the time evolution of the scale factor, or on the matter content of the Universe, we also do not need to use the numerical values of the cosmological parameters, which are inferred in the framework of the usual homogeneous Friedmann model. Therefore our analysis is not affected by the tension of the current estimates of the Hubble parameter, and does not rely on any model-dependent assumption of the entropy amount at the present epoch. Our analysis allows us to set an upper limit for the inhomogeneity parameter of the model, an upper bound for the size that this type of universe can reach during the time evolution, a lower bound for the entropy abundance, and an estimate of the present day value of the deceleration parameter.


title: Congruences on Orthogonal Rook Monoids and Symplectic Rook Monoids

abstract: We give a complete classification of all nonuniform congruences on orthogonal rook monoids and symplectic rook monoids. We find that there are four kinds of nonuniform congruences on the orthogonal rook monoids ${OR}_n$ for even $n\ne 4$, and we describe each kind of the congruences explicitly in terms of normal subgroups of maximal subgroups. We also find that if $n = 4$, there are six kinds of nonuniform congruences on ${OR}_4$, and we describe these congruences using both $\mathcal{H}$-relations and certain normal subgroups of some maximal subgroups. In contrast, we find that there is only one kind of congruences on the symplectic rook monoids for all even $n\ge 2.$


title: Vertex Classification on Weighted Networks

abstract: This paper proposes a discrimination technique for vertices in a weighted network. We assume that the edge weights and adjacencies in the network are conditionally independent and that both sources of information encode class membership information. In particular, we introduce a edge weight distribution matrix to the standard K-Block Stochastic Block Model to model weighted networks. This allows us to develop simple yet powerful extensions of classification techniques using the spectral embedding of the unweighted adjacency matrix. We consider two assumptions on the edge weight distributions and propose classification procedures in both settings. We show the effectiveness of the proposed classifiers by comparing them to quadratic discriminant analysis following the spectral embedding of a transformed weighted network. Moreover, we discuss and show how the methods perform when the edge weights do not encode class membership information.


title: Learning to Recommend Third-Party Library Migration Opportunities at the API Level

abstract: The manual migration between different third-party libraries represents a challenge for software developers. Developers typically need to explore both libraries Application Programming Interfaces, along with reading their documentation, in order to locate the suitable mappings between replacing and replaced methods. In this paper, we introduce RAPIM, a novel machine learning approach that recommends mappings between methods from two different libraries. Our model learns from previous migrations, manually performed in mined software systems, and extracts a set of features related to the similarity between method signatures and method textual documentation. We evaluate our model using 8 popular migrations, collected from 57,447 open-source Java projects. Results show that RAPIM is able to recommend relevant library API mappings with an average accuracy score of 87%. Finally, we provide the community with an API recommendation web service that could be used to support the migration process.


title: Adaptive Step Size Strategy for Orthogonality Constrained Line Search Methods

abstract: In this paper, we propose an adaptive step size strategy for a class of line search methods for orthogonality constrained minimization problems, which avoids the classic backtracking procedure. We prove the convergence of the line search methods equipped with our adaptive step size strategy under some mild assumptions.We then apply the adaptive algorithm to electronic structure calculations, which show that our strategy is efficient and recommended.


title: A Statistical Recurrent Stochastic Volatility Model for Stock Markets

abstract: The Stochastic Volatility (SV) model and its variants are widely used in the financial sector while recurrent neural network (RNN) models are successfully used in many large-scale industrial applications of Deep Learning. Our article combines these two methods in a non-trivial way and proposes a model, which we call the Statistical Recurrent Stochastic Volatility (SR-SV) model, to capture the dynamics of stochastic volatility. The proposed model is able to capture complex volatility effects (e.g., non-linearity and long-memory auto-dependence) overlooked by the conventional SV models, is statistically interpretable and has an impressive out-of-sample forecast performance. These properties are carefully discussed and illustrated through extensive simulation studies and applications to five international stock index datasets: The German stock index DAX30, the Hong Kong stock index HSI50, the France market index CAC40, the US stock market index SP500 and the Canada market index TSX250. An user-friendly software package together with the examples reported in the paper are available at \url{https://github.com/vbayeslab}.


title: Seeing Behind Things: Extending Semantic Segmentation to Occluded Regions

abstract: Semantic segmentation and instance level segmentation made substantial progress in recent years due to the emergence of deep neural networks (DNNs). A number of deep architectures with Convolution Neural Networks (CNNs) were proposed that surpass the traditional machine learning approaches for segmentation by a large margin. These architectures predict the directly observable semantic category of each pixel by usually optimizing a cross entropy loss. In this work we push the limit of semantic segmentation towards predicting semantic labels of directly visible as well as occluded objects or objects parts, where the network's input is a single depth image. We group the semantic categories into one background and multiple foreground object groups, and we propose a modification of the standard cross-entropy loss to cope with the settings. In our experiments we demonstrate that a CNN trained by minimizing the proposed loss is able to predict semantic categories for visible and occluded object parts without requiring to increase the network size (compared to a standard segmentation task). The results are validated on a newly generated dataset (augmented from SUNCG) dataset.


title: Sandwiching random regular graphs between binomial random graphs

abstract: Kim and Vu made the following conjecture (\textit{Advances in Mathematics}, 2004): if $d\gg \log n$, then the random $d$-regular graph $\mathcal G(n,d)$ can asymptotically almost surely be "sandwiched" between $\mathcal G(n,p_1)$ and $\mathcal G(n,p_2)$ where $p_1$ and $p_2$ are both $(1+o(1))d/n$. They proved this conjecture for $\log n\ll d\le n^{1/3-o(1)}$, with a defect in the sandwiching: $\mathcal G(n,d)$ contains $\mathcal G(n,p_1)$ perfectly, but is not completely contained in $\mathcal G(n,p_2)$. Recently, the embedding $\mathcal G(n,p_1) \subseteq \mathcal G(n,d)$ was improved by Dudek, Frieze, Ruci\'nski and \v{S}ileikis to $d=o(n)$. In this paper, we prove Kim--Vu's sandwich conjecture, with perfect containment on both sides, for all $d\gg n/\sqrt{\log n}$. For $d=O(n/\sqrt{\log n})$, we prove a weaker version of the sandwich conjecture with $p_2$ approximately equal to $(d/n)\log n$, without any defect. In addition to sandwiching regular graphs, our results cover graphs whose degrees are asymptotically equal. The proofs rely on estimates for the probability that a random factor of a pseudorandom graph contains a given edge, which is of independent interest. As applications, we obtain new results on the properties of random graphs with given near-regular degree sequences, including Hamiltonicity and universality in subgraph containment. We also determine several graph parameters in these random graphs, such as the chromatic number, small subgraph counts, the diameter, and the independence number. We are also able to characterise many phase transitions in edge percolation on these random graphs, such as the threshold for the appearance of a giant component.


title: Navier-Stokes equations with external forces in Besov-Morrey spaces

abstract: We establish the existence and uniqueness of local strong solutions to the Navier-Stokes equations with arbitrary initial data and external forces in the homogeneous Besov-Morrey space. The local solutions can be extended globally in time provided the initial data and external forces are small. We adapt the method introduced in \cite{ks6}, where the Besov space is considered, to the setting of the homogeneous Besov-Morrey space.


title: The server is dead, long live the server: Rise of Serverless Computing, Overview of Current State and Future Trends in Research and Industry

abstract: Serverless computing -- an emerging cloud-native paradigm for the deployment of applications and services -- represents an evolution in cloud application development, programming models, abstractions, and platforms. It promises a real pay-as-you-go billing (with millisecond granularity) with no waste of resources, and lowers the bar for developers by asking them to delegate all their operational complexity and scalability to the cloud provider. Delivering on these promises comes at the expense of restricting functionality. In this article we provide an overview of serverless computing, its evolution, general architecture, key characteristics and uses cases that made it an attractive option for application development. Based on discussions with academics and industry experts during a series of organized serverless computing workshops (WoSC), we also identify the technical challenges and open problems.


title: Machine learning modeling of high entropy alloy: the role of short-range order

abstract: The development of machine learning sheds new light on the traditionally complicated problem of thermodynamics in multicomponent alloys. Successful application of such a method, however, strongly depends on the quality of the data and model. Here we propose a scheme to improve the representativeness of the data by utilizing the short-range order (SRO) parameters to survey the configuration space. Using the improved data, a pair interaction model is trained for the NbMoTaW high entropy alloy using linear regression. Benefiting from the physics incorporated into the model, the learned effective Hamiltonian demonstrates excellent predictability over the whole configuration space. By including pair interactions within the 6th nearest-neighbor shell, this model achieves an $R^2$ testing score of 0.997 and root mean square error of 0.43 meV. We further perform a detailed analysis on the effects of training data, testing data, and model parameters. The results reveal the vital importance of representative data and physical model. On the other hand, we also examined the performance neural networks, which is found to demonstrate a strong tendency to overfit the data.


title: Visually Grounded Neural Syntax Acquisition

abstract: We present the Visually Grounded Neural Syntax Learner (VG-NSL), an approach for learning syntactic representations and structures without any explicit supervision. The model learns by looking at natural images and reading paired captions. VG-NSL generates constituency parse trees of texts, recursively composes representations for constituents, and matches them with images. We define concreteness of constituents by their matching scores with images, and use it to guide the parsing of text. Experiments on the MSCOCO data set show that VG-NSL outperforms various unsupervised parsing approaches that do not use visual grounding, in terms of F1 scores against gold parse trees. We find that VGNSL is much more stable with respect to the choice of random initialization and the amount of training data. We also find that the concreteness acquired by VG-NSL correlates well with a similar measure defined by linguists. Finally, we also apply VG-NSL to multiple languages in the Multi30K data set, showing that our model consistently outperforms prior unsupervised approaches.


title: Agujeros Negros con Pelo y Dualidad AdS/CFT

abstract: The present thesis is based in the material previously published in [arXiv:1501.04252, arXiv:1511.08759, arXiv:1606.07870] and it is organized in the following way. The second chapter is shown as the isometric group of the space time AdS is exactly (isomorphic) match to the conformal group of the dual CFT theory. We present the precise formulation of the duality AdS/CFT and we describe the behavior of a massive scalar field in AdS space-time. In chapter 3 we present solutions of black holes widely known in the literature, which we will use in some later calculations to gain intuition, we explain the no-hair theorem and two examples of exact black hole solutions that can evade this theorem. These results were published in [arXiv:1211.2765, arXiv:1311.6065, arXiv:1311.7459]. Chapter 4 we present details of the methods of holographic renormalization and Hamiltonian formalism, which are applied in the development of the later chapters. For the solution SAdS calculate the on-shell action and regularize, compare with the method of subtraction of the background. Chapter 5 is based on [arXiv:1606.07870]. We investigated the boundary conditions of AdS in the presence of a scalar field minimally coupled to gravity with conformal mass $m^{2}=-2/l^{2}$, for non-logarithmic and logarithmic branch. We calculate the on-shell action, we study the variational principle and propose new counter-terms that regularize the action. Chapter 6, is based on [arXiv:1501.04252, arXiv:1606.07870], we describe the phase transitions of black holes with scalar hair and horizons flat and spherical. We build the thermodynamic phase diagrams and discuss their implications in the dual quantum field theory. Finally in chapter 7 the conclusions and future directions of the work are presented.


title: Classification and Construction of Topological Phases of Quantum Matter

abstract: We develop a theoretical framework for the classification and construction of symmetry protected topological (SPT) phases, which are a special class of zero-temperature phases of strongly interacting gapped quantum many-body systems that exhibit topological properties. The framework unifies various proposals for the classification of SPT phases, including the group (super-)cohomology proposal, the (spin-)cobordism proposal, the Freed-Hopkins proposal, and the Kitaev proposal. The power of the framework is demonstrated in a number of applications: (1) the classification and construction of 3D fermionic SPT phases in Wigner-Dyson classes A and AII with glide symmetry, (2) the classification and construction of 3D bosonic SPT phases with space-group symmetries for all 230 space groups, (3) the derivation of a Mayer-Vietoris sequence relating the classification of SPT phases with and without reflection symmetry, and (4) an interpretation of the structure of general crystalline SPT phases via the Atiyah-Hirzebruch spectral sequence. The framework is based on Kitaev's idea that short-range entangled states form what are known as $\Omega$-spectra in the sense of algebraic topology, and models the classification of SPT phases by what are called generalized cohomology theories.

categories: cond-mat.str-el hep-th math-ph math.MP quant-ph


title: Thermal Field Theory of the Tsallis statistics

abstract: Classical and quantum Tsallis distributions have been widely used in many branches of natural and social sciences. But, the quantum field theory of the Tsallis distributions is relatively a less explored arena. In this article we derive the expression for the thermal two-point functions for the Tsallis statistics with the help of the corresponding statistical mechanical formulations. We show that the quantum Tsallis distributions used in the literature appear in the thermal part of the propagator much in the same way the Boltzmann-Gibbs distributions appear in the conventional thermal field theory. As an application of our findings, thermal mass of the real scalar bosons subjected to phi^4 interaction has been calculated in the Tsallis statistics.


title: Early Prediction of Epilepsy Seizures VLSI BCI System

abstract: Controlling the surrounding world and predicting future events has always seemed like a dream, but that could become a reality using a Brain-Computer/Machine Interface (BCI/BMI). Epilepsy is a group of neurological diseases characterized by epileptic seizures. It affects millions of people worldwide, with 80 percent of cases occurring in developing countries. This can result in accidents and sudden, unexpected death. Seizures can happen undetectably in newborns, comatose, or motor-impaired patients, especially due to the fact that many medical personnel is not qualified for EEG signal analysis. Therefore, a portable automated detection and monitoring solution is in high demand. Thus, in this study, a system of a wireless wearable adaptive for early prediction of epilepsy seizures is proposed, works via minimally invasive wireless technology paired with an external control device (e.g., a doctors smartphone), with a higher than standard accuracy 71 percent and prediction time (14.56 sec). This novel architecture has not only opened new opportunities for daily usable BCI implementations, but they can also save a life by helping to prevent a seizure fatal consequences


title: The average cut-rank of graphs

abstract: The cut-rank of a set $X$ of vertices in a graph $G$ is defined as the rank of the $ X \times (V(G)\setminus X)$ matrix over the binary field whose $(i,j)$-entry is $1$ if the vertex $i$ in $X$ is adjacent to the vertex $j$ in $V(G)\setminus X$ and $0$ otherwise. We introduce the graph parameter called the average cut-rank of a graph, defined as the expected value of the cut-rank of a random set of vertices. We show that this parameter does not increase when taking vertex-minors of graphs and a class of graphs has bounded average cut-rank if and only if it has bounded neighborhood diversity. This allows us to deduce that for each real $\alpha$, the list of induced-subgraph-minimal graphs having average cut-rank larger than (or at least) $\alpha$ is finite. We further refine this by providing an upper bound on the size of obstruction and a lower bound on the number of obstructions for average cut-rank at most (or smaller than) $\alpha$ for each real $\alpha\ge0$. Finally, we describe explicitly all graphs of average cut-rank at most $3/2$ and determine up to $3/2$ all possible values that can be realized as the average cut-rank of some graph.


title: Adversarial Explanations for Understanding Image Classification Decisions and Improved Neural Network Robustness

abstract: For sensitive problems, such as medical imaging or fraud detection, Neural Network (NN) adoption has been slow due to concerns about their reliability, leading to a number of algorithms for explaining their decisions. NNs have also been found vulnerable to a class of imperceptible attacks, called adversarial examples, which arbitrarily alter the output of the network. Here we demonstrate both that these attacks can invalidate prior attempts to explain the decisions of NNs, and that with very robust networks, the attacks themselves may be leveraged as explanations with greater fidelity to the model. We show that the introduction of a novel regularization technique inspired by the Lipschitz constraint, alongside other proposed improvements, greatly improves an NN's resistance to adversarial examples. On the ImageNet classification task, we demonstrate a network with an Accuracy-Robustness Area (ARA) of 0.0053, an ARA 2.4x greater than the previous state of the art. Improving the mechanisms by which NN decisions are understood is an important direction for both establishing trust in sensitive domains and learning more about the stimuli to which NNs respond.


title: Semi-supervised Stochastic Multi-Domain Learning using Variational Inference

abstract: Supervised models of NLP rely on large collections of text which closely resemble the intended testing setting. Unfortunately matching text is often not available in sufficient quantity, and moreover, within any domain of text, data is often highly heterogenous. In this paper we propose a method to distill the important domain signal as part of a multi-domain learning system, using a latent variable model in which parts of a neural model are stochastically gated based on the inferred domain. We compare the use of discrete versus continuous latent variables, operating in a domain-supervised or a domain semi-supervised setting, where the domain is known only for a subset of training inputs. We show that our model leads to substantial performance improvements over competitive benchmark domain adaptation methods, including methods using adversarial learning.


title: Relaxed Parameter Sharing: Effectively Modeling Time-Varying Relationships in Clinical Time-Series

abstract: Recurrent neural networks (RNNs) are commonly applied to clinical time-series data with the goal of learning patient risk stratification models. Their effectiveness is due, in part, to their use of parameter sharing over time (i.e., cells are repeated hence the name recurrent). We hypothesize, however, that this trait also contributes to the increased difficulty such models have with learning relationships that change over time. Conditional shift, i.e., changes in the relationship between the input X and the output y, arises when risk factors associated with the event of interest change over the course of a patient admission. While in theory, RNNs and gated RNNs (e.g., LSTMs) in particular should be capable of learning time-varying relationships, when training data are limited, such models often fail to accurately capture these dynamics. We illustrate the advantages and disadvantages of complete parameter sharing (RNNs) by comparing an LSTM with shared parameters to a sequential architecture with time-varying parameters on prediction tasks involving three clinically-relevant outcomes: acute respiratory failure (ARF), shock, and in-hospital mortality. In experiments using synthetic data, we demonstrate how parameter sharing in LSTMs leads to worse performance in the presence of conditional shift. To improve upon the dichotomy between complete parameter sharing and no parameter sharing, we propose a novel RNN formulation based on a mixture model in which we relax parameter sharing over time. The proposed method outperforms standard LSTMs and other state-of-the-art baselines across all tasks. In settings with limited data, relaxed parameter sharing can lead to improved patient risk stratification performance.


title: Towards Non-I.I.D. Image Classification: A Dataset and Baselines

abstract: I.I.D. hypothesis between training and testing data is the basis of numerous image classification methods. Such property can hardly be guaranteed in practice where the Non-IIDness is common, causing instable performances of these models. In literature, however, the Non-I.I.D. image classification problem is largely understudied. A key reason is lacking of a well-designed dataset to support related research. In this paper, we construct and release a Non-I.I.D. image dataset called NICO, which uses contexts to create Non-IIDness consciously. Compared to other datasets, extended analyses prove NICO can support various Non-I.I.D. situations with sufficient flexibility. Meanwhile, we propose a baseline model with ConvNet structure for General Non-I.I.D. image classification, where distribution of testing data is unknown but different from training data. The experimental results demonstrate that NICO can well support the training of ConvNet model from scratch, and a batch balancing module can help ConvNets to perform better in Non-I.I.D. settings.


title: Compositional Questions Do Not Necessitate Multi-hop Reasoning

abstract: Multi-hop reading comprehension (RC) questions are challenging because they require reading and reasoning over multiple paragraphs. We argue that it can be difficult to construct large multi-hop RC datasets. For example, even highly compositional questions can be answered with a single hop if they target specific entity types, or the facts needed to answer them are redundant. Our analysis is centered on HotpotQA, where we show that single-hop reasoning can solve much more of the dataset than previously thought. We introduce a single-hop BERT-based RC model that achieves 67 F1---comparable to state-of-the-art multi-hop models. We also design an evaluation setting where humans are not shown all of the necessary paragraphs for the intended multi-hop reasoning but can still answer over 80% of questions. Together with detailed error analysis, these results suggest there should be an increasing focus on the role of evidence in multi-hop reasoning and possibly even a shift towards information retrieval style evaluations with large and diverse evidence collections.


title: Decompose-and-Integrate Learning for Multi-class Segmentation in Medical Images

abstract: Segmentation maps of medical images annotated by medical experts contain rich spatial information. In this paper, we propose to decompose annotation maps to learn disentangled and richer feature transforms for segmentation problems in medical images. Our new scheme consists of two main stages: decompose and integrate. Decompose: by annotation map decomposition, the original segmentation problem is decomposed into multiple segmentation sub-problems; these new segmentation sub-problems are modeled by training multiple deep learning modules, each with its own set of feature transforms. Integrate: a procedure summarizes the solutions of the modules in the previous stage; a final solution is then formed for the original segmentation problem. Multiple ways of annotation map decomposition are presented and a new end-to-end trainable K-to-1 deep network framework is developed for implementing our proposed "decompose-and-integrate" learning scheme. In experiments, we demonstrate that our decompose-and-integrate segmentation, utilizing state-of-the-art fully convolutional networks (e.g., DenseVoxNet in 3D and CUMedNet in 2D), improves segmentation performance on multiple 3D and 2D datasets. Ablation study confirms the effectiveness of our proposed learning scheme for medical images.


title: Weyl-Kac character formula for affine Lie algebra in Deligne's category

abstract: We study the characters of simple modules in the parabolic BGG category of the affine Lie algebra in Deligne's category. More specifically, we take the limit of Weyl-Kac formula to compute the character of the irreducible quotient $L(X,k)$ of the parabolic Verma module $M(X,k)$ of level $k$, where $X$ is an indecomposable object of Deligne's category $\underline{\mathrm{Rep}}(GL_t)$, $\underline{\mathrm{Rep}}(O_t)$, or $\underline{\mathrm{Rep}}(Sp_t)$, under conditions that the highest weight of $X$ plus the level gives a fundamental weight, $t$ is transcendental, and the base field $\Bbbk$ has characteristic $0$. We compare our result to the partial result of Etingof, and evaluate the characters to the categorical dimensions to get a categorical interpretation of the Nekrasov-Okounkov hook length formula.


title: Transfer Learning for Nonparametric Classification: Minimax Rate and Adaptive Classifier

abstract: Human learners have the natural ability to use knowledge gained in one setting for learning in a different but related setting. This ability to transfer knowledge from one task to another is essential for effective learning. In this paper, we study transfer learning in the context of nonparametric classification based on observations from different distributions under the posterior drift model, which is a general framework and arises in many practical problems. We first establish the minimax rate of convergence and construct a rate-optimal two-sample weighted $K$-NN classifier. The results characterize precisely the contribution of the observations from the source distribution to the classification task under the target distribution. A data-driven adaptive classifier is then proposed and is shown to simultaneously attain within a logarithmic factor of the optimal rate over a large collection of parameter spaces. Simulation studies and real data applications are carried out where the numerical results further illustrate the theoretical analysis. Extensions to the case of multiple source distributions are also considered.


title: Market Implementation of Multiple-Arrival Multiple-Deadline Differentiated Energy Services

abstract: An increasing concern in power systems is how to elicit flexibilities in demand, which leads to nontraditional electricity products for accommodating loads of different flexibility levels. We have proposed Multiple-Arrival Multiple-Deadline (MAMD) differentiated energy services for the flexible loads which require constant power for specified durations. Such loads are indifferent to the actual power delivery time as long as the duration requirements are satisfied between the specified arrival times and deadlines. The focus of this paper is the market implementation of such services. In a forward market, we establish the existence of an efficient competitive equilibrium to verify the economic feasibility, which implies that selfish market participants can attain the maximum social welfare in a distributed manner. We also show the strengths of the MAMD services by simulation.


title: Properties of isospin asymmetric matter derived from chiral effective field theory

abstract: We present and discuss properties of isospin asymmetric matter whose equation of state is derived from recent high-quality chiral nucleon-nucleon potentials and chiral effective three-nucleon forces. After a brief review of the chiral few-nucleon forces which we adopt, we concentrate on the symmetry energy and its density derivatives. We also explore the correlation between the symmetry energy at saturation density and its slope parameter, L. We estimate the truncation error across three orders of the chiral expansion for both the symmetry energy as a function of density and the slope parameter. Through an energy-density functional inspired by the liquid drop model, we establish a simple connection to finite nuclei. Specifically, we address the symmetry energy coefficient, the so-called reference (or equivalent) density, as well as the neutron skin thickness for 208Pb and 48Ca.


title: Smart Contract Design Meets State Machine Synthesis: Case Studies

abstract: Modern blockchain systems support creation of smart contracts -- stateful programs hosted and executed on a blockchain. Smart contracts hold and transfer significant amounts of digital currency which makes them an attractive target for security attacks. It has been shown that many contracts deployed to public ledgers contain security vulnerabilities. Moreover, the design of blockchain systems does not allow the code of the smart contract to be changed after it has been deployed to the system. Therefore, it is important to guarantee the correctness of smart contracts prior to their deployment. Formal verification is widely used to check smart contracts for correctness with respect to given specification. In this work we consider program synthesis techniques in which the specification is used to generate correct-by-construction programs. We focus on one of the special cases of program synthesis where programs are modeled with finite state machines (FSMs). We show how FSM synthesis can be applied to the problem of automatic smart contract generation. Several case studies of smart contracts are outlined: crowdfunding platform, blinded auction and a license contract. For each case study we specify the corresponding smart contract with a set of formulas in linear temporal logic (LTL) and use this specification together with test scenarios to synthesize a FSM model for that contract. These models are later used to generate executable Solidity code which can be directly used in a blockchain system.


title: Optimal Resource Procurement and the Price of Causality

abstract: This paper studies the problem of procuring diverse resources in a forward market to cover a set $\bf{E}$ of uncertain demand signals $\bf{e}$. We consider two scenarios: (a) $\bf{e}$ is revealed all at once by an oracle (b) $\bf{e}$ reveals itself causally. Each scenario induces an optimal procurement cost. The ratio between these two costs is defined as the {\em price of causality}. It captures the additional cost of not knowing the future values of the uncertain demand signal. We consider two application contexts: procuring energy reserves from a forward capacity market, and purchasing virtual machine instances from a cloud service. An upper bound on the price of causality is obtained, and the exact price of causality is computed for some special cases. The algorithmic basis for all these computations is set containment linear programming. A mechanism is proposed to allocate the procurement cost to consumers who in aggregate produce the demand signal. We show that the proposed cost allocation is fair, budget-balanced, and respects the cost-causation principle. The results are validated through numerical simulations.


title: Cubic-quintic nonlinear Helmholtz equation: Modulational instability, chirped elliptic and solitary waves

abstract: We study the formation and propagation of chirped elliptic and solitary waves in cubic-quintic nonlinear Helmholtz (CQNLH) equation. This system describes nonparaxial pulse propagation in a planar waveguide with Kerr-like and quintic nonlinearities along with spatial dispersion originating from the nonparaxial effect that becomes dominant when the conventional slowly varying envelope approximation (SVEA) fails. We first carry out the modulational instability (MI) analysis of a plane wave in this system by employing the linear stability analysis and investigate the influence of different physical parameters on the MI gain spectra. In particular, we show the nonparaxial parameter suppresses the conventional MI gain spectrum and also leads to a nontrivial monotonic increase in the gain spectrum near the tails of the conventional MI band, a qualitatively distinct behaviour from the standard nonlinear Schr\"odinger (NLS) system. We then study the MI dynamics by direct numerical simulations which demonstrate production of ultra-short nonparaxial pulse trains with internal oscillations and slight distortions at the wings. Following the MI dynamics, we obtain exact elliptic and solitary wave solutions using the integration method by considering physically interesting chirped traveling wave ansatz. In particular, we show that the system features intriguing chirped anti-dark, bright, gray and dark solitary waves depending upon the nature of nonlinearities. We also show that the chirping is inversely proportional to the intensity of the optical wave. Especially, the bright and dark solitary waves exhibit unusual chirping behaviour which will have applications in nonlinear pulse compression process.


title: AutoGrow: Automatic Layer Growing in Deep Convolutional Networks

abstract: Depth is a key component of Deep Neural Networks (DNNs), however, designing depth is heuristic and requires many human efforts. We propose AutoGrow to automate depth discovery in DNNs: starting from a shallow seed architecture, AutoGrow grows new layers if the growth improves the accuracy; otherwise, stops growing and thus discovers the depth. We propose robust growing and stopping policies to generalize to different network architectures and datasets. Our experiments show that by applying the same policy to different network architectures, AutoGrow can always discover near-optimal depth on various datasets of MNIST, FashionMNIST, SVHN, CIFAR10, CIFAR100 and ImageNet. For example, in terms of accuracy-computation trade-off, AutoGrow discovers a better depth combination in ResNets than human experts. Our AutoGrow is efficient. It discovers depth within similar time of training a single DNN. Our code is available at https://github.com/wenwei202/autogrow.


title: Topologically protected wave packets and quantum rings in silicene

abstract: We study chiral wave packets moving along the zero-line of a symmetry breaking potential of vertical electric field in buckled silicene using an atomistic tight-binding approach with initial conditions set by an analytical solution of the Dirac equation. We demonstrate that the wave packet moves with a constant untrembling velocity and with a presevered shape along the zero line. Backscattering by the edge of the crystal is observed that appears with the transition of the packet from $K$ to $K'$ valley or vice versa. We propose a potential profile with branching of the flip line that splits the wave packet and produces interference of the split parts that acts as a quantum ring. The transition time exhibits Aharonov-Bohm oscillations in the external magnetic field that are translated to conductance oscillations when the intervalley scattering is present within the ring.


title: A ruin model with a resampled environment

abstract: This paper considers a Cram\'er-Lundberg risk setting, where the components of the underlying model change over time. These components could be thought of as the claim arrival rate, the claim-size distribution, and the premium rate, but we allow the more general setting of the cumulative claim process being modelled as a spectrally positive L\'evy process. We provide an intuitively appealing mechanism to create such parameter uncertainty: at Poisson epochs we resample the model components from a finite number of $d$ settings. It results in a setup that is particularly suited to describe situations in which the risk reserve dynamics are affected by external processes (such as the state of the economy, political developments, weather or climate conditions, and policy regulations). We extend the classical Cram\'er-Lundberg approximation (asymptotically characterizing the all-time ruin probability in a light-tailed setting) to this more general setup. In addition, for the situation that the driving L\'evy processes are sums of Brownian motions and compound Poisson processes, we find an explicit uniform bound on the ruin probability, which can be viewed as an extension of Lundberg's inequality; importantly, here it is not required that the L\'evy processes be spectrally one-sided. In passing we propose an importance-sampling algorithm facilitating efficient estimation, and prove it has bounded relative error. In a series of numerical experiments we assess the accuracy of the asymptotics and bounds, and illustrate that neglecting the resampling can lead to substantial underestimation of the risk.


title: Exponential-Binary State-Space Search

abstract: Iterative deepening search is used in applications where the best cost bound for state-space search is unknown. The iterative deepening process is used to avoid overshooting the appropriate cost bound and doing too much work as a result. However, iterative deepening search also does too much work if the cost bound grows too slowly. This paper proposes a new framework for iterative deepening search called exponential-binary state-space search. The approach interleaves exponential and binary searches to find the desired cost bound, reducing the worst-case overhead from polynomial to logarithmic. Exponential-binary search can be used with bounded depth-first search to improve the worst-case performance of IDA* and with breadth-first heuristic search to improve the worst-case performance of search with inconsistent heuristics.


title: Two-Stage Peer-Regularized Feature Recombination for Arbitrary Image Style Transfer

abstract: This paper introduces a neural style transfer model to generate a stylized image conditioning on a set of examples describing the desired style. The proposed solution produces high-quality images even in the zero-shot setting and allows for more freedom in changes to the content geometry. This is made possible by introducing a novel Two-Stage Peer-Regularization Layer that recombines style and content in latent space by means of a custom graph convolutional layer. Contrary to the vast majority of existing solutions, our model does not depend on any pre-trained networks for computing perceptual losses and can be trained fully end-to-end thanks to a new set of cyclic losses that operate directly in latent space and not on the RGB images. An extensive ablation study confirms the usefulness of the proposed losses and of the Two-Stage Peer-Regularization Layer, with qualitative results that are competitive with respect to the current state of the art using a single model for all presented styles. This opens the door to more abstract and artistic neural image generation scenarios, along with simpler deployment of the model.


title: Fast and Simple Natural-Gradient Variational Inference with Mixture of Exponential-family Approximations

abstract: Natural-gradient methods enable fast and simple algorithms for variational inference, but due to computational difficulties, their use is mostly limited to \emph{minimal} exponential-family (EF) approximations. In this paper, we extend their application to estimate \emph{structured} approximations such as mixtures of EF distributions. Such approximations can fit complex, multimodal posterior distributions and are generally more accurate than unimodal EF approximations. By using a \emph{minimal conditional-EF} representation of such approximations, we derive simple natural-gradient updates. Our empirical results demonstrate a faster convergence of our natural-gradient method compared to black-box gradient-based methods with reparameterization gradients. Our work expands the scope of natural gradients for Bayesian inference and makes them more widely applicable than before.


title: Rectifying Classifier Chains for Multi-Label Classification

abstract: Classifier chains have recently been proposed as an appealing method for tackling the multi-label classification task. In addition to several empirical studies showing its state-of-the-art performance, especially when being used in its ensemble variant, there are also some first results on theoretical properties of classifier chains. Continuing along this line, we analyze the influence of a potential pitfall of the learning process, namely the discrepancy between the feature spaces used in training and testing: While true class labels are used as supplementary attributes for training the binary models along the chain, the same models need to rely on estimations of these labels at prediction time. We elucidate under which circumstances the attribute noise thus created can affect the overall prediction performance. As a result of our findings, we propose two modifications of classifier chains that are meant to overcome this problem. Experimentally, we show that our variants are indeed able to produce better results in cases where the original chaining process is likely to fail.


title: Multi-hop Reading Comprehension through Question Decomposition and Rescoring

abstract: Multi-hop Reading Comprehension (RC) requires reasoning and aggregation across several paragraphs. We propose a system for multi-hop RC that decomposes a compositional question into simpler sub-questions that can be answered by off-the-shelf single-hop RC models. Since annotations for such decomposition are expensive, we recast sub-question generation as a span prediction problem and show that our method, trained using only 400 labeled examples, generates sub-questions that are as effective as human-authored sub-questions. We also introduce a new global rescoring approach that considers each decomposition (i.e. the sub-questions and their answers) to select the best final answer, greatly improving overall performance. Our experiments on HotpotQA show that this approach achieves the state-of-the-art results, while providing explainable evidence for its decision making in the form of sub-questions.


title: Pulse Phase Variation of Cyclotron Line in HMXB 4U 1907+09 with ASTROSAT LAXPC

abstract: We present timing and spectral analysis of data from an observation of the High Mass X-ray Binary pulsar 4U 1907+09 with the LAXPC instrument onboard AstroSat. The light curve consisted of a flare at the beginning of the observation, followed by persistent emission. The pulsar continues to spin down, and the pulse profile is found to be double-peaked up to 16 keV with the peaks separated by a phase of $\sim0.45$. Significant energy dependence of the pulse profile is seen with diminishing amplitude of the secondary peak above 16 keV, and increasing amplitude of the main peak upto 40 keV and a sharp decline after that. We confirm earlier detections of the Cyclotron Resonance Scattering Feature (CRSF) in 4U 1907+09 at $\sim 18.5\pm 0.2$ keV in the phase-averaged spectrum with a high detection significance. An intensity resolved spectral analysis of the initial flare in the light curve shows that the CRSF parameters do not change with a change in luminosity by a factor of 2.6. We also performed pulse phase-resolved spectral analysis with ten independent phase bins. The energy and the strength of the cyclotron line show pulse phase dependence that is in agreement with previous measurements. Two features from the current observation: different energy dependence of the two pulse peaks and a strong CRSF only around the secondary peak, both indicate a deviation from a dipole geometry of the magnetic field of the neutron star, or complex beaming pattern from the two poles.


title: Robustness of Dicke subradiance against thermal decoherence

abstract: Subradiance is the cooperative inhibition of the radiation by several emitters coupled to the same electromagnetic modes. It was predicted by Dicke in 1954 and only recently observed in cold atomic vapors. Here we address the question to what extent this cooperative effect survives outside the limit of frozen two-level systems by studying the subradiant decay in an ensemble of cold atoms as a function of the temperature. Experimentally, we observe only a slight decrease of the subradiant decay time when increasing the temperature up to several millikelvins, and in particular we measure subradiant decay rates that are much smaller than the Doppler broadening. This demonstrates that subradiance is surprisingly robust against thermal decoherence. The numerical simulations are in good agreement and allow us to extrapolate the behavior of subradiance at higher temperatures.

categories: physics.atom-ph cond-mat.quant-gas physics.optics quant-ph


title: EVDodgeNet: Deep Dynamic Obstacle Dodging with Event Cameras

abstract: Dynamic obstacle avoidance on quadrotors requires low latency. A class of sensors that are particularly suitable for such scenarios are event cameras. In this paper, we present a deep learning -- based solution for dodging multiple dynamic obstacles on a quadrotor with a single event camera and on-board computation. Our approach uses a series of shallow neural networks for estimating both the ego-motion and the motion of independently moving objects. The networks are trained in simulation and directly transfer to the real world without any fine-tuning or retraining. We successfully evaluate and demonstrate the proposed approach in many real-world experiments with obstacles of different shapes and sizes, achieving an overall success rate of 70% including objects of unknown shape and a low light testing scenario. To our knowledge, this is the first deep learning -- based solution to the problem of dynamic obstacle avoidance using event cameras on a quadrotor. Finally, we also extend our work to the pursuit task by merely reversing the control policy, proving that our navigation stack can cater to different scenarios.


title: Collision of two kinks with inner structure

abstract: In this work, we study kink collisions in a scalar field model with scalar-kinetic coupling. This model supports kink/antikink solutions with inner structure in the energy density. The collision of two such kinks is simulated by using the Fourier spectral method. We numerically calculate how the critical velocity and the widths of the first three two bounce windows vary with the model parameters. After that, we report some interesting collision results including two-bion escape final states, kink-bion-antikink intermediate states and kink or antikink intertwined final states. These results show that kinks with inner structure in the energy density have similar properties as those of the double kinks.


title: Perturbative approach to the entanglement entropy and the area law in Fock and polymer quantization

abstract: The area dependence of entanglement entropy of a free scalar field is often understood in terms of coupled harmonic oscillators. In Schrodinger quantization, the Gaussian nature of ground state wave-function for these oscillators is sufficient to provide the exact form of the reduced density matrix and its eigenvalues, thus giving the entanglement entropy. However, in polymer quantization, the ground state is not Gaussian and the formalism which can provide the exact analytical form of the reduced density matrix is not yet known. In order to address this issue, here we treat the interaction between two coupled harmonic oscillators in the perturbative approach and evaluate the entanglement entropy in Schrodinger and polymer quantization. In contrary to Schrodinger quantization, we show that in high frequency regime the entanglement entropy decreases for polymer quantization keeping the ratio of coupling strength to the square of individual oscillator frequency fixed. Furthermore, for a free scalar field, we validate the area dependence of entanglement entropy in Fock quantization and demonstrate that polymer quantization produces a similar area law.


title: Non-Stationary Reinforcement Learning: The Blessing of (More) Optimism

abstract: We consider un-discounted reinforcement learning (RL) in Markov decision processes (MDPs) under temporal drifts, ie, both the reward and state transition distributions are allowed to evolve over time, as long as their respective total variations, quantified by suitable metrics, do not exceed certain variation budgets. This setting captures the endogeneity, exogeneity, uncertainty, and partial feedback in sequential decision-making scenarios, and finds applications in vehicle remarketing and real-time bidding. We first develop the Sliding Window Upper-Confidence bound for Reinforcement Learning with Confidence Widening (SWUCRL2-CW) algorithm, and establish its dynamic regret bound when the variation budgets are known. In addition, we propose the Bandit-over-Reinforcement Learning (BORL) algorithm to adaptively tune the SWUCRL2-CW algorithm to achieve the same dynamic regret bound, but in a parameter-free manner, ie, without knowing the variation budgets. Finally, we conduct numerical experiments to show that our proposed algorithms achieve superior empirical performance compared to existing algorithms. Notably, the interplay between endogeneity and exogeneity presents a unique challenge, absent in existing (stationary and non-stationary) stochastic online learning settings, when we apply the conventional Optimism in Face of Uncertainty principle to design algorithms with provably low dynamic regret for RL in drifting MDPs. We overcome the challenge by a novel confidence widening technique that incorporates additional optimism into our learning algorithms to ensure low dynamic regret bounds. To extend our theoretical findings, we apply our framework to inventory control problems, and demonstrate how one can alternatively leverage special structures on the state transition distributions to bypass the difficulty in exploring time-varying environments.


title: Preference-based Interactive Multi-Document Summarisation

abstract: Interactive NLP is a promising paradigm to close the gap between automatic NLP systems and the human upper bound. Preference-based interactive learning has been successfully applied, but the existing methods require several thousand interaction rounds even in simulations with perfect user feedback. In this paper, we study preference-based interactive summarisation. To reduce the number of interaction rounds, we propose the Active Preference-based ReInforcement Learning (APRIL) framework. APRIL uses Active Learning to query the user, Preference Learning to learn a summary ranking function from the preferences, and neural Reinforcement Learning to efficiently search for the (near-)optimal summary. Our results show that users can easily provide reliable preferences over summaries and that APRIL outperforms the state-of-the-art preference-based interactive method in both simulation and real-user experiments.


title: PseudoEdgeNet: Nuclei Segmentation only with Point Annotations

abstract: Nuclei segmentation is one of the important tasks for whole slide image analysis in digital pathology. With the drastic advance of deep learning, recent deep networks have demonstrated successful performance of the nuclei segmentation task. However, a major bottleneck to achieving good performance is the cost for annotation. A large network requires a large number of segmentation masks, and this annotation task is given to pathologists, not the public. In this paper, we propose a weakly supervised nuclei segmentation method, which requires only point annotations for training. This method can scale to large training set as marking a point of a nucleus is much cheaper than the fine segmentation mask. To this end, we introduce a novel auxiliary network, called PseudoEdgeNet, which guides the segmentation network to recognize nuclei edges even without edge annotations. We evaluate our method with two public datasets, and the results demonstrate that the method consistently outperforms other weakly supervised methods.


title: Average predictive control for nonlinear discrete dynamical systems

abstract: We explore the problem of stabilization of unstable periodic orbits in discrete nonlinear dynamical systems. This work proposes the generalization of predictive control method for resolving the stabilization problem. Our method embodies the development of control method proposed by B.T. Polyak. The control we propose uses a linear (convex) combination of iterated functions. With the proposed method auxiliary, the problem of robust cycle stabilization for various cases of its multipliers localization is solved. An algorithm for finding a given length cycle when its multipliers are known is described as a particular case of our method application. Also, we present numerical simulation results for some well-known mappings and the possibility of further generalization of this method.


title: The Normalization Method for Alleviating Pathological Sharpness in Wide Neural Networks

abstract: Normalization methods play an important role in enhancing the performance of deep learning while their theoretical understandings have been limited. To theoretically elucidate the effectiveness of normalization, we quantify the geometry of the parameter space determined by the Fisher information matrix (FIM), which also corresponds to the local shape of the loss landscape under certain conditions. We analyze deep neural networks with random initialization, which is known to suffer from a pathologically sharp shape of the landscape when the network becomes sufficiently wide. We reveal that batch normalization in the last layer contributes to drastically decreasing such pathological sharpness if the width and sample number satisfy a specific condition. In contrast, it is hard for batch normalization in the middle hidden layers to alleviate pathological sharpness in many settings. We also found that layer normalization cannot alleviate pathological sharpness either. Thus, we can conclude that batch normalization in the last layer significantly contributes to decreasing the sharpness induced by the FIM.


title: Please, no more scientific journals! The strategy of the scientific publication system

abstract: In the same way ecosystems tend to increase maturity by decreasing the flow of energy per unit biomass, we should move towards a more mature science by publishing less but high-quality papers and getting away from joining large teams in small roles. That is, we should decrease our scientific productivity for good.


title: Software Ethology: An Accurate, Resilient, and Cross-Architecture Binary Analysis Framework

abstract: When reverse engineering a binary, the analyst must first understand the semantics of the binary's functions through either manual or automatic analysis. Manual semantic analysis is time-consuming, because abstractions provided by high level languages, such as type information, variable scope, or comments are lost, and past analyses cannot apply to the current analysis task. Existing automated binary analysis tools currently suffer from low accuracy in determining semantic function identification in the presence of diverse compilation environments. We introduce Software Ethology, a binary analysis approach for determining the semantic similarity of functions. Software Ethology abstracts semantic behavior as classification vectors of program state changes resulting from a function executing with a specified input state, and uses these vectors as a unique fingerprint for identification. All existing semantic identifiers determine function similarity via code measurements, and suffer from high inaccuracy when classifying functions from compilation environments different from their ground truth source. Since Software Ethology does not rely on code measurements, its accuracy is resilient to changes in compiler, compiler version, optimization level, or even different source implementing equivalent functionality. Tinbergen, our prototype Software Ethology implementation, leverages a virtual execution environment and a fuzzer to generate the classification vectors. In evaluating Tinbergen's feasibility as a semantic function identifier by identifying functions in coreutils-8.30, we achieve a high .805 average accuracy. Compared to the state-of-the-art, Tinbergen is 1.5 orders of magnitude faster when training, 50% faster in answering queries, and, when identifying functions in binaries generated from differing compilation environments, is 30%-61% more accurate.


title: Coding Theorems for Asynchronous Slepian-Wolf Coding Systems

abstract: The Slepian-Wolf (SW) coding system is a source coding system with two encoders and a decoder, where these encoders independently encode source sequences from two correlated sources into codewords, and the decoder reconstructs both source sequences from the codewords. In this paper, we consider the situation in which the SW coding system is asynchronous, i.e., each encoder samples a source sequence with some unknown delay. We assume that delays are unknown but maximum and minimum values of possible delays are known to encoders and the decoder. We also assume that sources are discrete stationary memoryless and the probability mass function (PMF) of the sources is unknown but the system knows that it belongs to a certain set of PMFs. For this asynchronous SW coding system, we clarify the achievable rate region which is the set of rate pairs of encoders such that the decoding error probability vanishes as the blocklength tends to infinity. We show that this region does not always coincide with that of the synchronous SW coding system in which each encoder samples a source sequence without any delay.


title: Compositional Abstraction-based Synthesis of General MDPs via Approximate Probabilistic Relations

abstract: We propose a compositional approach for constructing abstractions of general Markov decision processes using approximate probabilistic relations. The abstraction framework is based on the notion of $\delta$-lifted relations, using which one can quantify the distance in probability between the interconnected gMDPs and that of their abstractions. This new approximate relation unifies compositionality results in the literature by incorporating the dependencies between state transitions explicitly and by allowing abstract models to have either finite or infinite state spaces. Accordingly, one can leverage the proposed results to perform analysis and synthesis over abstract models, and then carry the results over concrete ones. To this end, we first propose our compositionality results using the new approximate probabilistic relation which is based on lifting. We then focus on a class of stochastic nonlinear dynamical systems and construct their abstractions using both model order reduction and space discretization in a unified framework. We provide conditions for simultaneous existence of relations incorporating the structure of the network. Finally, we demonstrate the effectiveness of the proposed results by considering a network of four nonlinear dynamical subsystems (together 12 dimensions) and constructing finite abstractions from their reduced-order versions (together 4 dimensions) in a unified compositional framework. We benchmark our results against the compositional abstraction techniques that construct both infinite abstractions (reduced-order models) and finite MDPs in two consecutive steps. We show that our approach is much less conservative than the ones available in the literature.


title: Inductive Bias of Gradient Descent based Adversarial Training on Separable Data

abstract: Adversarial training is a principled approach for training robust neural networks. Despite of tremendous successes in practice, its theoretical properties still remain largely unexplored. In this paper, we provide new theoretical insights of gradient descent based adversarial training by studying its computational properties, specifically on its inductive bias. We take the binary classification task on linearly separable data as an illustrative example, where the loss asymptotically attains its infimum as the parameter diverges to infinity along certain directions. Specifically, we show that when the adversarial perturbation during training has bounded $\ell_2$-norm, the classifier learned by gradient descent based adversarial training converges in direction to the maximum $\ell_2$-norm margin classifier at the rate of $\tilde{\mathcal{O}}(1/\sqrt{T})$, significantly faster than the rate $\mathcal{O}(1/\log T)$ of training with clean data. In addition, when the adversarial perturbation during training has bounded $\ell_q$-norm for some $q\ge 1$, the resulting classifier converges in direction to a maximum mixed-norm margin classifier, which has a natural interpretation of robustness, as being the maximum $\ell_2$-norm margin classifier under worst-case $\ell_q$-norm perturbation to the data. Our findings provide theoretical backups for adversarial training that it indeed promotes robustness against adversarial perturbation.


title: Robust, switchable, C-related, Superconducting Nanostructure at the Apex of a W tip

abstract: We report on a controlled method to fabricate in-situ a superconducting (SC) nanostructure at the apex of the standard W tip of a Scanning Tunnelling Microscope (STM) by pulsing the tunnelling voltage on a graphene covered metal surface. We have characterized the SC properties of the resulting tip as a function of temperature and magnetic field, obtaining a transition temperature of 3.3 K and a critical field well above 3T. The SC nanotip is robust, stable, and achieves atomic resolution. The non-SC tip can be easily recovered by controlled voltage pulsing on a clean metal surface. The present result should be taken into account when studying zero-bias features like Kondo resonances or superconductivity on graphene-based systems by means of STM using tungsten tips.


title: Cytoplasmic streaming in C. elegans: forces that drive oogenesis

abstract: In the gonad of C. elegans worms, germ cells form the outer lining of the central tube, the rachis, which carries a cytoplasmic flow.


title: An algorithm for solving unconstrained unitary quantum brachistochrone problems

abstract: We introduce an iterative method to search for time-optimal Hamiltonians that drive a quantum system between two arbitrary, and in general mixed, quantum states. The method is based on the idea of progressively improving the efficiency of an initial, randomly chosen, Hamiltonian, by reducing its components that do not actively contribute to driving the system. We show that our method converges rapidly even for large dimensional systems, and that its solutions saturate any attainable bound for the minimal time of evolution. We provide a rigorous geometric interpretation of the iterative method by exploiting an isomorphism between geometric phases acquired by the system along a path and the Hamiltonian that generates it, and discuss resulting similarities with Grover's quantum search algorithm. Our method is directly applicable as a powerful tool for state preparation and gate design problems.


title: Relaxed highest-weight modules II: classifications for affine vertex algebras

abstract: This is the second of a series of articles devoted to the study of relaxed highest-weight modules over affine vertex algebras and W-algebras. The first studied the simple "rank-$1$" affine vertex superalgebras $L_k(\mathfrak{sl}_2)$ and $L_k(\mathfrak{osp}(1\vert2))$, with the main results including the first complete proofs of certain conjectured character formulae (as well as some entirely new ones). Here, we turn to the question of classifying relaxed highest-weight modules for simple affine vertex algebras of arbitrary rank. The key point is that this can be reduced to the classification of highest-weight modules by generalising Olivier Mathieu's theory of coherent families. We formulate this algorithmically and illustrate its practical implementation with several detailed examples. We also show how to use coherent family technology to establish the non-semisimplicity of category $\mathscr{O}$ in one of these examples.


title: Synergy between professional and amateur astronomers

abstract: Since the CCD technique became financially reachable for amateur astronomers, they can cover topics of professional science. Mainly in the time-domain astronomy, such as variable star research, their help is invaluable. We focus on cooperation between amateur and professional astronomers in the Czech Republic, give some examples of successful projects and propose new programs that can benefit from such cooperation and bring high-quality results.


title: A Finite Volume Scheme for Savage-Hutter Equations on Unstructured Grids

abstract: A Godunov-type finite volume scheme on unstructured triangular grids is proposed to numerically solve the Savage-Hutter equations in curvilinear coordinate. We show the direct observation that the model is a not Galilean invariant system. At the cell boundary, the modified Harten-Lax-van Leer (HLL) approximate Riemann solver is adopted to calculate the numerical flux. The modified HLL flux is not troubled by the lack of Galilean invariance of the model and it is helpful to handle discontinuities at free interface. Rigidly the system is not always a hyperbolic system due to the dependence of flux on the velocity gradient. Even though, our numerical results still show quite good agreements to reference solutions. The simulations for granular avalanche flows with shock waves indicate that the scheme is applicable.


title: Field-free switching of a Spin-orbit torque device aided by interlayer-coupling induced domain walls

abstract: The spin-orbit torque device is promising as a candidate for next generation magnetic memory, while the static in-plane field needed to induce deterministic switching is a main obstacle for its application in highly integrated circuits. Instead of introducing effective field into the device, in this work we present an alternative way to achieve the field-free current-driven magnetization switching. By adding Tb/Co multilayers at two ends of the current channel, assisting domain wall is created by interlayer exchange coupling. The field-free deterministic switching is achieved by the movement of the domain wall driven by current. By loop shift measurement we find the driven force exerted on the domain wall is determined by the direction of the in-plane moment in the domain wall. Finally, we modify the device into a synthetic antiferromagnetic structure to solve the problem of reading out signal. The present work broadens the choice of field-free spin-orbit torque device design and clearly depicts the difference between two different switching mechanism.


title: Key Ingredients of Self-Driving Cars

abstract: Over the past decade, many research articles have been published in the area of autonomous driving. However, most of them focus only on a specific technological area, such as visual environment perception, vehicle control, etc. Furthermore, due to fast advances in the self-driving car technology, such articles become obsolete very fast. In this paper, we give a brief but comprehensive overview on key ingredients of autonomous cars (ACs), including driving automation levels, AC sensors, AC software, open source datasets, industry leaders, AC applications and existing challenges.


title: Selfie: Self-supervised Pretraining for Image Embedding

abstract: We introduce a pretraining technique called Selfie, which stands for SELFie supervised Image Embedding. Selfie generalizes the concept of masked language modeling of BERT (Devlin et al., 2019) to continuous data, such as images, by making use of the Contrastive Predictive Coding loss (Oord et al., 2018). Given masked-out patches in an input image, our method learns to select the correct patch, among other "distractor" patches sampled from the same image, to fill in the masked location. This classification objective sidesteps the need for predicting exact pixel values of the target patches. The pretraining architecture of Selfie includes a network of convolutional blocks to process patches followed by an attention pooling network to summarize the content of unmasked patches before predicting masked ones. During finetuning, we reuse the convolutional weights found by pretraining. We evaluate Selfie on three benchmarks (CIFAR-10, ImageNet 32 x 32, and ImageNet 224 x 224) with varying amounts of labeled data, from 5% to 100% of the training sets. Our pretraining method provides consistent improvements to ResNet-50 across all settings compared to the standard supervised training of the same network. Notably, on ImageNet 224 x 224 with 60 examples per class (5%), our method improves the mean accuracy of ResNet-50 from 35.6% to 46.7%, an improvement of 11.1 points in absolute accuracy. Our pretraining method also improves ResNet-50 training stability, especially on low data regime, by significantly lowering the standard deviation of test accuracies across different runs.


title: Three real Artin-Tate motives

abstract: We analyze the spectrum of the tensor-triangulated category of Artin-Tate motives over the base field R of real numbers, with integral coefficients. Away from 2, we obtain the same spectrum as for complex Tate motives, previously studied by the second-named author. So the novelty is concentrated at the prime 2, where modular representation theory enters the picture via work of Positselski, based on Voevodsky's resolution of the Milnor Conjecture. With coefficients in k=Z/2, our spectrum becomes homeomorphic to the spectrum of the derived category of filtered kC_2-modules with a peculiar exact structure, for the cyclic group C_2=Gal(C/R). This spectrum consists of six points organized in an interesting way. As an application, we find exactly fourteen classes of mod-2 real Artin-Tate motives, up to the tensor-triangular structure. Among those, three special motives stand out, from which we can construct all others. We also discuss the spectrum of Artin motives and of Tate motives.


title: Homogeneous Finsler sphere with constant flag curvature

abstract: We prove that a homogeneous Finsler sphere with constant flag curvature $K\equiv1$ and a prime closed geodesic of length $2\pi$ must be Riemannian. This observation provides the evidence for the non-existence of homogeneous Bryant spheres. It also helps us propose an alternative approach proving that a geodesic orbit Finsler sphere with $K\equiv1$ must be Randers. Then we discuss the behavior of geodesics on a homogeneous Finsler sphere with $K\equiv1$. We prove that many geodesic properties for homogeneous Randers spheres with $K\equiv1$ can be generalized to the non-Randers case.


title: Rigidity of the mod 2 families Seiberg-Witten invariants and topology of families of spin 4-manifolds

abstract: We show a rigidity theorem for the Seiberg-Witten invariants mod 2 for families of spin 4-manifolds. A mechanism of this rigidity theorem also gives a family version of 10/8-type inequality. As an application, we prove the existence of non-smoothable topological families of 4-manifolds whose fiber, base space, and total space are smoothable as manifolds. These non-smoothable topological families provide new examples of 4-manifolds $M$ for which the inclusion maps $\operatorname{Diff}(M) \hookrightarrow \operatorname{Homeo}(M)$ are not weak homotopy equivalences. We shall also give a new series of non-smoothable topological actions on some spin 4-manifolds.


title: Learning Adaptive Classifiers Synthesis for Generalized Few-Shot Learning

abstract: Object recognition in the real-world requires handling long-tailed or even open-ended data. An ideal visual system needs to recognize the populated head visual concepts reliably and meanwhile efficiently learn about emerging new tail categories with a few training instances. Class-balanced many-shot learning and few-shot learning tackle one side of this problem, by either learning strong classifiers for head or learning to learn few-shot classifiers for the tail. In this paper, we investigate the problem of generalized few-shot learning (GFSL) -- a model during the deployment is required to learn about tail categories with few shots and simultaneously classify the head classes. We propose the ClAssifier SynThesis LEarning (CASTLE), a learning framework that learns how to synthesize calibrated few-shot classifiers in addition to the multi-class classifiers of head classes with a shared neural dictionary, shedding light upon the inductive GFSL. Furthermore, we propose an adaptive version of CASTLE (ACASTLE) that adapts the head classifiers conditioned on the incoming tail training examples, yielding a framework that allows effective backward knowledge transfer. As a consequence, ACASTLE can handle GFSL with classes from heterogeneous domains effectively. CASTLE and ACASTLE demonstrate superior performances than existing GFSL algorithms and strong baselines on MiniImageNet as well as TieredImageNet datasets. More interestingly, they outperform previous state-of-the-art methods when evaluated with standard few-shot learning criteria.


title: Optimal and Sub-optimal Feedback Controls for Biogas Production

abstract: We revisit the optimal control problem of maximizing biogas production in continuous bio-processes in two directions: 1. over an infinite horizon, 2. with sub-optimal controllers independent of the time horizon. For the first point, we identify a set of optimal controls for the problems with an averaged reward and with a discounted reward when the discount factor goes to 0 and we show that the value functions of both problems are equal. For the finite horizon problem, our approach relies on a framing of the value function by considering a different reward for which the optimal solution has an explicit optimal feedback that is time-independent. In particular, we show that this technique allows us to provide explicit bounds on the sub-optimality of the proposed controllers. The various strategies are finally illustrated on Haldane and Contois growth functions.


title: SDSS J094635.06+101706.1: a redshift one, very radio-loud, {\gamma}-ray emitting narrow-line Seyfert 1 galaxy

abstract: As hybrids of narrow-line Seyfert 1 (NLS1) galaxies and blazars, {\gamma}-ray emitting NLS1s are important probes of jet physics in the high Eddington-ratio regime. Only very few of them are known to date; the majority of them below redshift z = 0.5. Here we present the identification of the {\gamma}-ray emitting AGN TXS 0943+105 (SDSS J094635.06+101706.1) as a high-redshift NLS1 galaxy. It turns out to be one of the radio-loudest NLS1s known, highly variable at all wavelengths, and shows widely extended radio emission at a (projected) > 100 kpc scale. It is a known strong {\gamma}-ray emitter with a luminous flare reported previously. At redshift z=1.004, this is the most distant {\gamma}-NLS1 known to date.


title: Shear-Induced Anisotropy in Rough Elastomer Contact

abstract: True contact between randomly rough solids consists of myriad individual micro-junctions. While their total area controls the adhesive friction force of the interface, other macroscopic features, including viscoelastic friction, wear, stiffness and electric resistance, also strongly depend on the size and shape of individual micro-junctions. Here we show that, in rough elastomer contacts, the shape of micro-junctions significantly varies as a function of the shear force applied to the interface. This process leads to a growth of anisotropy of the overall contact interface, which saturates in macroscopic sliding regime. We show that smooth sphere/plane contacts have the same shear-induced anisotropic behaviour as individual micro-junctions, with a common scaling law over four orders of magnitude in initial area. We discuss the physical origin of the observations in the light of a fracture-based adhesive contact mechanics model, described in the companion article, which captures the smooth sphere/plane measurements. Our results shed light on a generic, overlooked source of anisotropy in rough elastic contacts, not taken into account in current rough contact mechanics models.


title: On the decay of the pair correlation function and the line of vanishing excess isothermal compressibility in simple fluids

abstract: We re-visit the competition between attractive and repulsive interparticle forces in simple fluids and how this governs and connects the macroscopic phase behavior and structural properties as manifest in pair correlation functions. We focus on the asymptotic decay of the total correlation function $h(r)$ which is, in turn, controlled by the form of the pair direct correlation function $c(r)$. The decay of $r h(r)$ to zero can be either exponential (monotonic) if attraction dominates repulsion and exponentially damped oscillatory otherwise. The Fisher-Widom (FW) line separates the phase diagram into two regions characterized by the two different types of asymptotic decay. We show that there is a new and physically intuitive thermodynamic criterion which approximates well the actual FW line. This new criterion defines a line where the isothermal compressibility takes its ideal gas value $\chi_T=\chi_T^\text{id}$. We test our hypothesis by considering four commonly used models for simple fluids. In all cases the new criterion yields a line in the phase diagram that is close to the actual FW line for the thermodynamic state points that are most relevant. We also investigate (Widom) lines of maximal correlation length, emphasizing the importance of distinguishing between the true and Ornstein-Zernike correlation lengths


title: Local nearrings on finite non-abelian $2$-generated $p$-groups

abstract: Finite non-abelian non-metacyclic $2$-generated $p$-groups (${p>2}$) of nilpotency class $2$ with cyclic commutator subgroup which are the additive groups of local nearrings are described. It is shown that the subgroup of all non-invertible elements is of index $p$ in its additive group.


title: Provably Optimal Parallel Transport Sweeps on Semi-Structured Grids

abstract: We have found provably optimal algorithms for full-domain discrete-ordinate transport sweeps on a class of grids in 2D and 3D Cartesian geometry that are regular at a coarse level but arbitrary within the coarse blocks. We describe these algorithms and show that they always execute the full eight-octant (or four-quadrant if 2D) sweep in the minimum possible number of stages for a given Px x Py x Pz partitioning. Computational results confirm that our optimal scheduling algorithms execute sweeps in the minimum possible stage count. Observed parallel efficiencies agree well with our performance model. Our PDT transport code has achieved approximately 68% parallel efficiency with > 1.5M parallel threads, relative to 8 threads, on a simple weak-scaling problem with only three energy groups, 10 direction per octant, and 4096 cells/core. We demonstrate similar efficiencies on a much more realistic set of nuclear-reactor test problems, with unstructured meshes that resolve fine geometric details. These results demonstrate that discrete-ordinates transport sweeps can be executed with high efficiency using more than 106 parallel processes.


title: Centrally symmetric tilings of fern-cored hexagons

abstract: In this paper we enumerate the centrally symmetric lozenge tilings of a hexagon with a fern removed from its center. The proof is based on a variant of Kuo's graphical condensation method. An unexpected connection with the total number of tilings is established~---~when suitably normalized, the number of centrally symmetric tilings is equal to the square root of the total number of tilings. The results we present can be regarded as a new extension of the enumeration of self-complementary plane partitions that fit in a box.

categories: math.CO cond-mat.stat-mech math-ph math.MP


title: Harmonic symmetries for Hermitian manifolds

abstract: Complex manifolds with compatible metric have a naturally defined subspace of harmonic differential forms that satisfy Serre, Hodge, and conjugation duality, as well as hard Lefschetz duality. This last property follows from a representation of $sl(2,\mathbb{C})$, generalizing the well known structure on the harmonic forms of compact K\"ahler manifolds. Some topological implications are deduced.


title: Analytical description of the size effect on pyroelectric and electrocaloric properties of ferroelectric nanoparticles

abstract: Using Landau-Ginzburg-Devonshire theory and effective medium approximation, we analytically calculate typical dependences of the pyroelectric and electrocaloric coefficients on external electric field, temperature and radius for spherical single-domain ferroelectric nanoparticles. The considered physical model corresponds to the nanocomposite with small fraction of ferroelectric nanoparticles. Within the framework of the analytical model we establish how the size changes determine the temperature and field behavior pyroelectric and electrocaloric coefficients on example of BaTiO3 nanoparticles covered by a semiconducting shell and placed in a dielectric polymer. We show that by changing the particle size one can induce maxima of the pyroelectric coefficient and electrocaloric temperature variation, control their width, height and sign. Obtained analytical expressions allow selecting the interval of particle sizes, voltage, and/or temperature for which pyroelectric energy conversion and electrocaloric coefficient are optimal for applications. The observed size effect opens the possibility to control pyroelectric and electrocaloric properties of ferroelectric nanocomposites that can be important for their advanced applications in energy convertors and cooling systems.


title: Anisotropy-temperature phase diagram for the two-dimensional dipolar Heisenberg model with and without magnetic field

abstract: We investigate phase transitions in the two-dimensional dipolar Heisenberg model with uniaxial anisotropy with a specific ratio between the exchange and dipolar constants, $\delta=1$. We obtain the $\eta$--$T$ (anisotropy vs. temperature) phase diagrams for typical values of magnetic field by a Monte Carlo method with an $O(N)$ algorithm. We find that at lower fields, the $\eta$--$T$ phase diagram consists of the planar ferromagnetic (F), (perpendicular) stripe-ordered (SO), and paramagnetic (P) phases, and is characterized by the triple point. In the SO phase realized at larger $\eta$ and smaller $T$, the SO pattern changes depending on the field. On the other hand, we find that at higher fields, the SO phase does not exist, while the planer F phase robustly remains. We study the properties of the phase boundaries by employing finite-size-scaling analyses. We find that the slope of the spin-reorientation-transition line is positive with and without field, i.e., $\frac{d\eta}{dT}>0$, which implies that the planar F phase changes to the SO phase with lowering temperature. In the phase diagrams we observe a characteristic shape of the P--planer F phase-transition line, whose maximum point of $\eta$ is located at an intermediate temperature. This structure leads to the temperature-induced reentrant transition associated with P and planar F phases, which appears in successive phase transitions with lowering temperature: P $\rightarrow$ planar F $\rightarrow$ P $\rightarrow$ SO phase at lower fields and P $\rightarrow$ planar F $\rightarrow$ P phases at higher fields.