title: A para-Kaehler structure in the space of oriented geodesics in a real space form

abstract: In this article, we construct a new para-K\"ahler structure $({\mathcal G},{\mathcal J},\Omega)$ in the space of oriented geodesics ${\mathbb L}(M)$ in a non-flat, real space form $M$. We first show that the para-K\"ahler metric ${\mathcal G}$ is scalar flat and when $M$ is a 3-dimensional real space form, ${\mathcal G}$ is locally conformally flat. Furthermore, we prove that the space of oriented geodesics in hyperbolic $n$-space, equipped with the constructed metric ${\mathcal G}$, is minimally isometric embedded in the tangent bundle of the hyperbolic $n$-space. We then study the submanifold theory, and we show that ${\mathcal G}$-geodesics correspond to minimal ruled surfaces in the real space form. Lagrangian submanifolds (with respect to the canonical symplectic structure $\Omega$) play an important role in the geometry of the space of oriented geodesics as they are the Gauss map of hypersurfaces in the corresponding space form. We demonstrate that the Gauss map of a non-flat hypersurface of constant Gauss curvature is a minimal Lagrangian submanifold. Finally, we show that a Hamiltonian minimal submanifold is locally the Gauss map of a hypersurface $\Sigma$ that is a critical point of the functional $\mathcal{F}(\Sigma)=\int_{\Sigma}\sqrt{|K|}\,dV$, where $K$ denotes the Gaussian curvature of $\Sigma$.


title: Empowering Artists, Songwriters & Musicians in a Data Cooperative through Blockchains and Smart Contracts

abstract: Over the last decade there has been a continuing decline in social trust on the part of individuals with regards to the handling and fair use of personal data, digital assets and other related rights in general. At the same time, there has been a change in the employment patterns for many people through the emergence of the gig economy. These gig workers include artists, songwriters and musicians in the music industry. We discuss the notion of the data cooperative with fiduciary responsibilities to its members, which is similar in purpose to credit unions in the financial sector. A data cooperative for artists and musicians allows the community to share IT resources, such as data storage, analytics processing, blockchains and distributed ledgers. A cooperative can also employ smart contracts to remedy the various challenges currently faced by the music industry with regards to the license tracking management.


title: Low Rank Approximation for Smoothing Spline via Eigensystem Truncation

abstract: Smoothing splines provide a powerful and flexible means for nonparametric estimation and inference. With a cubic time complexity, fitting smoothing spline models to large data is computationally prohibitive. In this paper, we use the theoretical optimal eigenspace to derive a low rank approximation of the smoothing spline estimates. We develop a method to approximate the eigensystem when it is unknown and derive error bounds for the approximate estimates. The proposed methods are easy to implement with existing software. Extensive simulations show that the new methods are accurate, fast, and compares favorably against existing methods.


title: Robust Assessment of Real-World Adversarial Examples

abstract: We explore rigorous, systematic, and controlled experimental evaluation of adversarial examples in the real world and propose a testing regimen for evaluation of real world adversarial objects. We show that for small scene/ environmental perturbations, large adversarial performance differences exist. Current state of adversarial reporting exists largely as a frequency count over a dynamic collections of scenes. Our work underscores the need for either a more complete report or a score that incorporates scene changes and baseline performance for models and environments tested by adversarial developers. We put forth a score that attempts to address the above issues in a straight-forward exemplar application for multiple generated adversary examples. We contribute the following: 1. a testbed for adversarial assessment, 2. a score for adversarial examples, and 3. a collection of additional evaluations on testbed data.


title: ScienceExamCER: A High-Density Fine-Grained Science-Domain Corpus for Common Entity Recognition

abstract: Named entity recognition identifies common classes of entities in text, but these entity labels are generally sparse, limiting utility to downstream tasks. In this work we present ScienceExamCER, a densely-labeled semantic classification corpus of 133k mentions in the science exam domain where nearly all (96%) of content words have been annotated with one or more fine-grained semantic class labels including taxonomic groups, meronym groups, verb/action groups, properties and values, and synonyms. Semantic class labels are drawn from a manually-constructed fine-grained typology of 601 classes generated through a data-driven analysis of 4,239 science exam questions. We show an off-the-shelf BERT-based named entity recognition model modified for multi-label classification achieves an accuracy of 0.85 F1 on this task, suggesting strong utility for downstream tasks in science domain question answering requiring densely-labeled semantic classification.


title: Theory of the coherence of topological lasers

abstract: We present a theoretical study of the temporal and spatial coherence properties of a topological laser device built by including saturable gain on the edge sites of a Harper--Hofstadter lattice for photons. For small enough lattices the Bogoliubov analysis applies, the emission is nearly a single-mode one and the coherence time is almost determined by the total number of photons in the device in agereement with the standard Schawlow-Townes phase diffusion. In larger lattices, looking at the lasing edge mode in the comoving frame of its chiral motion, the spatio-temporal correlations of long-wavelength fluctuations display a Kardar-Parisi-Zhang (KPZ) scaling. Still, at very long times, when the finite size of the device starts to matter, the functional form of the temporal decay of coherence changes from the KPZ stretched exponential to a Schawlow-Townes-like exponential, while the nonlinear many-mode dynamics of KPZ fluctuations remains visible as an enhanced linewidth as compared to the single-mode Schawlow-Townes prediction. While we have established the above behaviors also for non-topological laser arrays, the crucial role of topology in protecting the coherence from static disorder is finally highlighted: our ground-breaking numerical calculations suggest the dramatically reinforced coherence properties of topological lasers compared to corresponding non-topological devices. These results open exciting possibilities for both fundamental studies of non-equilibrium statistical mechanics and concrete applications to laser devices.


title: CopyMTL: Copy Mechanism for Joint Extraction of Entities and Relations with Multi-Task Learning

abstract: Joint extraction of entities and relations has received significant attention due to its potential of providing higher performance for both tasks. Among existing methods, CopyRE is effective and novel, which uses a sequence-to-sequence framework and copy mechanism to directly generate the relation triplets. However, it suffers from two fatal problems. The model is extremely weak at differing the head and tail entity, resulting in inaccurate entity extraction. It also cannot predict multi-token entities (e.g. \textit{Steven Jobs}). To address these problems, we give a detailed analysis of the reasons behind the inaccurate entity extraction problem, and then propose a simple but extremely effective model structure to solve this problem. In addition, we propose a multi-task learning framework equipped with copy mechanism, called CopyMTL, to allow the model to predict multi-token entities. Experiments reveal the problems of CopyRE and show that our model achieves significant improvement over the current state-of-the-art method by 9% in NYT and 16% in WebNLG (F1 score). Our code is available at https://github.com/WindChimeRan/CopyMTL


title: Enhancing Out-Of-Domain Utterance Detection with Data Augmentation Based on Word Embeddings

abstract: For most intelligent assistant systems, it is essential to have a mechanism that detects out-of-domain (OOD) utterances automatically to handle noisy input properly. One typical approach would be introducing a separate class that contains OOD utterance examples combined with in-domain text samples into the classifier. However, since OOD utterances are usually unseen to the training datasets, the detection performance largely depends on the quality of the attached OOD text data with restricted sizes of samples due to computing limits. In this paper, we study how augmented OOD data based on sampling impact OOD utterance detection with a small sample size. We hypothesize that OOD utterance samples chosen randomly can increase the coverage of unknown OOD utterance space and enhance detection accuracy if they are more dispersed. Experiments show that given the same dataset with the same OOD sample size, the OOD utterance detection performance improves when OOD samples are more spread-out.


title: Gravitational waveforms of binary neutron star inspirals using post-Newtonian tidal splicing

abstract: The tidal deformations of neutron stars within an inspiraling compact binary alter the orbital dynamics, imprinting a signature on the gravitational wave signal. Modeling this signal could be done with numerical-relativity simulations, but these are too computationally expensive for many applications. Analytic post-Newtonian treatments are limited by unknown higher-order nontidal terms. This paper further builds upon the "tidal splicing" model in which post-Newtonian tidal terms are "spliced" onto numerical relativity simulations of black-hole binaries. We improve on previous treatments of tidal splicing by including spherical harmonic modes beyond the (2,2) mode, expanding the post-Newtonian expressions for tidal effects to 2.5 order, including dynamical tide corrections, and adding a partial treatment of the spin-tidal dynamics. Furthermore, instead of numerical relativity simulations, we use the spin-aligned binary black hole (BBH) surrogate model "NRHybSur3dq8" to provide the BBH waveforms that are input into the tidal slicing procedure. This allows us to construct spin-aligned, inspiraling TaylorT2 and TaylorT4 splicing waveform models that can be evaluated quickly. These models are tested against existing binary neutron star and black hole-neutron star simulations. We implement the TaylorT2 splicing model as an extension to "NRHybSur3dq8," creating a model that we call "NRHybSur3dq8Tidal."


title: Mechanism of Universal Conductance Fluctuations

abstract: Universal conductance fluctuations are usually observed in the form of aperiodic oscillations in the magnetoresistance of thin wires as a function of the magnetic field B. If such oscillations are completely random at scales exceeding \xi_B, their Fourier analysis should reveal a white noise spectrum at frequencies below \xi_B^{-1}. Comparison with the results for 1D systems suggests another scenario: according to it, such oscillations are due to the superposition of incommensurate harmonics and their spectrum should contain discrete frequencies. An accurate Fourier analysis of the classical experiment by Washburn and Webb reveals a purely discrete spectrum in agreement with the latter scenario. However, this spectrum is close in shape to the discrete white noise spectrum whose properties are similar to a continuous one.


title: Ground Truth Simulation for Deep Learning Classification of Mid-Resolution Venus Images Via Unmixing of High-Resolution Hyperspectral Fenix Data

abstract: Training a deep neural network for classification constitutes a major problem in remote sensing due to the lack of adequate field data. Acquiring high-resolution ground truth (GT) by human interpretation is both cost-ineffective and inconsistent. We propose, instead, to utilize high-resolution, hyperspectral images for solving this problem, by unmixing these images to obtain reliable GT for training a deep network. Specifically, we simulate GT from high-resolution, hyperspectral FENIX images, and use it for training a convolutional neural network (CNN) for pixel-based classification. We show how the model can be transferred successfully to classify new mid-resolution VENuS imagery.


title: An Efficient Approximation of the Kalman Filter for Multiple Systems Coupled via Low-Dimensional Stochastic Input

abstract: We formulate a recursive estimation problem for multiple dynamical systems coupled through a low dimensional stochastic input, and we propose an efficient sub-optimal solution. The suggested approach is an approximation of the Kalman filter that discards the off diagonal entries of the correlation matrix in its "update" step. The time complexity associated with propagating this approximate block-diagonal covariance is linear in the number of systems, compared to the cubic complexity of the full Kalman filter. The stability of the proposed block-diagonal filter and its behavior for a large number of systems are analyzed in some simple cases. It is then examined in the context of electric field estimation in a high-contrast space coronagraph, for which it was designed. The numerical simulations provide encouraging results for the cost-efficiency of the newly suggested filter.


title: Normal Assisted Stereo Depth Estimation

abstract: Accurate stereo depth estimation plays a critical role in various 3D tasks in both indoor and outdoor environments. Recently, learning-based multi-view stereo methods have demonstrated competitive performance with a limited number of views. However, in challenging scenarios, especially when building cross-view correspondences is hard, these methods still cannot produce satisfying results. In this paper, we study how to leverage a normal estimation model and the predicted normal maps to improve the depth quality. We couple the learning of a multi-view normal estimation module and a multi-view depth estimation module. In addition, we propose a novel consistency loss to train an independent consistency module that refines the depths from depth/normal pairs. We find that the joint learning can improve both the prediction of normal and depth, and the accuracy & smoothness can be further improved by enforcing the consistency. Experiments on MVS, SUN3D, RGBD, and Scenes11 demonstrate the effectiveness of our method and state-of-the-art performance.


title: Is Trans-Planckian Censorship a Swampland Conjecture?

abstract: During an accelerated expansion of the Universe, quantum fluctuations of sub-Planckian size can be stretched outside the horizon and be regarded effectively classical. Recently, it has been conjectured that such horizon-crossing of trans-Planckian modes never happens inside theories of quantum gravity (the trans-Planckian censorship conjecture, TCC). We point out several conceptual problems of this conjecture, which is in itself formulated as a statement on the restriction of possible scenarios in a theory: by contrast a standard swampland conjecture is a restriction of possible theories in the landscape of the quantum gravity. We emphasize the concept of swampland universality, i.e. that a swampland conjecture constrains any possible scenario in a given effective field theory. In order to illustrate the problems clearly we introduce several versions of the conjecture, where TCC condition is imposed differently to scenarios realizable in a given theory. We point out that these different versions of the conjecture lead to observable differences: a TCC violation in another Universe can exclude a theory, and such reduction of the landscape restricts possible predictions in our Universe. Our analysis raises the question of whether or not the trans-Planckian censorship conjecture can be regarded as a swampland conjecture concerning the existence of UV completion.


title: Guiding and confining of light in a two-dimensional synthetic space using electric fields

abstract: Synthetic dimensions provide a promising platform for photonic quantum simulations. Manipulating the flow of photons in these dimensions requires an electric field. However, photons do not have charge and do not directly interact with electric fields. Therefore, alternative approaches are needed to realize electric fields in photonics. One approach is to use engineered gauge fields that can mimic the effect of electric fields and produce the same dynamical behavior. Here, we demonstrate such an electric field for photons propagating in a two-dimensional synthetic space. We achieve this using a linearly time-varying gauge field generated by direction-dependent phase modulations. We show that the generated electric field leads to Bloch oscillations and the revival of the state after a certain number of steps dependent on the field strength. We measure the probability of the revival and demonstrate good agreement between the observed values and the theoretically predicted results. Furthermore, by applying a nonuniform electric field, we show the possibility of waveguiding photons. Ultimately, our results open up new opportunities for manipulating the propagation of photons with potential applications in photonic quantum simulations.


title: Spatiotemporal stability of periodic travelling waves in a heteroclinic-cycle model

abstract: We study a Rock-Paper-Scissors model for competing populations that exhibits travelling waves in one spatial dimension and spiral waves in two spatial dimensions. A characteristic feature of the model is the presence of a robust heteroclinic cycle that involves three saddle equilibria. The model also has travelling fronts that are heteroclinic connections between two equilibria in a moving frame of reference, but these fronts are unstable. However, we find that large-wavelength travelling waves can be stable in spite of being made up of three of these unstable travelling fronts. In this paper, we focus on determining the essential spectrum (and hence, stability) of large-wavelength travelling waves in a cyclic competition model with one spatial dimension. We compute the curve of transitions from stability to instability with the continuation scheme developed by Rademacher et al. (2007 Physica D 229 166-83). We build on this scheme and develop a method for computing what we call belts of instability, which are indicators of the growth rate of unstable travelling waves. Our results from the stability analysis are verified by direct simulation for travelling waves as well as associated spiral waves. We also show how the computed growth rates accurately quantify the instabilities of the travelling waves.


title: 3FabRec: Fast Few-shot Face alignment by Reconstruction

abstract: Current supervised methods for facial landmark detection require a large amount of training data and may suffer from overfitting to specific datasets due to the massive number of parameters. We introduce a semi-supervised method in which the crucial idea is to first generate implicit face knowledge from the large amounts of unlabeled images of faces available today. In a first, completely unsupervised stage, we train an adversarial autoencoder to reconstruct faces via a low-dimensional face embedding. In a second, supervised stage, we interleave the decoder with transfer layers to retask the generation of color images to the prediction of landmark heatmaps. Our framework (3FabRec) achieves state-of-the-art performance on several common benchmarks and, most importantly, is able to maintain impressive accuracy on extremely small training sets down to as few as 10 images. As the interleaved layers only add a low amount of parameters to the decoder, inference runs at several hundred FPS on a GPU.


title: Negligible Cooperation: Contrasting the Maximal- and Average-Error Cases

abstract: In communication networks, cooperative strategies are coding schemes where network nodes work together to improve network performance metrics such as the total rate delivered across the network. This work studies encoder cooperation in the setting of a discrete multiple access channel (MAC) with two encoders and a single decoder. A network node, here called the cooperation facilitator (CF), that is connected to both encoders via rate-limited links, enables the cooperation strategy. Previous work by the authors presents two classes of MACs: (i) one class where the average-error sum-capacity has an infinite derivative in the limit where CF output link capacities approach zero, and (ii) a second class of MACs where the maximal-error sum-capacity is not continuous at the point where the output link capacities of the CF equal zero. This work contrasts the power of the CF in the maximal- and average-error cases, showing that a constant number of bits communicated over the CF output link can yield a positive gain in the maximal-error sum-capacity, while a far greater number of bits, even numbers that grow sublinearly in the blocklength, can never yield a non-negligible gain in the average-error sum-capacity.


title: A singular stochastic control approach for optimal pairs trading with proportional transaction costs

abstract: Optimal trading strategies for pairs trading have been studied by models that try to find either optimal shares of stocks by assuming no transaction costs or optimal timing of trading fixed numbers of shares of stocks with transaction costs. To find optimal strategies which determine optimally both trade times and number of shares in pairs trading process, we use a singular stochastic control approach to study an optimal pairs trading problem with proportional transaction costs. Assuming a cointegrated relationship for a pair of stock log-prices, we consider a portfolio optimization problem which involves dynamic trading strategies with proportional transaction costs. We show that the value function of the control problem is the unique viscosity solution of a nonlinear quasi-variational inequality, which is equivalent to a free boundary problem for the singular stochastic control value function. We then develop a discrete time dynamic programming algorithm to compute the transaction regions, and show the convergence of the discretization scheme. We illustrate our approach with numerical examples and discuss the impact of different parameters on transaction regions. We study the out-of-sample performance in an empirical study that consists of six pairs of U.S. stocks selected from different industry sectors, and demonstrate the efficiency of the optimal strategy.


title: Interaction Mechanism and Response of Tidal Effect on the Shallow Geology of Europa

abstract: Europa has been conf irmed to have a multilayered structure and complex geological condition in last two decades whose detail and cause of formation remains unclear.In this work,we start from analyzing the mechanism of tidal ef fect on satellite's surface and discuss if interaction like tidal locking and orbital resonance play an important role in tidal ef fect including heating,underground convection and eruption.During discussion we propose the main factors affecting Europa's tidal heat and the formation mechanism of typical shallow geological features,and provide theoretical support for further exploration.


title: Overcharging of zinc ion in the structure of zinc finger protein is needed for DNA binding stability

abstract: The zinc finger structure where a Zn2+ ion binds to 4 cysteine or histidine amino acids in a tetrahedral structure is very common motif of nucleic acid binding proteins. The corresponding interaction model is present in 3% of the genes of human genome. As a result, zinc finger has been shown to be extremely useful in various therapeutic and research capacities, as well as in biotechnology. In stable configuration, the cysteine amino acids are deprotonated and become negatively charged. This means the Zn2+ ion is overscreened by 4 cysteine charges (overcharged). It is question of whether this overcharged configuration is also stable when such negatively charged zinc finger binds to negatively charged DNA molecule. Using all atom molecular dynamics simulation up to microsecond range of an androgen receptor protein dimer, we investigate how the deprotonated state of cysteine influences its structure, dynamics, and function in binding o DNA molecules. Our results show that the deprotonated state of cysteine residues are essential for mechanical stabilization of the functional, folded conformation. Not only this state stabilizes the protein structure, it also stabilizes the protein-DNA binding complex. The differences in structural and energetic properties of the two (sequence-identical) monomers are also investigated showing the strong influence of DNA on the structure of zinc fingers upon complexation. Our result has potential impact on better molecular understanding of one of the most common classes of zinc fingers


title: Airy structures for semisimple Lie algebras

abstract: We give a complete classification of Airy structures for finite-dimensional simple Lie algebras over $\mathbb C$, and to some extent also over $\mathbb R$, up to isomorphisms and gauge transformations. The result is that the only algebras of this type which admit any Airy structures are $\mathfrak{sl}_2$, $\mathfrak{sp}_4$ and $\mathfrak{sp}_{10}$. Among these, each admits exactly two non-equivalent Airy structures. Our methods apply directly also to semisimple Lie algebras. In this case it turns out that the number of non-equivalent Airy structures is countably infinite. We have derived a number of interesting properties of these Airy structures and constructed many examples. Techniques used to derive our results may be described, broadly speaking, as an application of representation theory in semiclassical analysis.

categories: math-ph hep-th math.AG math.MP math.RT math.SG


title: Regularized and Smooth Double Core Tensor Factorization for Heterogeneous Data

abstract: We introduce a general tensor model suitable for data analytic tasks for {\em heterogeneous} datasets, wherein there are joint low-rank structures within groups of observations, but also discriminative structures across different groups. To capture such complex structures, a double core tensor (DCOT) factorization model is introduced together with a family of smoothing loss functions. By leveraging the proposed smoothing function, the model accurately estimates the model factors, even in the presence of missing entries. A linearized ADMM method is employed to solve regularized versions of DCOT factorizations, that avoid large tensor operations and large memory storage requirements. Further, we establish theoretically its global convergence, together with consistency of the estimates of the model parameters. The effectiveness of the DCOT model is illustrated on several real-world examples including image completion, recommender systems, subspace clustering and detecting modules in heterogeneous Omics multi-modal data, since it provides more insightful decompositions than conventional tensor methods.


title: Looking at the right stuff: Guided semantic-gaze for autonomous driving

abstract: In recent years, predicting driver's focus of attention has been a very active area of research in the autonomous driving community. Unfortunately, existing state-of-the-art techniques achieve this by relying only on human gaze information, thereby ignoring scene semantics. We propose a novel Semantics Augmented GazE (SAGE) detection approach that captures driving specific contextual information, in addition to the raw gaze. Such a combined attention mechanism serves as a powerful tool to focus on the relevant regions in an image frame in order to make driving both safe and efficient. Using this, we design a complete saliency prediction framework - SAGE-Net, which modifies the initial prediction from SAGE by taking into account vital aspects such as distance to objects (depth), ego vehicle speed, and pedestrian crossing intent. Exhaustive experiments conducted through four popular saliency algorithms show that on $\mathbf{49/56\text{ }(87.5\%)}$ cases - considering both the overall dataset and crucial driving scenarios, SAGE outperforms existing techniques without any additional computational overhead during the training process. The augmented dataset along with the relevant code are available as part of the supplementary material.


title: Construction of optimal Hermitian self-dual codes from unitary matrices

abstract: We provide an algorithm to construct unitary matrices over finite fields. We present various constructions of Hermitian self-dual code by means of unitary matrices, where some of them generalize the quadratic double circulant constructions. Many optimal Hermitian self-dual codes over large finite fields with new parameters are obtained. More precisely MDS or almost MDS Hermitian self-dual codes of lengths up to $18$ are constructed over finite fields $\F_{q},$ where $q=3^2,4^2,5^2,7^2,8^2,9^2,11^2,13^2,17^2,19^2.$ Comparisons with classical constructions are made.


title: Architecture Models Refinements for Software Development of Critical Real-time Embedded Systems

abstract: Cyber Physical Systems are systems controlled or monitored by computer-based programs, tightly integrated networks, sensors, and actuators. Software development of CPS has become so difficult that it represents most of the cost of CPS production. In addition, it is interesting to note that the integration, verification and validation of software in CPS require more efforts than the analysis, design, and implementation activities. The main reason is that these activities are conducted late in the development process and issues discovered at this stage of the process will require to rework artifacts produced in the previous activities (i.e. analysis, design and/or implementation). In this document, we present our work aiming to improve the reliability of software development in the domain of CPS. In this context, we define the reliability of the development process as its capacity to deliver intermediate artifacts for which the rework effort would be as small as possible. This problem is very difficult for general purpose software (i.e. used on desktop computers or servers), and even more difficult for software in CPS. The main reason is that software in CPS is often critical, real-time and embedded on domain specific execution platforms. As a consequence, non-functional properties (also called quality attributes) of software applications in CPS are often as important and difficult to satisfy as the logical correctness of these applications. In order to the improve the reliability of software development in the domain of CPS, we propose a Model Driven Engineering (MDE) method based on step-wise refinements of software architecture descriptions. The results obtained with this method are summarized in this habilitation thesis.


title: Sizing and Profitability of Energy Storage for Prosumers in Madeira, Portugal

abstract: This paper proposes a framework to select the best-suited battery for co-optimizing for peak demand shaving, energy arbitrage and increase self-sufficiency in the context of power network in Madeira, Portugal. Feed-in-tariff for electricity network in Madeira is zero, which implies consumers with excess production should locally consume the excess generation rather than wasting it. Further, the power network {operator} applies a peak power contract for consumers which imposes an upper bound on the peak power seen by the power grid interfaced by energy meter. We investigate the value of storage in Madeira, using four different types of prosumers, categorized based on the relationship between their inelastic load and renewable generation. We observe that the marginal increase in the value of storage deteriorates with increase in size and ramping capabilities. We propose the use of profit per cycle per unit of battery capacity and expected payback period as indices for selecting the best-suited storage parameters to ensure profitability. This mechanism takes into account the consumption and generation patterns, profit, storage degradation, and cycle and calendar life of the battery. We also propose the inclusion of a friction coefficient in the original co-optimization formulation to increase the value of storage by reducing the operational cycles and eliminate low returning transactions.


title: Dynamic Security Assessment of Small-Signal Stability for Power Systems using Windowed Online Gaussian Process

abstract: Due to the evolving nature of power grids and model uncertainty, the online stability assessment of electrical power systems is always a challenging problem. This paper aims to provide a theoretical framework for estimating the region of attraction for power systems in real time. By analyzing and learning the measurement data in a given time duration, a windowed online Gaussian process (GP) approach is developed to provide the real-time security assessment and quantify the uncertainty caused by measurement errors and dynamic evolution of power systems. In addition, the theoretical analysis is conducted to ensure the conference level of the estimated region of attraction. Finally, numerical simulations are implemented on a microgrid model with $9$ buses and $3$ generators to validate the proposed approach. The proposed online assessment approach contributes to improving the situational awareness of human operators, thereby taking remedial actions before the emergency.


title: Neural Storyboard Artist: Visualizing Stories with Coherent Image Sequences

abstract: A storyboard is a sequence of images to illustrate a story containing multiple sentences, which has been a key process to create different story products. In this paper, we tackle a new multimedia task of automatic storyboard creation to facilitate this process and inspire human artists. Inspired by the fact that our understanding of languages is based on our past experience, we propose a novel inspire-and-create framework with a story-to-image retriever that selects relevant cinematic images for inspiration and a storyboard creator that further refines and renders images to improve the relevancy and visual consistency. The proposed retriever dynamically employs contextual information in the story with hierarchical attentions and applies dense visual-semantic matching to accurately retrieve and ground images. The creator then employs three rendering steps to increase the flexibility of retrieved images, which include erasing irrelevant regions, unifying styles of images and substituting consistent characters. We carry out extensive experiments on both in-domain and out-of-domain visual story datasets. The proposed model achieves better quantitative performance than the state-of-the-art baselines for storyboard creation. Qualitative visualizations and user studies further verify that our approach can create high-quality storyboards even for stories in the wild.


title: Real-time Analysis of Privacy-(un)aware IoT Applications

abstract: Users trust IoT apps to control and automate their smart devices. These apps necessarily have access to sensitive data to implement their functionality. However, users lack visibility into how their sensitive data is used (or leaked), and they often blindly trust the app developers. In this paper, we present IoTWatcH, a novel dynamic analysis tool that uncovers the privacy risks of IoT apps in real-time. We designed and built IoTWatcH based on an IoT privacy survey that considers the privacy needs of IoT users. IoTWatcH provides users with a simple interface to specify their privacy preferences with an IoT app. Then, in runtime, it analyzes both the data that is sent out of the IoT app and its recipients using Natural Language Processing (NLP) techniques. Moreover, IoTWatcH informs the users with its findings to make them aware of the privacy risks with the IoT app. We implemented IoTWatcH on real IoT applications. Specifically, we analyzed 540 IoT apps to train the NLP model and evaluate its effectiveness. IoTWatcH successfully classifies IoT app data sent to external parties to correct privacy labels with an average accuracy of 94.25%, and flags IoT apps that leak privacy data to unauthorized parties. Finally, IoTWatcH yields minimal overhead to an IoT app's execution, on average 105 ms additional latency.


title: Design of Anti-Jamming Waveforms for Time-Hopping Spread Spectrum Systems in Tone Jamming Environments

abstract: We consider the problem of designing waveforms for mitigating single tone jamming (STJ) signals with an estimated jamming frequency in time-hopping spread spectrum (TH SS) systems. The proposed design of waveforms optimizes the anti-jamming (AJ) performance of TH SS systems by minimizing the correlation between the template and STJ signals, in which the problem of waveform optimization is simplified by employing a finite number of rectangular pulses. The simplification eventually makes the design of waveforms be converted into a problem of finding eigenvalues and eigenvectors of a matrix. Simulation results show that the waveforms designed by the proposed scheme provide us with performance superior not only to the conventional waveforms but also to the clipper receiver in the mitigation of STJ. The waveforms from the proposed design also exhibit a desirable AJ capability even when the estimated frequency of the STJ is not perfect.


title: A non-conditional divergence criteria of Petrov-Galerkin method for bounded linear operator equation

abstract: Petrov-Galerkin methods are always considered in numerical solutions of differential and integral equations $ Ax=b $. It is common to consider the convergence and error analysis when $ b \in \mathcal{R}(A) $ which make the equation solvable. However, the case when $ b \notin \mathcal{R}(A) $ is always ignored. In this paper, we consider the numerical behavior of Petrov-Galerkin methods when $ b \notin \mathcal{R}(A) $. It is a natural guess that when $ b \in \mathcal{R}(A) $, the corresponding approximate solution constructed by Petrov-Galerkin methods with arbitrary basis will diverge to infinity. We prove this conjecture for bounded linear operator equation with dense range $ \mathcal{R}(A) $ and give a more general divergence result for bounded linear operator equation with not necessarily dense range $ \mathcal{R}(A) $. Several applications show its power.


title: Wheels in planar graphs and Haj\'os graphs

abstract: It was conjectured by Haj\'{o}s that graphs containing no $K_5$-subdivision are 4-colorable. Previous results show that any possible minimum counterexample to Haj\'{o}s' conjecture, called Haj\'{o}s graph, is 4-connected but not 5-connected. In this paper, we show that if a Haj\'{o}s graph admits a 4-cut or 5-cut with a planar side then the planar side must be small or contains a special wheel. This is a step in our effort to reduce Haj\'{o}s' conjecture to the Four Color Theorem.


title: Meromorphy of local zeta functions in smooth model cases

abstract: It is known that local zeta functions associated with real analytic functions can be analytically continued as meromorphic functions to the whole complex plane. But, in the case of general ($C^{\infty}$) smooth functions, the meromorphic extension problem is not obvious. Indeed, it has been recently shown that there exist specific smooth functions whose local zeta functions have singularities different from poles. In order to understand the situation of the meromorphic extension in the smooth case, we investigate a simple but essentially important case, in which the respective function is expressed as $u(x,y)x^a y^b +$ flat function, where $u(0,0)\neq 0$ and $a,b$ are nonnegative integers. After classifying flat functions into four types, we precisely investigate the meromorphic extension of local zeta functions in each cases. Our results show new interesting phenomena in one of these cases. Actually, when $a<b$, local zeta functions can be meromorphically extended to the half-plane ${\rm Re}(s)>-1/a$ and their poles on the half-plane are contained in the set $\{-k/b:k\in\mathbb{N}$ with $k<b/a\}$.


title: Pure Natural Quintessential Inflation and Dark Energy

abstract: We propose the pure natural quintessential inflation model which is motivated by Witten's conjecture, where the axion couples to pure Yang-Mills $SU(N)$ gauge field at large N limit. This modifies the standard cosine potential which is presented in the natural inflation, making it compatible with current CMB data. Our model gives a successful inflation as well as acceleration at the late times by quintessence inflaton field($\phi$). Here the inflaton field is responsible for inflation, after that the field enters into peculiar type of reheating and then they act as dynamical dark energy field which follows the same inflation potential and same model parameters. The dynamical field slowly rolls until the Hubble drops to mass of the quintessence field and it reaches the current dark energy field value. Here the dark energy scale is field dependent. Our quintessence model follows thawing frozen approach therefore the frozen quintessence field evolves with respect to cosmic time from initial field value($\phi_{i}$) to present non-zero minimum field value($\phi_{0}$). The obtained field value turned into ultra-light and it satisfies the present dark energy density which is $V(\phi_{0}) \approx \Lambda_{\text{DE}}^{4} = (2.3 \times 10^{-3}\text{eV})^{4}$.


title: Aggregate Growth and Internal structures of Chondrite Parent Bodies Forming from Dense Clumps

abstract: Major components of chondrites are chondrules and matrix. Measurements of the volatile abundance in Semarkona chondrules suggest that chondrules formed in a dense clump that had a higher solid density than the gas density in the solar nebula. We investigate collisions between chondrules and matrix in the surface region of dense clumps using fluffy aggregate growth models. Our simulations show that the collisional growth of aggregates composed of chondrules and matrix takes place in the clumps well before they experience gravitational collapse. The internal structure of chondrite parent bodies (CPBs) can be thereby determined by aggregate growth. We find that the aggregate growth generates two scales within CPBs. The first scale is involved with the small scale distribution of chondrules and determined by the early growth stage, where chondrules accrete aggregates composed of matrix grains. This accretion can reproduce the thickness of the matrix layer around chondrules found in chondrites. The other scale is related to the large scale distribution of chondrules. Its properties (e.g., the abundance of chondrules and the overall size) depend on the gas motion within the clump, which is parameterized in this work. Our work thus suggests that the internal structure of CPBs may provide important clues about their formation conditions and mechanisms.


title: Extending the dynamic strain sensing rang of phase-OTDR with frequency modulation pulse and frequency interrogation

abstract: We propose and experimentally demonstrate a technique to extend the dynamic sensing range of phase sensitive optical time domain reflectometry system based on the frequency interrogation. Benefitting from the range Doppler coupling feature, the frequency modulation pulse is capable of measuring the frequency shift induced by the dynamic strain, thus the large dynamic strain can be recovered. The performance of the proposed method is experimentally evaluated by comparing it with phase unwrapping. The strain sensing rang can at least be increased by factor of hundreds, and fast dynamic strain with peak to peak 130 microstrain vibration frequency of 20 kHz is measured.


title: RKKY Interaction and Quadrupole Order in PrT2Al20 (T=Ti, V) Based on Effective 196 Orbital Model Extracted from First-Principles Calculation

abstract: Electronic states and quadrupole orders in the 1-2-20 systems PrT2Al20 (T=Ti, V) are investigated on the basis of the first-principles band calculation. As the de Haas-van Alphen experiments reveal that the Pr-4f electrons in the systems are sufficiently localized and irrelevant for the Fermi surface, we derive the low-energy effective tight-binding models consists of 196 orbitals of conduction electrons so as to reproduce the first-principles electronic structures of LaT2Al20 (T=Ti, V) without contribution from the 4f electrons. Based on the effective models, we calculate the Ruderman-Kittel-Kasuya-Yosida (RKKY) interaction between the quadrupole moments of the Pr ions mediated by the conduction electrons. The obtained results indicate that the wave vector of the expected quadrupole order is Q=(0,0,0) for PrTi2Al20 while it is Q=(pi/a,pi/a,0) for PrV2Al20 as consistent with experimental observations in PrTi2Al20 and PrV2Al20 which exhibit ferro- and antiferro-quadrupole orders, respectively.


title: Learning to Retrieve Reasoning Paths over Wikipedia Graph for Question Answering

abstract: Answering questions that require multi-hop reasoning at web-scale necessitates retrieving multiple evidence documents, one of which often has little lexical or semantic relationship to the question. This paper introduces a new graph-based recurrent retrieval approach that learns to retrieve reasoning paths over the Wikipedia graph to answer multi-hop open-domain questions. Our retriever model trains a recurrent neural network that learns to sequentially retrieve evidence paragraphs in the reasoning path by conditioning on the previously retrieved documents. Our reader model ranks the reasoning paths and extracts the answer span included in the best reasoning path. Experimental results show state-of-the-art results in three open-domain QA datasets, showcasing the effectiveness and robustness of our method. Notably, our method achieves significant improvement in HotpotQA, outperforming the previous best model by more than 14 points.


title: Basis Path Coverage Criteria for Smart Contract Application Testing

abstract: The widespread recognition of the smart contracts has established their importance in the landscape of next generation blockchain technology. However, writing a correct smart contract is notoriously difficult. Moreover, once a state-changing transaction is confirmed by the network, the result is immutable. For this reason, it is crucial to perform a thorough testing of a smart contract application before its deployment. This paper's focus is on the test coverage criteria for smart contracts, which are objective rules that measure test quality. We analyze the unique characteristics of the Ethereum smart contract program model as compared to the conventional program model. To capture essential control flow behaviors of smart contracts, we propose the notions of whole transaction basis path set and bounded transaction interaction. The former is a limited set of linearly independent inter-procedural paths from which the potentially infinite paths of Ethereum transactions can be constructed by linear combination, while the latter is the permutations of transactions within a certain bound. Based on these two notions, we define a family of path-based test coverage criteria. Algorithms are given to the generation of coverage requirements. A case study is conducted to compare the effectiveness of the proposed test coverage criteria with random testing and statement coverage testing.


title: ContractGuard: Defend Ethereum Smart Contracts with Embedded Intrusion Detection

abstract: Ethereum smart contracts are programs that can be collectively executed by a network of mutually untrusted nodes. Smart contracts handle and transfer assets of values, offering strong incentives for malicious attacks. Intrusion attacks are a popular type of malicious attacks. In this paper, we propose ContractGuard, the first intrusion detection system (IDS) to defend Ethereum smart contracts against such attacks. Like IDSs for conventional programs, ContractGuard detects intrusion attempts as abnormal control flow. However, existing IDS techniques/tools are inapplicable to Ethereum smart contracts due to Ethereum's decentralized nature and its highly restrictive execution environment. To address these issues, we design ContractGuard by embedding it in the contracts to profile context-tagged acyclic paths, and optimizing it under the Ethereum gas-oriented performance model. The main goal is to minimize the overheads, to which the users will be extremely sensitive since the cost needs to be paid upfront in digital concurrency. Empirical investigation using real-life contracts deployed in the Ethereum mainnet shows that on average, ContractGuard only adds to 36.14% of the deployment overhead and 28.27% of the runtime overhead. Furthermore, we conducted controlled experiments and show that ContractGuard successfully guard against attacks on all real-world vulnerabilities and 83% of the seeded vulnerabilities.


title: Semiclassical dynamics for torsional Newton-Cartan strings

abstract: We explore \emph{folded} spinning string configurations over torsional Newton Cartan (TNC) geometry with $ R\times S^2 $ topology within the semiclassical approximation. We consider the large $ c $ and/or nonrelativistic (NR) limit associated with the world-sheet d.o.f. and compute the one loop stringy corrections to the energy spectrum in the dual Spin Matrix Theory (SMT) theory in the limit of strong ($ \mathtt{g}\gg 1 $) coupling.


title: Maximal systole of hyperbolic surface with largest $S^3$ extendable abelian symmetry

abstract: We give the formula for the maximal systole of the surface admits the largest $S^3$-extendable abelian group symmetry. The result we get is $2\mathrm{arccosh} K$. Here \begin{eqnarray*} K &=& \sqrt[3]{\frac{1}{216}L^3 +\frac{1}{8} L^2 + \frac{5}{8} L - \frac{1}{8} + \sqrt{\frac{1}{108}L(L^2+18L+27)} } & & + \sqrt[3]{\frac{1}{216}L^3 +\frac{1}{8} L^2 + \frac{5}{8} L - \frac{1}{8} - \sqrt{\frac{1}{108}L(L^2+18L+27)} } & & + \frac{L+3}{6}. \end{eqnarray*} and $L= 4\cos^2 \frac{\pi}{g-1}$.


title: Asymptotic behavior of orthogonal polynomials without the Carleman condition

abstract: Our goal is to find an asymptotic behavior as $n\to\infty$ of orthogonal polynomials $P_{n}(z)$ defined by the Jacobi recurrence coefficients $a_{n}, b_{n}$. We suppose that the off-diagonal coefficients $a_{n}$ grow so rapidly that the series $\sum a_{n}^{-1}$ converges, that is, the Carleman condition is violated. With respect to diagonal coefficients $b_{n}$ we assume that $-b_{n} (a_{n}a_{n-1})^{-1/2}\to 2\beta_{\infty}$ for some $\beta_{\infty}\neq \pm 1$. The asymptotic formulas obtained for $P_{n}(z)$ are quite different from the case $\sum a_{n}^{-1}=\infty$ when the Carleman condition is satisfied. In particular, if $\sum a_{n}^{-1}<\infty$, then the phase factors in these formulas do not depend on the spectral parameter $z\in{\Bbb C}$. The asymptotic formulas obtained in the cases $|\beta_{\infty}|<1 $ and $|\beta_{\infty}|>1 $ are also qualitatively different from each other. As an application of these results, we find necessary and sufficient conditions for the essential self-adjointness of the corresponding minimal Jacobi operator.


title: Topologically Mapping the Macroeconomy

abstract: An understanding of the economic landscape in a world of ever increasing data necessitates representations of data that can inform policy, deepen understanding and guide future research. Topological Data Analysis offers a set of tools which deliver on all three calls. Abstract two-dimensional snapshots of multi-dimensional space readily capture non-monotonic relationships, inform of similarity between points of interest in parameter space, mapping such to outcomes. Specific examples show how some, but not all, countries have returned to Great Depression levels, and reappraise the links between real private capital growth and the performance of the economy. Theoretical and empirical expositions alike remind on the dangers of assuming monotonic relationships and discounting combinations of factors as determinants of outcomes; both dangers Topological Data Analysis addresses. Policy-makers can look at outcomes and target areas of the input space where such are not satisfactory, academics may additionally find evidence to motivate theoretical development, and practitioners can gain a rapid and robust base for decision making.


title: Reinventing 2D Convolutions for 3D Images

abstract: There have been considerable debates over 2D and 3D representation learning on 3D medical images. 2D approaches could benefit from large-scale 2D pretraining, whereas they are generally weak in capturing large 3D contexts. 3D approaches are natively strong in 3D contexts, however few publicly available 3D medical dataset is large and diverse enough for universal 3D pretraining. Even for hybrid (2D + 3D) approaches, the intrinsic disadvantages within the 2D / 3D parts still exist. In this study, we bridge the gap between 2D and 3D convolutions by reinventing the 2D convolutions. We propose ACS (axial-coronal-sagittal) convolutions to perform natively 3D representation learning, while utilizing the pretrained weights on 2D datasets. In ACS convolutions, 2D convolution kernels are split by channel into three parts, and convoluted separately on the three views (axial, coronal and sagittal) of 3D representations. Theoretically, ANY 2D CNN (ResNet, DenseNet, or DeepLab) is able to be converted into a 3D ACS CNN, with pretrained weight of a same parameter size. Extensive experiments on several medical benchmarks (including classification, segmentation and detection tasks) validate the consistent superiority of the pretrained ACS CNNs, over the 2D / 3D CNN counterparts with / without pretraining. Even without pretraining, the ACS convolution can be used as a plug-and-play replacement of standard 3D convolution, with smaller model size and less computation.


title: The Bouquet Algorithm for Model Checking Unbounded Until

abstract: The problem of verifying the "Unbounded Until" fragment in temporal logic formulas has been studied extensively in the past, especially in the context of statistical model checking. Statistical model checking, a computationally inexpensive sampling based alternative to the more expensive numerical model checking technique, presents the following decision dilemma -- what length of the sample is enough in general? In this paper, we discuss an algorithm for this problem that combines ideas from graph theory, statistical model checking and numerical model checking. We analyze the algorithm and show through experiments that this approach outperforms the standard statistical model checking algorithm for verifying unbounded until for low density Discrete Time Markov Chains.


title: Form invariance of the moment sum-rules for jellium with the addition of short-range terms in the pair-potential

abstract: We find the first three (even) structure factor moments for a (non-quantum) one-component Jellium made of particles living in three dimensions and interacting with a Coulomb pair-potential plus a short-range term with either a finite range or decaying exponentially fast at large distances. Starting from the hierarchical Born-Green-Yvon equations we show that they are all form invariant respect to the addition of the short-range term. We discuss the relevance of the present study to interpret the failure of the moment sum-rules of ionic-liquids at criticality.


title: On a family of curious integrals suggested by Stellar Dynamics

abstract: While investigating the properties of a galaxy model used in Stellar Dynamics, a curious integral identity was discovered. For a special value of a parameter, the identity reduces to a definite integral with a very simple symbolic value; but, quite surprisingly, all the consulted tables of integrals, and computer algebra systems, do not seem aware of this result. Here I show that this result is a special case ($n=0$ and $z=1$) of the following identity (established by elementary methods): $$ I_n(z)\equiv\int_0^1{{\rm K}(k) k\over (z+k^2)^{n+3/2}}dk = {(-2)^n\over (2n+1)!!} {d^n\over dz^n} {{\rm ArcCot}\sqrt{z}\over\sqrt{z(z+1)}},\quad z>0,$$ where $n=0,1,2,3...$, and ${\rm K}(k)$ is the complete elliptic integral of first kind.


title: Lindblad approximation and spin relaxation in quantum electrodynamics

abstract: This article is concerned with the time evolution of a $\frac{1}{2}$-spin particle in a constant external magnetic field with the quantized electromagnetic field (photons). We derive a Lindblad (or GKLS) type approximation of the spin dynamics together with a precise control of the error coming from this approximation. The error term is bounded by $g^2$ where $g$ is the coupling constant of the spin-photon interaction. The point here is the uniformity in time $t>0$ of this error control.


title: A Family-nonuniversal $U(1)^\prime$ Model for Excited Beryllium Decays

abstract: Excited beryllium has been observed to decay into electron-positron pairs with a $6.8~\sigma$ anomaly. The process is properly explained by a 17 MeV proto-phobic vector boson. In present work, we consider a family-nonuniversal $U(1)^{\prime}$ that is populated by a $U(1)^{\prime}$ gauge boson $Z^\prime$ and a scalar field $S$, charged under $U(1)^{\prime}$ and singlet under the Standard Model (SM) gauge symmetry. The SM chiral fermion and scalar fields are charged under $U(1)^{\prime}$ and we provide them to satisfy the anomaly-free conditions. The Cabibbo-Kobayashi-Maskawa (CKM) matrix is reproduced correctly by higher-dimension Yukawa interactions facilitated by $S$. The vector and axial-vector current couplings of the $Z^\prime$ boson to the first generation of fermions do satisfy all the bounds from the various experimental data. The $Z^\prime$ boson can have kinetic mixing with the hypercharge gauge boson and $S$ can directly couple to the SM-like Higgs field. The kinetic mixing of $Z^\prime$ with the hypercharge gauge boson, as we show by a detailed analysis, generates the observed beryllium anomaly. We find that beryllium anomaly can be properly explained by a MeV-scale sector with a minimal new field content. The minimal model we construct forms a framework in which various anomalous SM decays can be discussed.


title: Maximal von Neumann subalgebras arising from maximal subgroups

abstract: Ge asked the question whether $LF_{\infty}$ can be embedded into $LF_2$ as a maximal subfactor. We answer it affirmatively by three different approaches, all containing the same key ingredient: the existence of maximal subgroups with infinite index. We also show that point stabilizer subgroups for every faithful, 4-transitive action on an infinite set give rise to maximal von Neumann subalgebras. Combining this with known results on constructing faithful, highly transitive actions, we get many maximal von Neumann subalgebras arising from maximal subgroups with infinite index.


title: Task-Oriented Dialog Systems that Consider Multiple Appropriate Responses under the Same Context

abstract: Conversations have an intrinsic one-to-many property, which means that multiple responses can be appropriate for the same dialog context. In task-oriented dialogs, this property leads to different valid dialog policies towards task completion. However, none of the existing task-oriented dialog generation approaches takes this property into account. We propose a Multi-Action Data Augmentation (MADA) framework to utilize the one-to-many property to generate diverse appropriate dialog responses. Specifically, we first use dialog states to summarize the dialog history, and then discover all possible mappings from every dialog state to its different valid system actions. During dialog system training, we enable the current dialog state to map to all valid system actions discovered in the previous process to create additional state-action pairs. By incorporating these additional pairs, the dialog policy learns a balanced action distribution, which further guides the dialog model to generate diverse responses. Experimental results show that the proposed framework consistently improves dialog policy diversity, and results in improved response diversity and appropriateness. Our model obtains state-of-the-art results on MultiWOZ.


title: List colouring of two matroids through reduction to partition matroids

abstract: In the list coloring problem for two matroids, we are given matroids $M_1=(S,{\cal I}_1)$ and $M_2=(S,{\cal I}_2)$ on the same ground set $S$, and the goal is to determine the smallest number $k$ such that given arbitrary lists $L_s$ of $k$ colors for $s\in S$, it is possible to choose a color from each list so that every monochromatic set is independent in both $M_1$ and $M_2$. When both $M_1$ and $M_2$ are partition matroids, Galvin's list coloring theorem for bipartite graphs gives the answer. One of the main open questions is to decide if there exists a constant $c$ such that if the coloring number is $k$ (i.e., the ground set can be partitioned into $k$ common independent sets), then the list coloring number is at most $c\cdot k$. We consider matroid classes that appear naturally in combinatorial optimization problems, namely graphic matroids, paving matroids and gammoids. We show that if both matroids are from these fundamental classes, then the list coloring number is at most twice the coloring number. The proof is based on a new approach that reduces a matroid to a partition matroid without increasing its coloring number too much, and might be of independent combinatorial interest. In particular, we show that if $M=(S,{\cal I})$ is a matroid in which $S$ can be partitioned into $k$ independent sets, then there exists a partition matroid $N=(S,{\cal J})$ with ${\cal J}\subseteq{\cal I}$ in which $S$ can be partitioned into (A) $k$ independent sets if $M$ is a transversal matroid, (B) $2k-1$ independent sets if $M$ is a graphic matroid, (C) $\lceil kr/(r-1)\rceil$ independent sets if $M$ is a paving matroid of rank $r$, and (D) $2k-2$ independent sets if $M$ is a gammoid. We extend our results by showing that the existence of a matroid $N$ with $\chi(N)\leq 2\chi(M)$ implies the existence of a matroid $N'$ with $\chi(N')\leq 2\chi(M')$ for every truncation $M'$ of $M$.


title: ACE: Abstract Consensus Encapsulation for Liveness Boosting of State Machine Replication

abstract: With the emergence of cross-organization attack-prone byzantine fault-tolerant (BFT) systems, so-called Blockchains, providing asynchronous state machine replication (SMR) solutions is no longer a theoretical concern. This paper introduces ACE: a general framework for the software design of fault-tolerant SMR systems. We first propose a new leader-based-view (LBV) abstraction that encapsulates the core properties provided by each view in a partially synchronous consensus algorithm, designed according to the leader-based view-by-view paradigm (e.g., PBFT and Paxos). Then, we compose several LBV instances in a non-trivial way in order to boost asynchronous liveness of existing SMR solutions. ACE is model agnostic - it abstracts away any model assumptions that consensus protocols may have, e.g., the ratio and types of faulty parties. For example, when the LBV abstraction is instantiated with a partially synchronous consensus algorithm designed to tolerate crash failures, e.g., Paxos or Raft, ACE yields an asynchronous SMR for $n = 2f+1$ parties. However, if the LBV abstraction is instantiated with a byzantine protocol like PBFT or HotStuff, then ACE yields an asynchronous byzantine SMR for $n = 3f+1$ parties. To demonstrate the power of ACE, we implement it in C++, instantiate the LBV abstraction with a view implementation of HotStuff -- a state of the art partially synchronous byzantine agreement protocol -- and compare it with the base HotStuff implementation under different adversarial scenarios. Our evaluation shows that while ACE is outperformed by HotStuff in the optimistic, synchronous, failure-free case, ACE has absolute superiority during network asynchrony and attacks.


title: To the numerical solution of the inverse multi-frequency scalar acoustics problem

abstract: A new algorithm is proposed for solving the three-dimensional scalar inverse problem of acoustic sounding in an inhomogeneous medium. The data for the algorithm are the complex amplitudes of the wave field measured outside the inhomogeneity region. For the data recording scheme in a flat layer, the inverse problem is reduced using the Fourier transform to solving a set of one-dimensional Fredholm integral equations of the first kind. Solving these equations by the use of regularizing methods, we calculate the complex amplitude of the wave field in the inhomogeneity region and then we find the desired field of sound velocities in this domain. The proposed algorithm allows us to solve the inverse problem on a personal computer of average performance (without parallelization) for sufficiently fine three-dimensional grids in a few minutes. We demonstrate the results of solving model inverse problems at one frequency and several frequencies simultaneously along with a study of the accuracy of the proposed algorithm. We also investigate the issues of numerical stability of the algorithm with respect to data perturbations.


title: Periodic thermodynamics of a two spin Rabi model

abstract: We consider two $s=1/2$ spins with Heisenberg coupling and a monochromatic, circularly polarized magnetic field acting only onto one of the two spins. This system turns out to be analytically solvable. Also the statistical distribution of the work performed by the driving forces during one period can be obtained in closed form and the Jarzynski equation can be checked. The mean value of this work, viewed as a function of the physical parameters, exhibits features that can be related to some kind of Rabi oscillation. Moreover, when coupled to a heat bath the two spin system will approach a non-equilibrium steady state (NESS) that can be calculated in the golden rule approximation. The occupation probabilities of the NESS are shown not to be of Boltzmann type, with the exception of a single phase with infinite quasitemperature. The parameter space of the two spin Rabi model can be decomposed into eight phase domains such that the NESS probabilities possess discontinuous derivatives at the phase boundaries. The latter property is shown to hold also for more general periodically driven $N$-level systems.


title: Giant component in a configuration-model power-law graph with a variable number of links

abstract: We generalize an algorithm used widely in the configuration model such that power-law degree sequences with the degree exponent $\lambda$ and the number of links per node $K$ controllable independently may be generated. It yields the degree distribution in a different form from that of the static model or under random removal of links while sharing the same $\lambda$ and $K$. With this generalized power-law degree distribution, the critical point $K_c$ for the appearance of the giant component remains zero not only for $\lambda\leq 3$ but also for $3<\lambda<\lambda_l \simeq 3.81$. This is contrasted with $K_c=0$ only for $\lambda\leq 3$ in the static model and under random link removal. The critical exponents and the cluster-size distribution for $\lambda<\lambda_l$ are also different from known results. By analyzing the moments and the generating function of the degree distribution and comparison with those of other models, we show that the asymptotic behavior and the degree exponent may not be the only properties of the degree distribution relevant to the critical phenomena but that its whole functional form can be relevant. These results can be useful in designing and assessing the structure and robustness of networked systems.


title: The roles of random boundary conditions in spin systems

abstract: Random boundary conditions are one of the simplest realizations of quenched disorder. They have been used as an illustration of various conceptual issues in the theory of disordered spin systems. Here we review some of these results.


title: On supercongruences for truncated sums of squares of basic hypergeometric series

abstract: Congruences of truncated sums of infinite series do not directly extend to congruences of the truncated sums of higher powers of these infinite series. Guo and Zudilin recently established a variety of supercongruences for truncated sums of certain basic hypergeometric series. In this note we extend some of these supercongruences to the truncated sums of the squares of the corresponding series.


title: Image Cropping with Composition and Saliency Aware Aesthetic Score Map

abstract: Aesthetic image cropping is a practical but challenging task which aims at finding the best crops with the highest aesthetic quality in an image. Recently, many deep learning methods have been proposed to address this problem, but they did not reveal the intrinsic mechanism of aesthetic evaluation. In this paper, we propose an interpretable image cropping model to unveil the mystery. For each image, we use a fully convolutional network to produce an aesthetic score map, which is shared among all candidate crops during crop-level aesthetic evaluation. Then, we require the aesthetic score map to be both composition-aware and saliency-aware. In particular, the same region is assigned with different aesthetic scores based on its relative positions in different crops. Moreover, a visually salient region is supposed to have more sensitive aesthetic scores so that our network can learn to place salient objects at more proper positions. Such an aesthetic score map can be used to localize aesthetically important regions in an image, which sheds light on the composition rules learned by our model. We show the competitive performance of our model in the image cropping task on several benchmark datasets, and also demonstrate its generality in real-world applications.


title: Quantum Jackiw-Teitelboim gravity, Selberg trace formula, and random matrix theory

abstract: We show that the partition function of quantum Jackiw-Teitelboim (JT) gravity, including topological fluctuations, is equivalent to the partition function of a Maass-Laplace operator of large -- imaginary -- weight acting on non-compact, infinite area, hyperbolic Riemann surfaces of arbitrary genus. The resulting spectrum of this open quantum system is semiclasically exact and given by a regularized Selberg trace formula, namely, it is expressed as a sum over the lengths of primitive periodic orbits of these hyperbolic surfaces. By using semiclassical techniques, we compute analytically the spectral form factor and the variance of the Wigner time delay in the diagonal approximation. We find agreement with the random matrix theory (RMT) prediction for open quantum chaotic systems. Our results show that full quantum ergodicity is a distinct feature of quantum JT gravity.


title: Noisy Toric code and random bond Ising model: The error threshold in a dual picture

abstract: It is known that noisy topological quantum codes are related to random bond Ising models where the order-disorder phase transition in the classical model is mapped to the error threshold of the corresponding topological code. On the other hand, there is a dual mapping between classical spin models and quantum Calderbank-Shor-Stean (CSS) states where the partition function of a classical model defined on a hypergraph $H$ is written as an inner product of a product state and a CSS state on dual hypergraph $\tilde{H}$. It is then interesting to see what is the interpretation of the classical phase transition in the random bond Ising model within the framework of the above duality and whether such an interpretation has any connection to the error threshold of the corresponding topological CSS code. In this paper, we consider the above duality relation specifically for a two-dimensional random bond Ising model. We show that the order parameter of this classical system is mapped to a coherence order parameter in a noisy Toric code model. In particular, a quantum phase transition from a coherent phase to a non-coherent phase occurs when the initial coherent state is affected by two sequences of bit-flip quantum channels where a quenched disorder is induced by measurement of the errors after the first channel. On the other hand, the above transition is directly related to error threshold of the Toric code model. Accordingly, and since the noisy process can be applied to other topological CSS states, we conclude that the dual correspondence can also provide a useful tool for the study of error thresholds in different topological CSS codes.


title: Some Results on Inner Quasidiagonal $C^*$-algebras

abstract: In the current article, we prove the cross product $C^*$-algebra by a Rokhlin action of finite group on a strongly quasidiagonal $C^*$-algbra is strongly quasidiagonal again. We also show that a just-infinite $C^*$-algebra is quasidiagonal if and only if it is inner quasidiagonal. Finally, we compute the topological free entropy dimension in just-infinite $C^*$-algebras.


title: Two Causal Principles for Improving Visual Dialog

abstract: This paper unravels the design tricks adopted by us, the champion team MReaL-BDAI, for Visual Dialog Challenge 2019: two causal principles for improving Visual Dialog (VisDial). By "improving", we mean that they can promote almost every existing VisDial model to the state-of-the-art performance on the leader-board. Such a major improvement is only due to our careful inspection on the causality behind the model and data, finding that the community has overlooked two causalities in VisDial. Intuitively, Principle 1 suggests: we should remove the direct input of the dialog history to the answer model, otherwise a harmful shortcut bias will be introduced; Principle 2 says: there is an unobserved confounder for history, question, and answer, leading to spurious correlations from training data. In particular, to remove the confounder suggested in Principle 2, we propose several causal intervention algorithms, which make the training fundamentally different from the traditional likelihood estimation. Note that the two principles are model-agnostic, so they are applicable in any VisDial model. The code is available at https://github.com/simpleshinobu/visdial-principles.


title: The standard twist of L-functions revisited

abstract: The analytic properties of the standard twist $F(s,\alpha)$, where $F(s)$ belongs to a wide class of $L$-functions, are of prime importance in describing the structure of the Selberg class. In this paper we present a deeper study of such properties. In particular, we show that $F(s,\alpha)$ satisfies a functional equation of a new type, somewhat resembling that of the Hurwitz-Lerch zeta function. Moreover, we detect the finer polar structure of $F(s,\alpha)$, characterizing in two different ways the occurrence of finitely or infinitely many poles as well as giving a formula for their residues.


title: Deep Visual Waterline Detection within Inland Marine Environment

abstract: Waterline usually plays as an important visual cue for maritime applications. However, the visual complexity of inland waterline presents a significant challenge for the development of highly efficient computer vision algorithms tailored for waterline detection in a complicated inland water environment. This paper attempts to find a solution to guarantee the effectiveness of waterline detection for inland maritime applications with general digital camera sensor. To this end, a general deep-learning-based paradigm applicable in variable inland waters, named DeepWL, is proposed, which concerns the efficiency of waterline detection simultaneously. Specifically, there are two novel deep network models, named WLdetectNet and WLgenerateNet respectively, cooperating in the paradigm that afford a continuous waterline image-map estimation from a single captured video stream. Experimental results demonstrate the effectiveness and superiority of the proposed approach via qualitative and quantitative assessment on the concerned performances. Moreover, due to its own generality, the proposed approach has the potential to be applied to the waterline detection tasks of other water areas such as coastal waters.


title: Improving Frequency Estimation under Local Differential Privacy

abstract: Local Differential Privacy protocols are stochastic protocols used in data aggregation when individual users do not trust the data aggregator with their private data. In such protocols there is a fundamental tradeoff between user privacy and aggregator utility. In the setting of frequency estimation, established bounds on this tradeoff are either nonquantitative, or far from what is known to be attainable. In this paper, we use information-theoretical methods to significantly improve established bounds. We also show that the new bounds are attainable for binary inputs. Furthermore, our methods lead to improved frequency estimators, which we experimentally show to outperform state-of-the-art methods.


title: Causality for Machine Learning

abstract: Graphical causal inference as pioneered by Judea Pearl arose from research on artificial intelligence (AI), and for a long time had little connection to the field of machine learning. This article discusses where links have been and should be established, introducing key concepts along the way. It argues that the hard open problems of machine learning and AI are intrinsically related to causality, and explains how the field is beginning to understand them.


title: Delay-Complexity Trade-off of Random Linear Network Coding in Wireless Broadcast

abstract: In wireless broadcast, random linear network coding (RLNC) over GF(2^L) is known to asymptotically achieve the optimal completion delay with increasing L. However, the high decoding complexity hinders the potential applicability of RLNC schemes over large GF(2^L). In this paper, a comprehensive analysis of completion delay and decoding complexity is conducted for field-based systematic RLNC schemes in wireless broadcast. In particular, we prove that the RLNC scheme over GF(2) can also asymptotically approach the optimal completion delay per packet when the packet number goes to infinity. Moreover, we introduce a new method, based on circular-shift operations, to design RLNC schemes which avoid multiplications over large GF(2^L). Based on both theoretical and numerical analyses, the new RLNC schemes turn out to have a much better trade-off between completion delay and decoding complexity. In particular, numerical results demonstrate that the proposed schemes can attain average completion delay just within 5% higher than the optimal one, while the decoding complexity is only about 3 times the one of the RLNC scheme over GF(2).


title: A relaxed version of \v{S}olt\'{e}s's problem and cactus graphs

abstract: The \emph{Wiener index} is one of the most widely studied parameters in chemical graph theory. It is defined as the sum of the lengths of the shortest paths between all unordered pairs of vertices in a given graph. In 1991, \v{S}olt\'es posed the following problem regarding the Wiener index: Find all graphs such that its Wiener index is preserved upon removal of any vertex. The problem is far from being solved and to this day, only one graph with such property is known: the cycle graph on 11 vertices. In this paper, we solve a relaxed version of the problem, proposed by Knor et al.\ in 2018. For a given $k$, the problem is to find (infinitely many) graphs having exactly $k$ vertices such that the Wiener index remains the same after removing any of them. We call these vertices \emph{good} vertices and we show that there are infinitely many cactus graphs with exactly $k$ cycles of length at least 7 that contain exactly $2k$ good vertices and infinitely many cactus graphs with exactly $k$ cycles of length $c \in \{5,6\}$ that contain exactly $k$ good vertices. On the other hand, we prove that $G$ has no good vertex if the length of the longest cycle in $G$ is at most $4$.


title: $C^{2,\alpha}$ regularity of free boundaries in optimal transportation

abstract: The regularity of the free boundary in optimal transportation is equivalent to that of the potential function along the free boundary. By establishing new geometric estimates of the free boundary and studying the second boundary value problem of the Monge-Amp\`ere equation, we obtain the $C^{2,\alpha}$ regularity of the potential function as well as that of the free boundary, thereby resolve an open problem raised by Caffarelli and McCann in \cite{CM}.


title: Stage-based Hyper-parameter Optimization for Deep Learning

abstract: As deep learning techniques advance more than ever, hyper-parameter optimization is the new major workload in deep learning clusters. Although hyper-parameter optimization is crucial in training deep learning models for high model performance, effectively executing such a computation-heavy workload still remains a challenge. We observe that numerous trials issued from existing hyper-parameter optimization algorithms share common hyper-parameter sequence prefixes, which implies that there are redundant computations from training the same hyper-parameter sequence multiple times. We propose a stage-based execution strategy for efficient execution of hyper-parameter optimization algorithms. Our strategy removes redundancy in the training process by splitting the hyper-parameter sequences of trials into homogeneous stages, and generating a tree of stages by merging the common prefixes. Our preliminary experiment results show that applying stage-based execution to hyper-parameter optimization algorithms outperforms the original trial-based method, saving required GPU-hours and end-to-end training time by up to 6.60 times and 4.13 times, respectively.


title: An Iterative Security Game for Computing Robust and Adaptive Network Flows

abstract: The recent advancement in real-world critical infrastructure networks has led to an exponential growth in the use of automated devices which in turn has created new security challenges. In this paper, we study the robust and adaptive maximum flow problem in an uncertain environment where the network parameters (e.g., capacities) are known and deterministic, but the network structure (e.g., edges) is vulnerable to adversarial attacks or failures. We propose a robust and sustainable network flow model to effectively and proactively counter plausible attacking behaviors of an adversary operating under a budget constraint. Specifically, we introduce a novel scenario generation approach based on an iterative two-player game between a defender and an adversary. We assume that the adversary always takes a best myopic response (out of some feasible attacks) against the current flow scenario prepared by the defender. On the other hand, we assume that the defender considers all the attacking behaviors revealed by the adversary in previous iterations in order to generate a new conservative flow strategy that is robust (maximin) against all those attacks. This iterative game continues until the objectives of the adversary and the administrator both converge. We show that the robust network flow problem to be solved by the defender is NP-hard and that the complexity of the adversary's decision problem grows exponentially with the network size and the adversary's budget value. We propose two principled heuristic approaches for solving the adversary's problem at the scale of a large urban network. Extensive computational results on multiple synthetic and real-world data sets demonstrate that the solution provided by the defender's problem significantly increases the amount of flow pushed through the network and reduces the expected lost flow over four state-of-the-art benchmark approaches.


title: dpVAEs: Fixing Sample Generation for Regularized VAEs

abstract: Unsupervised representation learning via generative modeling is a staple to many computer vision applications in the absence of labeled data. Variational Autoencoders (VAEs) are powerful generative models that learn representations useful for data generation. However, due to inherent challenges in the training objective, VAEs fail to learn useful representations amenable for downstream tasks. Regularization-based methods that attempt to improve the representation learning aspect of VAEs come at a price: poor sample generation. In this paper, we explore this representation-generation trade-off for regularized VAEs and introduce a new family of priors, namely decoupled priors, or dpVAEs, that decouple the representation space from the generation space. This decoupling enables the use of VAE regularizers on the representation space without impacting the distribution used for sample generation, and thereby reaping the representation learning benefits of the regularizations without sacrificing the sample generation. dpVAE leverages invertible networks to learn a bijective mapping from an arbitrarily complex representation distribution to a simple, tractable, generative distribution. Decoupled priors can be adapted to the state-of-the-art VAE regularizers without additional hyperparameter tuning. We showcase the use of dpVAEs with different regularizers. Experiments on MNIST, SVHN, and CelebA demonstrate, quantitatively and qualitatively, that dpVAE fixes sample generation for regularized VAEs.


title: The Christoffel problem by fundamental solution of the Laplace equation

abstract: The Christoffel problem is equivalent to the existence of convex solutions to the Laplace equation on the unit sphere $S^n$. Necessary and sufficient conditions have been found by Firey and Berg, using the Green function of the Laplacian on the sphere. Expressing the Christoffel problem as the Laplace equation on the entire space $R^{n+1}$, we observe that the second derivatives of the solution can be given by the fundamental solutions of the Laplace equations. Therefore we find new and simpler necessary and sufficient conditions for the solvability of the Christoffel problem. We also study the $L_p$ extension of the Christoffel problem and provide sufficient conditions for the problem, for the case $p\geq 2$.


title: Electronic and Optical properties of transition metal dichalcogenides under symmetric and asymmetric field-effect doping

abstract: Doping via electrostatic gating is a powerful and widely used technique to tune the electron densities in layered materials. The microscopic details of how these setups affect the layered material are, however, subtle and call for careful theoretical treatments. Using semiconducting monolayers of transition metal dichalcogenides (TMDs) as prototypical systems affected by electrostatic gating, we show that the electronic and optical properties change indeed dramatically when the gating geometry is properly taken into account. This effect is implemented by a self-consistent calculation of the Coulomb interaction between the charges in different sub-layers within the tight-binding approximation. Thereby we consider both, single- and double-sided gating. Our results show that, at low doping levels of $10^{13}$ cm$^{-2}$, the electronic bands of monolayer TMDs shift rigidly for both types of gating, and subsequently undergo a Lifshitz transition. When approaching the doping level of $10^{14}$ cm$^{-2}$, the band structure changes dramatically, especially in the case of single-sided gating where we find that monolayer \ce{MoS2} and \ce{WS2} become indirect gap semiconductors. The optical conductivities calculated within linear response theory also show clear signatures of these doping-induced band structure renormalizations. Our numerical results based on light-weighted tight-binding models indicate the importance of electronic screening in doped layered structures, and pave the way for further understanding gated super-lattice structures formed by mutlilayers with extended Moir\'{e} pattern.


title: A survey of of blockchain-based solutions for Energy Industry

abstract: The energy industry needs to shift to a new paradigm from its classical model of energy generation, distribution, and management. This shift is necessary to handle digitization, increased renewable energy generation, and to achieve goals of environmental sustainability. This shift has several challenges on its way and has been seen through research and development that blockchain which is one of the budding technology in this era could be suitable for addressing those challenges. This paper is aimed at the survey of all the research and development related to blockchain in the energy industry and uses a software engineering approach to categories all the existing work in several clusters such as challenges addressed, quality attribute promoted, the maturity level of the solutions, etc. This survey provides researchers in this field a well-defined categorization and insight into the existing work in this field from 3 different perspectives (challenges, quality attributes, maturity).


title: A numerical study of the rippling instability driven by electron-phonon coupling in graphene

abstract: Suspended graphene exhibits ripples of size ranging from 50 to 100 {\AA} and height $\sim$10{\AA}, however, their origin remains undetermined. Previous theoretical works have proposed that rippling in graphene might be generated by the coupling between the bending modes and the density of electrons. These studies theoretically proposed that in the thermodynamic limit a membrane of single layer graphene displays a lattice instability for large enough electron-phonon coupling, undergoing a phase transition from a flat phase to a rippled one. In this work we solve the elasticity equations for a finite membrane of graphene coupled to the charge distribution, modeled in the tight-binding approximation, we find that the electron-phonon coupling controls a transition from a stable flat configuration to a stable rippled phase.


title: Exploiting Operation Importance for Differentiable Neural Architecture Search

abstract: Recently, differentiable neural architecture search methods significantly reduce the search cost by constructing a super network and relax the architecture representation by assigning architecture weights to the candidate operations. All the existing methods determine the importance of each operation directly by architecture weights. However, architecture weights cannot accurately reflect the importance of each operation; that is, the operation with the highest weight might not related to the best performance. To alleviate this deficiency, we propose a simple yet effective solution to neural architecture search, termed as exploiting operation importance for effective neural architecture search (EoiNAS), in which a new indicator is proposed to fully exploit the operation importance and guide the model search. Based on this new indicator, we propose a gradual operation pruning strategy to further improve the search efficiency and accuracy. Experimental results have demonstrated the effectiveness of the proposed method. Specifically, we achieve an error rate of 2.50\% on CIFAR-10, which significantly outperforms state-of-the-art methods. When transferred to ImageNet, it achieves the top-1 error of 25.6\%, comparable to the state-of-the-art performance under the mobile setting.


title: Influence of strong magnetic field on the structure properties of strange quark stars

abstract: We investigate the thermodynamic properties of strange quark matter under the strong magnetic field in the framework of the MIT bag model in two cases of bag constants. We consider two cases of the magnetic field, the uniform magnetic field and the density-dependent magnetic field to calculate the equation of state of strange quark matter. For the case of density-dependent magnetic field, we use a Gaussian equation with two free parameters $\beta$ and $\theta$ and use two different sets of the parameters for the magnetic field changes (a slow and a fast decrease of the magnetic field from the center to the surface). Our results show that the energy conditions based on the limitation of the energy-momentum tensor, are satisfied in the corresponding conditions. We also show that the equation of state of strange quark matter becomes stiffer by increasing the magnetic field. In this paper, we also calculate the structure parameters of a pure strange quark star using the equation of state. We investigate the compactification factor ($2M/R$) and the surface redshift of star in different conditions. The results show that the strange quark star is denser than the neutron star and it is more compact in the presence of the stronger magnetic field. As another result, the compactification factor increases when we use a slow increase of the magnetic field from the surface to the center. Eventually, we compare our results with the observational results for some strange star candidates, and we find that the structure of the strange star candidates is comparable to that of the star in our model.


title: Tropical $F$-polynomials and General Presentations

abstract: We introduce the tropical $F$-polynomial $f_M$ of a quiver representation $M$. We study its interplay with the general presentation for any finite-dimensional basic algebra. We give an interpretation of evaluating $f_M$ at a weight vector. As a consequence, we give a presentation of the Newton polytope ${\sf N}(M)$ of $M$. We study the dual fan and 1-skeleton of ${\sf N}(M)$. We propose an algorithm to determine the generic Newton polytopes, and show it works for path algebras. As an application, we give a representation-theoretic interpretation of Fock-Goncharov's duality pairing. We give an explicit construction of dual clusters, which consists of real Schur representations. We specialize the above general results to the cluster-finite algebras and the preprojective algebras of Dynkin type.


title: Differentially private Nash equilibrium seeking for networked aggregative games

abstract: This paper considers the privacy-preserving Nash equilibrium seeking strategy design for a class of networked aggregative games, in which the players' objective functions are considered to be sensitive information to be protected. In particular, we consider that the networked game is free of central node and the aggregate information is not directly available to the players. As there is no central authority to provide the aggregate information required by each player to update their actions, a dynamic average consensus protocol is employed to estimate it. To protect the players' privacy, we perturb the transmitted information among the players by independent random noises drawn from Laplace distributions. By synthesizing the perturbed average consensus protocol with a gradient algorithm, distributed privacy-preserving Nash equilibrium seeking strategies are established for the aggregative games under both fixed and time-varying communication topologies. With explicit quantifications of the mean square errors, the convergence results of the proposed methods are presented. Moreover, it is analytically proven that the proposed algorithm is $\epsilon$-differentially private, where $\epsilon$ depends on the stepsize of the gradient algorithm and the scaling parameter of the random variables. The presented results indicate that there is a tradeoff between the convergence accuracy and the privacy level. Lastly, a numerical example is provided for the verification of the proposed methods.


title: Intersection graph of maximal stars

abstract: A biclique of a graph $G$ is an induced complete bipartite subgraph of $G$ such that neither part is empty. A star is a biclique of $G$ such that one part has exactly one vertex. The star graph of $G$ is the intersection graph of the maximal stars of $G$. A graph $H$ is star-critical if its star graph is different from the star graph of any of its proper induced subgraphs. We begin by presenting a bound on the size of star-critical pre-images by a quadratic function on the number of vertices of the star graph, then proceed to describe a Krausz-type characterization for this graph class; we combine these results to show membership of the recognition problem in \textsf{NP}. We also present some properties of star graphs. In particular, we show that they are biconnected, that every edge belongs to at least one triangle, characterize the structures the pre-image must have in order to generate degree two vertices, and bound the diameter of the star graph with respect to the diameter of its pre-image. Finally, we prove a monotonicity theorem, which we apply to list every star graph on at most eight vertices.


title: Semi-Supervised Hierarchical Recurrent Graph Neural Network for City-Wide Parking Availability Prediction

abstract: The ability to predict city-wide parking availability is crucial for the successful development of Parking Guidance and Information (PGI) systems. Indeed, the effective prediction of city-wide parking availability can improve parking efficiency, help urban planning, and ultimately alleviate city congestion. However, it is a non-trivial task for predicting citywide parking availability because of three major challenges: 1) the non-Euclidean spatial autocorrelation among parking lots, 2) the dynamic temporal autocorrelation inside of and between parking lots, and 3) the scarcity of information about real-time parking availability obtained from real-time sensors (e.g., camera, ultrasonic sensor, and GPS). To this end, we propose Semi-supervised Hierarchical Recurrent Graph Neural Network (SHARE) for predicting city-wide parking availability. Specifically, we first propose a hierarchical graph convolution structure to model non-Euclidean spatial autocorrelation among parking lots. Along this line, a contextual graph convolution block and a soft clustering graph convolution block are respectively proposed to capture local and global spatial dependencies between parking lots. Additionally, we adopt a recurrent neural network to incorporate dynamic temporal dependencies of parking lots. Moreover, we propose a parking availability approximation module to estimate missing real-time parking availabilities from both spatial and temporal domain. Finally, experiments on two real-world datasets demonstrate the prediction performance of SHARE outperforms seven state-of-the-art baselines.