title: Sentiment-driven Community Profiling and Detection on Social Media

abstract: Web 2.0 helps to expand the range and depth of conversation on many issues and facilitates the formation of online communities. Online communities draw various individuals together based on their common opinions on a core set of issues. Most existing community detection methods merely focus on discovering communities without providing any insight regarding the collective opinions of community members and the motives behind the formation of communities. Several efforts have been made to tackle this problem by presenting a set of keywords as a community profile. However, they neglect the positions of community members towards keywords, which play an important role for understanding communities in the highly polarized atmosphere of social media. To this end, we present a sentiment-driven community profiling and detection framework which aims to provide community profiles presenting positive and negative collective opinions of community members separately. With this regard, our framework initially extracts key expressions in users' messages as representative of issues and then identifies users' positive/negative attitudes towards these key expressions. Next, it uncovers a low-dimensional latent space in order to cluster users according to their opinions and social interactions (i.e., retweets). We demonstrate the effectiveness of our framework through quantitative and qualitative evaluations.


title: A Liouville-type theorem and Bochner formula for harmonic maps into metric spaces

abstract: We study analytic properties of harmonic maps from Riemannian polyhedra into CAT($\kappa$) spaces for $\kappa\in\{0,1\}$. Locally, on each top-dimensional face of the domain, this amounts to studying harmonic maps from smooth domains into CAT($\kappa$) spaces. We compute a target variation formula that captures the curvature bound in the target, and use it to prove an $L^p$ Liouville-type theorem for harmonic maps from admissible polyhedra into convex CAT($\kappa$) spaces. Another consequence we derive from the target variation formula is the Eells-Sampson Bochner formula for CAT(1) targets.


title: An Unsupervised Clustering-Based Short-Term Solar Forecasting Methodology Using Multi-Model Machine Learning Blending

abstract: Solar forecasting accuracy is affected by weather conditions, and weather awareness forecasting models are expected to improve the performance. However, it may not be available and reliable to classify different forecasting tasks by using only meteorological weather categorization. In this paper, an unsupervised clustering-based (UC-based) solar forecasting methodology is developed for short-term (1-hour-ahead) global horizontal irradiance (GHI) forecasting. This methodology consists of three parts: GHI time series unsupervised clustering, pattern recognition, and UC-based forecasting. The daily GHI time series is first clustered by an Optimized Cross-validated ClUsteRing (OCCUR) method, which determines the optimal number of clusters and best clustering results. Then, support vector machine pattern recognition (SVM-PR) is adopted to recognize the category of a certain day using the first few hours' data in the forecasting stage. GHI forecasts are generated by the most suitable models in different clusters, which are built by a two-layer Machine learning based Multi-Model (M3) forecasting framework. The developed UC-based methodology is validated by using 1-year of data with six solar features. Numerical results show that (i) UC-based models outperform non-UC (all-in-one) models with the same M3 architecture by approximately 20%; (ii) M3-based models also outperform the single-algorithm machine learning (SAML) models by approximately 20%.


title: Thermalization, Viscosity and the Averaged Null Energy Condition

abstract: We explore the implications of the averaged null energy condition for thermal states of relativistic quantum field theories. A key property of such thermal states is the thermalization length. This lengthscale generalizes the notion of a mean free path beyond weak coupling, and allows finite size regions to independently thermalize. Using the eigenstate thermalization hypothesis, we show that thermal fluctuations in finite size `fireballs' can produce states that violate the averaged null energy condition if the thermalization length is too short or if the shear viscosity is too large. These bounds become very weak with a large number N of degrees of freedom but can constrain real-world systems, such as the quark-gluon plasma.


title: Avoiding long Berge cycles

abstract: Let $n\geq k\geq r+3$ and $\mathcal H$ be an $n$-vertex $r$-uniform hypergraph. We show that if $|\mathcal H|> \frac{n-1}{k-2}\binom{k-1}{r}$ then $\mathcal H$ contains a Berge cycle of length at least $k$. This bound is tight when $k-2$ divides $n-1$. We also show that the bound is attained only for connected $r$-uniform hypergraphs in which every block is the complete hypergraph $K^{(r)}_{k-1}$. We conjecture that our bound also holds in the case $k=r+2$, but the case of short cycles, $k\leq r+1$, is different.


title: A Polygonal Discontinuous Galerkin Method with Minus One Stabilization

abstract: We propose a Discontinuous Galerkin method for the Poisson equation on polygonal tessellations in two dimensions, stabilized by penalizing, locally in each element $K$, a residual term involving the fluxes, measured in the norm of the dual of $H^1(K)$. The scalar product corresponding to such a norm is numerically realized via the introduction of a (minimal) auxiliary space inspired by the Virtual Element Method. Stability and optimal error estimates in the broken $H^1$ norm are proven under a weak shape regularity assumption allowing the presence of very small edges. The results of numerical tests confirm the theoretical estimates.


title: The Kashaev Equation and Related Recurrences

abstract: The hexahedron recurrence was introduced by R. Kenyon and R. Pemantle in the study of the double-dimer model in statistical mechanics. It describes a relationship among certain minors of a square matrix. This recurrence is closely related to the Kashaev equation, which has its roots in the Ising model and in the study of relations among principal minors of a symmetric matrix. Certain solutions of the hexahedron recurrence restrict to solutions of the Kashaev equation. We characterize the solutions of the Kashaev equation that can be obtained by such a restriction. This characterization leads to new results about principal minors of symmetric matrices. We describe and study other recurrences whose behavior is similar to that of the Kashaev equation and hexahedron recurrence. These include equations that appear in the study of s-holomorphicity, as well as other recurrences which, like the hexahedron recurrence, can be related to cluster algebras.


title: A Multiscale Domain Decomposition Algorithm For Boundary Value Problems For Eikonal Equations

abstract: In this paper, we present a new multiscale domain decomposition algorithm for computing solutions of static Eikonal equations. The new method is an iterative two-scale method that uses a parareal-like update scheme in combination with standard Eikonal solvers. The purpose of the two scales is to accelerate convergence and maintain accuracy. We adapt a weighted version of the parareal method for stability, and the optimal weights are studied via a model problem. Numerical examples are given to demonstrate the method.


title: Quantitative transport measurements of fractional quantum Hall energy gaps in edgeless graphene devices

abstract: Owing to their wide tunability, spin- and valley internal degrees of freedom, and low disorder, graphene heterostructures are emerging as a promising experimental platform for fractional quantum Hall (FQH) studies. Surprisingly, however, transport measurements reveal many fewer FQH states than bulk capacitive probes. Here, we report the fabrication of dual graphite-gated monolayer graphene devices in an edgeless Corbino-type geometry that showing deep FQH sequences. Thermal activation gaps reveal a tunable crossover between single- and multi-component FQH states in the zero energy Landau level, while the first Landau level is found to host an unexpected valley-ordered state at $\nu=-4$.


title: Quantum Zeno effect in correlated qubits

abstract: Near term quantum hardware promises to achieve quantum supremacy. From a quantum dynamical point of view, however, it is not unambiguously clear whether fundamental peculiarities of quantum physics permit any arbitrary speed-ups in real time. We show that an only recently unveiled property of the quantum Fisher information has profound implications for the rate of possible quantum information processing. To this end, we analyze an exemplary and pedagogical example for a quantum computer consisting of a computational qubit and a quantum memory. We find that frequent interaction between memory and device exhibit the quantum Zeno effect. In a second part, we show that the Zeno effect can be prevented by carefully designing the correlations and interaction between single elements of the quantum memory.


title: Learning to Grasp Without Seeing

abstract: Can a robot grasp an unknown object without seeing it? In this paper, we present a tactile-sensing based approach to this challenging problem of grasping novel objects without prior knowledge of their location or physical properties. Our key idea is to combine touch based object localization with tactile based re-grasping. To train our learning models, we created a large-scale grasping dataset, including more than 30 RGB frames and over 2.8 million tactile samples from 7800 grasp interactions of 52 objects. To learn a representation of tactile signals, we propose an unsupervised auto-encoding scheme, which shows a significant improvement of 4-9% over prior methods on a variety of tactile perception tasks. Our system consists of two steps. First, our touch localization model sequentially 'touch-scans' the workspace and uses a particle filter to aggregate beliefs from multiple hits of the target. It outputs an estimate of the object's location, from which an initial grasp is established. Next, our re-grasping model learns to progressively improve grasps with tactile feedback based on the learned features. This network learns to estimate grasp stability and predict adjustment for the next grasp. Re-grasping thus is performed iteratively until our model identifies a stable grasp. Finally, we demonstrate extensive experimental results on grasping a large set of novel objects using tactile sensing alone. Furthermore, when applied on top of a vision-based policy, our re-grasping model significantly boosts the overall accuracy by 10.6%. We believe this is the first attempt at learning to grasp with only tactile sensing and without any prior object knowledge.


title: Moduli Anomalies and Local Terms in the Operator Product Expansion

abstract: Local terms in the Operator Product Expansion in Superconformal Theories with extended supersymmetry are identified. Assuming a factorized structure for these terms their contributions are discussed.


title: Robust Model-Based Clustering of Voting Records

abstract: We explore the possibility of discovering extreme voting patterns in the U.S. Congressional voting records by drawing ideas from the mixture of contaminated normal distributions. A mixture of latent trait models via contaminated normal distributions is proposed. We assume that the low dimensional continuous latent variable comes from a contaminated normal distribution and, therefore, picks up extreme patterns in the observed binary data while clustering. We consider in particular such model for the analysis of voting records. The model is applied to a U.S. Congressional Voting data set on 16 issues. Note this approach is the first instance within the literature of a mixture model handling binary data with possible extreme patterns.


title: Maximizing Specific Loss Power for Magnetic Hyperthermia by Hard-Soft Mixed Ferrites

abstract: We report maximized specific loss power and intrinsic loss power approaching theoretical limits for AC magnetic field heating of nanoparticles. This is achieved by engineering the effective magnetic anisotropy barrier of nanoparticles via alloying of hard and soft ferrites. 22 nm Co0.03Mn0.28Fe2.7O4/SiO2 NPs reached a specific loss power value of 3417 W/gmetal at a field of 33 kA/m and 380 kHz. Biocompatible Zn0.3Fe2.7O4/SiO2 nanoparticles achieved specific loss power of 500 W/gmetal and intrinsic loss power of 26.8 nHm2/kg at field parameters of 7 kA/m and 380 kHz, below the clinical safety limit. Magnetic bone cement achieved heating adequate for bone tumor hyperthermia, incorporating ultralow dosage of just 1 wt% of nanoparticles. In cellular hyperthermia experiments, these nanoparticles demonstrated high cell death rate at low field parameters. Zn0.3Fe2.7O4/SiO2 nanoparticles show cell viabilities above 97% at concentrations up to 0.5 mg/ml within 48 hrs, suggesting toxicity lower than that of magnetite.


title: Aberration-free three dimensional micromachining in glass with spatiotemporally shaped femtosecond laser pulses

abstract: We observe that focusing a femtosecond laser beam simultaneously chirped in time and space domains in glass can efficiently suppress the optical aberration caused by the refractive index mismatch at the interface of air and the glass sample. We then demonstrate three dimensional microprocessing in glass with a nearly invariant spatial resolution for a large range of penetration depth between 0.25 mm and 9 mm without any aberration correction.


title: Chiral Landau levels in Weyl semimetal NbAs with multiple topological carriers

abstract: Recently, Weyl semimetals have been experimentally discovered in both inversion-symmetry-breaking and time-reversal-symmetry-breaking crystals. The non-trivial topology in Weyl semimetals can manifest itself with exotic phenomena which have been extensively investigated by photoemission and transport measurements. Despite the numerous experimental efforts on Fermi arcs and chiral anomaly, the existence of unconventional zeroth Landau levels, as a unique hallmark of Weyl fermions which is highly related to chiral anomaly, remains elusive owing to the stringent experimental requirements. Here, we report the magneto-optical study of Landau quantization in Weyl semimetal NbAs. High magnetic fields drive the system towards the quantum limit which leads to the observation of zeroth chiral Landau levels in two inequivalent Weyl nodes. As compared to other Landau levels, the zeroth chiral Landau level exhibits a distinct linear dispersion in z momentum direction and allows the optical transitions without the limitation of zero z momentum or square root of magnetic field evolution. The magnetic field dependence of the zeroth Landau levels further verifies the predicted particle-hole asymmetry of the Weyl cones. Meanwhile, the optical transitions from the normal Landau levels exhibit the coexistence of multiple carriers including an unexpected massive Dirac fermion, pointing to a more complex topological nature in inversion-symmetry-breaking Weyl semimetals. Our results provide insights into the Landau quantization of Weyl fermions and demonstrate an effective tool for studying complex topological systems.


title: AIWC: OpenCL-based Architecture-Independent Workload Characterisation

abstract: Measuring performance-critical characteristics of application workloads is important both for developers, who must understand and optimize the performance of codes, as well as designers and integrators of HPC systems, who must ensure that compute architectures are suitable for the intended workloads. However, if these workload characteristics are tied to architectural features that are specific to a particular system, they may not generalize well to alternative or future systems. An architecture-independent method ensures an accurate characterization of inherent program behaviour, without bias due to architecture-dependent features that vary widely between different types of accelerators. This work presents the first architecture- independent workload characterization framework for heterogeneous compute platforms, proposing a set of metrics determining the suitability and performance of an application on any parallel HPC architecture. The tool, AIWC, is a plugin for the open-source Oclgrind simulator. It supports parallel workloads and is capable of characterizing OpenCL codes currently in use in the supercomputing setting. AIWC simulates an OpenCL device by directly interpreting LLVM instructions, and the resulting metrics may be used for performance prediction and developer feedback to guide device-specific optimizations. An evaluation of the metrics collected over a subset of the Extended OpenDwarfs Benchmark Suite is also presented.


title: Floquet topological transitions in extended Kane-Mele models with disorder

abstract: In this work we use Floquet theory to theoretically study the influence of circularly polarized light on disordered two-dimensional models exhibiting topological transitions. We find circularly polarized light can induce a topological transition in extended Kane-Mele models that include additional hopping terms and on-site disorder. The topological transitions are understood from the Floquet-Bloch band structure of the clean system at high symmetry points in the first Brillouin zone. The light modifies the equilibrium band structure of the clean system in such a way that the smallest gap in the Brillouin zone can be shifted from the $M$ points to the $K(K')$ points, the $\Gamma$ point, or even other lower symmetry points. The movement of the minimal gap point through the Brillouin zone as a function of laser parameters is explained in the high frequency regime through the Magnus expansion. In the disordered model, we compute the Bott index to reveal topological phases and transitions. The disorder can induce transitions from topologically non-trivial states to trivial states or vice versa, both examples of Floquet topological Anderson transitions. As a result of the movement of the minimal gap point through the Brillouin zone as a function of laser parameters, the nature of the topological phases and transitions is laser-parameter dependent--a contrasting behavior to the Kane-Mele model.


title: Understanding Spin Configuration in the Geometrically Frustrated Magnet TbB$_{4}$: a Resonant Soft X-ray Scattering Study

abstract: The frustrated magnet has been regarded as a system that could be a promising host material for the quantum spin liquid (QSL). However, it is difficult to determine the spin configuration and the corresponding mechanism in this system, because of its geometrical frustration (i.e., crystal structure and symmetry). Herein, we systematically investigate one of the geometrically frustrated magnets, the TbB$_{4}$ compound. Using resonant soft x-ray scattering (RSXS), we explored its spin configuration, as well as Tb's quadrupole. Comprehensive evaluations of the temperature and photon energy / polarization dependences of the RSXS signals reveal the mechanism of spin reorientation upon cooling down, which is the sophisticated interplay between the Tb spin and the crystal symmetry rather than its orbit (quadrupole). Our results and their implications would further shed a light on the search for possible realization of QSL.


title: Extremal Spectral Gaps for Periodic Schr\"odinger Operators

abstract: The spectrum of a Schr\"odinger operator with periodic potential generally consists of bands and gaps. In this paper, for fixed m, we consider the problem of maximizing the gap-to-midgap ratio for the m-th spectral gap over the class of potentials which have fixed periodicity and are pointwise bounded above and below. We prove that the potential maximizing the m-th gap-to-midgap ratio exists. In one dimension, we prove that the optimal potential attains the pointwise bounds almost everywhere in the domain and is a step-function attaining the imposed minimum and maximum values on exactly m intervals. Optimal potentials are computed numerically using a rearrangement algorithm and are observed to be periodic. In two dimensions, we develop an efficient rearrangement method for this problem based on a semi-definite formulation and apply it to study properties of extremal potentials. We show that, provided a geometric assumption about the maximizer holds, a lattice of disks maximizes the first gap-to-midgap ratio in the infinite contrast limit. Using an explicit parametrization of two-dimensional Bravais lattices, we also consider how the optimal value varies over all equal-volume lattices.


title: Anderson accelerated fixed-stress splitting schemes for consolidation of unsaturated porous media

abstract: In this paper, we study the robust linearization of nonlinear poromechanics of unsaturated materials. The model of interest couples the Richards equation with linear elasticity equations, employing the equivalent pore pressure. In practice a monolithic solver is not always available, defining the requirement for a linearization scheme to allow the use of separate simulators, which is not met by the classical Newton method. We propose three different linearization schemes incorporating the fixed-stress splitting scheme, coupled with an L-scheme, Modified Picard and Newton linearization of the flow. All schemes allow the efficient and robust decoupling of mechanics and flow equations. In particular, the simplest scheme, the Fixed-Stress-L-scheme, employs solely constant diagonal stabilization, has low cost per iteration, and is very robust. Under mild, physical assumptions, it is theoretically shown to be a contraction. Due to possible break-down or slow convergence of all considered splitting schemes, Anderson acceleration is applied as post-processing. Based on a special case, we justify theoretically the general ability of the Anderson acceleration to effectively accelerate convergence and stabilize the underlying scheme, allowing even non-contractive fixed-point iterations to converge. To our knowledge, this is the first theoretical indication of this kind. Theoretical findings are confirmed by numerical results. In particular, Anderson acceleration has been demonstrated to be very effective for the considered Picard-type methods. Finally, the Fixed-Stress-Newton scheme combined with Anderson acceleration provides a robust linearization scheme, meeting the above criteria.


title: Behavior Analysis of NLI Models: Uncovering the Influence of Three Factors on Robustness

abstract: Natural Language Inference is a challenging task that has received substantial attention, and state-of-the-art models now achieve impressive test set performance in the form of accuracy scores. Here, we go beyond this single evaluation metric to examine robustness to semantically-valid alterations to the input data. We identify three factors - insensitivity, polarity and unseen pairs - and compare their impact on three SNLI models under a variety of conditions. Our results demonstrate a number of strengths and weaknesses in the models' ability to generalise to new in-domain instances. In particular, while strong performance is possible on unseen hypernyms, unseen antonyms are more challenging for all the models. More generally, the models suffer from an insensitivity to certain small but semantically significant alterations, and are also often influenced by simple statistical correlations between words and training labels. Overall, we show that evaluations of NLI models can benefit from studying the influence of factors intrinsic to the models or found in the dataset used.


title: Heterostructures of MXenes and N-doped graphene as highly active bifunctional electrocatalysts

abstract: MXenes with versatile chemistry and superior electrical conductivity are prevalent candidate materials for energy storage and catalysts. Inspired by recent experiments of hybridizing MXenes with carbon materials, here we theoretically design a series of heterostructures of N-doped graphene supported by MXene monolayers as bifunctional electrocatalysts for the oxygen reduction reaction (ORR) and hydrogen evolution reaction (HER). Our first-principles calculations show that the graphitic sheet on V2C and Mo2C MXenes are highly active with an ORR overpotential down to 0.36 V and reaction free energies for the HER approaching zero, both with low kinetic barriers. Such outstanding catalytic activities originate from the electronic coupling between the graphitic sheet and the MXene, and can be correlated with the pz band center of surface carbon atoms and the work function of the heterostructures. Our findings screen a novel form of highly active electrocatalysts by taking advantage of the fast charge transfer kinetics and strong interfacial coupling of MXenes, and illuminate a universal mechanism for modulating the catalytic properties of two-dimensional hybrid materials.


title: Nanoparticles Binding to Lipid Membranes: from Vesicle-Based Gels to Vesicle Inversion and Destruction

abstract: Cells offer numerous inspiring examples where proteins and membranes combine to form complex structures that are key to intracellular compartmentalization, cargo transport, and specialization of cell morphology. Despite this wealth of examples, we still lack the design principles to control membrane morphology in synthetic systems. Here we show that even the relatively simple case of spherical nanoparticles binding to lipid-bilayer membrane vesicles results in a remarkably rich set of morphologies that can be controlled quantitatively via the particle binding energy. We find that when the binding energy is weak relative to a characteristic membrane-bending energy, the vesicles adhere to one another and form a soft solid, which could be used as a useful platform for controlled release. When the binding energy is larger, the vesicles undergo a remarkable destruction process consisting first of invaginated tubules, followed by vesicles turning inside-out, yielding a network of nanoparticle-membrane tubules. We propose that the crossover from one behavior to the other is triggered by the transition from partial to complete wrapping of nanoparticles. This model is confirmed by computer simulations and by quantitative estimates of the binding energy. These findings open the door to a new class of vesicle-based, closed-cell gels that are more than 99% water and can encapsulate and release on demand. Our results also show how to intentionally drive dramatic shape changes in vesicles as a step toward shape-responsive particles. Finally, they help us to unify the wide range of previously observed responses of vesicles and cells to added nanoparticles.


title: ProCal: A Low-Cost and Programmable Calibration Tool for IoT Devices

abstract: Calibration is an important step towards building reliable IoT systems. For example, accurate sensor reading requires ADC calibration, and power monitoring chips must be calibrated before being used for measuring the energy consumption of IoT devices. In this paper, we present ProCal, a low-cost, accurate, and scalable power calibration tool. ProCal is a programmable platform which provides dynamic voltage and current output for calibration. The basic idea is to use a digital potentiometer connected to a parallel resistor network controlled through digital switches. The resistance and output frequency of ProCal is controlled by a software communicating with the board through the SPI interface. Our design provides a simple synchronization mechanism which prevents the need for accurate time synchronization. We present mathematical modeling and validation of the tool by incorporating the concept of Fibonacci sequence. Our extensive experimental studies show that this tool can significantly improve measurement accuracy. For example, for ATMega2560, the ADC error reduces from 0.2% to 0.01%. ProCal not only costs less than 2\% of the current commercial solutions, it is also highly accurate by being able to provide extensive range of current and voltage values.


title: Anisotropic superconductivity and magnetism in single-crystal RbEuFe$_4$As$_4$

abstract: We investigate the anisotropic superconducting and magnetic properties of single-crystal RbEuFe$_4$As$_4$ using magnetotransport and magnetization measurements. We determine a magnetic ordering temperature of the Eu-moments of $T_m$ = 15 K and a superconducting transition temperature of $T_c$ = 36.8 K. The superconducting phase diagram is characterized by high upper critical field slopes of -70 kG/K and -42 kG/K for in-plane and out-of-plane fields, respectively, and a surprisingly low superconducting anisotropy of $\Gamma$ = 1.7. Ginzburg-Landau parameters of $\kappa_c \sim 67$ and $\kappa_{ab} \sim 108$ indicate extreme type-II behavior. These superconducting properties are in line with those commonly seen in optimally doped Fe-based superconductors. In contrast, Eu-magnetism is quasi-two dimensional as evidenced by highly anisotropic in-plane and out-of-plane exchange constants of 0.6 K and $<$ 0.04 K. A consequence of the quasi-2D nature of the Eu-magnetism are strong magnetic fluctuation effects, a large suppression of the magnetic ordering temperature as compared to the Curie-Weiss temperature, and a cusp-like anomaly in the specific heat devoid of any singularity. Magnetization curves reveal a clear magnetic easy-plane anisotropy with in-plane and out-of-plane saturation fields of 2 kG and 4 kG.


title: An Adaptive Population Size Differential Evolution with Novel Mutation Strategy for Constrained Optimization

abstract: Differential evolution (DE) has competitive performance on constrained optimization problems (COPs), which targets at searching for global optimal solution without violating the constraints. Generally, researchers pay more attention on avoiding violating the constraints than better objective function value. To achieve the aim of searching the feasible solutions accurately, an adaptive population size method and an adaptive mutation strategy are proposed in the paper. The adaptive population method is similar to a state switch which controls the exploring state and exploiting state according to the situation of feasible solution search. The novel mutation strategy is designed to enhance the effect of status switch based on adaptive population size, which is useful to reduce the constraint violations. Moreover, a mechanism based on multipopulation competition and a more precise method of constraint control are adopted in the proposed algorithm. The proposed differential evolution algorithm, APDE-NS, is evaluated on the benchmark problems from CEC2017 constrained real parameter optimization. The experimental results show the effectiveness of the proposed method is competitive compared to other state-of-the-art algorithms.


title: Deep RNNs Encode Soft Hierarchical Syntax

abstract: We present a set of experiments to demonstrate that deep recurrent neural networks (RNNs) learn internal representations that capture soft hierarchical notions of syntax from highly varied supervision. We consider four syntax tasks at different depths of the parse tree; for each word, we predict its part of speech as well as the first (parent), second (grandparent) and third level (great-grandparent) constituent labels that appear above it. These predictions are made from representations produced at different depths in networks that are pretrained with one of four objectives: dependency parsing, semantic role labeling, machine translation, or language modeling. In every case, we find a correspondence between network depth and syntactic depth, suggesting that a soft syntactic hierarchy emerges. This effect is robust across all conditions, indicating that the models encode significant amounts of syntax even in the absence of an explicit syntactic training supervision.


title: Infinite Limits of Finite-Dimensional Permutation Structures, and their Automorphism Groups: Between Model Theory and Combinatorics

abstract: In the course of classifying the homogeneous permutations, Cameron introduced the viewpoint of permutations as structures in a language of two linear orders, and this structural viewpoint is taken up here. The majority of this thesis is concerned with Cameron's problem of classifying the homogeneous structures in a language of finitely many linear orders, which we call finite-dimensional permutation structures. Towards this problem, we present a construction that we conjecture produces all such structures. Some evidence for this conjecture is given, including the classification of the homogeneous 3-dimensional permutation structures. We next consider the topological dynamics, in the style of Kechris, Pestov, and Todor\v{c}evi\'c, of the automorphism groups of the homogeneous finite-dimensional permutation structures we have constructed, which requires proving a structural Ramsey theorem for all the associated amalgamation classes. Because the $\emptyset$-definable equivalence relations in these homogeneous finite-dimensional permutation structures may form arbitrary finite distributive lattices, the model-theoretic algebraic closure operation may become quite complex, and so we require the framework recently introduced by Hubi\v{c}ka and Ne\v{s}etril. Finally, we consider the decision problem for whether a finitely-constrained permutation avoidance class is atomic, or equivalently, has the joint embedding property. As a first approximation to this problem, we prove the undecidability of the corresponding decision problem in the category of graphs. Modifying this proof also gives the undecidability, in the category of graphs, of the corresponding decision problem for the joint homomorphism property, which is of interest in infinite-domain constraint satisfaction problems.


title: Human-Machine Collaborative Optimization via Apprenticeship Scheduling

abstract: Coordinating agents to complete a set of tasks with intercoupled temporal and resource constraints is computationally challenging, yet human domain experts can solve these difficult scheduling problems using paradigms learned through years of apprenticeship. A process for manually codifying this domain knowledge within a computational framework is necessary to scale beyond the ``single-expert, single-trainee" apprenticeship model. However, human domain experts often have difficulty describing their decision-making processes, causing the codification of this knowledge to become laborious. We propose a new approach for capturing domain-expert heuristics through a pairwise ranking formulation. Our approach is model-free and does not require enumerating or iterating through a large state space. We empirically demonstrate that this approach accurately learns multifaceted heuristics on a synthetic data set incorporating job-shop scheduling and vehicle routing problems, as well as on two real-world data sets consisting of demonstrations of experts solving a weapon-to-target assignment problem and a hospital resource allocation problem. We also demonstrate that policies learned from human scheduling demonstration via apprenticeship learning can substantially improve the efficiency of a branch-and-bound search for an optimal schedule. We employ this human-machine collaborative optimization technique on a variant of the weapon-to-target assignment problem. We demonstrate that this technique generates solutions substantially superior to those produced by human domain experts at a rate up to 9.5 times faster than an optimization approach and can be applied to optimally solve problems twice as complex as those solved by a human demonstrator.


title: Tunable charge qubit based on barrier-controlled triple quantum dots

abstract: We present a theoretical proposal of a tunable charge qubit, hosted in triple quantum dots. The manipulation is solely performed by changing the heights of the two potential barriers between the three dots, while the energy of all three dots are fixed. We have found that when the relative height of the two barriers are changed, the direction of the axis of rotation in performing single-qubit gates can be varied. On the other hand, the corresponding rotation speed can be tuned by raising or lowering the two barriers at the same time. Our proposal therefore allows for tunability of both the rotation axis and rotating speed for a charge qubit via all-electrical control, which may facilitate realization of quantum algorithms in these devices.


title: Graphlets versus node2vec and struc2vec in the task of network alignment

abstract: Network embedding aims to represent each node in a network as a low-dimensional feature vector that summarizes the given node's (extended) network neighborhood. The nodes' feature vectors can then be used in various downstream machine learning tasks. Recently, many embedding methods that automatically learn the features of nodes have emerged, such as node2vec and struc2vec, which have been used in tasks such as node classification, link prediction, and node clustering, mainly in the social network domain. There are also other embedding methods that explicitly look at the connections between nodes, i.e., the nodes' network neighborhoods, such as graphlets. Graphlets have been used in many tasks such as network comparison, link prediction, and network clustering, mainly in the computational biology domain. Even though the two types of embedding methods (node2vec/struct2vec versus graphlets) have a similar goal -- to represent nodes as features vectors, no comparisons have been made between them, possibly because they have originated in the different domains. Therefore, in this study, we compare graphlets to node2vec and struc2vec, and we do so in the task of network alignment. In evaluations on synthetic and real-world biological networks, we find that graphlets are both more accurate and faster than node2vec and struc2vec.


title: Computing Coverage Kernels Under Restricted Settings

abstract: We consider the Minimum Coverage Kernel problem: given a set $B$ of $d$-dimensional boxes, find a subset of $B$ of minimum size covering the same region as $B$. This problem is $\mathsf{NP}$-hard, but as for many $\mathsf{NP}$-hard problems on graphs, the problem becomes solvable in polynomial time under restrictions on the graph induced by $B$. We consider various classes of graphs, show that Minimum Coverage Kernel remains $\mathsf{NP}$-hard even for severely restricted instances, and provide two polynomial time approximation algorithms for this problem.


title: Retinal Vessel Segmentation Based on Conditional Deep Convolutional Generative Adversarial Networks

abstract: The segmentation of retinal vessels is of significance for doctors to diagnose the fundus diseases. However, existing methods have various problems in the segmentation of the retinal vessels, such as insufficient segmentation of retinal vessels, weak anti-noise interference ability, and sensitivity to lesions, etc. Aiming to the shortcomings of existed methods, this paper proposes the use of conditional deep convolutional generative adversarial networks to segment the retinal vessels. We mainly improve the network structure of the generator. The introduction of the residual module at the convolutional layer for residual learning makes the network structure sensitive to changes in the output, as to better adjust the weight of the generator. In order to reduce the number of parameters and calculations, using a small convolution to halve the number of channels in the input signature before using a large convolution kernel. By used skip connection to connect the output of the convolutional layer with the output of the deconvolution layer to avoid low-level information sharing. By verifying the method on the DRIVE and STARE datasets, the segmentation accuracy rate is 96.08% and 97.71%, the sensitivity reaches 82.74% and 85.34% respectively, and the F-measure reaches 82.08% and 85.02% respectively. The sensitivity is 4.82% and 2.4% higher than that of R2U-Net.


title: Efficiency in Micro-Behaviors and FL Bias

abstract: In this paper, we propose a model which simulates odds distributions of pari-mutuel betting system under two hypotheses on the behavior of bettors: 1. The amount of bets increases very rapidly as the deadline for betting comes near. 2. Each bettor bets on a horse which gives the largest expectation value of the benefit. The results can be interpreted as such efficient behaviors do not serve to extinguish the FL bias but even produce stronger FL bias.


title: Thoughts on Holographic Complexity and its Basis-dependence

abstract: In this paper, we argue that holographic complexity should be a basis-dependent quantity. Computational complexity of a state is defined as a minimum number of gates required to obtain that state from the reference state. Due to this minimality, it satisfies the triangle inequality, and can be regarded as a (discrete version of) distance in the Hilbert space. However, we show a no-go theorem that any basis-independent distance cannot reproduce the behavior of the holographic complexity. Therefore, if holographic complexity is dual to a distance in the Hilbert space, it should be basis-dependent, i.e., it is not invariant under a change of the basis of the Hilbert space.


title: Cutoff for the Swendsen-Wang dynamics on the lattice

abstract: We study the Swendsen-Wang dynamics for the $q$-state Potts model on the lattice. Introduced as an alternative algorithm of the classical single-site Glauber dynamics, the Swendsen-Wang dynamics is a non-local Markov chain that recolors many vertices at once based on the random-cluster representation of the Potts model. In this work we derive strong enough bounds on the mixing time, proving that the Swendsen-Wang dynamics on the lattice at sufficiently high temperatures exhibits a sharp transition from "unmixed" to "well-mixed," which is called the cutoff phenomenon. In particular, we establish that at high enough temperatures the Swendsen-Wang dynamics on the torus $(\mathbb{Z}/n\mathbb{Z})^d$ has cutoff at time $\frac{d}{2} \left( -\log (1-\gamma) \right)^{-1} \log n$, where $\gamma(\beta)$ is the spectral gap of the infinite-volume dynamics.


title: Trajectory tracking with an aggregation of domestic hot water heaters: Combining model-based and model-free control in a commercial deployment

abstract: Scalable demand response of residential electric loads has been a timely research topic in recent years. The commercial coming of age or residential demand response requires a scalable control architecture that is both efficient and practical to use. This work presents such a strategy for domestic hot water heaters and present a commercial proof-of-concept deployment. The strategy combines state of the art in aggregate-and-dispatch with a novel dispatch strategy leveraging recent developments in reinforcement learning and is tested in a hardware-in-the-loop simulation environment. The results are promising and present how model-based and model-free control strategies can be merged to obtain a mature and commercially viable control strategy for residential demand response.


title: Optomechanical Akhmediev Breather

abstract: Akhmediev breather has attracted considerable attention over the past decades in various fields such as hydrodynamics, plasma physics, and nonlinear optics because its wide applications and its importance in understanding nonlinear coherent phenomena. Here we introduce optomechanical arrays as a novel and integrated platform to observe both photonic and phononic Akhmediev breather, with remarkable functionality for readout and control complementing existing research on hydrodynamic and plasma systems. Our results pave a path toward reconfigurable nano- photonic and phononic networks, and may enable a new class of devices in signal processing and on-chip nonlinear dynamical systems.


title: Meson-Hybrid Mixing in $J^{PC}=1^{++}$ Heavy Quarkonium from QCD Sum-Rules

abstract: We explore conventional meson-hybrid mixing in $J^{PC}=1^{++}$ heavy quarkonium using QCD Laplace sum-rules. We calculate the cross-correlator between a heavy conventional meson current and heavy hybrid current within the operator product expansion, including terms proportional to the four- and six-dimensional gluon condensates and the six-dimensional quark condensate. Using experimentally determined hadron masses, we construct models of the $1^{++}$ charmonium and bottomonium mass spectra. These models are used to investigate which resonances couple to both currents and thus exhibit conventional meson-hybrid mixing. In the charmonium sector, we find almost no conventional meson-hybrid mixing in the $\chi_{c1}(1P)$, minimal mixing in the $X(3872)$, and significant mixing in both the $X(4140)$ and $X(4274)$. In the bottomonium sector, we find minimal conventional meson-hybrid mixing in the $\chi_{b1}(1P)$ and significant mixing in both the $\chi_{b1}(2P)$ and $\chi_{b1}(3P)$.


title: N-doped graphitic carbon materials hybridized with transition metals (compounds) for hydrogen evolution reaction: Understanding the synergistic effect from atomistic level

abstract: The hybrid nanostructures of nitrogen doped carbon materials and nonprecious transition metals are among the most promising electrocatalysts to replace noble metal catalysts for renewable energy applications. However, the fundamental principles governing the catalytic activity of such hybrid materials remain elusive. Herein, we systematically explore the electrocatalytic properties of transition metals, transition metal oxides and carbides substrates covered by nitrogen-doped graphitic sheets for hydrogen evolution reaction (HER). Our first-principles calculations show that the graphitic sheet is prominently activated by the nitrogen doping and the coordinate bond with metal (compound) substrate through intralayer and interlayer charge transfer. Such hybrid materials can provide optimal binding capability for HER catalysis with Tafel barrier down to 1.0 eV. The HER activity can be correlated to the C pz band center, which is in turn governed by the electronic coupling strength between the graphitic sheet and metal substrate, thus paving a way to rational design of graphitic carbon/transition metal hybrid electrocatalysts of high performance.


title: Modulation of thermal conductivity in single-walled carbon nanotubes by fullerene encapsulation: enhancement or reduction?

abstract: Fullerence encapsulation has been proven to be a powerful approach to enhance mechanical and electronic properties of the single-walled carbon nanotubes (SWCNTs). However, some discrepancies emerge in recent studies of the fullerence encapsulation effect on the thermal conductivity of SWCNTs. More specifically, most previous theoretical works predicted slightly enhancement of the thermal conductivity, but the recent experiment by Kodama et al. (Nat. Mat. 16, 892 (2017)) observed clear reduction of the thermal conductivity in SWCNTs by fullerence encapsulation. We perform molecular dynamics simulations to revisit this issue, by comparatively investigate the thermal conductivity of the SWCNT (n, n) and the corresponding peapod (n, n) with n = 8, 9, 10, and 11. We find that the fullerence encapsulation can reduce the thermal conductivity of narrower SWCNTs with n = 8 and 9, but it can slightly enhance the thermal conductivity of thicker SWCNTs with n = 10 and 11. The underlying mechanisms for these opposite effects are explored by analyzing the encapsulation induced structural deformation and the variation of the phonon dispersion of the SWCNT. We illustrate that the reduction effect observed in the recent experiment is related to the mechanism for reduction of the thermal conductivity for narrower SWCNTs here, while previous numerical works correspond to the enhancement effect for thicker SWCNTs found in the present work. Our findings shed lights on clarifying the discrepancy between previous numerical predictions and experimental observations on the effect of the fullerence encapsulation on the thermal conductivity of the SWCNT.


title: A Note on the Formal Groups of Weighted Delsarte Threefolds

abstract: One-dimensional formal groups over an algebraically closed field of positive characteristic are classified by their height. In the case of $K3$ surfaces, the height of their formal groups takes integer values between $1$ and $10$, or $\infty$. For Calabi-Yau threefolds, the height is bounded by $h^{1,2}+1$ if it is finite, where $h^{1,2}$ is a Hodge number. At present, there are only a limited number of concrete examples for explicit values or the distribution of the height. In this paper, we consider Calabi-Yau threefolds arising from weighted Delsarte threefolds in positive characteristic. We describe an algorithm for computing the height of their formal groups and carry out calculations with various Calabi-Yau threefolds of Delsarte type.


title: Distributed Deep Forest and its Application to Automatic Detection of Cash-out Fraud

abstract: Internet companies are facing the need for handling large-scale machine learning applications on a daily basis and distributed implementation of machine learning algorithms which can handle extra-large scale tasks with great performance is widely needed. Deep forest is a recently proposed deep learning framework which uses tree ensembles as its building blocks and it has achieved highly competitive results on various domains of tasks. However, it has not been tested on extremely large scale tasks. In this work, based on our parameter server system, we developed the distributed version of deep forest. To meet the need for real-world tasks, many improvements are introduced to the original deep forest model, including MART (Multiple Additive Regression Tree) as base learners for efficiency and effectiveness consideration, the cost-based method for handling prevalent class-imbalanced data, MART based feature selection for high dimension data and different evaluation metrics for automatically determining of the cascade level. We tested the deep forest model on an extra-large scale task, i.e., automatic detection of cash-out fraud, with more than 100 millions of training samples. Experimental results showed that the deep forest model has the best performance according to the evaluation metrics from different perspectives even with very little effort for parameter tuning. This model can block fraud transactions in a large amount of money each day. Even compared with the best-deployed model, the deep forest model can additionally bring into a significant decrease in economic loss each day.


title: Study of the abundance features of the metal-poor star HD 94028

abstract: Recent work has found that the metal-poor star HD 94028 shows interesting abundance features. The s-process material (e.g., Ba, La, Ce, and Pb) and r-process material (e.g., Eu, Os, Pt) are mildly overabundant while the element C is not enhanced. However, the observed supersolar ratio [As/Ge](= $0.99 \pm 0.23$) and subsolar ratio [Se/As](= $-0.16 \pm 0.22$) could not be fitted by the combination of s- and r-process abundances. In this work, adopting the abundance decomposition method, we investigate the astrophysical origins of the elements in this star. We find that the primary process of massive stars dominates the production of the light elements and iron-group elements. The lighter neutron-capture elements from Ge to Te mainly come from the weak r-process. The elements from Ba to Pb are synthesized dominantly by the main s- and main r-process. The observed abundance features of Ge, As, and Se in HD 94028 are mainly produced by the weak r-process, which possesses the features of the supersolar ratio [As/Ge] and subsolar ratio [Se/As]. Because Ge is not synthesized solely by the neutron-capture process, As should be the lightest neutron-capture element. Although the i-process has been suggested in several astrophysical environments, it should be superfluous to explaining the abundances of the lighter neutron-capture elements in HD 94028.


title: On the rigidity of uniform Roe algebras over uniformly locally finite coarse spaces

abstract: Given a coarse space $(X,\mathcal{E})$, one can define a $\mathrm{C}^*$-algebra $\mathrm{C}^*_u(X)$ called the uniform Roe algebra of $(X,\mathcal{E})$. It has been proved by J. \v{S}pakula and R. Willett that if the uniform Roe algebras of two uniformly locally finite metric spaces with property A are isomorphic, then the metric spaces are coarsely equivalent to each other. In this paper, we look at the problem of generalizing this result for general coarse spaces and on weakening the hypothesis of the spaces having property A.


title: Neural Machine Translation for Bilingually Scarce Scenarios: A Deep Multi-task Learning Approach

abstract: Neural machine translation requires large amounts of parallel training text to learn a reasonable-quality translation model. This is particularly inconvenient for language pairs for which enough parallel text is not available. In this paper, we use monolingual linguistic resources in the source side to address this challenging problem based on a multi-task learning approach. More specifically, we scaffold the machine translation task on auxiliary tasks including semantic parsing, syntactic parsing, and named-entity recognition. This effectively injects semantic and/or syntactic knowledge into the translation model, which would otherwise require a large amount of training bitext. We empirically evaluate and show the effectiveness of our multi-task learning approach on three translation tasks: English-to-French, English-to-Farsi, and English-to-Vietnamese.


title: Stochastic Approximation for Risk-aware Markov Decision Processes

abstract: We develop a stochastic approximation-type algorithm to solve finite state/action, infinite-horizon, risk-aware Markov decision processes. Our algorithm has two loops. The inner loop computes the risk by solving a stochastic saddle-point problem. The outer loop performs $Q$-learning to compute an optimal risk-aware policy. Several widely investigated risk measures (e.g. conditional value-at-risk, optimized certainty equivalent, and absolute semi-deviation) are covered by our algorithm. Almost sure convergence and the convergence rate of the algorithm are established. For an error tolerance $\epsilon>0$ for the optimal $Q$-value estimation gap and learning rate $k\in(1/2,\,1]$, the overall convergence rate of our algorithm is $\Omega((\ln(1/\delta\epsilon)/\epsilon^{2})^{1/k}+(\ln(1/\epsilon))^{1/(1-k)})$ with probability at least $1-\delta$.


title: Just-in-Time Reconstruction: Inpainting Sparse Maps using Single View Depth Predictors as Priors

abstract: We present ``just-in-time reconstruction" as real-time image-guided inpainting of a map with arbitrary scale and sparsity to generate a fully dense depth map for the image. In particular, our goal is to inpaint a sparse map --- obtained from either a monocular visual SLAM system or a sparse sensor --- using a single-view depth prediction network as a virtual depth sensor. We adopt a fairly standard approach to data fusion, to produce a fused depth map by performing inference over a novel fully-connected Conditional Random Field (CRF) which is parameterized by the input depth maps and their pixel-wise confidence weights. Crucially, we obtain the confidence weights that parameterize the CRF model in a data-dependent manner via Convolutional Neural Networks (CNNs) which are trained to model the conditional depth error distributions given each source of input depth map and the associated RGB image. Our CRF model penalises absolute depth error in its nodes and pairwise scale-invariant depth error in its edges, and the confidence-based fusion minimizes the impact of outlier input depth values on the fused result. We demonstrate the flexibility of our method by real-time inpainting of ORB-SLAM, Kinect, and LIDAR depth maps acquired both indoors and outdoors at arbitrary scale and varied amount of irregular sparsity.


title: Random super matrices with an external source

abstract: In the past we have considered Gaussian random matrix ensembles in the presence of an external matrix source. The reason was that it allowed, through an appropriate tuning of the eigenvalues of the source, to obtain results on non-trivial dual models, such as Kontsevich's Airy matrix models and generalizations. The techniques relied on explicit computations of the k-point functions for arbitrary N (the size of the matrices) and on an N-k duality. Numerous results on the intersection numbers of the moduli space of curves were obtained by this technique. In order to generalize these results to include surfaces with boundaries, we have extended these techniques to supermatrices. Again we have obtained quite remarkable explicit expressions for the k-point functions, as well as a duality. Although supermatrix models a priori lead to the same matrix models of 2d-gravity, the external source extensions considered in this article lead to new geometric results.


title: Anomalous finite-size scaling at thermal first-order transitions in systems with disordered boundary conditions

abstract: We investigate the equilibrium and off-equilibrium behaviors of systems at thermal first-order transitions (FOTs) when the boundary conditions favor one of the two phases. As a theoretical laboratory we consider the two-dimensional Potts model. We show that an anomalous finite-size scaling emerges in systems with open boundary conditions favoring the disordered phase, associated with a mixed regime where the two phases are spatially separated. Correspondingly, if the system is slowly heated across the transition, the characteristic times of the off-equilibrium dynamics scale with a power of the size. We argue that these features generally apply to systems at FOTs, when boundary conditions favor one of the two phases. In particular, they should be relevant for the experimental search of FOTs of the quark-gluon plasma in heavy-ion collisions.


title: A Robust Circle-criterion Observer-based Estimator for Discrete-time Nonlinear Systems in the Presence of Sensor Attacks and Measurement Noise

abstract: We address the problem of robust state estimation of a class of discrete-time nonlinear systems with positive-slope nonlinearities when the sensors are corrupted by (potentially unbounded) attack signals and bounded measurement noise. We propose an observer-based estimator, using a bank of circle-criterion observers, which provides a robust estimate of the system state in spite of sensor attacks and measurement noise. We first consider the attack-free case where there is measurement noise and we provide a design method for a robust circle-criterion observer. Then, we consider the case when a sufficiently small subset of sensors are subject to attacks and all sensors are affected by measurement noise. We use our robust circle-criterion observer as the main ingredient in building an estimator that provides robust state estimation in this case. Finally, we propose an algorithm for isolating attacked sensors in the case of bounded measurement noise. We test this algorithm through simulations.


title: Heavy Gravitino from Dynamical Generation of Right-Handed Neutrino Mass Scale, and Gravitational Waves

abstract: The absence of supersymmetric particles at the weak scale is a puzzle if supersymmetry solves the gauge hierarchy problem. We show that, if the right-handed neutrino masses arise from hidden gaugino condensation via GUT-suppressed operators, successful thermal leptogenesis leads to the lower bound on the gravitino mass, which may explain the little hierarchy problem. If domain walls associated with the gaugino condensation are formed after inflation, they annihilate when $H \sim m_{3/2}$. We address the possibility that observable gravitational wave signals might emerge from the domain wall annihilation.


title: On some parabolic systems arising from a nuclear reactor model with nonlinear boundary conditions

abstract: In this paper, we are concerned with a reaction diffusion system arising from a nuclear reactor model in bounded domains with nonlinear boundary conditions. We show the existence of a stationary solution and its ordered uniqueness. It is also shown that every positive stationary solution possesses threshold property to determine blow-up or globally existence for solutions of nonstationary problem.


title: On Fundamental Operations for Multimodular Functions

abstract: Multimodular functions, primarily used in the literature of queueing theory, discrete-event systems, and operations research, constitute a fundamental function class in discrete convex analysis. The objective of this paper is to clarify the properties of multimodular functions with respect to fundamental operations such as permutation and scaling of variables, projection (partial minimization) and convolution. It is shown, in particular, that the class of multimodular functions is stable under projection under a certain natural condition on the variables to be minimized, and the convolution of two multimodular functions is not necessarily multimodular, even in the special case of the convolution of a multimodular function with a separable convex function.


title: Convex Programming Based Spectral Clustering

abstract: Clustering is a fundamental task in data analysis, and spectral clustering has been recognized as a promising approach to it. Given a graph describing the relationship between data, spectral clustering explores the underlying cluster structure in two stages. The first stage embeds the nodes of the graph in real space, and the second stage groups the embedded nodes into several clusters. The use of the $k$-means method in the grouping stage is currently standard practice. We present a spectral clustering algorithm that uses convex programming in the grouping stage and study how well it works. This algorithm is designed based on the following observation. If a graph is well-clustered, then the nodes with the largest degree in each cluster can be found by computing an enclosing ellipsoid of the nodes embedded in real space, and the clusters can be identified by using those nodes. We show that, for well-clustered graphs, the algorithm can find clusters of nodes with minimal conductance. We also give an experimental assessment of the algorithm's performance.


title: Reciprocal Attention Fusion for Visual Question Answering

abstract: Existing attention mechanisms either attend to local image grid or object level features for Visual Question Answering (VQA). Motivated by the observation that questions can relate to both object instances and their parts, we propose a novel attention mechanism that jointly considers reciprocal relationships between the two levels of visual details. The bottom-up attention thus generated is further coalesced with the top-down information to only focus on the scene elements that are most relevant to a given question. Our design hierarchically fuses multi-modal information i.e., language, object- and gird-level features, through an efficient tensor decomposition scheme. The proposed model improves the state-of-the-art single model performances from 67.9% to 68.2% on VQAv1 and from 65.7% to 67.4% on VQAv2, demonstrating a significant boost.


title: Statistical-Raman-Microscopy and Atomic-Force-Microscopy on Heterogeneous Graphene Obtained after Reduction of Graphene Oxide

abstract: Graphene oxide can be used as a precursor to graphene but the quality of graphene flakes is highly heterogeneous. Scanning-Raman-Microscopy (SRM) is used to characterize films of graphene derived from flakes of graphene oxide with an almost intact carbon framework (ai-GO). The defect density of these flakes is visualized in detail by analyzing the intensity and full-width at half-maximum of the most pronounced Raman peaks. In addition, we superimpose the SRM results with AFM images and correlate the spectroscopic results with the morphology. Furthermore, we use SRM technique to display the amount of defects in a film of graphene. Thus, an area of 250 x 250 {\my}m2 of graphene is probed with a step-size increment of 1 {\mu}m. We are able to visualize the position of graphene flakes, edges and the substrate. Finally, we alter parameters of measurement to analyze the quality of graphene fast and reliable. The described method can be used to probe and visualize the quality of graphene films.


title: User-defined quantum key distribution

abstract: Quantum key distribution (QKD) provides secure keys resistant to code-breaking quantum computers. As headed towards commercial application, it is crucial to guarantee the practical security of QKD systems. However, the difficulty of security proof limits the flexibility of protocol proposals, which may not fulfill with real application requirements. Here we show a protocol design framework that allows one to securely construct the protocol using arbitrary non-orthogonal states. Multi-mode entangled source is virtually introduced for the security analysis, while coherent measurement is used to provide raw data. This 'arbitrary' feature reverses the traditional protocol-decide-the-system working style, such that the protocol design now can follow what the system generates. We show a valuable showcase, which not only solves the security challenge of discrete-modulated coherent states, but also achieves high performance with no more than 256 coherent states. Our findings lower the requirement for system venders with off-the-shell devices, thus will promote the commercialization of QKD.


title: Finite-volume correction on the hadronic vacuum polarization contribution to muon g-2 in lattice QCD

abstract: We study the finite-volume correction on the hadronic vacuum polarization contribution to the muon g-2 ($a_\mu^{\rm hvp}$) in lattice QCD at (near) physical pion mass using two different volumes: $(5.4~{\rm fm})^4$ and $(8.1~{\rm fm})^4$. We use an optimized AMA technique for noise reduction on $N_f=2+1$ PACS gauge configurations with stout-smeared clover-Wilson fermion action and Iwasaki gauge action at a single lattice cut-off $a^{-1}=2.33$ GeV. The calculation is performed for the quark-connected light-quark contribution in the isospin symmetric limit. We take into account the effects of backward state propagation by extending a temporal boundary condition. In addition we study a quark-mass correction to tune to the exactly same physical pion mass on different volume and compare those correction with chiral perturbation. We find $10(26)\times10^{-10}$ difference for light quark $a_\mu^{\rm hvp}$ between $(5.4~{\rm fm})^4$ and $(8.1~{\rm fm})^4$ lattice in 146 MeV pion.


title: Solar Coronal Jets Extending to High Altitudes Observed During the 2017 August 21 Total Eclipse

abstract: Coronal jets, which extend from the solar surface to beyond 2 $R_\odot$, were observed in the polar coronal hole regions during the total solar eclipse on 2017 August 21. In a time-series of white-light images of the corona spanning 70 minutes taken with our multi-site observations of this eclipse, six jets were found as narrow structures upwardly ejected with the apparent speed of about 450 km s$^{-1}$ in polar plumes. On the other hand, extreme-ultraviolet (EUV) images taken with the Atmospheric Image Assembly of the Solar Dynamics Observatory show that all of the eclipse jets were preceded by EUV jets. Conversely, all the EUV jets whose brightness is comparable to ordinary soft X-ray jets and which occurred in the polar regions near the eclipse period were observed as eclipse jets. These results suggest that ordinary polar jets generally reach high altitudes and escape from the Sun as part of the solar wind.


title: Adaptive Selection of Deep Learning Models on Embedded Systems

abstract: The recent ground-breaking advances in deep learning networks ( DNNs ) make them attractive for embedded systems. However, it can take a long time for DNNs to make an inference on resource-limited embedded devices. Offloading the computation into the cloud is often infeasible due to privacy concerns, high latency, or the lack of connectivity. As such, there is a critical need to find a way to effectively execute the DNN models locally on the devices. This paper presents an adaptive scheme to determine which DNN model to use for a given input, by considering the desired accuracy and inference time. Our approach employs machine learning to develop a predictive model to quickly select a pre-trained DNN to use for a given input and the optimization constraint. We achieve this by first training off-line a predictive model, and then use the learnt model to select a DNN model to use for new, unseen inputs. We apply our approach to the image classification task and evaluate it on a Jetson TX2 embedded deep learning platform using the ImageNet ILSVRC 2012 validation dataset. We consider a range of influential DNN models. Experimental results show that our approach achieves a 7.52% improvement in inference accuracy, and a 1.8x reduction in inference time over the most-capable single DNN model.


title: Argument Harvesting Using Chatbots

abstract: Much research in computational argumentation assumes that arguments and counterarguments can be obtained in some way. Yet, to improve and apply models of argument, we need methods for acquiring them. Current approaches include argument mining from text, hand coding of arguments by researchers, or generating arguments from knowledge bases. In this paper, we propose a new approach, which we call argument harvesting, that uses a chatbot to enter into a dialogue with a participant to get arguments and counterarguments from him or her. Because it is automated, the chatbot can be used repeatedly in many dialogues, and thereby it can generate a large corpus. We describe the architecture of the chatbot, provide methods for managing a corpus of arguments and counterarguments, and an evaluation of our approach in a case study concerning attitudes of women to participation in sport.


title: Equilibrium and real-time properties of the spin correlation function in the two-impurity Kondo model

abstract: We investigate the equilibrium and real-time properties of the spin correlation function $\langle \vec{S}_1\vec{S}_2 \rangle$ in the two-impurity Kondo model for different distances $R$ between the two-impurity spins. It is shown that the competition between the Ruderman-Kittel-Kasuya-Yosida (RKKY) interaction and the Kondo effect governs the amplitude of $\langle \vec{S}_1\vec{S}_2 \rangle$. For distances $R$ exceeding the Kondo length scale, the Kondo effect also has a profound effect on the sign of the correlation function. For ferromagnetic Heisenberg couplings $J$ between the impurities and the conduction band, the Kondo effect is absent and the correlation function only decays for distances beyond a certain length scale introduced by finite temperature. The real-time dynamics after a sudden quench of the system reveals that correlations propagate through the conduction band with Fermi velocity. We identify two distinct timescales for the long time behavior which reflects that for small $J$ the system is driven by the RKKY interaction while for large $J$ the Kondo effect dominates. Interestingly, we find that at certain distances a one-dimensional dispersion obeying $\epsilon(k)=\epsilon(-k)$ may lead to a local parity conservation of the impurities such that $\langle \vec{S}_1\vec{S}_2 \rangle$ becomes a conserved quantity for long times and does not decay to its equilibrium value.


title: Proceedings Sixth Workshop on Trends in Functional Programming in Education

abstract: The Sixth International Workshops on Trends in Functional Programming in Education, TFPIE 2017, was held on 22 June 2017 at the University of Kent, in Canterbury, UK, and was co-located with TFP, the Symposium on Trends in Functional Programming. The goal of TFPIE is to gather researchers, professors, teachers, and all professionals interested in functional programming in education. This includes the teaching of functional programming, but also the application of functional programming as a tool for teaching other topics and disciplines. A particular topic of this year's TFPIE was that of MOOCs and other online learning and, as well as a session on this, we were delighted to welcome Heather Miller of EFPL and Northeastern University to give a keynote on this topic entitled "Functional Programming for All! Scaling a MOOC for Students and Professionals Alike". Heather works on and around the Scala programming language and is Executive Director of the Scala Center.


title: The Heisenberg Plane

abstract: The geometry of the Heisenberg group acting on the plane arises naturally in geometric topology as a degeneration of the familiar spaces $\mathbb{S}^2,\mathbb{H}^2$ and $\mathbb{E}^2$ via conjugacy limit as defined by Cooper, Danciger, and Wienhard. This paper considers the deformation and regeneration of Heisenberg structures on orbifolds, adding a carefully worked low-dimensional example to the existing literature on geometric transitions. In particular, the closed orbifolds admitting Heisenberg structures are classified, and their deformation spaces are computed. Considering the regeneration problem, which Heisenberg tori arise as rescaled limits of collapsing paths of constant curvature cone tori is completely determined in the case of a single cone point


title: Subcritical laminar-turbulence transition with wide domains in simple two-dimensional Navier-Stokes flow without walls

abstract: We have confirmed numerically that a subcritical laminar-turbulence transition that belongs to directed percolation (DP) universality class occurs in a purely two-dimensional (2D) simple Navier-Stokes (NS) flow without any walls. The flow is called (extended) Kolmogorov flow which is governed by 2D NS equation in a doubly periodic box with a linear drag and a finite flow rate in the direction in which Galilean invariance is broken. We examine the mechanism of DP class transition focusing on the role of the additional control parameters: the drag coefficient and the flow rate. The drag kills coherent active structures of the system size. The flow rate interferes the growth of weak disturbances. These two effects control two essential and intrinsic elements of an absorbing state phase transition, i.e., the existence of an absorbing state and the locality of active dynamical structures. We also discuss what physically corresponds to the additional parameters in general flow.


title: PALM: An Incremental Construction of Hyperplanes for Data Stream Regression

abstract: Data stream has been the underlying challenge in the age of big data because it calls for real-time data processing with the absence of a retraining process and/or an iterative learning approach. In realm of fuzzy system community, data stream is handled by algorithmic development of self-adaptive neurofuzzy systems (SANFS) characterized by the single-pass learning mode and the open structure property which enables effective handling of fast and rapidly changing natures of data streams. The underlying bottleneck of SANFSs lies in its design principle which involves a high number of free parameters (rule premise and rule consequent) to be adapted in the training process. This figure can even double in the case of type-2 fuzzy system. In this work, a novel SANFS, namely parsimonious learning machine (PALM), is proposed. PALM features utilization of a new type of fuzzy rule based on the concept of hyperplane clustering which significantly reduces the number of network parameters because it has no rule premise parameters. PALM is proposed in both type-1 and type-2 fuzzy systems where all of which characterize a fully dynamic rule-based system. That is, it is capable of automatically generating, merging and tuning the hyperplane-based fuzzy rule in the single pass manner. Moreover, an extension of PALM, namely recurrent PALM (rPALM), is proposed and adopts the concept of teacher-forcing mechanism in the deep learning literature. The efficacy of PALM has been evaluated through numerical study with six real-world and synthetic data streams from public database and our own real-world project of autonomous vehicles. The proposed model showcases significant improvements in terms of computational complexity and number of required parameters against several renowned SANFSs, while attaining comparable and often better predictive accuracy.


title: Breaking the fundamental energy dissipation limit in ferroelectric-dielectric capacitors

abstract: Half of the energy is always lost when charging a capacitor. Even in the limit of vanishing resistance, half of the charging energy is still lost--to radiation instead of heat. While this fraction can technically be reduced by charging adiabatically, it otherwise places a fundamental limit on the charging efficiency of a capacitor. Here we show that this 1/2 limit can be broken by coupling a ferroelectric to the capacitor dielectric. Maxwell's equations are solved for the coupled system to analyze energy flow from the perspective of Poynting's theorem and show that (1) total energy dissipation is reduced below the fundamental limit during charging and discharging; (2) energy is saved by "recycling" the energy already stored in the ferroelectric phase transition; and (3) this phase transition energy is directly transferred between the ferroelectric and dielectric during charging and discharging. These results demystify recent works on low energy negative capacitance devices as well as lay the foundation for improving fundamental energy efficiency in all devices that rely on energy storage in electric fields.


title: Laplace's equation on n-dimensional singular manifolds

abstract: We show that the Sobolev embedding is compact on punctured manifolds with conical singularities. On the other hand, we find the Sobolev inequality does not hold on punctured manifolds with Poincar\'{e} like metric, on which one has Poincar\'{e} inequality. Applying the results to the Laplace's equation on the singular manifolds, we obtain the existences of the solution in both cases. In conical singularity case, we prove further that the solution can be extended to the singular points and it is H\"{o}lder continuous. However, the solution can not be continuously extended to the singular points in Poincar\'{e} like metric case. Moreover, on singular manifolds with conical singularities, we obtain the existence and regularity result of nontrivial nonnegative solutions for the semilinear elliptic equation with subcritical exponent.


title: Descartes' rule of signs, Rolle's theorem and sequences of admissible pairs

abstract: Given a real univariate degree $d$ polynomial $P$, the numbers $pos_k$ and $neg_k$ of positive and negative roots of $P^{(k)}$, $k=0$, $\ldots$, $d-1$, must be admissible, i.e. they must satisfy certain inequalities resulting from Rolle's theorem and from Descartes' rule of signs. For $1\leq d\leq 5$, we give the answer to the question for which admissible $d$-tuples of pairs $(pos_k$, $neg_k)$ there exist polynomials $P$ with all nonvanishing coefficients such that for $k=0$, $\ldots$, $d-1$, $P^{(k)}$ has exactly $pos_k$ positive and $neg_k$ negative roots all of which are simple.


title: Stingray Detection of Aerial Images Using Augmented Training Images Generated by A Conditional Generative Model

abstract: In this paper, we present an object detection method that tackles the stingray detection problem based on aerial images. In this problem, the images are aerially captured on a sea-surface area by using an Unmanned Aerial Vehicle (UAV), and the stingrays swimming under (but close to) the sea surface are the target we want to detect and locate. To this end, we use a deep object detection method, faster RCNN, to train a stingray detector based on a limited training set of images. To boost the performance, we develop a new generative approach, conditional GLO, to increase the training samples of stingray, which is an extension of the Generative Latent Optimization (GLO) approach. Unlike traditional data augmentation methods that generate new data only for image classification, our proposed method that mixes foreground and background together can generate new data for an object detection task, and thus improve the training efficacy of a CNN detector. Experimental results show that satisfiable performance can be obtained by using our approach on stingray detection in aerial images.


title: OpSets: Sequential Specifications for Replicated Datatypes (Extended Version)

abstract: We introduce OpSets, an executable framework for specifying and reasoning about the semantics of replicated datatypes that provide eventual consistency in a distributed system, and for mechanically verifying algorithms that implement these datatypes. Our approach is simple but expressive, allowing us to succinctly specify a variety of abstract datatypes, including maps, sets, lists, text, graphs, trees, and registers. Our datatypes are also composable, enabling the construction of complex data structures. To demonstrate the utility of OpSets for analysing replication algorithms, we highlight an important correctness property for collaborative text editing that has traditionally been overlooked; algorithms that do not satisfy this property can exhibit awkward interleaving of text. We use OpSets to specify this correctness property and prove that although one existing replication algorithm satisfies this property, several other published algorithms do not. We also show how OpSets can be used to develop new replicated datatypes: we provide a simple specification of an atomic move operation for trees, an operation that had previously been thought to be impossible to implement without locking. We use the Isabelle/HOL proof assistant to formalise the OpSets approach and produce mechanised proofs of correctness of the main claims in this paper, thereby eliminating the ambiguity of previous informal approaches, and ruling out reasoning errors that could occur in handwritten proofs.


title: State Gradients for RNN Memory Analysis

abstract: We present a framework for analyzing what the state in RNNs remembers from its input embeddings. Our approach is inspired by backpropagation, in the sense that we compute the gradients of the states with respect to the input embeddings. The gradient matrix is decomposed with Singular Value Decomposition to analyze which directions in the embedding space are best transferred to the hidden state space, characterized by the largest singular values. We apply our approach to LSTM language models and investigate to what extent and for how long certain classes of words are remembered on average for a certain corpus. Additionally, the extent to which a specific property or relationship is remembered by the RNN can be tracked by comparing a vector characterizing that property with the direction(s) in embedding space that are best preserved in hidden state space.


title: Scripting Relational Database Engine Using Transducer

abstract: We allow database user to script a parallel relational database engine with a procedural language. Procedural language code is executed as a user defined relational query operator called transducer. Transducer is tightly integrated with relation engine, including query optimizer, query executor and can be executed in parallel like other query operators. With transducer, we can efficiently execute queries that are very difficult to express in SQL. As example, we show how to run time series and graph queries, etc, within a parallel relational database.


title: FCFS Parallel Service Systems and Matching Models

abstract: We consider three parallel service models in which customers of several types are served by several types of servers subject to a bipartite compatibility graph, and the service policy is first come first served. Two of the models have a fixed set of servers. The first is a queueing model in which arriving customers are assigned to the longest idling compatible server if available, or else queue up in a single queue, and servers that become available pick the longest waiting compatible customer, as studied by Adan and Weiss, 2014. The second is a redundancy service model where arriving customers split into copies that queue up at all the compatible servers, and are served in each queue on FCFS basis, and leave the system when the first copy completes service, as studied by Gardner et al., 2016. The third model is a matching queueing model with a random stream of arriving servers. Arriving customers queue in a single queue and arriving servers match with the first compatible customer and leave immediately with the customer, or they leave without a customer. The last model is relevant to organ transplants, to housing assignments, to adoptions and many other situations. We study the relations between these models, and show that they are closely related to the FCFS infinite bipartite matching model, in which two infinite sequences of customers and servers of several types are matched FCFS according to a bipartite compatibility graph, as studied by Adan et al., 2017. We also introduce a directed bipartite matching model in which we embed the queueing systems. This leads to a generalization of Burke's theorem to parallel service systems.


title: Commutative post-Lie algebra structures on Kac--Moody algebras

abstract: We determine commutative post-Lie algebra structures on some infinite-dimensional Lie algebras. We show that all commutative post-Lie algebra structures on loop algebras are trivial. This extends the results for finite-dimensional perfect Lie algebras. Furthermore we show that all commutative post-Lie algebra structures on affine Kac--Moody Lie algebras are "almost trivial".


title: Standalone and Non-Standalone Beam Management for 3GPP NR at mmWaves

abstract: The next generation of cellular networks will exploit mmWave frequencies to dramatically increase the network capacity. The communication at such high frequencies, however, requires directionality to compensate the increase in propagation loss. Users and base stations need to align their beams during both initial access and data transmissions, to ensure the maximum gain is reached. The accuracy of the beam selection, and the delay in updating the beam pair or performing initial access, impact the end-to-end performance and the quality of service. In this paper we will present the beam management procedures that 3GPP has included in the NR specifications, focusing on the different operations that can be performed in Standalone (SA) and in Non-Standalone (NSA) deployments. We will also provide a performance comparison among different schemes, along with design insights on the most important parameters related to beam management frameworks.


title: Supergravity, $\alpha$-attractors and primordial non-Gaussianity

abstract: We compute in detail how deviations from Einstein gravity at the inflation energy scale could appear as non-Gaussian features in the sky. To illustrate this we use multi-field $\alpha-$attractor models in the framework of supergravity to realise inflation. We find no obvious obstacle for having choices of model's parameters that generate non-Gaussian features of the equilateral and local type at the $\cal O$(1) level in the $f_{\rm NL}$ non-Gaussianity parameter, thus being potentially detectable in future cosmological surveys. This non-Gaussianity has its origin in either the non-canonical kinetic term (which, in turn, is an immediate consequence of assuming an hyperbolic geometry of the moduli space), the interactions of the fields in the potential or the $\alpha-$parameter, or a combination of these three. This opens up the exciting possibility of constraining the law of gravity at energy scales close to the Planck one.


title: Neural Open Information Extraction

abstract: Conventional Open Information Extraction (Open IE) systems are usually built on hand-crafted patterns from other NLP tools such as syntactic parsing, yet they face problems of error propagation. In this paper, we propose a neural Open IE approach with an encoder-decoder framework. Distinct from existing methods, the neural Open IE approach learns highly confident arguments and relation tuples bootstrapped from a state-of-the-art Open IE system. An empirical study on a large benchmark dataset shows that the neural Open IE system significantly outperforms several baselines, while maintaining comparable computational efficiency.


title: Performance Study of LTE and mmWave in Vehicle-to-Network Communications

abstract: A key enabler for the emerging autonomous and cooperative driving services is high-throughput and reliable Vehicle-to-Network (V2N) communication. In this respect, the millimeter wave (mmWave) frequencies hold great promises because of the large available bandwidth which may provide the required link capacity. However, this potential is hindered by the challenging propagation characteristics of high-frequency channels and the dynamic topology of the vehicular scenarios, which affect the reliability of the connection. Moreover, mmWave transmissions typically leverage beamforming gain to compensate for the increased path loss experienced at high frequencies. This, however, requires fine alignment of the transmitting and receiving beams, which may be difficult in vehicular scenarios. Those limitations may undermine the performance of V2N communications and pose new challenges for proper vehicular communication design. In this paper, we study by simulation the practical feasibility of some mmWave-aware strategies to support V2N, in comparison to the traditional LTE connectivity below 6 GHz. The results show that the orchestration among different radios represents a viable solution to enable both high-capacity and robust V2N communications.


title: An $O(N)$ Sorting Algorithm: Machine Learning Sort

abstract: We propose an $O(N\cdot M)$ sorting algorithm by Machine Learning method, which shows a huge potential sorting big data. This sorting algorithm can be applied to parallel sorting and is suitable for GPU or TPU acceleration. Furthermore, we discuss the application of this algorithm to sparse hash table.


title: Typicality at quantum-critical points

abstract: We discuss the concept of typicality of quantum states at quantum-critical points, using projector Monte Carlo simulations of an $S=1/2$ bilayer Heisenberg antiferromagnet as an illustration. With the projection (imaginary) time $\tau$ scaled as $\tau =aL^z$, $L$ being the system length and $z$ the dynamic critical exponent (which takes the value $z=1$ in the bilayer model studied here), a critical point can be identified which asymptotically flows to the correct location and universality class with increasing $L$, independently of the prefactor $a$ and the initial state. Varying the proportionality factor $a$ and the initial state only changes the cross-over behavior into the asymptotic large-$L$ behavior. In some cases, choosing an optimal factor $a$ may also lead to the vanishing of the leading finite-size corrections. The observation of typicality can be used to speed up simulations of quantum criticality, not only within the Monte Carlo approach but also with other numerical methods where imaginary-time evolution is employed, e.g., tensor network states, as it is not necessary to evolve fully to the ground state but only for sufficiently long times to reach the typicality regime.


title: Measuring heterogeneity in urban expansion via spatial entropy

abstract: The lack of efficiency in urban diffusion is a debated issue, important for biologists, urban specialists, planners and statisticians, both in developed and new developing countries. Many approaches have been considered to measure urban sprawl, i.e. chaotic urban expansion; such idea of chaos is here linked to the concept of entropy. Entropy, firstly introduced in information theory, rapidly became a standard tool in ecology, biology and geography to measure the degree of heterogeneity among observations; in these contexts, entropy measures should include spatial information. The aim of this paper is to employ a rigorous spatial entropy based approach to measure urban sprawl associated to the diffusion of metropolitan cities. In order to assess the performance of the considered measures, a comparative study is run over alternative urban scenarios; afterwards, measures are used to quantify the degree of disorder in the urban expansion of three cities in Europe. Results are easily interpretable and can be used both as an absolute measure of urban sprawl and for comparison over space and time.


title: Local well-posedness of the complex Ginzburg-Landau equation in bounded domains

abstract: In this paper, we are concerned with the local well-posedness of the initial-boundary value problem for complex Ginzburg-Landau (CGL) equations in bounded domains. There are many studies for the case where the real part of its nonlinear term plays as dissipation. This dissipative case is intensively studied and it is shown that (CGL) admits a global solution when parameters appearing in (CGL) belong to the so-called CGL-region. This paper deals with the non-dissipative case. We regard (CGL) as a parabolic equation perturbed by monotone and non-monotone perturbations and follows the basic strategy developed in \^Otani (1982) to show the local well-posedness of (CGL) and the existence of small global solutions provided that the nonlinearity is Sobolev subcritical.


title: Leveraging Grammar and Reinforcement Learning for Neural Program Synthesis

abstract: Program synthesis is the task of automatically generating a program consistent with a specification. Recent years have seen proposal of a number of neural approaches for program synthesis, many of which adopt a sequence generation paradigm similar to neural machine translation, in which sequence-to-sequence models are trained to maximize the likelihood of known reference programs. While achieving impressive results, this strategy has two key limitations. First, it ignores Program Aliasing: the fact that many different programs may satisfy a given specification (especially with incomplete specifications such as a few input-output examples). By maximizing the likelihood of only a single reference program, it penalizes many semantically correct programs, which can adversely affect the synthesizer performance. Second, this strategy overlooks the fact that programs have a strict syntax that can be efficiently checked. To address the first limitation, we perform reinforcement learning on top of a supervised model with an objective that explicitly maximizes the likelihood of generating semantically correct programs. For addressing the second limitation, we introduce a training procedure that directly maximizes the probability of generating syntactically correct programs that fulfill the specification. We show that our contributions lead to improved accuracy of the models, especially in cases where the training data is limited.


title: The risk of sub-optimal use of Open Source NLP Software: UKB is inadvertently state-of-the-art in knowledge-based WSD

abstract: UKB is an open source collection of programs for performing, among other tasks, knowledge-based Word Sense Disambiguation (WSD). Since it was released in 2009 it has been often used out-of-the-box in sub-optimal settings. We show that nine years later it is the state-of-the-art on knowledge-based WSD. This case shows the pitfalls of releasing open source NLP software without optimal default settings and precise instructions for reproducibility.


title: Field Trial of Alien Wavelengths on GARR Optical Network

abstract: GARR optical network is composed of two separate optical network domains at the national level. With the aim to integrate them we implemented alien wavelengths to deliver high-performance services improving the overall network efficiency. This paper describes the path followed to deploy the alien wavelengths in the GARR operational infrastructure from the planning phase to the production network.


title: An implicit sweeping process approach to quasistatic evolution variational inequalities

abstract: In this paper, we study a new variant of Moreau's sweeping process with velocity constraint. Based on an adapted version of Moreau's catching-up algorithm, we show the well-posedness (in the sense existence and uniqueness) of this problem in a general framework. We show the equivalence between this implicit sweeping process and a quasistatic evolution variational inequality. It is well known that the variational formulations of many mechanical problems with unilateral contact and friction lead to an evolution variational inequality. As an application, we reformulate the quasistatic antiplane frictional contact problem for linear elastic materials with short memory as an implicit sweeping process with velocity constraint. The link between the implicit sweeping process and the quasistatic evolution variational inequality is possible thanks to some standard tools from convex analysis and is new in the literature.


title: Discovery of Two-Dimensional Multiferroicity in van der Waals CuCrP2S6 Layers

abstract: Multiferroic materials are potential to be applied in novel magnetoelectric devices, for example, high-density non-volatile storage. Last decades, research on multiferroic materials was focused on three-dimensional (3D) materials. However, 3D materials suffer from the dangling bonds and quantum tunneling in the nano-scale thin films. Two-dimensional (2D) materials might provide an elegant solution to these problems, and thus are highly on demand. Using first-principles calculations, we predict ferromagnetism and driven ferroelectricity in the monolayer and even a few-layers of CuCrP2S6. Although the total energy of the ferroelectric phase of monolayer is higher than that of the antiferroelectric phase, the ferroelectric phases can be realized by applying a large electric field. Besides the degrees of freedoms in the common multiferroic materials, the valley degree of freedom is also polarized according to our calculations. The spins, electric dipoles and valleys are coupled with each other as shown in the computational results. In experiment, we observe the out-of-plane ferroelectricity in a few-layer CuCrP2S6 (approximately 13 nm thick) at room temperature. 2D ferromagnetism of few-layers is inferred from magnetic hysteresis loops of the massively stacked nanosheets at 10 K. The experimental observations support our calculation very well. Our findings may provide a series of 2D materials for further device applications.