title: A Connectedness Constraint for Learning Sparse Graphs

abstract: Graphs are naturally sparse objects that are used to study many problems involving networks, for example, distributed learning and graph signal processing. In some cases, the graph is not given, but must be learned from the problem and available data. Often it is desirable to learn sparse graphs. However, making a graph highly sparse can split the graph into several disconnected components, leading to several separate networks. The main difficulty is that connectedness is often treated as a combinatorial property, making it hard to enforce in e.g. convex optimization problems. In this article, we show how connectedness of undirected graphs can be formulated as an analytical property and can be enforced as a convex constraint. We especially show how the constraint relates to the distributed consensus problem and graph Laplacian learning. Using simulated and real data, we perform experiments to learn sparse and connected graphs from data.


title: Deep Convolutional Neural Networks for Raman Spectrum Recognition: A Unified Solution

abstract: Machine learning methods have found many applications in Raman spectroscopy, especially for the identification of chemical species. However, almost all of these methods require non-trivial preprocessing such as baseline correction and/or PCA as an essential step. Here we describe our unified solution for the identification of chemical species in which a convolutional neural network is trained to automatically identify substances according to their Raman spectrum without the need of ad-hoc preprocessing steps. We evaluated our approach using the RRUFF spectral database, comprising mineral sample data. Superior classification performance is demonstrated compared with other frequently used machine learning algorithms including the popular support vector machine.


title: Understanding the detectability of potential changes to the 100-year peak storm surge

abstract: In many coastal communities, the risks driven by storm surges are motivating substantial investments in flood risk management. The design of adaptive risk management strategies, however, hinges on the ability to detect future changes in storm surge statistics. Previous studies have used observations to identify changes in past storm surge statistics. Here, we focus on the simple and decision-relevant question: How fast can we learn from past and potential future storm surge observations about changes in future statistics? Using Observing System Simulation Experiments, we quantify the time required to detect changes in the probability of extreme storm surge events. We estimate low probabilities of detection when substantial but gradual changes to the 100-year storm surge occur. As a result, policy makers may underestimate considerable increases in storm surge risk over the typically long lifespans of major infrastructure projects.


title: Coulomb-type interaction under Lorentz symmetry breaking effects

abstract: Based on models of confinement of quarks, we analyse a relativistic scalar particle subject to a scalar potential proportional to the inverse of the radial distance and under the effects of the violation of the Lorentz symmetry. We show that the effects of the Lorentz symmetry breaking can induced a harmonic-type potential. Then, we solve the Klein-Gordon equation analytically and discuss the influence of the background of the violation of the Lorentz symmetry on the relativistic energy levels.


title: Unsupervised Terminological Ontology Learning based on Hierarchical Topic Modeling

abstract: In this paper, we present hierarchical relationbased latent Dirichlet allocation (hrLDA), a data-driven hierarchical topic model for extracting terminological ontologies from a large number of heterogeneous documents. In contrast to traditional topic models, hrLDA relies on noun phrases instead of unigrams, considers syntax and document structures, and enriches topic hierarchies with topic relations. Through a series of experiments, we demonstrate the superiority of hrLDA over existing topic models, especially for building hierarchies. Furthermore, we illustrate the robustness of hrLDA in the settings of noisy data sets, which are likely to occur in many practical scenarios. Our ontology evaluation results show that ontologies extracted from hrLDA are very competitive with the ontologies created by domain experts.


title: Polymorphism in elemental silicon: Probabilistic interpretation of the realizability of metastable structures

abstract: With few systems of technological interest having been studied as extensively as elemental silicon, there currently exists a wide disparity between the number of predicted low-energy silicon polymorphs and those, which have been experimentally realized as metastable at ambient conditions. We put forward an explanation for this disparity wherein the likelihood of formation of a given polymorph under near-equilibrium conditions can be estimated on the basis of mean field isothermal-isobaric (N, p, T) ensemble statistics. The probability that a polymorph will be experimentally realized is shown to depend upon both the hypervolume of that structure's potential energy basin of attraction and a Boltzmann factor weight containing the polymorph's potential enthalpy per particle. Both attributes are calculated using density functional theory relaxations of randomly generated initial structures. We find that the metastable polymorphism displayed by silicon can be accounted for using this framework to the exclusion of a very large number of other low-energy structures.


title: Reference state for arbitrary U-consistent subspace

abstract: The reduced dynamics of the system $S$, interacting with the environment $E$, is not given by a linear map, in general. However, if it is given by a linear map, then this map is also Hermitian. In order that the reduced dynamics of the system is given by a linear Hermitian map, there must be some restrictions on the set of possible initial states of the system-environment or on the possible unitary evolutions of the whole $SE$. In this paper, adding an ancillary reference space $R$, we assign to each convex set of possible initial states of the system-environment $\mathcal{S}$, for which the reduced dynamics is Hermitian, a tripartite state $\omega_{RSE}$, which we call it the reference state, such that the set $\mathcal{S}$ is given as the steered states from the reference state $\omega_{RSE}$,. The set of possible initial states of the system is also given as the steered set from a bipartite reference state $\omega_{RS}$. The relation between these two reference states is as $\omega_{RSE}=id_{R}\otimes \Lambda_{S}(\omega_{RS})$, where $id_{R}$ is the identity map on $R$ and $\Lambda_{S}$ is a Hermitian assignment map, from $S$ to $SE$. As an important consequence of introducing the reference state $\omega_{RSE}$, we generalize the result of [F. Buscemi, Phys. Rev. Lett. 113, 140502 (2014)]: We show that, for a $U$-consistent subspace, the reduced dynamics of the system is completely positive, for arbitrary unitary evolution of the whole system-environment $U$, if and only if the reference state $\omega_{RSE}$ is a Markov state. In addition, we show that the evolution of the set of system-environment (system) states is determined by the evolution of the reference state $\omega_{RSE}$ ($\omega_{RS}$).


title: Tail approximations for sums of dependent regularly varying random variables under Archimedean copula models

abstract: In this paper, we compare two numerical methods for approximating the probability that the sum of dependent regularly varying random variables exceeds a high threshold under Archimedean copula models. The first method is based on conditional Monte Carlo. We present four estimators and show that most of them have bounded relative errors. The second method is based on analytical expressions of the multivariate survival or cumulative distribution functions of the regularly varying random variables and provides sharp and deterministic bounds of the probability of exceedance. We discuss implementation issues and illustrate the accuracy of both procedures through numerical studies.


title: At a Crossroads: Stellar Streams in the South Galactic Cap

abstract: We examine the distribution of old, metal-poor stars in a portion of the recently released PanSTARRs survey. We find an interesting confluence of four new cold stellar stream candidates that appear to converge on or pass near the south Galactic pole. The stream candidates, which we designate Murrumbidgee, Molonglo, Orinoco, and Kwando, lie at a distance of approximately 20 kpc and range in length from 13 to 95 degrees, or about 5 to 33 kpc. The stream candidates are between 100 and 300 pc in width, and are estimated to contain between 3000 and 8000 stars each, suggesting progenitors similar to modern day globular clusters. The trajectories of the streams imply orbits that range from hyperbolic to nearly circular. The Molonglo stream is nearly parallel to, at the same distance as, and offset by only 2.5 degrees from the previously discovered ATLAS stream, suggesting a possible common origin. Orinoco and Kwando also have similarly shaped, moderately eccentric, obliquely viewed orbits that suggest distinct progenitors within a common, larger parent body.


title: Uniformly Efficient Simulation for Extremes of Gaussian Random Fields

abstract: This paper considers the problem of simultaneously estimating rare-event probabilities for a class of Gaussian random fields. A conventional rare-event simulation method is usually tailored to a specific rare event and consequently would lose estimation efficiency for different events of interest, which often results in additional computational cost in such simultaneous estimation problem. To overcome this issue, we propose a uniformly efficient estimator for a general family of H\"older continuous Gaussian random fields. We establish the asymptotic and uniform efficiency of the proposed method and also conduct simulation studies to illustrate its effectiveness.


title: Pseudo spectral collocation with Maxwell polynomials for kinetic equations with energy diffusion

abstract: We study the approximation and stability properties of a recently popularized discretization strategy for the speed variable in kinetic equations, based on pseudo spectral collocation on a grid defined by the zeros of a non-standard family of orthogonal polynomials called Maxwell polynomials. Taking a one-dimensional equation describing energy diffusion due to Fokker-Planck collisions with a Maxwell-Boltzmann background distribution as the test bench for the performance of the scheme, we find that Maxwell based discretizations outperform other commonly used schemes in most situations, often by orders of magnitude. This provides a strong motivation for their use in high-dimensional gyrokinetic simulations. However, we also show that Maxwell based schemes are subject to a non-modal time stepping instability in their most straightforward implementation, so that special care must be given to the discrete representation of the linear operators in order to benefit from the advantages provided by Maxwell polynomials.


title: Plausibility and probability in deductive reasoning

abstract: We consider the problem of rational uncertainty about unproven mathematical statements, remarked on by G\"odel and others. Using Bayesian-inspired arguments we build a normative model of fair bets under deductive uncertainty which draws from both probability and the theory of algorithms. We comment on connections to Zeilberger's notion of "semi-rigorous proofs", particularly that inherent subjectivity would be present. We also discuss a financial view with models of arbitrage where traders have limited computational resources.


title: Sectional curvature and Weitzenb\"ock formulae

abstract: We establish a new algebraic characterization of sectional curvature bounds $\sec\geq k$ and $\sec\leq k$ using only curvature terms in the Weitzenb\"ock formulae for symmetric $p$-tensors. By introducing a symmetric analogue of the Kulkarni-Nomizu product, we provide a simple formula for such curvature terms. We also give an application of the Bochner technique to closed $4$-manifolds with indefinite intersection form and $\sec>0$ or $\sec\geq0$, obtaining new insights into the Hopf Conjecture, without any symmetry assumptions.


title: Fault Estimation Filter Design with Guaranteed Stability Using Markov Parameters

abstract: For additive actuator and sensor faults, we propose a systematic method to design a state-space fault estimation filter directly from Markov parameters identified from fault-free data. We address this problem by parameterizing a system-inversion-based fault estimation filter with the identified Markov parameters. Even without building an explicit state-space plant model, our novel approach still allows the filter gain design for stabilization and suboptimal $\mathcal{H}_2$ performance. This design freedom cannot be achieved by other existing data-driven fault estimation filter designs so far. Another benefit of our proposed design is the convenience of determining the state order: a higher state order of the filter leads to better estimation performance, at the cost of heavier computational burden. In contrast, order determination is cumbersome when using an identified state-space plant model for the filter design, because of the complicated propagation of the model mismatch into the fault estimation errors. Simulations using an unstable aircraft system illustrate the effectiveness of the proposed new method.


title: GASP IV: A muse view of extreme ram-pressure stripping in the plane of the sky: the case of jellyfish galaxy JO204

abstract: In the context of the GAs Stripping Phenomena in galaxies with Muse (GASP) survey, we present the characterization of JO204, a jellyfish galaxy in A957, a relatively low-mass cluster with $M=4.4 \times10^{14}M_\odot$. This galaxy shows a tail of ionized gas that extends up to 30 kpc from the main body in the opposite direction of the cluster center. No gas emission is detected in the galaxy outer disk, suggesting that gas stripping is proceeding outside-in. The stellar component is distributed as a regular disk galaxy; the stellar kinematics shows a symmetric rotation curve with a maximum radial velocity of 200km/s out to 20 kpc from the galaxy center. The radial velocity of the gas component in the central part of the disk follows the distribution of the stellar component; the gas kinematics in the tail retains the rotation of the galaxy disk, indicating that JO204 is moving at high speed in the intracluster medium. Both the emission and radial velocity maps of the gas and stellar components indicate ram-pressure as the most likely primary mechanism for gas stripping, as expected given that JO204 is close to the cluster center and it is likely at the first infall in the cluster. The spatially resolved star formation history of JO204 provides evidence that the onset of ram-pressure stripping occurred in the last 500 Myr, quenching the star formation activity in the outer disk, where the gas has been already completely stripped. Our conclusions are supported by a set of hydrodynamic simulations.


title: Ram pressure feeding super-massive black holes

abstract: When supermassive black holes at the center of galaxies accrete matter (usually gas), they give rise to highly energetic phenomena named Active Galactic Nuclei (AGN). A number of physical processes have been proposed to account for the funneling of gas towards the galaxy centers to feed the AGN. There are also several physical processes that can strip gas from a galaxy, and one of them is ram pressure stripping in galaxy clusters due to the hot and dense gas filling the space between galaxies. We report the discovery of a strong connection between severe ram pressure stripping and the presence of AGN activity. Searching in galaxy clusters at low redshift, we have selected the most extreme examples of jellyfish galaxies, which are galaxies with long tentacles of material extending for dozens of kpc beyond the galaxy disk. Using the MUSE spectrograph on the ESO Very Large Telescope, we find that 6 out of the 7 galaxies of this sample host a central AGN, and two of them also have galactic-scale AGN ionization cones. The high incidence of AGN among the most striking jellyfishes may be due to ram pressure causing gas to flow towards the center and triggering the AGN activity, or to an enhancement of the stripping caused by AGN energy injection, or both. Our analysis of the galaxy position and velocity relative to the cluster strongly supports the first hypothesis, and puts forward ram pressure as another, yet unforeseen, possible mechanism for feeding the central supermassive black hole with gas.


title: GASP VIII: Capturing the birth of a Tidal Dwarf Galaxy in a merging system at z~0.05

abstract: Within the GAs Stripping Phenomena in galaxies with MUSE (GASP) sample, we identified an ongoing 1:1 merger between two galaxies and the consequent formation of a tidal dwarf galaxy (TDG). The system is observed at z = 0.05043 and is part of a poor group. Exploiting the exquisite quality of the MUSE/VLT data, we present the spatially resolved kinematics and physical properties of gas and stars of this object and describe its evolutionary history. An old (luminosity weighted age ~2x10^9yr), gas poor, early-type-like galaxy is merging with a younger (luminosity weighted age ~2.5x10^8 yr), gas rich, late-type galaxy . The system has a quite strong metallicity gradient, indicative of an early-stage phase. Comparing the spatial extension of the star formation at different epochs, we date the beginning of the merger between ~10^7 yr<t<5.7x10^8 yr ago. The gas kinematic pattern reflects that of the late-type object and is distorted in correspondence to the location of the impact. The stellar kinematic instead is more chaotic, as expected for mergers. The gas redistribution in the system induces high levels of star formation between the two components, where we indeed detect the birth of the TDG. This stellar structure has a mass of ~6x10^9 M_sun, a radius of ~2 kpc and, even though it has already accreted large quantities of gas and stars, it is still located within the disk of the progenitor, is characterized by a high velocity dispersion, indicating that it is still forming, is dusty and has high levels of star formation SFR~0.3 M_sun/yr). This TDG is originated in an early-stage merger, while these structures usually form in more evolved systems.


title: Convolutional Sparse Coding with Overlapping Group Norms

abstract: The most widely used form of convolutional sparse coding uses an $\ell_1$ regularization term. While this approach has been successful in a variety of applications, a limitation of the $\ell_1$ penalty is that it is homogeneous across the spatial and filter index dimensions of the sparse representation array, so that sparsity cannot be separately controlled across these dimensions. The present paper considers the consequences of replacing the $\ell_1$ penalty with a mixed group norm, motivated by recent theoretical results for convolutional sparse representations. Algorithms are developed for solving the resulting problems, which are quite challenging, and the impact on the performance of the denoising problem is evaluated. The mixed group norms are found to perform very poorly in this application. While their performance is greatly improved by introducing a weighting strategy, such a strategy also improves the performance obtained from the much simpler and computationally cheaper $\ell_1$ norm.


title: Electron temperature and tunnel coupling dependence of zero-bias and almost-zero-bias conductance peaks in Majorana nanowires

abstract: A one-dimensional semiconductor nanowire proximitized by a nearby superconductor may become a topological superconductor hosting localized Majorana zero modes at the two wire ends in the presence of spin-orbit coupling and Zeeman spin splitting (arising from an external magnetic field). The hallmark of the presence of such Majorana zero modes is the appearance of a zero-temperature quantized zero-bias conductance peak in the tunneling spectroscopy of the Majorana nanowire. We theoretically study the temperature and the tunnel coupling dependence of the tunneling conductance in such nanowires to understand possible intrinsic deviations from the predicted conductance quantization. We find that the full temperature and the tunneling transmission dependence of the tunnel conductance does not obey any simple scaling relation, and estimating the zero-temperature conductance from finite-temperature and finite-tunnel-broadening tunneling data is difficult in general. A scaling relation, however, does hold at the extreme weak-tunneling low-temperature limit where the conductance depends only on the dimensionless ratio of the temperature and tunnel broadening. We also consider the tunneling contributions from nontopological Andreev bound states which may produce almost-zero-bias conductance peaks, which are not easy to distinguish from the Majorana-induced zero-bias peaks, finding that the nontopological almost-zero-modes associated with Andreev bound states manifest similar temperature and transmission dependence as the topological Majorana modes. We comment on the Zeeman splitting dependence of the zero-bias conductance peak for finite temperature and tunnel coupling.


title: Modelling Protagonist Goals and Desires in First-Person Narrative

abstract: Many genres of natural language text are narratively structured, a testament to our predilection for organizing our experiences as narratives. There is broad consensus that understanding a narrative requires identifying and tracking the goals and desires of the characters and their narrative outcomes. However, to date, there has been limited work on computational models for this problem. We introduce a new dataset, DesireDB, which includes gold-standard labels for identifying statements of desire, textual evidence for desire fulfillment, and annotations for whether the stated desire is fulfilled given the evidence in the narrative context. We report experiments on tracking desire fulfillment using different methods, and show that LSTM Skip-Thought model achieves F-measure of 0.7 on our corpus.


title: Generalizations of Maximal Inequalities to Arbitrary Selection Rules

abstract: We present a generalization of the maximal inequalities that upper bound the expectation of the maximum of $n$ jointly distributed random variables. We control the expectation of a randomly selected random variable from $n$ jointly distributed random variables, and present bounds that are at least as tight as the classical maximal inequalities, and much tighter when the distribution of selection index is near deterministic. A new family of information theoretic measures were introduced in the process, which may be of independent interest.


title: Balance of excitation and inhibition determines 1/f power spectrum in neuronal networks

abstract: The $1/f$-like decay observed in the power spectrum of electro-physiological signals, along with scale-free statistics of the so-called neuronal avalanches, constitute evidences of criticality in neuronal systems. Recent in vitro studies have shown that avalanche dynamics at criticality corresponds to some specific balance of excitation and inhibition, thus suggesting that this is a basic feature of the critical state of neuronal networks. In particular, a lack of inhibition significantly alters the temporal structure of the spontaneous avalanche activity and leads to an anomalous abundance of large avalanches. Here we study the relationship between network inhibition and the scaling exponent $\beta$ of the power spectral density (PSD) of avalanche activity in a neuronal network model inspired in Self-Organized Criticality (SOC). We find that this scaling exponent depends on the percentage of inhibitory synapses and tends to the value $\beta = 1$ for a percentage of about 30%. More specifically, $\beta$ is close to $2$, namely brownian noise, for purely excitatory networks and decreases towards values in the interval $[1,1.4]$ as the percentage of inhibitory synapses ranges between 20 and 30%, in agreement with experimental findings. These results indicate that the level of inhibition affects the frequency spectrum of resting brain activity and suggest the analysis of the PSD scaling behavior as a possible tool to study pathological conditions.


title: Lectures on the Theory of the Weak Interaction

abstract: I review aspects of the theory of the weak interaction in a set of lectures originally presented at the 2016 CERN-JINR European School of Particle Physics. The topics discussed are: (1) the experimental basis of the V-A structure of the weak interaction; (2) precision electroweak measurements at the Z resonance; (3) the Goldstone Boson Equivalence Theorem; (4) the Standard Model theory of the Higgs boson; (5) the future program of precision study of the Higgs boson.


title: Fast, Nonlinear Phase Estimation with the Non-Modulated Pyramid Wavefront Sensor at Low Strehl Ratio

abstract: Most adaptive optics (AO) systems using pyramid wavefront sensors (PyWFS) to estimate the phase of the pupil field use mechanical modulation of the beam in order to increase the dynamic range in low-order modes so the PyWFS can usefully operate at low Strehl ratio. The tradeoff for this approach is reduced sensitivity, which, in turn, makes it difficult to attain a high Strehl ratio once the loop has been closed. We propose an algorithm that increases the dynamic range of the PyWFS without modulation. The proposed algorithm achieves this in two ways: 1) it allows the PyWFS to be treated with any desired optical modeling algorithms, and 2) it employs Newton's method for nonlinear optimization to create an estimator that is more accurate than the corresponding linear estimator. Numerical simulations show that nonlinear optimization can make more accurate estimates of the phase of the wavefront than the corresponding linear estimator for Strehl ratios of the input beam that are greater than about 0.2. As the input Strehl ratio increases, so does the advantage of the nonlinear estimator over the linear one. For example, when the input beam had a Strehl ratio of 0.4 (corresponding to a standard deviation of the phase of about 0.96 radians), the linear estimator error had a standard deviation of about 0.65 radians, while the nonlinear estimator error had a standard deviation of about 0.27 radians (this depends only weakly on the noise level, assuming there is enough signal for the PyWFS to work in the linear regime). The new algorithm can be implemented in massively parallel modes, since the required calculations have almost no inter-dependencies. It is suggested that the required computations can be performed quickly enough for the purposes of AO on modern computer systems.


title: Morphological Segregation in the Surroundings of Cosmic Voids

abstract: We explore the morphology of galaxies living in the proximity of cosmic voids, using a sample of voids identified in the Sloan Digital Sky Survey Data Release 7. At all stellar masses, void galaxies exhibit morphologies of a later type than galaxies in a control sample, which represent galaxies in an average density environment. We interpret this trend as a pure environmental effect, independent of the mass bias, due to a slower galaxy build-up in the rarefied regions of voids. We confirm previous findings about a clear segregation in galaxy morphology, with galaxies of a later type being found at smaller void-centric distances with respect to the early-type galaxies. We also show, for the first time, that the radius of the void has an impact on the evolutionary history of the galaxies that live within it or in its surroundings. In fact, an enhanced fraction of late-type galaxies is found in the proximity of voids larger than the median void radius. Likewise, an excess of early-type galaxies is observed within or around voids of a smaller size. A significant difference in galaxy properties in voids of different sizes is observed up to 2 Rvoid, which we define as the region of influence of voids. The significance of this difference is greater than 3sigma for all the volume-complete samples considered here. The fraction of star-forming galaxies shows the same behavior as the late-type galaxies, but no significant difference in stellar mass is observed in the proximity of voids of different sizes.


title: An O(log log m)-competitive Algorithm for Online Machine Minimization

abstract: This paper considers the online machine minimization problem, a basic real time scheduling problem. The setting for this problem consists of n jobs that arrive over time, where each job has a deadline by which it must be completed. The goal is to design an online scheduler that feasibly schedules the jobs on a nearly minimal number of machines. An algorithm is c-machine optimal if the algorithm will feasibly schedule a collection of jobs on cm machines if there exists a feasible schedule on m machines. For over two decades the best known result was a O(log P)-machine optimal algorithm, where P is the ratio of the maximum to minimum job size. In a recent breakthrough, a O(log m)-machine optimal algorithm was given. In this paper, we exponentially improve on this recent result by giving a O(log log m)-machine optimal algorithm.


title: Groups with decidable word problem that do not embed in groups with decidable conjugacy problem

abstract: We show the existence of finitely presented torsion-free groups with decidable word problem that cannot be embedded in any finitely generated group with decidable conjugacy problem. This answers a well-known question of Collins from the early 1970's.


title: Lifting Lagrangian immersions in $\mathbb{C} P^{n-1}$ to Lagrangian cones in $\mathbb{C}^n$

abstract: In this paper we show how to lift Lagrangian immersions in $\mathbb{C} P^{n-1}$ to produce Lagrangian cones in $\mathbb{C} ^n$, and use this process to produce several families of examples of Lagrangian cones and special Lagrangian cones. Moreover we show how to produce Lagrangian cones, isotopic to the Harvey-Lawson and trivial cones, whose projections to $\mathbb{C} P^{n-1}$ are immersions with few transverse double points.


title: Out-of-plane Piezoelectricity and Ferroelectricity in Layered ${\alpha}$-In2Se3 Nano-flakes

abstract: Piezoelectric and ferroelectric properties in the two dimensional (2D) limit are highly desired for nanoelectronic, electromechanical, and optoelectronic applications. Here we report the first experimental evidence of out-of-plane piezoelectricity and ferroelectricity in van der Waals layered ${\alpha}$-In2Se3 nano-flakes. The non-centrosymmetric R3m symmetry of the ${\alpha}$-In2Se3 samples is confirmed by scanning transmission electron microscopy, second-harmonic generation, and Raman spectroscopy measurements. Domains with opposite polarizations are visualized by piezo-response force microscopy. Single-point poling experiments suggest that the polarization is potentially switchable for ${\alpha}$-In2Se3 nano-flakes with thicknesses down to ~ 10 nm. The piezotronic effect is demonstrated in two-terminal devices, where the Schottky barrier can be modulated by the strain-induced piezopotential. Our work on polar ${\alpha}$-In2Se3, one of the model 2D piezoelectrics and ferroelectrics with simple crystal structures, shows its great potential in electronic and photonic applications.


title: Top quark mass, spin and decay properties

abstract: I review recent results from the ATLAS and CMS collaborations on the measurements of the top quark mass, its spin and decay properties.


title: Investigation and Automating Extraction of Thumbnails Produced by Image viewers

abstract: Today, in digital forensics, images normally provide important information within an investigation. However, not all images may still be available within a forensic digital investigation as they were all deleted for example. Data carving can be used in this case to retrieve deleted images but the carving time is normally significant and these images can be moreover overwritten by other data. One of the solutions is to look at thumbnails of images that are no longer available. These thumbnails can often be found within databases created by either operating systems or image viewers. In literature, most research and practical focus on the extraction of thumbnails from databases created by the operating system. There is a little research working on the thumbnails created by the image reviewers as these thumbnails are application-driven in terms of pre-defined sizes, adjustments and storage location. Eventually, thumbnail databases from image viewers are significant forensic artefacts for investigators as these programs deal with large amounts of images. However, investigating these databases so far is still manual or semi-automatic task that leads to the huge amount of forensic time. Therefore, in this paper we propose a new approach of automating extraction of thumbnails produced by image viewers. We also test our approach with popular image viewers in different storage structures and locations to show its robustness.


title: On Kawai theorem for orbifold Riemann surfaces

abstract: We prove a generalization of Kawai theorem for the case of orbifold Riemann surface. The computation is based on a formula for the differential of a holomorphic map from the cotangent bundle of the Teichm\"uller space to the $\mathrm{PSL}(2,\mathbb{C})$-character variety, which allows to evaluate explicitly the pullback of Goldman symplectic form in the spirit of Riemann bilinear relations. As a corollary, we obtain a generalization of Goldman's theorem that the pullback of Goldman symplectic from on $\mathrm{PSL}(2,\mathbb{R})$-character variety is a symplectic form of the Weil-Petersson metric on the Teichm\"uller space.


title: Increasing digital investigator availability through efficient workflow management and automation

abstract: The growth of digital storage capacities and diversity devices has had a significant time impact on digital forensic laboratories in law enforcement. Backlogs have become commonplace and increasingly more time is spent in the acquisition and preparation steps of an investigation as opposed to detailed evidence analysis and reporting. There is generally little room for increasing digital investigation capacity in law enforcement digital forensic units and the allocated budgets for these units are often decreasing. In the context of developing an efficient investigation process, one of the key challenges amounts to how to achieve more with less. This paper proposes a workflow management automation framework for handling common digital forensic tools. The objective is to streamline the digital investigation workflow - enabling more efficient use of limited hardware and software. The proposed automation framework reduces the time digital forensic experts waste conducting time-consuming, though necessary, tasks. The evidence processing time is decreased through server-side automation resulting in 24/7 evidence preparation. The proposed framework increases efficiency of use of forensic software and hardware, reduces the infrastructure costs and license fees, and simplifies the preparation steps for the digital investigator. The proposed approach is evaluated in a real-world scenario to evaluate its robustness and highlight its benefits.


title: The Reach of the High-Energy LHC for Gluinos and Top Squarks in SUSY Models with Light Higgsinos

abstract: We examine the top squark (stop) and gluino reach of the proposed 33 TeV energy upgrade of the Large Hadron Collider (LHC33) in the Minimal Supersymmetric Standard Model (MSSM) with light higgsinos and relatively heavy electroweak gauginos. In our analysis, we assume that stops decay to higgsinos via ${\tilde t}_1 \to t {\tilde{Z}}_1$, $\tilde{t}_1 \to t\tilde{Z}_2$ and $\tilde{t}$$_1 \to b\tilde{W}_1$ with branching fractions in the ratio 1:1:2 (expected if the decay occurs dominantly via the superpotential Yukawa coupling) while gluinos decay via $\tilde{g}\to t\tilde{t}_1$ or via three-body decays to third generation quarks plus higgsinos. These decay patterns are motivated by models of natural supersymmetry where higgsinos are expected to be close in mass to $m_Z$, but gluinos may be as heavy as $5 - 6$ TeV and stops may have masses up to $\sim 3 $ TeV. We devise cuts to optimize the signals from stop and gluino pair production at LHC33. We find that experiments at LHC33 should be able to discover stops with $> 5\sigma$ significance if $m_{\tilde{t}_1} < 2.3 \ (2.8) \ [3.2]$ TeV for an integrated luminosity of 0.3 (1)[3] ab$^{-1}$. The corresponding reach for gluinos extends to 5 (5.5) [6] TeV. These results imply that experiments at LHC33 should be able to discover at least one of the stop or gluino pair signals even with an integrated luminosity of 0.3 ab$^{-1}$ for natural SUSY models with no worse than 3% electroweak fine-tuning, and quite likely both gluinos and stops for an integrated luminosity of 3 ab$^{-1}$.


title: Fused Segmentation of Geometric Models for Myocardium and Coronary Artery via Medial Axis

abstract: Coronary arteries and their branches supply blood to myocardium. The obstruction of coronary arteries results in significant loss of myocardium, called acute myocardial infarction, and the number one cause of death globally. Hence, quantification of the regional amount of heart muscle subtended by obstructed coronary arteries is of critical value in clinical medicine. However, the conventional methods are inaccurate and frequently disagree with clinical practices. This study proposes a novel algorithm to segment regional myocardium-at-risk subtended by any potentially obstructed coronary artery. Assuming the geometric triangular mesh models of coronary artery and myocardium derived from an individual cardiac computed tomography image, the proposed algorithm performs (i) computation of the medial axis of the coronary artery and (ii) segmentation of the coronary artery and myocardium using the medial axis. The algorithm provides the fused segmentation of coronary artery and myocardium via the medial axis. The computed result provides a robust mathematical linkage between myocardium-at-risk and supplying coronary arteries so that ischemic myocardial regions can be accurately identified, and both the extent and severity of myocardial ischemia can be quantified effectively and efficiently. Furthermore, the correspondence between segmented coronary artery and myocardium can be more importantly used for building optimization models of cardiac systems for various applications. We believe that the proposed algorithm and implemented VoroHeart program, which is freely available at http://voronoi.hanyang.ac.kr/software/voroheart, will be an invaluable tool for patient-specific risk predictions and the treatment of obstructed coronary artery disease in clinical medicine. The algorithmic accuracy and efficiency are theoretically asserted and experimentally verified.


title: Practical Attacks Against Graph-based Clustering

abstract: Graph modeling allows numerous security problems to be tackled in a general way, however, little work has been done to understand their ability to withstand adversarial attacks. We design and evaluate two novel graph attacks against a state-of-the-art network-level, graph-based detection system. Our work highlights areas in adversarial machine learning that have not yet been addressed, specifically: graph-based clustering techniques, and a global feature space where realistic attackers without perfect knowledge must be accounted for (by the defenders) in order to be practical. Even though less informed attackers can evade graph clustering with low cost, we show that some practical defenses are possible.


title: Bose-Einstein Condensates in Charged Black-Hole Spacetimes

abstract: We analyze Bose-Einstein condensates on three types of spherically symmetric and static charged black-hole spacetimes: The Reissner-Nordstr\"om spacetime, Hoffmann's Born-Infeld black-hole spacetime, and the regular Ay\'on-Beato-Garc\'ia spacetime. The Bose-Einstein condensate is modeled in terms of a massive scalar field that satisfies a Klein-Gordon equation with a self-interaction term. The scalar field is assumed to be uncharged and not self-gravitating. If the mass parameter of the scalar field is chosen sufficiently small, there are quasi-bound states of the scalar field that may be interpreted as dark matter clouds. We estimate the size and the total energy of such clouds around charged supermassive black holes and we investigate if their observable features can be used for discriminating between the different types of charged black holes.


title: POISED: Spotting Twitter Spam Off the Beaten Paths

abstract: Cybercriminals have found in online social networks a propitious medium to spread spam and malicious content. Existing techniques for detecting spam include predicting the trustworthiness of accounts and analyzing the content of these messages. However, advanced attackers can still successfully evade these defenses. Online social networks bring people who have personal connections or share common interests to form communities. In this paper, we first show that users within a networked community share some topics of interest. Moreover, content shared on these social network tend to propagate according to the interests of people. Dissemination paths may emerge where some communities post similar messages, based on the interests of those communities. Spam and other malicious content, on the other hand, follow different spreading patterns. In this paper, we follow this insight and present POISED, a system that leverages the differences in propagation between benign and malicious messages on social networks to identify spam and other unwanted content. We test our system on a dataset of 1.3M tweets collected from 64K users, and we show that our approach is effective in detecting malicious messages, reaching 91% precision and 93% recall. We also show that POISED's detection is more comprehensive than previous systems, by comparing it to three state-of-the-art spam detection systems that have been proposed by the research community in the past. POISED significantly outperforms each of these systems. Moreover, through simulations, we show how POISED is effective in the early detection of spam messages and how it is resilient against two well-known adversarial machine learning attacks.


title: Answering Spatial Multiple-Set Intersection Queries Using 2-3 Cuckoo Hash-Filters

abstract: We show how to answer spatial multiple-set intersection queries in O(n(log w)/w + kt) expected time, where n is the total size of the t sets involved in the query, w is the number of bits in a memory word, k is the output size, and c is any fixed constant. This improves the asymptotic performance over previous solutions and is based on an interesting data structure, known as 2-3 cuckoo hash-filters. Our results apply in the word-RAM model (or practical RAM model), which allows for constant-time bit-parallel operations, such as bitwise AND, OR, NOT, and MSB (most-significant 1-bit), as exist in modern CPUs and GPUs. Our solutions apply to any multiple-set intersection queries in spatial data sets that can be reduced to one-dimensional range queries, such as spatial join queries for one-dimensional points or sets of points stored along space-filling curves, which are used in GIS applications.


title: On degradation of Grover's search under collective phase flips in queries to the oracle

abstract: We address the case, when querying to the oracle in Grover's algorithm is exposed to noise including phase distortions. The oracle-box wires can be altered by an opposite party that tries to prevent correct receiving data from the oracle. This situation reflects an experienced truth that any access to prophetic knowledge cannot be common and direct. To study the problem, we introduce a simple model of collective phase distortions on the base of phase damping channel. In the model used, the success probability is not altered via the oracle-box wires {\it per se}. Phase distortions of the considered type can hardly be detected via any one-time query to the oracle. However, the success probability is significantly changed, when such errors are introduced as an intermediate step into the Grover iteration. We investigate the success probability with respect to variations the parameter that characterizes the amount of phase errors. It turns out that the success probability is decreased significantly even if the error amount is not very high. Moreover, this probability quickly reduces to the value of one half, which corresponds to the completely mixed state. We also study trade-off relations between quantum coherence and the success probability in the presence of noise of the considered type.


title: Ramsey Theory on Generalized Baire Space

abstract: We show that although the Galvin-Prikry Theorem does not hold on generalized Baire space with the standard topology, there are similar theorems which do hold on generalized Baire space with certain coarser topologies.


title: Coexisting surface states in the weak and crystalline topological insulator Bi_2TeI

abstract: The established diversity of electronic topology classes lends the opportunity to pair them into dual topological complexes. Bulk-surface correspondence then ensures the coexistence of a combination of boundary states that cannot be realized but only at the various surfaces of such a dual topological material. We show that the layered compound Bi_2TeI realizes a dual topological insulator. It exhibits band inversions at two time reversal symmetry points of the bulk band which classify it as a weak topological insulator with metallic states on its (010) 'side' surfaces. Additional mirror symmetry of the crystal structure concurrently classifies it as a topological crystalline insulator. Bi2TeI is therefore predicted to host a pair of Dirac cones protected by time reversal symmetry on its 'side' surfaces and three pairs of Dirac cones protected by mirror symmetry on its 'top' and 'bottom' (001) surfaces. We spectroscopically map the top cleaved surface of Bi_2TeI, and crystallographic step edges therein. We show the existence of both two dimensional surface states which are susceptible to mirror symmetry breaking, as well as one dimensional channels that reside along the step edges. Their mutual coexistence on the step edge where both facets join is facilitated by momentum and energy segregation. Our observations of a dual topological insulator make way to additional pairing of other dual topology classes with distinct surface manifestations coexisting at their boundaries.


title: Recent developments of the categorical Verlinde formula

abstract: I review recent developments of "non-semisimple" modular tensor categories in the sense of Lyubashenko and the categorical Verlinde formula for such categories (this is a proceedings article for Meeting for Study of Number theory, Hopf algebras and related topics held at University of Toyama, Japan, 12-15 February 2017).


title: Examples of non-finitely generated Cox rings

abstract: We bring examples of toric varieties blown up at a point in the torus that do not have finitely generated Cox rings. These examples are generalizations of previous work where toric surfaces of Picard number 1 were studied. In this article we consider toric varieties of higher Picard number and higher dimension. In particular, we bring examples of weighted projective 3-spaces blown up at a point that do not have finitely generated Cox rings.


title: From the Top Down and Back Up Again: Star Cluster Structure from Hierarchical Star Formation

abstract: Young massive star clusters spanning $\sim 10^4 - 10^8 M_\odot$ in mass have been observed to have similar surface brightness profiles. Recent hydrodynamical simulations of star cluster formation have also produced star clusters with this structure. We argue analytically that this type of mass distribution arises naturally in the relaxation from a hierarchically-clustered distribution of stars into a monolithic star cluster through hierarchical merging. We show that arbitrary initial profiles will tend to converge to a universal profile under hierarchical merging, owing to phase-space mixing obeying certain conservation constraints. We perform $N$-body simulations of a pairwise merger of model star clusters and find that mergers readily produce the shallow surface brightness profiles observed in young massive clusters. Finally, we simulate the relaxation of a hierarchically-clustered mass distribution constructed from an idealized fragmentation model. Assuming only power-law spatial and kinematic scaling relations, these numerical experiments are able to reproduce the surface density profiles of observed young massive star clusters. Thus we provide physical motivation for the structure of young massive clusters within the paradigm of hierarchical star formation. This has important implications for the structure of nascent globular clusters.


title: Block-Simultaneous Direction Method of Multipliers: A proximal primal-dual splitting algorithm for nonconvex problems with multiple constraints

abstract: We introduce a generalization of the linearized Alternating Direction Method of Multipliers to optimize a real-valued function $f$ of multiple arguments with potentially multiple constraints $g_\circ$ on each of them. The function $f$ may be nonconvex as long as it is convex in every argument, while the constraints $g_\circ$ need to be convex but not smooth. If $f$ is smooth, the proposed Block-Simultaneous Direction Method of Multipliers (bSDMM) can be interpreted as a proximal analog to inexact coordinate descent methods under constraints. Unlike alternative approaches for joint solvers of multiple-constraint problems, we do not require linear operators $L$ of a constraint function $g(L\ \cdot)$ to be invertible or linked between each other. bSDMM is well-suited for a range of optimization problems, in particular for data analysis, where $f$ is the likelihood function of a model and $L$ could be a transformation matrix describing e.g. finite differences or basis transforms. We apply bSDMM to the Non-negative Matrix Factorization task of a hyperspectral unmixing problem and demonstrate convergence and effectiveness of multiple constraints on both matrix factors. The algorithms are implemented in python and released as an open-source package.


title: Computing Puiseux series : a fast divide and conquer algorithm

abstract: Let $F\in \mathbb{K}[X, Y ]$ be a polynomial of total degree $D$ defined over a perfect field $\mathbb{K}$ of characteristic zero or greater than $D$. Assuming $F$ separable with respect to $Y$ , we provide an algorithm that computes the singular parts of all Puiseux series of $F$ above $X = 0$ in less than $\tilde{\mathcal{O}}(D\delta)$ operations in $\mathbb{K}$, where $\delta$ is the valuation of the resultant of $F$ and its partial derivative with respect to $Y$. To this aim, we use a divide and conquer strategy and replace univariate factorization by dynamic evaluation. As a first main corollary, we compute the irreducible factors of $F$ in $\mathbb{K}[[X]][Y ]$ up to an arbitrary precision $X^N$ with $\tilde{\mathcal{O}}(D(\delta + N ))$ arithmetic operations. As a second main corollary, we compute the genus of the plane curve defined by $F$ with $\tilde{\mathcal{O}}(D^3)$ arithmetic operations and, if $\mathbb{K} = \mathbb{Q}$, with $\tilde{\mathcal{O}}((h+1)D^3)$ bit operations using a probabilistic algorithm, where $h$ is the logarithmic heigth of $F$.


title: Ergodic behaviour of a Douglas-Rachford operator away from the origin

abstract: It is shown that away from the origin, the Douglas-Rachford operator with respect to a sphere and a convex set in a Hilbert space can be approximated by a another operator which satisfies a weak ergodic theorem. Similar results for other projection and reflection operators are also discussed.


title: Complete graphs: the space of simplicial cones, and their path tree representation

abstract: Let $G$ be a complete graph with $n+1$ vertices. In a recent paper of the authors, it is shown that the path trees of the graph play a special role in the structure of the truncated powers and partition functions that are associated with the graph. Motivated by the above, we take here a closer look at the geometry of the simplicial cones associated with the graph, and the role played by those simplicial cones that are generated by path trees. It is shown that the latter form a basis for the linear space spanned by the former, and that the representation of a general simplicial cone by path tree cones can be deduced by examining partial orders induced by rooted trees. While the problem itself is geometrical and its solution is combinatorial, the proofs rest with multivariate spline theory.


title: Period-doubling in period-$1$ steady states

abstract: Nonlinear classical dissipative systems present a rich phenomenology in their "route to chaos", including period-doubling, i.e. the system evolves with a period which is twice that of the driving. However, typically the attractor of a periodically driven quantum open system evolves with a period which exactly matches that of the driving. Here we analyze a manybody open quantum system whose classical correspondent presents period-doubling. We show that by analysing the spectrum of the periodic propagator and by studying the dynamical correlations, it is possible to show the occurrence of period-doubling in the quantum (period-$1$) steady state. We also discuss that such systems are natural candidates for clean Floquet time crystals.


title: Extension of the Planar Noh Problem to Aluminum, Iron, Copper, and Tungsten

abstract: The classic Noh verification test problem is extended beyond the traditional ideal gas and applied to shock compression of condensed matter. Using the stiff-gas equation of state (EOS), which admits an exact analytical solution for the planar Noh problem, we examine the shock compression of Al, Fe, Cu, and W. Analytical EOS predictions for the jump in density and the location of the shock are compared to numerical results obtained using the same EOS within Los Alamos compressible-flow codes Flag and xRage. Excellent agreement between the numerical and exact results is observed. Both codes exhibit first-order spatial convergence with increasing mesh resolution.


title: Continual One-Shot Learning of Hidden Spike-Patterns with Neural Network Simulation Expansion and STDP Convergence Predictions

abstract: This paper presents a constructive algorithm that achieves successful one-shot learning of hidden spike-patterns in a competitive detection task. It has previously been shown (Masquelier et al., 2008) that spike-timing-dependent plasticity (STDP) and lateral inhibition can result in neurons competitively tuned to repeating spike-patterns concealed in high rates of overall presynaptic activity. One-shot construction of neurons with synapse weights calculated as estimates of converged STDP outcomes results in immediate selective detection of hidden spike-patterns. The capability of continual learning is demonstrated through the successful one-shot detection of new sets of spike-patterns introduced after long intervals in the simulation time. Simulation expansion (Lightheart et al., 2013) has been proposed as an approach to the development of constructive algorithms that are compatible with simulations of biological neural networks. A simulation of a biological neural network may have orders of magnitude fewer neurons and connections than the related biological neural systems; therefore, simulated neural networks can be assumed to be a subset of a larger neural system. The constructive algorithm is developed using simulation expansion concepts to perform an operation equivalent to the exchange of neurons between the simulation and the larger hypothetical neural system. The dynamic selection of neurons to simulate within a larger neural system (hypothetical or stored in memory) may be a starting point for a wide range of developments and applications in machine learning and the simulation of biology.


title: Model Checking Regular Language Constraints

abstract: Even the fastest SMT solvers have performance problems with regular expressions from real programs. Because these performance issues often arise from the problem representation (e.g. non-deterministic finite automata get determinized and regular expressions get unrolled), we revisit Boolean finite automata, which allow for the direct and natural representation of any Boolean combination of regular languages. By applying the IC3 model checking algorithm to Boolean finite automata, not only can we efficiently answer emptiness and universality problems, but through an extension, we can decide satisfiability of multiple variable string membership problems. We demonstrate the resulting system's effectiveness on a number of popular benchmarks and regular expressions.


title: Suzaku Observations of the Outskirts of the Galaxy Cluster Abell 3395 including a Filament toward Abell 3391

abstract: The results of Suzaku observations of the outskirts of Abell 3395 including a large-scale structure filament toward Abell 3391 are presented. We measured temperature and abundance distributions from the southern outskirt of Abell 3395 to the north at the virial radius, where a filament structure has been found in the former X-ray and Sunyaev-Zel'dovich effect observations between Abell 3391 and 3395. The overall temperature structure is consistent with the universal profile proposed by Okabe et al.(2014) for relaxed clusters except for the filament region. A hint of the ICM heating is found between the two clusters, which might be due to the interaction of them in the early phase of a cluster merger. Although we obtained relatively low metal abundance of $Z=0.169^{+0.164+0.009+0.018 }_{-0.150-0.004-0.015 }$ solar, where the first, second, and third errors are statistical, cosmic X-ray background systematic, and non X-ray background systematic, respectively, at the virial radius in the filament, our results are still consistent with the former results of other clusters ($Z \sim 0.3$ solar) within errors. Therefore, our results are also consistent with the early enrichment scenario. We estimated Compton $y$ parameters only from X-ray results in the region between Abell 3391 and 3395 assuming a simple geometry. They are smaller than the previous SZ results with Planck satellite. The difference could be attributed to a more elaborate geometry such as a filament inclined to the line-of-sight direction, or underestimation of the X-ray temperature because of the unresolved multi-temperature structures or undetected hot X-ray emission of the shock heated gas.


title: Light propagation in quasiperiodic dieletric multilayers separated by graphene

abstract: The study of photonic crystals, artificial materials whose dielectric properties can be tailored according to the stacking of its constituents, remains an attractive research area. In this article we have employed a transfer matrix treatment to study the propagation of light waves in Fibonacci quasiperiodic dieletric multilayers with graphene embedded. We calculated their dispersion and transmission spectra in order to investigate the effects of the graphene monolayers and quasiperiodic disorder on the system physical behavior. The quasiperiodic dieletric multilayer is composed of two building blocks, silicon dioxide (building block A = SiO2) and titanium dioxide (building block B = TiO2). Our numerical results show that the presence of graphene monolayers reduces the transmissivity on the whole range of frequency and induces a transmission gap in the low frequency region. Regarding the polarization of the light wave, we found that the transmission coefficient is higher for the transverse magnetic (TM) case than for the transverse electric (TE) one. We also conclude from our numerical results that the graphene induced photonic bandgaps (GIPBGs) do not depend on the polarization (TE or TM) of the light wave nor on the Fibonacci generation index n. Moreover, the GIPBGs are omnidirectional photonic band gaps, therefore light cannot propagate in this structures for frequencies lower than a certain value, whatever the incidence angle. Finally, a plot of the transmission spectra versus chemical potential shows that one can, in principle, adjust the width of the photonic band gap by tuning the chemical potential via a gate voltage.


title: Diagonal quantum discord

abstract: Quantum discord measures quantum correlation by comparing the quantum mutual information with the maximal amount of mutual information accessible to a quantum measurement. This paper analyzes the properties of diagonal discord, a simplified version of discord that compares quantum mutual information with the mutual information revealed by a measurement that correspond to the eigenstates of the local density matrices. In contrast to the optimized discord, diagonal discord is easily computable; it also finds connections to thermodynamics and resource theory. Here we further show that, for the generic case of non-degenerate local density matrices, diagonal discord exhibits desirable properties as a preferable discord measure. We employ the theory of resource destroying maps [Liu/Hu/Lloyd, PRL 118, 060502 (2017)] to prove that diagonal discord is monotonically nonincreasing under the operation of local discord nongenerating qudit channels, $d>2$, and provide numerical evidence that such monotonicity holds for qubit channels as well. We also show that it is continuous, and derive a Fannes-like continuity bound. Our results hold for a variety of simple discord measures generalized from diagonal discord.


title: Parking cars of different sizes

abstract: We extend the notion of parking functions to parking sequences, which include cars of different sizes, and prove a product formula for the number of such sequences.


title: Focal radii of orbits

abstract: We show that every effective action of a compact Lie group $K$ on a unit sphere $S^n$ admits an explicit orbit whose principal curvatures are bounded from above by $4\sqrt{14}$.


title: Model-Independent Determination of the Triple Higgs Coupling at $e^+e^-$ Colliders

abstract: The observation of Higgs pair production at high-energy colliders can give evidence for the presence of a triple Higgs coupling. However, the actual determination of the value of this coupling is more difficult. In the context of general models for new physics, double Higgs production processes can receive contributions from many possible beyond-Standard-Model effects. This dependence must be understood if one is to make a definite statement about the deviation of the Higgs field potential from the Standard Model. In this paper, we study the extraction of the triple Higgs coupling from the process $e^+e^-\to Zhh$. We show that, by combining the measurement of this process with other measurements available at a 500 GeV $e^+e^-$ collider, it is possible to quote model-independent limits on the Effective Field Theory parameter c6 that parametrizes modifications of the Higgs potential. We present precise error estimates based on the anticipated ILC physics program, studied with full simulation. Our analysis also gives new insight into the model-independent extraction of the Higgs boson coupling constants and total width from $e^+e^-$ data.


title: Dynamic Graph Coloring

abstract: In this paper we study the number of vertex recolorings that an algorithm needs to perform in order to maintain a proper coloring of a graph under insertion and deletion of vertices and edges. We present two algorithms that achieve different trade-offs between the number of recolorings and the number of colors used. For any $d>0$, the first algorithm maintains a proper $O(\mathcal{C} d N^{1/d})$-coloring while recoloring at most $O(d)$ vertices per update, where $\mathcal{C}$ and $N$ are the maximum chromatic number and maximum number of vertices, respectively. The second algorithm reverses the trade-off, maintaining an $O(\mathcal{C} d)$-coloring with $O(d N^{1/d})$ recolorings per update. The two converge when $d = \log N$, maintaining an $O(\mathcal{C} \log N)$-coloring with $O(\log N)$ recolorings per update. We also present a lower bound, showing that any algorithm that maintains a $c$-coloring of a $2$-colorable graph on $N$ vertices must recolor at least $\Omega(N^\frac{2}{c(c-1)})$ vertices per update, for any constant $c \geq 2$.


title: Sampling Online Social Networks by Random Walk with Indirect Jumps

abstract: Random walk-based sampling methods are gaining popularity and importance in characterizing large networks. While powerful, they suffer from the slow mixing problem when the graph is loosely connected, which results in poor estimation accuracy. Random walk with jumps (RWwJ) can address the slow mixing problem but it is inapplicable if the graph does not support uniform vertex sampling (UNI). In this work, we develop methods that can efficiently sample a graph without the necessity of UNI but still enjoy the similar benefits as RWwJ. We observe that many graphs under study, called target graphs, do not exist in isolation. In many situations, a target graph is related to an auxiliary graph and a bipartite graph, and they together form a better connected {\em two-layered network structure}. This new viewpoint brings extra benefits to graph sampling: if directly sampling a target graph is difficult, we can sample it indirectly with the assistance of the other two graphs. We propose a series of new graph sampling techniques by exploiting such a two-layered network structure to estimate target graph characteristics. Experiments conducted on both synthetic and real-world networks demonstrate the effectiveness and usefulness of these new techniques.


title: PersonaBank: A Corpus of Personal Narratives and Their Story Intention Graphs

abstract: We present a new corpus, PersonaBank, consisting of 108 personal stories from weblogs that have been annotated with their Story Intention Graphs, a deep representation of the fabula of a story. We describe the topics of the stories and the basis of the Story Intention Graph representation, as well as the process of annotating the stories to produce the Story Intention Graphs and the challenges of adapting the tool to this new personal narrative domain We also discuss how the corpus can be used in applications that retell the story using different styles of tellings, co-tellings, or as a content planner.


title: Adaptive SVM+: Learning with Privileged Information for Domain Adaptation

abstract: Incorporating additional knowledge in the learning process can be beneficial for several computer vision and machine learning tasks. Whether privileged information originates from a source domain that is adapted to a target domain, or as additional features available at training time only, using such privileged (i.e., auxiliary) information is of high importance as it improves the recognition performance and generalization. However, both primary and privileged information are rarely derived from the same distribution, which poses an additional challenge to the recognition task. To address these challenges, we present a novel learning paradigm that leverages privileged information in a domain adaptation setup to perform visual recognition tasks. The proposed framework, named Adaptive SVM+, combines the advantages of both the learning using privileged information (LUPI) paradigm and the domain adaptation framework, which are naturally embedded in the objective function of a regular SVM. We demonstrate the effectiveness of our approach on the publicly available Animals with Attributes and INTERACT datasets and report state-of-the-art results in both of them.


title: The harmonic map heat flow on conic manifolds

abstract: In this article, we study the the harmonic map heat flow from a manifold with conic singularities to a closed manifold. In particular, we have proved the short time existence and uniqueness of solutions as well as the existence of global solutions into manifolds with nonpositive sectional curvature. These results are established in virtue of the maximal regularity theory on manifolds with conic singularities.


title: Argument Strength is in the Eye of the Beholder: Audience Effects in Persuasion

abstract: Americans spend about a third of their time online, with many participating in online conversations on social and political issues. We hypothesize that social media arguments on such issues may be more engaging and persuasive than traditional media summaries, and that particular types of people may be more or less convinced by particular styles of argument, e.g. emotional arguments may resonate with some personalities while factual arguments resonate with others. We report a set of experiments testing at large scale how audience variables interact with argument style to affect the persuasiveness of an argument, an under-researched topic within natural language processing. We show that belief change is affected by personality factors, with conscientious, open and agreeable people being more convinced by emotional arguments.


title: A Deep Learning Approach for Population Estimation from Satellite Imagery

abstract: Knowing where people live is a fundamental component of many decision making processes such as urban development, infectious disease containment, evacuation planning, risk management, conservation planning, and more. While bottom-up, survey driven censuses can provide a comprehensive view into the population landscape of a country, they are expensive to realize, are infrequently performed, and only provide population counts over broad areas. Population disaggregation techniques and population projection methods individually address these shortcomings, but also have shortcomings of their own. To jointly answer the questions of "where do people live" and "how many people live there," we propose a deep learning model for creating high-resolution population estimations from satellite imagery. Specifically, we train convolutional neural networks to predict population in the USA at a $0.01^{\circ} \times 0.01^{\circ}$ resolution grid from 1-year composite Landsat imagery. We validate these models in two ways: quantitatively, by comparing our model's grid cell estimates aggregated at a county-level to several US Census county-level population projections, and qualitatively, by directly interpreting the model's predictions in terms of the satellite image inputs. We find that aggregating our model's estimates gives comparable results to the Census county-level population projections and that the predictions made by our model can be directly interpreted, which give it advantages over traditional population disaggregation methods. In general, our model is an example of how machine learning techniques can be an effective tool for extracting information from inherently unstructured, remotely sensed data to provide effective solutions to social problems.


title: A New Stable Peer-to-Peer Protocol with Non-persistent Peers

abstract: Recent studies have suggested that the stability of peer-to-peer networks may rely on persistent peers, who dwell on the network after they obtain the entire file. In the absence of such peers, one piece becomes extremely rare in the network, which leads to instability. Technological developments, however, are poised to reduce the incidence of persistent peers, giving rise to a need for a protocol that guarantees stability with non-persistent peers. We propose a novel peer-to-peer protocol, the group suppression protocol, to ensure the stability of peer-to-peer networks under the scenario that all the peers adopt non-persistent behavior. Using a suitable Lyapunov potential function, the group suppression protocol is proven to be stable when the file is broken into two pieces, and detailed experiments demonstrate the stability of the protocol for arbitrary number of pieces. We define and simulate a decentralized version of this protocol for practical applications. Straightforward incorporation of the group suppression protocol into BitTorrent while retaining most of BitTorrent's core mechanisms is also presented. Subsequent simulations show that under certain assumptions, BitTorrent with the official protocol cannot escape from the missing piece syndrome, but BitTorrent with group suppression does.


title: A Comparative Study of Matrix Factorization and Random Walk with Restart in Recommender Systems

abstract: Between matrix factorization or Random Walk with Restart (RWR), which method works better for recommender systems? Which method handles explicit or implicit feedback data better? Does additional information help recommendation? Recommender systems play an important role in many e-commerce services such as Amazon and Netflix to recommend new items to a user. Among various recommendation strategies, collaborative filtering has shown good performance by using rating patterns of users. Matrix factorization and random walk with restart are the most representative collaborative filtering methods. However, it is still unclear which method provides better recommendation performance despite their extensive utility. In this paper, we provide a comparative study of matrix factorization and RWR in recommender systems. We exactly formulate each correspondence of the two methods according to various tasks in recommendation. Especially, we newly devise an RWR method using global bias term which corresponds to a matrix factorization method using biases. We describe details of the two methods in various aspects of recommendation quality such as how those methods handle cold-start problem which typically happens in collaborative filtering. We extensively perform experiments over real-world datasets to evaluate the performance of each method in terms of various measures. We observe that matrix factorization performs better with explicit feedback ratings while RWR is better with implicit ones. We also observe that exploiting global popularities of items is advantageous in the performance and that side information produces positive synergy with explicit feedback but gives negative effects with implicit one.


title: Tracking Triadic Cardinality Distributions for Burst Detection in High-Speed Multigraph Streams

abstract: In everyday life, we often observe unusually frequent interactions among people before or during important events, e.g., people send/receive more greetings to/from their friends on holidays than regular days. We also observe that some videos or hashtags suddenly go viral through people's sharing on online social networks (OSNs). Do these seemingly different phenomena share a common structure? All these phenomena are associated with sudden surges of user interactions in networks, which we call "bursts" in this work. We uncover that the emergence of a burst is accompanied with the formation of triangles in some properly defined networks. This finding motivates us to propose a new and robust method to detect bursts on OSNs. We first introduce a new measure, "triadic cardinality distribution", corresponding to the fractions of nodes with different numbers of triangles, i.e., triadic cardinalities, in a network. We show that this distribution not only changes when a burst occurs, but it also has a robustness property that it is immunized against common spamming social-bot attacks. Hence, by tracking triadic cardinality distributions, we can more reliably detect bursts than simply counting interactions on OSNs. To avoid handling massive activity data generated by OSN users during the triadic tracking, we design an efficient "sample-estimate" framework to provide maximum likelihood estimate on the triadic cardinality distribution. We propose several sampling methods, and provide insights about their performance difference, through both theoretical analysis and empirical experiments on real world networks.


title: Automating Direct Speech Variations in Stories and Games

abstract: Dialogue authoring in large games requires not only content creation but the subtlety of its delivery, which can vary from character to character. Manually authoring this dialogue can be tedious, time-consuming, or even altogether infeasible. This paper utilizes a rich narrative representation for modeling dialogue and an expressive natural language generation engine for realizing it, and expands upon a translation tool that bridges the two. We add functionality to the translator to allow direct speech to be modeled by the narrative representation, whereas the original translator supports only narratives told by a third person narrator. We show that we can perform character substitution in dialogues. We implement and evaluate a potential application to dialogue implementation: generating dialogue for games with big, dynamic, or procedurally-generated open worlds. We present a pilot study on human perceptions of the personalities of characters using direct speech, assuming unknown personality types at the time of authoring.


title: One-Loop Corrections of Single Spin Asymmetries in Semi-Inclusive DIS

abstract: We study single spin asymmetries at one-loop accuracy in semi-inclusive DIS with a transversely polarized hadron in the initial state. Two measurable spin observables are predicted in the framework of QCD collinear factorization. One of the spin observables is the Sivers weighted asymmetry, another one is the Collins weighted asymmetry. The prediction takes a form of convolutions of perturbative coefficient functions and nonperturbative functions, which are twist-2 transversity distributions, twist-3 parton distributions, twist-2- and twist-3 parton fragmentation functions. These nonperturbative functions can be extracted from measurements of the spin observables and provide valuable information of the inner structure of hadrons. The measurements can be done in current COMPASS- and JLab experiments and in future experiments of EIC. The perturbative coefficient functions are calculated at one-loop level. There are collinear divergences in the calculation involving chirality-even- and chirality-odd twist operators. We find that all collinear divergences can be correctly subtracted so that the final results are finite.


title: An Alexander polynomial for MOY graphs

abstract: We introduce an Alexander polynomial for MOY graphs. For a framed trivalent MOY graph $\mathbb{G}$, we refine the construction and obtain a framed ambient isotopy invariant $\Delta_{(\mathbb{G},c)}(t)$. The invariant $\Delta_{(\mathbb{G}, c)}(t)$ satisfies a series of relations, which we call MOY-type relations, and conversely these relations determine $\Delta_{(\mathbb{G}, c)}(t)$. Using them we provide a graphical definition of the Alexander polynomial of a link. Finally, we discuss some properties and applications of our invariants.


title: Memories of a Theoretical Physicist

abstract: While I was dealing with a brain injury and finding it difficult to work, two friends (Derek Westen, a friend of the KITP, and Steve Shenker, with whom I was recently collaborating), suggested that a new direction might be good. Steve in particular regarded me as a good writer and suggested that I try that. I quickly took to Steve's suggestion. Having only two bodies of knowledge, myself and physics, I decided to write an autobiography about my development as a theoretical physicist. This is not written for any particular audience, but just to give myself a goal. It will probably have too much physics for a nontechnical reader, and too little for a physicist, but perhaps there with be different things for each. Parts may be tedious. But it is somewhat unique, I think, a blow-by-blow history of where I started and where I got to. Probably the target audience is theoretical physicists, especially young ones, who may enjoy comparing my struggles with their own. Some disclaimers: This is based on my own memories, jogged by the arXiv and Inspire. There will surely be errors and omissions. And note the title: this is about my memories, which will be different for other people. Also, it would not be possible for me to mention all the authors whose work might intersect mine, so this should not be treated as a reference work.


title: An efficient duality-based approach for PDE-constrained sparse optimization

abstract: In this paper, elliptic optimal control problems involving the $L^1$-control cost ($L^1$-EOCP) is considered. To numerically discretize $L^1$-EOCP, the standard piecewise linear finite element is employed. However, different from the finite dimensional $l^1$-regularization optimization, the resulting discrete $L^1$-norm does not have a decoupled form. A common approach to overcome this difficulty is employing a nodal quadrature formula to approximately discretize the $L^1$-norm. It is clear that this technique will incur an additional error. To avoid the additional error, solving $L^1$-EOCP via its dual, which can be reformulated as a multi-block unconstrained convex composite minimization problem, is considered. Motivated by the success of the accelerated block coordinate descent (ABCD) method for solving large scale convex minimization problems in finite dimensional space, we consider extending this method to $L^1$-EOCP. Hence, an efficient inexact ABCD method is introduced for solving $L^1$-EOCP. The design of this method combines an inexact 2-block majorized ABCD and the recent advances in the inexact symmetric Gauss-Seidel (sGS) technique for solving a multi-block convex composite quadratic programming whose objective contains a nonsmooth term involving only the first block. The proposed algorithm (called sGS-imABCD) is illustrated at two numerical examples. Numerical results not only confirm the finite element error estimates, but also show that our proposed algorithm is more efficient than (a) the ihADMM (inexact heterogeneous alternating direction method of multipliers), (b) the APG (accelerated proximal gradient) method.


title: Identity Testing and Interpolation from High Powers of Polynomials of Large Degree over Finite Fields

abstract: We consider the problem of identity testing and recovering (that is, interpolating) of a "hidden" monic polynomials $f$, given an oracle access to $f(x)^e$ for $x\in\mathbb F_q$, where $\mathbb F_q$ is the finite field of $q$ elements and an extension fields access is not permitted. The naive interpolation algorithm needs $de+1$ queries, where $d =\max\{{\rm deg}\ f, {\rm deg }\ g\}$ and thus requires $ de<q$. For a prime $q = p$, we design an algorithm that is asymptotically better in certain cases, especially when $d$ is large. The algorithm is based on a result of independent interest in spirit of additive combinatorics. It gives an upper bound on the number of values of a rational function of large degree, evaluated on a short sequence of consecutive integers, that belong to a small subgroup of $\mathbb F_p^*$.


title: Transfer-Entropy-Regularized Markov Decision Processes

abstract: We consider the framework of transfer-entropy-regularized Markov Decision Process (TERMDP) in which the weighted sum of the classical state-dependent cost and the transfer entropy from the state random process to the control random process is minimized. Although TERMDPs are generally formulated as nonconvex optimization problems, we derive an analytical necessary optimality condition expressed as a finite set of nonlinear equations, based on which an iterative forward-backward computational procedure similar to the Arimoto-Blahut algorithm is proposed. It is shown that every limit point of the sequence generated by the proposed algorithm is a stationary point of the TERMDP. Applications of TERMDPs are discussed in the context of networked control systems theory and non-equilibrium thermodynamics. The proposed algorithm is applied to an information-constrained maze navigation problem, whereby we study how the price of information qualitatively alters the optimal decision polices.


title: Optimizing scoring function of dynamic programming of pairwise profile alignment using derivative free neural network

abstract: A profile comparison method with position-specific scoring matrix (PSSM) is one of the most accurate alignment methods. Currently, cosine similarity and correlation coefficient are used as scoring functions of dynamic programming to calculate similarity between PSSMs. However, it is unclear that these functions are optimal for profile alignment methods. At least, by definition, these functions cannot capture non-linear relationships between profiles. Therefore, in this study, we attempted to discover a novel scoring function, which was more suitable for the profile comparison method than the existing ones. Firstly we implemented a new derivative free neural network by combining the conventional neural network with evolutionary strategy optimization method. Next, using the framework, the scoring function was optimized for aligning remote sequence pairs. Nepal, the pairwise profile aligner with the novel scoring function significantly improved both alignment sensitivity and precision, compared to aligners with the existing functions. Nepal improved alignment quality because of adaptation to remote sequence alignment and increasing the expressive power of similarity score. The novel scoring function can be realized using a simple matrix operation and easily incorporated into other aligners. With our scoring function, the performance of homology detection and/or multiple sequence alignment for remote homologous sequences would be further improved.


title: Gas kinematics and star formation in the filamentary molecular cloud G47.06+0.26

abstract: We performed a multi-wavelength study toward the filamentary cloud G47.06+0.26 to investigate the gas kinematics and star formation. We present the 12CO (J=1-0), 13CO (J=1-0) and C18O (J=1-0) observations of G47.06+0.26 obtained with the Purple Mountain Observation (PMO) 13.7 m radio telescope to investigate the detailed kinematics of the filament. The 12CO (J=1-0) and 13CO (J=1-0) emission of G47.06+0.26 appear to show a filamentary structure. The filament extends about 45 arcmin (58.1 pc) along the east-west direction. The mean width is about 6.8 pc, as traced by the 13CO (J=1-0) emission. G47.06+0.26 has a linear mass density of about 361.5 Msun/pc. The external pressure (due to neighboring bubbles and H II regions) may help preventing the filament from dispersing under the effects of turbulence. From the velocity-field map, we discern a velocity gradient perpendicular to G47.06+0.26. From the Bolocam Galactic Plane Survey (BGPS) catalog, we found nine BGPS sources in G47.06+0.26, that appear to these sources have sufficient mass to form massive stars. We obtained that the clump formation efficiency (CFE) is about 18% in the filament. Four infrared bubbles were found to be located in, and adjacent to, G47.06+0.26. Particularly, infrared bubble N98 shows a cometary structure. CO molecular gas adjacent to N98 also shows a very intense emission. H II regions associated with infrared bubbles can inject the energy to surrounding gas. We calculated the kinetic energy, ionization energy, and thermal energy of two H II regions in G47.06+0.26. From the GLIMPSE I catalog, we selected some Class I sources with an age of about 100000 yr, which are clustered along the filament. The feedback from the H II regions may cause the formation of a new generation of stars in filament G47.06+0.26.


title: Watch Me, but Don't Touch Me! Contactless Control Flow Monitoring via Electromagnetic Emanations

abstract: Trustworthy operation of industrial control systems depends on secure and real-time code execution on the embedded programmable logic controllers (PLCs). The controllers monitor and control the critical infrastructures, such as electric power grids and healthcare platforms, and continuously report back the system status to human operators. We present Zeus, a contactless embedded controller security monitor to ensure its execution control flow integrity. Zeus leverages the electromagnetic emission by the PLC circuitry during the execution of the controller programs. Zeus's contactless execution tracking enables non-intrusive monitoring of security-critical controllers with tight real-time constraints. Those devices often cannot tolerate the cost and performance overhead that comes with additional traditional hardware or software monitoring modules. Furthermore, Zeus provides an air-gap between the monitor (trusted computing base) and the target (potentially compromised) PLC. This eliminates the possibility of the monitor infection by the same attack vectors. Zeus monitors for control flow integrity of the PLC program execution. Zeus monitors the communications between the human-machine interface and the PLC, and captures the control logic binary uploads to the PLC. Zeus exercises its feasible execution paths, and fingerprints their emissions using an external electromagnetic sensor. Zeus trains a neural network for legitimate PLC executions, and uses it at runtime to identify the control flow based on PLC's electromagnetic emissions. We implemented Zeus on a commercial Allen Bradley PLC, which is widely used in industry, and evaluated it on real-world control program executions. Zeus was able to distinguish between different legitimate and malicious executions with 98.9% accuracy and with zero overhead on PLC execution by design.


title: Erd\H{o}s-Ginzburg-Ziv constants by avoiding three-term arithmetic progressions

abstract: For a finite abelian group $G$, the Erd\H{o}s-Ginzburg-Ziv constant $\mathfrak{s}(G)$ is the smallest $s$ such that every sequence of $s$ (not necessarily distinct) elements of $G$ has a zero-sum subsequence of length $\operatorname{exp}(G)$. For a prime $p$, let $r(\mathbb{F}_p^n)$ denote the size of the largest subset of $\mathbb{F}_p^n$ without a three-term arithmetic progression. Although similar methods have been used to study $\mathfrak{s}(G)$ and $r(\mathbb{F}_p^n)$, no direct connection between these quantities has previously been established. We give an upper bound for $\mathfrak{s}(G)$ in terms of $r(\mathbb{F}_p^n)$ for the prime divisors $p$ of $\operatorname{exp}(G)$. For the special case $G=\mathbb{F}_p^n$, we prove $\mathfrak{s}(\mathbb{F}_p^n)\leq 2p\cdot r(\mathbb{F}_p^n)$. Using the upper bounds for $r(\mathbb{F}_p^n)$ of Ellenberg and Gijswijt, this result improves the previously best known upper bounds for $\mathfrak{s}(\mathbb{F}_p^n)$ given by Naslund.


title: Properties of Kilonovae from Dynamical and Post-Merger Ejecta of Neutron Star Mergers

abstract: Ejected material from neutron star mergers give rise to electromagnetic emission powered by radioactive decays of r-process nuclei, which is so called kilonova or macronova. While properties of the emission are largely affected by opacities in the ejected material, available atomic data for r-process elements are still limited. We perform atomic structure calculations for r-process elements: Se (Z=34), Ru (Z=44), Te (Z=52), Ba (Z=56), Nd (Z=60), and Er (Z=68). We confirm that the opacities from bound-bound transitions of open f-shell, Lanthanide elements (Nd and Er) are higher than those of the other elements over a wide wavelength range. The opacities of open s-shell (Ba), p-shell (Se and Te), and d-shell (Ru) elements are lower than those of open f-shell elements and their transitions are concentrated in the ultraviolet wavelengths. We show that the optical brightness can be different by >2 mag depending on the element abundances in the ejecta such that post-merger, Lanthanide-free ejecta produce brighter and bluer optical emission. Such blue emission from post-merger ejecta can be observed from the polar directions if the mass of the preceding dynamical ejecta in these regions is small. For the ejecta mass of 0.01 Msun, observed magnitudes of the blue emission will reach 21.0 mag (100 Mpc) and 22.5 mag (200 Mpc) in g and r bands within a few days after the merger, which are detectable with 1m or 2m-class telescopes.


title: A Short Proof of the Bernstein Inequality for Formal Power Series

abstract: Let $k$ be a field of characteristic zero, let $R$ be the ring of formal power series in $n$ variables over $k$ and let $D(R,k)$ be the ring of $k-$linear differential operators in $R$. If $M$ is a finitely generated $D(R,k)-$module then $d(M)\geq n$ where $d(M)$ is the dimension of $M$. This inequality is called the Bernstein inequality. We provide a short proof.


title: Secret key expansion from covert communication

abstract: Covert communication allows us to transmit messages in such a way that it is not possible to detect that the communication is occurring. This provides protection in situations where knowledge that people are talking to each other may be incriminating to them. In this work, we study how covert communication can be used for a different purpose: secret key expansion. First, we show that any message transmitted in a secure covert protocol is also secret and therefore unknown to an adversary. We then propose a protocol that uses covert communication where the amount of key consumed in the protocol is smaller than the transmitted key, thus leading to secure secret key expansion. We derive precise conditions showing that secret key expansion from covert communication is possible when there are sufficiently low levels of noise for a given security level. We conclude by examining how secret key expansion from covert communication can be performed in a computational security model.


title: Nos\'e-Thermostated Mechanical Systems on the n-Torus

abstract: Let $H(q,p) = \frac12 | p |^2 + V(q)$ be an $n$-degree of freedom $C^r$ mechanical Hamiltonian on the cotangent bundle of the $n$-torus where $r>2n+2$. When the metric $| * |$ is flat, the Nos\'e-thermostated system associated to $H$ is shown to have a positive-measure set of invariant tori near the infinite temperature limit. This is shown to be true for all variable mass thermostats similar to Nos\'e's, too. These results complement results of Legoll, Luskin & Moeckel and the author.


title: Simultaneously Color-Depth Super-Resolution with Conditional Generative Adversarial Network

abstract: Recently, Generative Adversarial Network (GAN) has been found wide applications in style transfer, image-to-image translation and image super-resolution. In this paper, a color-depth conditional GAN is proposed to concurrently resolve the problems of depth super-resolution and color super-resolution in 3D videos. Firstly, given the low-resolution depth image and low-resolution color image, a generative network is proposed to leverage mutual information of color image and depth image to enhance each other in consideration of the geometry structural dependency of color-depth image in the same scene. Secondly, three loss functions, including data loss, total variation loss, and 8-connected gradient difference loss are introduced to train this generative network in order to keep generated images close to the real ones, in addition to the adversarial loss. Experimental results demonstrate that the proposed approach produces high-quality color image and depth image from low-quality image pair, and it is superior to several other leading methods. Besides, we use the same neural network framework to resolve the problem of image smoothing and edge detection at the same time.


title: Full diffeomorphism and Lorentz invariance in 4D ${\cal N}=1$ superfield description of 6D SUGRA

abstract: We complete the four-dimensional ${\cal N}=1$ superfield description of six-dimensional supergravity. The missing ingredients in the previous works are the superfields that contain the sechsbein $e_4^{\;\;\underline{\nu}}$, $e_5^{\;\;\underline{\nu}}$, $e_\mu^{\;\;\underline{4}}$, $e_\mu^{\;\;\underline{5}}$ and the second gravitino. They are necessary to make the action invariant under the diffeomorphisms and the Lorentz transformations involving the extra dimensions. We find the corresponding superfield transformation laws, and show the invariance of the action under them. We also check that the resultant action reproduces the known superfield description of five-dimensional supergravity through the dimensional reduction.


title: Planar L-Drawings of Directed Graphs

abstract: We study planar drawings of directed graphs in the L-drawing standard. We provide necessary conditions for the existence of these drawings and show that testing for the existence of a planar L-drawing is an NP-complete problem. Motivated by this result, we focus on upward-planar L-drawings. We show that directed st-graphs admitting an upward- (resp. upward-rightward-) planar L-drawing are exactly those admitting a bitonic (resp. monotonically increasing) st-ordering. We give a linear-time algorithm that computes a bitonic (resp. monotonically increasing) st-ordering of a planar st-graph or reports that there exists none.


title: Theory of superconductivity with non-Hermitian and parity-time reversal symmetric cooper pairing symmetry

abstract: Recently developed parity (P) and time-reversal (T) symmetric non-Hermitian systems govern a rich variety of new and characteristically distinct physical properties, which may or may not have a direct analog in their Hermitian counterparts. We study here a non-Hermitian, PT-symmetric superconducting Hamiltonian that possesses real quasiparticle spectrum in the PT-region of the Brillouin zone. Within a single-band mean-field theory, we find that real quasiparticle energies are possible when the superconducting order parameter itself is either Hermitian or anti-Hermitian. Within the corresponding Bardeen-Cooper-Schrieffer (BCS) theory, we find that several properties are characteristically distinct and novel in the non-Hermitian pairing case than its Hermitian counterpart. One of our significant findings is that while a Hermitian superconductor gives a second order phase transition, the non-Hermitian one produces a robust first order phase transition. The corresponding thermodynamic properties, and the Meissner effect are also modified accordingly. Finally, we discuss how such a PT-symmetric pairings can emerge from an anti-symmetric potential, such as the Dzyloshinskii-Moria interaction, but with an external external bath, or complex potential, among others.

categories: cond-mat.supr-con math-ph math.MP quant-ph