title: On the security of ballot marking devices

abstract: A recent debate among election experts has considered whether electronic ballot marking devices (BMDs) have adequate security against the risks of malware. A malicious BMD might produce a printed ballot that disagrees with a voter's actual intent, with the hope that voters would be unlikely to detect this subterfuge. This essay considers how an election administrator can create reasonable auditing procedures to gain confidence that their fleet of BMDs is operating correctly, allowing voters to benefit from the usability and accessibility features of BMDs while the overall election still benefits from the same security and reliability properties we expect from hand-marked paper ballots.


title: A lift from group cohomology to spectra for trivial profinite actions

abstract: Let $G$ be a profinite group, $X$ a discrete $G$-spectrum with trivial action, and $X^{hG}$ the continuous homotopy fixed points. For any $N \trianglelefteq_o G$ ("$o$" for open), $X = X^N$ is a $G/N$-spectrum with trivial action. We construct a zigzag $\text{colim}\,_N \,X^{hG/N} \buildrel\Phi\over\longrightarrow \text{colim}\,_N \,(X^{hN})^{hG/N} \buildrel\Psi\over\longleftarrow X^{hG}$, where $\Psi$ is a weak equivalence. When $\Phi$ is a weak equivalence, this zigzag gives an interesting model for $X^{hG}$ (for example, its Spanier-Whitehead dual is $\text{holim}\,_N \,F(X^{hG/N}, S^0)$). We prove that this happens in the following cases: (1) $|G| < \infty$; (2) $X$ is bounded above; (3) there exists $\{U\}$ cofinal in $\{N\}$, such that for each $U$, $H^s_c(U, \pi_\ast(X)) = 0$, for $s > 0$. Given (3), for each $U$, there is a weak equivalence $X \buildrel\simeq\over\longrightarrow X^{hU}$ and $X^{hG} \simeq X^{hG/U}$. For case (3), we give a series of corollaries and examples. As one instance of a family of examples, if $p$ is a prime, $K(n_p,p)$ the $n_p$th Morava $K$-theory $K(n_p)$ at $p$ for some $n_p \geq 1$, and $\mathbb{Z}_p$ the $p$-adic integers, then for each $m \geq 2$, (3) is satisfied when $G \leqslant \prod_{p \leq m} \mathbb{Z}_p$ is closed, $X = \bigvee_{p > m} (H\mathbb{Q} \vee K(n_p,p))$, and $\{U\} := \{N_G \mid N_G \trianglelefteq_o G\}$.


title: The Science Training Program for Young Italian Physicists and Engineers at Fermilab

abstract: The summer training program for Italian undergraduate and graduate students at the Department of Energy (DOE) laboratory of Fermilab (Batavia, Illinois, USA) started in 1984 as a 2 month training program for Italian undergraduate students in physics of the Istituto Nazionale di Fisica Nucleare (INFN) collaborating in the Collider Detector experiment (CDF) at the Fermilab Tevatron proton - antiproton collider. While in 1984 the program involved only 4 physics students from the University of Pisa, in the following years it rapidly grew in scope and size under the management of the Cultural Association of Italians at Fermilab (CAIF). With an average number of 30 trainees/year reached in the last few years, the total number of Italian students hosted at Fermilab since 1984 has exceeded 500 units. Since 2015 the program has been included in the portfolio of the summer courses of the University of Pisa, which acknowledges 6 ECTS to the interns.


title: The Italian Summer Students Program at Fermi National Accelerator Laboratory and other US Laboratories

abstract: Since 1984 INFN scientists performing experiments at Fermilab have been running a two month summer training program for Italian students at the lab. In 1984 the program involved only a few physics students from the Pisa group, but it was later extended to other groups and to engineering students. Since 2004 the program has been supported in part by DOE in the frame of an exchange agreement with INFN. The Fermilab training programs spanned from data analysis to design and construction of particle detectors and accelerator components, research on superconductive elements, theory of accelerators, and analysis of astrophysical data. At the other US laboratories the offered training was on Space Science.


title: Fully-automated patient-level malaria assessment on field-prepared thin blood film microscopy images, including Supplementary Information

abstract: Malaria is a life-threatening disease affecting millions. Microscopy-based assessment of thin blood films is a standard method to (i) determine malaria species and (ii) quantitate high-parasitemia infections. Full automation of malaria microscopy by machine learning (ML) is a challenging task because field-prepared slides vary widely in quality and presentation, and artifacts often heavily outnumber relatively rare parasites. In this work, we describe a complete, fully-automated framework for thin film malaria analysis that applies ML methods, including convolutional neural nets (CNNs), trained on a large and diverse dataset of field-prepared thin blood films. Quantitation and species identification results are close to sufficiently accurate for the concrete needs of drug resistance monitoring and clinical use-cases on field-prepared samples. We focus our methods and our performance metrics on the field use-case requirements. We discuss key issues and important metrics for the application of ML methods to malaria microscopy.


title: Kinetic theory of the electron strahl in the solar wind

abstract: We develop a kinetic theory for {the electron strahl, a beam of energetic electrons which propagate} from the sun along the Parker-spiral-shaped magnetic field lines. By assuming a Maxwellian electron distribution function in the near-sun region where the plasma is collisional, we derive the strahl distribution function at larger heliospheric distances. We consider the two most important mechanisms that broaden the strahl: Coulomb collisions and interactions with oblique ambient whistler turbulence (anomalous diffusion). We propose that the energy regimes where these mechanisms are important are separated by an approximate threshold, ${\cal E}_c$; for the electron kinetic energies ${\cal E}<{\cal E}_c$ the strahl width is mostly governed by Coulomb collisions, while for ${\cal E}>{\cal E}_c$ by interactions with the whistlers. The Coulomb broadening decreases as the electron energy increases; the whistler-dominated broadening, on the contrary, increases with energy and it can lead to efficient isotropization of energetic electrons and to formation of the electron halo. The threshold energy ${\cal E}_c$ is relatively high in the regions closer to the sun, and it gradually decreases with the distance, implying that the anomalous diffusion becomes progressively more important at large heliospheric distances. At $1$ AU, we estimate the energy threshold to be about ${\cal E}_c\sim 200\,{\rm eV}$.


title: Sparse Sampling for Fast Quasiparticle Interference Mapping

abstract: Scanning tunneling microscopy (STM) is a notoriously slow technique; Data-recording is serial which renders complex measurement tasks, such as quasiparticle interference (QPI) mapping, impractical. However, QPI would provide insight into band-structure details of quantum materials which can be inaccessible to angle-resolved photoemission spectroscopy. Here we use compressed sensing (CS) to fundamentally speed-up QPI mapping. We reliably recover the QPI information from a fraction of the usual local density of state measurements. The requirement of CS is naturally fulfilled for QPI, since CS relies on sparsity in a vector domain, here given by few nonzero coefficients in Fourier space. We exemplify CS on a simulated Cu(111) surface using random sampling of constant and varying probability density. We further simplify the motion of the STM tip through an open traveling salesman's problem for greater efficiency. We expect that the implications of our CS approach will be transformative for the exploration of 2D quantum materials.


title: On the $K(1)$-local homotopy of $\mathrm{tmf} \wedge \mathrm{tmf}$

abstract: As a step towards understanding the $\mathrm{tmf}$-based Adams spectral sequence, we compute the $K(1)$-local homotopy of $\mathrm{tmf} \wedge \mathrm{tmf}$, using a small presentation of $L_{K(1)}\mathrm{tmf}$ due to Hopkins. We also describe the $K(1)$-local $\mathrm{tmf}$-based Adams spectral sequence.


title: Families of Symmetries and the Hydrogen Atom

abstract: We study a new type of symmetry for the hydrogen atom involving algebraic families of groups parametrized by the energy value in the time-independent Schr\"odinger equation. We construct an algebraic family of Harish-Chandra modules from the solutions of the Schr\"odinger equation, and we characterize this family. We show that the subspaces of physical states may be obtained from our algebraic family using a Jantzen filtration, and we relate our algebraic methods with spectral theory and scattering theory using the limiting absorption principle


title: Efficient Space Skipping and Adaptive Sampling of Unstructured Volumes Using Hardware Accelerated Ray Tracing

abstract: Sample based ray marching is an effective method for direct volume rendering of unstructured meshes. However, sampling such meshes remains expensive, and strategies to reduce the number of samples taken have received relatively little attention. In this paper, we introduce a method for rendering unstructured meshes using a combination of a coarse spatial acceleration structure and hardware-accelerated ray tracing. Our approach enables efficient empty space skipping and adaptive sampling of unstructured meshes, and outperforms a reference ray marcher by up to 7x.


title: Astro2020 APC White Paper: The need for better tools to design future CMB experiments

abstract: This white paper addresses key challenges for the design of next-decade Cosmic Microwave Background (CMB) experiments, and for assessing their capability to extract cosmological information from CMB polarization. We focus here on the challenges posed by foreground emission, CMB lensing, and instrumental systematics to detect the signal that arises from gravitational waves sourced by inflation and parameterized by $r$, at the level of $r \sim 10^{-3}$ or lower, as proposed for future observational efforts. We argue that more accurate and robust analysis and simulation tools are required for these experiments to realize their promise. We are optimistic that the capability to simulate the joint impact of foregrounds, CMB lensing, and systematics can be developed to the level necessary to support the design of a space mission at $r \sim 10^{-4}$ in a few years. We make the case here for supporting such work. Although ground-based efforts present additional challenges (e.g., atmosphere, ground pickup), which are not addressed here, they would also benefit from these improved simulation capabilities.


title: WiSer: A Highly Available HTAP DBMS for IoT Applications

abstract: In a classic transactional distributed database management system (DBMS), write transactions invariably synchronize with a coordinator before final commitment. While enforcing serializability, this model has long been criticized for not satisfying the applications' availability requirements. When entering the era of Internet of Things (IoT), this problem has become more severe, as an increasing number of applications call for the capability of hybrid transactional and analytical processing (HTAP), where aggregation constraints need to be enforced as part of transactions. Current systems work around this by creating escrows, allowing occasional overshoots of constraints, which are handled via compensating application logic. The WiSer DBMS targets consistency with availability, by splitting the database commit into two steps. First, a PROMISE step that corresponds to what humans are used to as commitment, and runs without talking to a coordinator. Second, a SERIALIZE step, that fixes transactions' positions in the serializable order, via a consensus procedure. We achieve this split via a novel data representation that embeds read-sets into transaction deltas, and serialization sequence numbers into table rows. WiSer does no sharding (all nodes can run transactions that modify the entire database), and yet enforces aggregation constraints. Both readwrite conflicts and aggregation constraint violations are resolved lazily in the serialized data. WiSer also covers node joins and departures as database tables, thus simplifying correctness and failure handling. We present the design of WiSer as well as experiments suggesting this approach has promise.


title: Circular Proofs as Session-Typed Processes: A Local Validity Condition

abstract: Proof theory provides a foundation for studying and reasoning about programming languages, most directly based on the well-known Curry-Howard isomorphism between intuitionistic logic and the typed lambda-calculus. More recently, a correspondence between intuitionistic linear logic and the session-typed pi-calculus has been discovered. In this paper, we establish an extension of the latter correspondence for a fragment of substructural logic with least and greatest fixed points. We describe the computational interpretation of the resulting infinitary proof system as session-typed processes, and provide an effectively decidable local criterion to recognize mutually recursive processes corresponding to valid circular proofs as introduced by Fortier and Santocanale. We show that our algorithm imposes a stricter requirement than Fortier and Santocanale's guard condition, but is local and compositional and therefore more suitable as the basis for a programming language.


title: Neutron quadrupole transition strength in $^{10}$C deduced from the $^{10}$C$(\alpha,\alpha')$ measurement with the MAIKo active target

abstract: Elastic and inelastic alpha scatterings on $^{10}$C were measured using a 68-MeV/u radioactive $^{10}$C beam incident on the recently developed MAIKo active target system. The phenomenological effective $\alpha$-$N$ interaction and the point-nucleon density distribution in the ground state were determined from the elastic scattering data. The cross sections of the inelastic alpha scattering were calculated using this interaction and density distribution and were compared with the experiment to determine the neutron quadrupole transition matrix element $M_{n}$ between the ground state and the $2_{1}^{+}$ state at $E_{x} = 3.35$ MeV in $^{10}$C. The deduced neutron transition matrix element is $M_{n} = 6.9\, \pm0.7\, \mathrm{(fit)}\, \pm1.2\, \mathrm{(sys)}$ fm$^{2}$. The ratio of the neutron transition strength to proton transition strength was determined as $M_{n}/M_{p} = 1.05\, \pm0.11\, \mathrm{(fit)}\, \pm0.17\, \mathrm{(sys)}$, which indicates that the quadrupole transition between the ground state and the $2_{1}^{+}$ state in $^{10}$C is less neutron dominant compared to that in $^{16}$C.


title: Real-Variable Characterizations of Local Hardy Spaces on Spaces of Homogeneous Type

abstract: Suppose that $(X,d,\mu)$ is a space of homogeneous type, with upper dimension $\mu$, in the sense of R. R. Coifman and G. Weiss. Let $\eta$ be the H\"{o}lder regularity index of wavelets constructed by P. Auscher and T. Hyt\"{o}nen. In this article, the authors introduce the local Hardy space $h^{*,p}(X)$ via local grand maximal functions and also characterize $h^{*,p}(X)$ via local radial maximal functions, local non-tangential maximal functions, locally atoms and local Littlewood--Paley functions. Furthermore, the authors establish the relationship between the global and the local Hardy spaces. Finally, the authors also obtain the finite atomic characterizations of $h^{*,p}(X)$. As an application, the authors give the dual spaces of $h^{*,p}(X)$ when $p\in(\omega/(\omega+\eta),1)$, which further completes the result of G. Dafni and H. Yue on the dual space of $h^{*,1}(X)$. This article also answers the question of R. R. Coifman and G. Weiss on the nonnecessity of any additional geometric assumptions except the doubling condition for the radial maximal function characterization of $H^1_{\mathrm{cw}}(X)$ when $\mu(X)<\infty$.


title: Quotients of affine connection control systems

abstract: In this paper, we investigate the existence of a subclass of quotients of affine connection control systems, which preserve the mechanical structures. Both local and global sufficient and necessary conditions are given for the geodesically accessible affine connection control systems such that they can admit this subclass of quotients. The structural properties of the quotient map and the quotient mechanical control system are discussed.


title: Heterotic-$\mathbf{F}$-theory Duality with Wilson Line Symmetry-breaking

abstract: We begin with an $E_{8}\times E_{8}$ Heterotic model broken to an $SU(5)_{gauge}$ and a mirror $SU(5)_{gauge}$, where one $SU(5)$ and its spectrum is identified as the visible sector while the other can be identified as a hidden mirror world. In both cases we obtain the minimal supersymmetric standard model spectrum after Wilson-line symmetry-breaking enhanced by a low energy R-parity enforced by a local (or global) $U(1)_{X}$-symmetry. Using Heterotic/$F$-theory duality, we show how to eliminate the vector-like exotics which were obtained in previous constructions. In these constructions, the Calabi-Yau {[}CY{]} four-fold was defined by an elliptic fibration with section over a base $B_{3}$ and a GUT surface given by $K3/\mathbb{Z}_{2}=$ Enriques surface. In the present paper we construct a quotient CY four-fold fibered by tori with two elliptic structures given by a a pair of sections fibered over the Enriques surface. Using Heterotic/$F$-theory duality we are able to define the cohomologies used to derive the massless spectrum. Our model for the 'correct' $F$-theory dual of a Heterotic model with Wilson-line symmetry-breaking builds on prior literature but employs the stack-theoretic version of the dictionary between the Heterotic semi-stable $E_{8}$-bundles with Yang-Mills connection and the $dP_{9}$-fibrations used to construct the $F$-theory dual.


title: A 9-Hr CV With One Outburst in 4 Years of Kepler Data

abstract: During a visual search through the Kepler main-field lightcurves, we have discovered a cataclysmic variable (CV) that experienced only a single 4-day long outburst over four years, rising to three times the quiescent flux. During the four years of non-outburst data the Kepler photometry of KIC 5608384 exhibits ellipsoidal light variations (`ELV') with a $\sim$12% amplitude and period of 8.7 hours. Follow-up ground-based spectral observations have yielded a high-quality radial velocity curve and the associated mass function. Additionally, H$\alpha$ emission lines were present in the spectra even though these were taken while the source was presumably in quiescence. These emission lines are at least partially eclipsed by the companion K star. We utilize the available constraints of the mass function, the ELV amplitude, Roche-lobe filling condition, and inferred radius of the K star to derive the system masses and orbital inclination angle: $M_{\rm wd} \simeq 0.46 \pm 0.02 \, M_\odot$, $M_{\rm K} \simeq 0.41 \pm 0.03 \, M_\odot$, and $i \gtrsim 70^\circ$. The value of $M_{\rm wd}$ is the lowest reported for any accreting WD in a cataclysmic variable. We have also run binary evolution models using MESA to infer the most likely parameters of the pre-cataclysmic binary. Using the mass-transfer rates from the model evolution tracks we conclude that although the rates are close to the critical value for accretion disk stability, we expect KIC 5608384 to exhibit dwarf nova outbursts. We also conclude that the accreting white dwarf most likely descended from a hot subdwarf and, most notably, that this binary is one of the first bona fide examples of a progenitor of AM CVn binaries to have evolved through the CV channel.


title: Proof-of-Search: Combining Blockchain Consensus Formation with Solving Optimization Problems

abstract: To address the large amount of energy wasted by blockchains, we propose a decentralized consensus protocol for blockchains in which the computation can be used to search for good approximate solutions to any optimization problem. Our protocol allows the wasted energy to be used for finding approximate solutions to problems submitted by any nodes~(called clients). Our protocol works in a similar way to proof-of-work, and it makes nodes evaluate a large number of solution candidates to add a new block to the chain. A client provides a search program that implements any search algorithm that finds a good solution by evaluating a large number of solution candidates. The node that finds the best approximate solution is rewarded by the client. Our analysis shows that the probability of a fork and the variance in the block time with our protocol are lower than those in proof-of-work.


title: The complex non-collinear magnetic orderings in Ba2YOsO6: A new approach to tuning spin-lattice interactions and controlling magnetic orderings in frustrated complex oxides

abstract: Frustrated magnets are one class of fascinating materials that host many intriguing phases such as spin ice, spin liquid and complex long-range magnetic orderings at low temperatures. In this work we use first-principles calculations to find that in a wide range of magnetically frustrated oxides, at zero temperature a number of non-collinear magnetic orderings are more stable than the type-I collinear ordering that is observed at finite temperatures. The emergence of non-collinear orderings in those complex oxides is due to higher-order exchange interactions that originate from second-row and third-row transition metal elements. This implies a collinear-to-noncollinear spin transition at sufficiently low temperatures in those frustrated complex oxides. Furthermore, we find that in a particular oxide Ba$_2$YOsO$_6$, experimentally feasible uniaxial strain can tune the material between two different non-collinear magnetic orderings. Our work predicts new non-collinear magnetic orderings in frustrated complex oxides at very low temperatures and provides a mechanical route to tuning complex non-collinear magnetic orderings in those materials.


title: Counting Tree-Child Networks and Their Subclasses

abstract: Galled trees are studied as a recombination model in population genetics. This class of phylogenetic networks is generalized into tree-child, galled and reticulation-visible network classes by relaxing a structural condition imposed on galled trees. We count tree-child networks through enumerating their component graphs. Explicit counting formulas are also given for galled trees through their relationship to ordered trees, phylogenetic networks with few reticulations and phylogenetic networks in which the child of each reticulation is a leaf.


title: Properties of strange quark stars with isovector interactions

abstract: We study the properties of strange quark stars by employing a 3-flavor Nambu-Jona-Lasinio model with both scalar-isovector and vector-isovector interactions. Using the constraint on the vector-isoscalar interaction strength obtained from the elliptic flow splitting between particles and their antiparticles in relativistic heavy-ion collisions, we investigate the dependence of the properties of strange quark stars on the vector-isovector and the scalar-isovector interactions, and compare the results with the state-of-art astrophysical constraints on the compact star radius and mass as well as its tidal deformability from the GW170817 event. Results from our study reinforce the prospect of using both heavy-ion collisions and astrophysical observations to provide constraints on the isovector coupling strength in quark matter and thus the quark matter equation of state as well as the QCD phase structure at finite isospin chemical potentials.


title: Adversarially Trained End-to-end Korean Singing Voice Synthesis System

abstract: In this paper, we propose an end-to-end Korean singing voice synthesis system from lyrics and a symbolic melody using the following three novel approaches: 1) phonetic enhancement masking, 2) local conditioning of text and pitch to the super-resolution network, and 3) conditional adversarial training. The proposed system consists of two main modules; a mel-synthesis network that generates a mel-spectrogram from the given input information, and a super-resolution network that upsamples the generated mel-spectrogram into a linear-spectrogram. In the mel-synthesis network, phonetic enhancement masking is applied to generate implicit formant masks solely from the input text, which enables a more accurate phonetic control of singing voice. In addition, we show that two other proposed methods -- local conditioning of text and pitch, and conditional adversarial training -- are crucial for a realistic generation of the human singing voice in the super-resolution process. Finally, both quantitative and qualitative evaluations are conducted, confirming the validity of all proposed methods.


title: Policy Evaluation with Latent Confounders via Optimal Balance

abstract: Evaluating novel contextual bandit policies using logged data is crucial in applications where exploration is costly, such as medicine. But it usually relies on the assumption of no unobserved confounders, which is bound to fail in practice. We study the question of policy evaluation when we instead have proxies for the latent confounders and develop an importance weighting method that avoids fitting a latent outcome regression model. We show that unlike the unconfounded case no single set of weights can give unbiased evaluation for all outcome models, yet we propose a new algorithm that can still provably guarantee consistency by instead minimizing an adversarial balance objective. We further develop tractable algorithms for optimizing this objective and demonstrate empirically the power of our method when confounders are latent.


title: Nonlinear Schr\"odinger Equations for Bose-Einstein Condensates

abstract: The Gross-Pitaevskii equation, or more generally the nonlinear Schr\"odinger equation, models the Bose-Einstein condensates in a macroscopic gaseous superfluid wave-matter state in ultra-cold temperature. We provide analytical study of the NLS with $L^2$ initial data in order to understand propagation of the defocusing and focusing waves for the BEC mechanism in the presence of electromagnetic fields. Numerical simulations are performed for the two-dimensional GPE with anisotropic quadratic potentials.


title: In-orbit demonstration of X-ray pulsar navigation with the Insight-HXMT satellite

abstract: In this work, we report the in-orbit demonstration of X-ray pulsar navigation with Insight-Hard X-ray Modulation Telescope (Insight-HXMT), which was launched on Jun. 15th, 2017. The new pulsar navigation method 'Significance Enhancement of Pulse-profile with Orbit-dynamics' (SEPO) is adopted to determine the orbit with observations of only one pulsar. In this test, the Crab pulsar is chosen and observed by Insight-HXMT from Aug. 31th to Sept. 5th in 2017. Using the 5-day-long observation data, the orbit of Insight-HXMT is determined successfully with the three telescopes onboard - High Energy X-ray Telescope (HE), Medium Energy X-ray Telescope (ME) and Low Energy X-ray Telescope (LE) - respectively. Combining all the data, the position and velocity of the Insight-HXMT are pinpointed to within 10 km (3 sigma) and 10 m/s (3 sigma), respectively.


title: Probabilistic Projections of Baseline 21st Century CO$_2$ Emissions Using a Simple Calibrated Integrated Assessment Model

abstract: Probabilistic projections of baseline (with no additional mitigation policies) future carbon emissions are important for sound climate risk assessments. Deep uncertainty surrounds many drivers of projected emissions. Here we use a simple integrated assessment model, calibrated to century-scale data and expert assessments of baseline emissions, global economic growth, and population growth, to make probabilistic projections of carbon emissions through 2100. Under a variety of assumptions about fossil fuel resource levels and decarbonization rates, our projections largely agree with several emissions projections under current policy conditions. Our global sensitivity analysis identifies several key economic drivers of uncertainty in future emissions and shows important higher-level interactions between economic and technological parameters, while population uncertainties are less important. Our analysis also projects relatively low global economic growth rates over the remainder of the century. This illustrates the importance of additional research into economic growth dynamics for climate risk assessment, especially if pledged and future climate mitigation policies are weakened or have delayed implementations. These results showcase the power of using a simple, transparent, and calibrated model. While the simple model structure has several advantages, it also creates caveats for our results which are related to important areas for further research.


title: Edge AIBench: Towards Comprehensive End-to-end Edge Computing Benchmarking

abstract: In edge computing scenarios, the distribution of data and collaboration of workloads on different layers are serious concerns for performance, privacy, and security issues. So for edge computing benchmarking, we must take an end-to-end view, considering all three layers: client-side devices, edge computing layer, and cloud servers. Unfortunately, the previous work ignores this most important point. This paper presents the BenchCouncil's coordinated e ort on edge AI benchmarks, named Edge AIBench. In total, Edge AIBench models four typical application scenarios: ICU Patient Monitor, Surveillance Camera, Smart Home, and Autonomous Vehicle with the focus on data distribution and workload collaboration on three layers. Edge AIBench is a part of the open-source AIBench project, publicly available from http://www.benchcouncil.org/AIBench/index.html. We also build an edge computing testbed with a federated learning framework to resolve performance, privacy, and security issues.


title: Attract or Distract: Exploit the Margin of Open Set

abstract: Open set domain adaptation aims to diminish the domain shift across domains, with partially shared classes. There exist unknown target samples out of the knowledge of source domain. Compared to the close set setting, how to separate the unknown (unshared) class from the known (shared) ones plays a key role. Whereas, previous methods did not emphasize the semantic structure of the open set data, which may introduce bias into the domain alignment and confuse the classifier around the decision boundary. In this paper, we exploit the semantic structure of open set data from two aspects: 1) Semantic Categorical Alignment, which aims to achieve good separability of target known classes by categorically aligning the centroid of target with the source. 2)Semantic Contrastive Mapping, which aims to push the unknown class away from the decision boundary. Empirically, we demonstrate that our method performs favourably against the state-of-the-art methods on representative benchmarks, e.g. Digit datasets and Office-31 datasets.


title: Ethane in Titan's Stratosphere from Cassini CIRS Far- and Mid-Infrared Spectra

abstract: The Cassini Composite Infrared Spectrometer (CIRS) observed thermal emission in the far- and mid-infrared (from 10 cm$^{-1}$ to 1500 cm$^{-1}$), enabling spatiotemporal studies of ethane on Titan across the span of the Cassini mission from 2004 through 2017. Many previous measurements of ethane on Titan have relied on modeling the molecule's mid-infrared $\nu_{12}$ band, centered on 822 cm$^{-1}$. Other bands of ethane at shorter and longer wavelengths were seen, but have not been modeled to measure ethane abundance. Spectral line lists of the far-infrared $\nu_{4}$ torsional band at 289 cm$^{-1}$ and the mid-infrared $\nu_{8}$ band centered ay 1468 cm$^{-1}$ have recently been studied in the laboratory. We model CIRS observations of each of these bands (along with the $\nu_{12}$ band) separately and compare retrieved mixing ratios from each spectral region. Nadir observations of of the $\nu_{4}$ band probe the low stratosphere below 100 km. Our equatorial measurements at 289 cm$^{-1}$ show an abundance of (1.0$\pm$0.4) $\times$10$^{-5}$ at 88 km, from 2007 to 2017. This mixing ratio is consistent with measurements at higher altitudes, in contrast to the depletion that many photochemical models predict. Measurements from the $\nu_{12}$ and $\nu_{8}$ bands are comparable to each other, with the $\nu_{12}$ band probing an altitude range that extends deeper in the atmosphere. We suggest future studies of planetary atmospheres may observe the $\nu_{8}$ band, enabling shorter wavelength studies of ethane. There may also be an advantage to observing both the ethane $\nu_{8}$ band and nearby methane $\nu_{4}$ band in the same spectral window.


title: Distributed Stability Conditions for Power Systems with Heterogeneous Nonlinear Bus Dynamics

abstract: This paper derives distributed conditions that guarantee the system-wide stability for power systems with nonlinear and heterogeneous bus dynamics interconnected via power network. Our conditions require each bus dynamics should satisfy certain passivity-like conditions with a large enough passivity index, a sufficient requirement of which is dictated by the steady-state power flow. The passivity indices uniformly quantify the impacts on the system-wide stability of individual bus dynamics and the coupling strength from the power network. Furthermore, taking three typical bus dynamics as examples, we show that these conditions can be easily fulfilled via proper control design. Simulations on a rudimentary 3-bus example and the IEEE 39-bus system well verify our results under both small and large disturbances.


title: AppMine: Behavioral Analytics for Web Application Vulnerability Detection

abstract: Web applications in widespread use have always been the target of large-scale attacks, leading to massive disruption of services and financial loss, as in the Equifax data breach. It has become common practice to deploy web application in containers like Docker for better portability and ease of deployment. We design a system called AppMine for lightweight monitoring of web applications running in Docker containers and detection of unknown web vulnerabilities. AppMine is an unsupervised learning system, trained only on legitimate workloads of web application, to detect anomalies based on either traditional models (PCA and one-class SVM), or more advanced neural-network architectures (LSTM). In our evaluation, we demonstrate that the neural network model outperforms more traditional methods on a range of web applications and recreated exploits. For instance, AppMine achieves average AUC scores as high as 0.97 for the Apache Struts application (with the CVE-2017-5638 exploit used in the Equifax breach), while the AUC scores for PCA and one-class SVM are 0.81 and 0.83, respectively.


title: Universal precursor seismicity pattern before locked-segment rupture

abstract: Despite the enormous efforts towards searching for precursors, no precursors have exhibited real predictive power with respect to an earthquake thus far. Seismogenic locked segments that can accumulate adequate strain energy to cause major earthquakes are very heterogeneous and less brittle; progressive failures of the locked segments with these properties can produce an interesting seismic phenomenon: a characteristic earthquake and a sequence of smaller subsequent earthquakes (pre-shocks) always arise prior to another characteristic earthquake within a well-defined seismic zone and its current seismic period. Applying a mechanical model and magnitude constraint conditions, we show that two adjacent characteristic earthquakes reliably occur at the volume-expansion and peak-stress points of a locked segment. Such a seismicity pattern has occurred in 62 seismic zones worldwide, suggesting that the pattern applies universally. Both the precursor pattern and the model quantifying it permit the prediction of certain characteristic earthquakes in a seismic zone.


title: A Formally Verified HOL Algebra for Dynamic Reliability Block Diagrams

abstract: Dynamic reliability block diagrams (DRBDs) are introduced to overcome the modeling limitations of traditional reliability block diagrams, such as the inability to capture redundant components. However, so far there is no algebraic framework that allows conducting the analysis of a given DRBD based on its structure function and enables verifying its soundness using higher-order logic (HOL) theorem proving. In this work, we propose a new algebra to formally express the structure function and the reliability of a DRBD with spare constructs based on basic system blocks and newly introduced DRBD operators. We present several simplification properties that allow reducing the structure of a given DRBD. We provide the HOL formalization of the proposed algebra, and formally verify its corresponding properties using the HOL4 theorem prover. This includes formally verifying generic reliability expressions of the spare construct, series, parallel and deeper structures in an extensible manner that allows verifying the reliability of complex systems. Finally, we demonstrate the applicability of this algebra by formally analyzing the terminal reliability analysis of a shuffle-exchange network in HOL4.


title: Logic could be learned from images

abstract: Logic reasoning is a significant ability of human intelligence and also an important task in artificial intelligence. The existing logic reasoning methods, quite often, need to design some reasoning patterns beforehand. This has led to an interesting question: can logic reasoning patterns be directly learned from given data? The problem is termed as a data concept logic. In this study, a learning logic task from images, called a LiLi task, first is proposed. This task is to learn and reason the logic relation from images, without presetting any reasoning patterns. As a preliminary exploration, we design six LiLi data sets (Bitwise And, Bitwise Or, Bitwise Xor, Addition, Subtraction and Multiplication), in which each image is embedded with a n-digit number. It is worth noting that a learning model beforehand does not know the meaning of the n-digit numbers embedded in images and the relation between the input images and the output image. In order to tackle the task, in this work we use many typical neural network models and produce fruitful results. However, these models have the poor performances on the difficult logic task. For furthermore addressing this task, a novel network framework called a divide and conquer model by adding some label information is designed, achieving a high testing accuracy.


title: Enceladus and Titan: Emerging Worlds of the Solar System (ESA Voyage 2050 White Paper)

abstract: Some of the major discoveries of the recent Cassini-Huygens mission have put Titan and Enceladus firmly on the Solar System map. The mission has revolutionised our view of Solar System satellites, arguably matching their scientific importance with that of their planet. While Cassini-Huygens has made big surprises in revealing Titan's organically rich environment and Enceladus' cryovolcanism, the mission's success naturally leads us to further probe these findings. We advocate the acknowledgement of Titan and Enceladus science as highly relevant to ESA's long-term roadmap, as logical follow-on to Cassini-Huygens. In this white paper, we will outline important science questions regarding these satellites and identify the pertinent science themes we recommend ESA cover during the Voyage 2050 planning cycle. Addressing these science themes would make major advancements to the present knowledge we have about the Solar System, its formation, evolution and likelihood that other habitable environments exist outside the Earth's biosphere.


title: Surfaces on the Severi line in positive characteristics

abstract: Let $X$ be a minimal surface of general type over an algebraically closed field $\mathbf{k}$ of $\mathrm{char}.(\mathbf{k})=p\ge 0$. If the Albanese morphism $a_X:X\to \mathrm{Alb}_X$ is generically finite onto its image, we formulate a constant $c(X,L)\ge 0$ for a very ample line bundle $L$ on $\mathrm{Alb}_X$ such that $c(X,L)=0$ if and only if $\dim \mathrm{Alb}_X=2$ and $a_X: X\to \mathrm{Alb}_X$ is a double cover. A refined Severi inequality $$K^2_X\ge (4+{\rm min}\{\,c(X,L),\,\frac{1}{3}\,\})\chi(\mathcal{O}_X)$$ is proved. Then we prove that $K^2_X=4\chi(\mathcal{O}_X)$ if and only if the canonical model of $X$ is a flat double cover of an Abelian surface.


title: $\Xi$ hyperons in the nuclear medium described by chiral NLO interactions

abstract: Properties of the baryon-baryon interactions in the strangeness $S=-2$ sector of chiral effective field theory at the next-to-leading order (NLO) level are explored by calculating $\Xi$ single-particle potentials in symmetric nuclear matter. The results are transformed to the $\Xi$ potential in finite nuclei by a local-density approximation with convolution by a Gaussian form factor to simulate finite-range effects. The $\Xi$ potential is repulsive in a central region, and attractive in a surface area when the $\Xi$ energy is low. The attractive pocket can lower the $\Xi^-$ $s$ and $p$ atomic states. The obtained binding energies in $^{12}$C and $^{14}$N are found to be conformable with those found in emulsion experiments at Japan's National Laboratory for High Energy Physics (KEK). $K^+$ spectra of $(K^-, K^+)$ $\Xi$ production inclusive processes on $^9$Be and $^{12}$C are also evaluated, using a semi-classical distorted wave method. The absolute values of the cross section are properly reproduced for $^9$Be, but the peak locates at a lower energy position than that of the experimental data. The calculated spectrum of $^{12}$C should be compared with the forthcoming result from the new experiments recently carried out at KEK with better resolution than before. The comparison would be valuable to improve the understanding of the $\Xi N$ interaction, the parametrization of which has still large uncertainties.


title: On the non-hypercyclicity of normal operators, their exponentials, and symmetric operators

abstract: We give a simple, straightforward proof of the non-hypercyclicity of an arbitrary (bounded or not) normal operator $A$ in a complex Hilbert space as well as of the collection $\left\{e^{tA}\right\}_{t\ge 0}$ of its exponentials, which, under a certain condition on the spectrum of $A$, coincides with the $C_0$-semigroup generated by it. We also establish non-hypercyclicity for symmetric operators.


title: Role of poloidal-pressure-asymmetry-driven flows in L-H transition and impurity transport during MGI shutdowns

abstract: Poloidal asymmetries in tokamaks are usually investigated in the context of various transport processes, usually invoking neoclassical physics. A simpler approach based on magnetohydrodynamics (MHD), focusing on the effects rather than the causes of asymmetries, yields useful insights into the generation of shear flows and radial electric field. The crucial point to recognize is that an MHD equilibrium in which the plasma pressure is not a flux function can be maintained only by contributions from mass flows. Coupling between the asymmetry-generated forces and toroidal geometry results in a strongly up-down asymmetric effect, where the flows exhibit a strong dependence on the location of the asymmetry with respect to the midplane. This location-dependence can be used as an effective control mechanism for the edge and thus the global confinement in tokamaks. It can also explain a number of poorly-understood observations. For instance, strong dependence of the low to high (L-H) confinement transition power threshold $P_{LH}$ on the magnetic topology can be qualitatively explained within this framework. Similarly, upper-lower midplane dependence of the poloidal flow direction after massive gas injections (MGI) naturally follows from this discussion. Similar arguments suggest that the ITER fueling ports above the midplane, to the extent they can generate a positive pressure asymmetry at the edge, are misplaced and may lead to higher input power requirements.


title: Scalar model of effective field theory in curved space

abstract: We consider, in more details than it was done previously, the effective low-energy behavior in the quantum theory of a light scalar field coupled to another scalar with much larger mass. The main target of our work is an IR decoupling of heavy degrees of freedom, including in the diagrams with mixed light-heavy contents in the loops. It is shown that the one-loop diagrams with mixed internal lines produce an IR non-local contributions which are exactly the same as the ones in the theory of the light scalar alone, with the effective self-interaction which can be obtained by the functional integration of the heavy scalar, almost neglecting its kinetic term. The same effect takes place in curved space, regardless of a larger amount of non-localities which show up in the effective model.


title: Heterogeneous porous scaffold generation in trivariate B-spline solid with triply periodic minimal surface in the parametric domain

abstract: A porous scaffold is a three-dimensional network structure composed of a large number of pores, and triply periodic minimal surfaces (TPMSs) are one of conventional tools for designing porous scaffolds. However, discontinuity, incompleteness, and high storage space requirements are the three main shortcomings of TPMSs for porous scaffold design. In this study, we developed an effective method for heterogeneous porous scaffold generation to overcome the abovementioned shortcomings of TPMSs. The input of the proposed method is a trivariate B-spline solid (TBSS) with a cubic parameter domain. The proposed method first constructs a threshold distribution field (TDF) in the cubic parameter domain, and then produces a continuous and complete TPMS within it. Moreover, by mapping the TPMS in the parametric domain to the TBSS, a continuous and complete porous scaffold is generated in the TBSS. In addition, if the TBSS does not satisfy engineering requirements, the TDF can be locally modified in the parameter domain, and the porous scaffold in the TBSS can be rebuilt. We also defined a new storage space-saving file format based on the TDF to store porous scaffolds. The experimental results presented in this paper demonstrate the effectiveness and efficiency of the method using a TBSS as well as the superior space-saving of the proposed storage format.


title: Study of kaon structure using the light-cone quark model

abstract: We investigate the various distributions explaining multi-dimensional structure of kaon at the level of its constituents ($u$ and $\bar{s}$) using the light-cone quark model. The overlap form of wavefunctions associated with the light-cone quark model is adopted for the calculations. The generalized parton distributions(GPDs)of $u$ and $\bar{s}$ quarks are presented for the case when the momentum transfer in the longitudinal direction is non-zero. The dependence of kaon GPDs is studied in terms of variation of quark longitudinal momentum fraction, momentum transfer in longitudinal direction and total momentum transfer to the final state of hadron. The transverse impact-parameter dependent GPDs are also studied by taking the Fourier transformation of general GPDs. Further, the quantum phase-space distributions; Wigner distributions are studied for the case of unpolarized, longitudinally-polarized and transversely-polarized parton in an unpolarized kaon. The Wigner distributions are analysed in the transverse impact-parameter plane, the transverse momentum plane and the mixed plane. Further, to get a complete picture of kaon in terms of its valence quarks, the variation of longitudinal momentum fraction carried by quark and antiquark in the generalized transverse momentum-dependent parton distributions (GTMDs) is studied for different values of transverse quark and antiquark momentum $({\bf k}_\perp)$ as well as for different values of momentum transferred to the kaon in transverse direction $({\bf \Delta}_\perp)$. This has been done for zero as well as non-zero skewedness representing respectively the absence and presence of momentum transfer to the final state of kaon in longitudinal direction. Furthermore, the possible spin-orbit correlation for $u$ and $\bar{s}$ in kaon is elaborated in context of Wigner distributions and GTMDs.


title: Restoration of Non-rigidly Distorted Underwater Images using a Combination of Compressive Sensing and Local Polynomial Image Representations

abstract: Images of static scenes submerged beneath a wavy water surface exhibit severe non-rigid distortions. The physics of water flow suggests that water surfaces possess spatio-temporal smoothness and temporal periodicity. Hence they possess a sparse representation in the 3D discrete Fourier (DFT) basis. Motivated by this, we pose the task of restoration of such video sequences as a compressed sensing (CS) problem. We begin by tracking a few salient feature points across the frames of a video sequence of the submerged scene. Using these point trajectories, we show that the motion fields at all other (non-tracked) points can be effectively estimated using a typical CS solver. This by itself is a novel contribution in the field of non-rigid motion estimation. We show that this method outperforms state of the art algorithms for underwater image restoration. We further consider a simple optical flow algorithm based on local polynomial expansion of the image frames (PEOF). Surprisingly, we demonstrate that PEOF is more efficient and often outperforms all the state of the art methods in terms of numerical measures. Finally, we demonstrate that a two-stage approach consisting of the CS step followed by PEOF much more accurately preserves the image structure and improves the (visual as well as numerical) video quality as compared to just the PEOF stage.


title: Convection-Induced Singularity Suppression in the Keller-Segel and Other Non-linear PDEs

abstract: In this paper we study the effect of the addition of a convective term, and of the resulting increased dissipation rate, on the growth of solutions to a general class of non-linear parabolic PDEs. In particular, we show that blow-up in these models can always be prevented if the added drift has a small enough dissipation time. We also prove a general result relating the dissipation time and the effective diffusivity of stationary cellular flows, which allows us to obtain examples of simple incompressible flows with arbitrarily small dissipation times. As an application, we show that blow-up in the Keller-Segel model of chemotaxis can always be prevented if the velocity field of the ambient fluid has a sufficiently small dissipation time. We also study reaction-diffusion equations with ignition-type nonlinearities, and show that the reaction can always be quenched by the addition of a convective term with a small enough dissipation time, provided the average initial temperature is initially below the ignition threshold.


title: A lower bound on critical points of the electric potential of a knot

abstract: Given a knot $K$ parametrized by $r: [0,2\pi] \to \mathbb{R}^3$, we can define the electric potential on its complement by $\Phi(x) = \int_0^{2\pi} \frac{|r'(t)|}{|x - r(t)|}dt$. Physicists and knot theorists want to understand the critical points of the potential and their behavior. The tunneling number $t(K)$ of a knot is the smallest number of arcs one needs to add to a knot so the complement is a handlebody. We show the number of critical points of the potential is at least $2t(K) + 2$. The result is proven using Morse theory and stable manifold theory.


title: Stochastic ordering of Gini indexes for multivariate elliptical random variables

abstract: In this paper, we establish the stochastic ordering of the Gini indexes for multivariate elliptical risks which generalized the corresponding results for multivariate normal risks. It is shown that several conditions on dispersion matrices and the components of dispersion matrices of multivariate normal risks for the monotonicity of the Gini index in the usual stochastic order proposed by Samanthi, Wei and Brazauskas (2016) and Kim and Kim (2019) are also suitable for multivariate elliptical risks. We also study the tail probability of Gini index for multivariate elliptical risks and revised a large deviation result for the Gini indexes of multivariate normal risks in Kim and Kim (2019).


title: Analysis of Bohr formula of momentum of inertia for even-even atomic nuclei

abstract: The moment of inertia of even-even deformed nuclei which are derived on the basis of hydrodynamical model yield values that are too small compared with the experimental [Davidson 1965] ones. We expect that these contradictions come from the consideration only the first term in $R$- expansion in spite of not containing parameters indicating deformity of the nucleus, and neglecting all other terms which include the deformation parameters $\alpha\lambda\mu$. In this work, the first three terms in $R$- expansion are taken into account. The results are more realistic and too much better the previous ones.


title: Imaging across the Short-Wave Infra-Red (SWIR) Band via a Flat Multilevel Diffractive Lens

abstract: We designed and fabricated a flat multi-level diffractive lens (MDL) that is achromatic in the SWIR band (875nm to 1675nm). The MDL had a focal length of 25mm, aperture diameter of 8.93mm and thickness of only 2.6um. By pairing the MDL with a SWIR image sensor, we also characterized its imaging performance in terms of the point-spread functions, modulation-transfer functions, and still and video imaging.


title: Dialog State Tracking: A Neural Reading Comprehension Approach

abstract: Dialog state tracking is used to estimate the current belief state of a dialog given all the preceding conversation. Machine reading comprehension, on the other hand, focuses on building systems that read passages of text and answer questions that require some understanding of passages. We formulate dialog state tracking as a reading comprehension task to answer the question $what\ is\ the\ state\ of\ the\ current\ dialog?$ after reading conversational context. In contrast to traditional state tracking methods where the dialog state is often predicted as a distribution over a closed set of all the possible slot values within an ontology, our method uses a simple attention-based neural network to point to the slot values within the conversation. Experiments on MultiWOZ-2.0 cross-domain dialog dataset show that our simple system can obtain similar accuracies compared to the previous more complex methods. By exploiting recent advances in contextual word embeddings, adding a model that explicitly tracks whether a slot value should be carried over to the next turn, and combining our method with a traditional joint state tracking method that relies on closed set vocabulary, we can obtain a joint-goal accuracy of $47.33\%$ on the standard test split, exceeding current state-of-the-art by $11.75\%$**.


title: New Design Paradigm of Distortion Cost Function for Efficient JPEG Steganography

abstract: Recently, with the introduction of JPEG phase-aware steganalysis features, e.g., GFR, the design of JPEG steganographic distortion cost function turns to maintain not only the statistical undetectability in DCT domain but also in spatial domain. To tackle this issue, this paper presents a novel paradigm for the design of JPEG steganographic distortion cost function, which calculates the distortion cost via a generalized Distortion Cost Domain Transformation (DCDT) function. The proposed function comprises the decompressed pixel block embedding changes and their corresponding embedding distortion costs for unit change, where the pixel embedding distortion costs are represented in a more general exponential model, aiming to flexibly allocate the embedding data. In this way, the JPEG steganography could be formulated as the optimization problem of minimizing the overall distortion cost in its decompressed spatial domain, which is equivalent to maximizing its statistical undetectability against JPEG phase-aware steganalysis features. Experimental results show that the proposed DCDT equipped with HiLL (a spatial steganographic distortion cost function) is superior to other state-of-the-art JPEG steganographic schemes, e.g., UERD, J-UNIWARD, and GUED in resisting the detection of JPEG phase-aware feature-based steganalyzers GFR and SCA-GFR, and rivals BET-HiLL with one order of magnitude lower computational complexity, along with the possibility of being further improved by considering the mutually dependent embedding interactions. In addition, the proposed DCDT is also verified to be effective for different image databases and quality factors.


title: Imaging extended sources with the solar gravitational lens

abstract: We investigate the optical properties of the solar gravitational lens (SGL) with respect to an extended source located at a large but finite distance from the Sun. The static, spherically symmetric gravitational field of the Sun is modeled within the first post-Newtonian approximation of the general theory of relativity. We consider the propagation of monochromatic electromagnetic (EM) waves near the Sun. We develop, based on a Mie theory, a vector theory of diffraction that accounts for the refractive properties of the solar gravitational field. The finite distance to a point source can be accounted for using a rotation of the coordinate system to align its polar axis with the axis directed from the point source to the center of the Sun, which we call the optical axis. We determine the EM field and study the key optical properties of the SGL in all four regions formed behind the Sun by an EM wave diffracted by the solar gravity field: the shadow, geometric optics, and weak and strong interference regions. Extended sources can then be represented as collections of point sources. We present the power density of the signal received by a telescope in the image plane. Our discussion concludes with considering the implications for imaging with the SGL.

categories: gr-qc astro-ph.EP astro-ph.IM physics.optics


title: GPU Tracking in the COMET Phase-I Cylindrical Drift Chamber

abstract: The GPU-accelerated track finding method is investigated to track electrons from neutrinoless muon decay in the COMET Phase-I experiment. Inside the cylindrical drift chamber, one third of the signal electron trajectories are composed of multiple turns where the correct hit assignments to each turn partition are significant in the track finding. Scanning all possible track seeds of position and momentum can resolve the hit-to-turn assignment problem with a high robustness, but requires a huge computational cost: The initial track seeds $(\theta,z,p_x,p_y,p_z)$ have broad uncertainties, so there exists many number of seeds that should be compared. In this article, this problem of massive computations are mitigated with 1) the parallel computing of Runge-Kutta-Nystr\"om track propagation with the GPU, and 2) an initial guess on the seeds using the Hough transform and the detector geometry. The computation speed enhancement compared to the CPU is also presented.


title: Multiple Riemannian Manifold-valued Descriptors based Image Set Classification with Multi-Kernel Metric Learning

abstract: The importance of wild video based image set recognition is becoming monotonically increasing. However, the contents of these collected videos are often complicated, and how to efficiently perform set modeling and feature extraction is a big challenge for set-based classification algorithms. In recent years, some proposed image set classification methods have made a considerable advance by modeling the original image set with covariance matrix, linear subspace, or Gaussian distribution. As a matter of fact, most of them just adopt a single geometric model to describe each given image set, which may lose some other useful information for classification. To tackle this problem, we propose a novel algorithm to model each image set from a multi-geometric perspective. Specifically, the covariance matrix, linear subspace, and Gaussian distribution are applied for set representation simultaneously. In order to fuse these multiple heterogeneous Riemannian manifoldvalued features, the well-equipped Riemannian kernel functions are first utilized to map them into high dimensional Hilbert spaces. Then, a multi-kernel metric learning framework is devised to embed the learned hybrid kernels into a lower dimensional common subspace for classification. We conduct experiments on four widely used datasets corresponding to four different classification tasks: video-based face recognition, set-based object categorization, video-based emotion recognition, and dynamic scene classification, to evaluate the classification performance of the proposed algorithm. Extensive experimental results justify its superiority over the state-of-the-art.


title: Symmetry-Protected Ideal Type-II Weyl Phonons in CdTe

abstract: Nontrivial low-energy excitations of crystalline solids have insightfully strengthened understanding of elementary particles in quantum field theory. Usually, topological quasiparticles are mainly focused on fermions in topological semimetals. In this work, we alternatively show by first-principles calculations and symmetry analysis that ideal type-II Weyl phonons are present in zinc-blende cadmium telluride (CdTe), a well-known II-VI semiconductor. Importantly, these type-II Weyl phonons originate from the inversion between the longitudinal acoustic and transverse optical branches. Symmetry guarantees the type-II Weyl points to lie along the high-symmetry lines at the boundaries of Brillouin zone even with breaking the inversion symmetry, exhibiting the robustness of protected phonon features. The nontrivial phonon surface states and surface arcs projected on the semi-finite (001) and (111) surfaces are investigated. The phonon surface arcs connecting the Weyl points with opposite chirality, guaranteed to be very long, are clearly visible. This work not only offers a promising candidate for studying type-II Weyl phonons, but also provides a route to realize symmetry-protected nontrivial phonons and related applications in realistic materials.


title: Scattering by two staggered semi-infinite cracks on square lattice: an application of asymptotic Wiener-Hopf factorization

abstract: Scattering of time-harmonic plane wave by two parallel semi-infinite rows, but with staggered edges, is considered on square lattice. The condition imposed on the semi-infinite rows is a discrete analogue of Neumann boundary condition. A physical interpretation assuming an out-of-plane displacement for the particles arranged in the form of a square lattice and interacting with nearest-neighbours, associates the scattering problem to lattice wave scattering due to the presence of two staggered but parallel crack tips. The discrete scattering problem is reduced to the study of a pair of Wiener-Hopf equation on an annulus in complex plane, using Fourier transforms. Due to the offset between the crack edges, the Wiener-Hopf kernel, a 2x2 matrix, is not amenable to factorization in a desirable form and an asymptotic method is adapted. Further, an approximation in the far field is carried out using the stationary phase method. A graphical comparison between the far-field approximation based on asymptotic Wiener-Hopf method and that obtained by a numerical solution is provided. Also included is a graphical illustration of the low frequency approximation, where it has been found that the numerical solution of the scattering problem coincides with the well known formidable solution in the continuum framework.


title: Probing the independence within the dark sector in the fluid approximation

abstract: The standard model of cosmology is based on two unknown dark components that are uncoupled from each other. In this paper we investigate whether there is evidence for an interaction between these components of cold dark matter (CDM) and dark energy (DE). In particular, we focus on a minimal extension and reconstruct the interaction history at low-redshifts non-parametrically using a variation of the commonly used principal component analysis. Although we focus on the interaction in the dark sector, any significant deviation from the standard model that changes the expansion history of the Universe, should leave imprints detectable by our analysis. Thus, detecting signatures of interaction could also be indicative of other non-standard phenomena even if they are not the results of the interaction. It is thus interesting to note that the results presented in this paper do not provide support for the interaction in the dark sector, although the uncertainty is still quite large. In so far as interaction is present but undetectable using current data, we show from a Fisher forecast that forthcoming LSST and DESI surveys will be able to constrain a DM-DE coupling at $20\%$ precision --- enough to falsify the non-interacting scenario, assuming the presence of a modest amount of interaction.


title: Percolation for the Finitary Random interlacements

abstract: In this paper, we prove a phase transition in the connectivity of Finitary Random interlacements $\mathcal{FI}^{u,T}$ in $\mathbb{Z}^d$, with respect to the average stopping time. For each $u>0$, with probability one $\mathcal{FI}^{u,T}$ has no infinite connected component for all sufficiently small $T>0$, and a unique infinite connected component for all sufficiently large $T<\infty$. This answers a question of Bowen in the special case of $\mathbb{Z}^d$.


title: A Construction of Dynamical Entropy on CAR Algebras

abstract: The dynamical entropy on von Neumann algebras defined by Accardi, Ohya and Watanabe (AOW entropy) is a natural noncommutative extension of the classical dynamical entropy. On the other hand, quantum spin lattice systems currently used in quantum computing and communication processes are mathematically described by $C^*$-algebras called CAR algebras. Therefore, in order to obtain the average amount of quantum information and to calculate the uncertainty of the dynamics of quantum spin systems, it is necessary to define dynamical entropy on CAR algebras. In this paper, we formulate dynamical entropy on CAR algebras based on the construction of the AOW entropy. Moreover, we compute the introduced entropy for a $2 \times 2$ matrix algebra case which has relation to the quantum spin system.


title: Parallel Batch-Dynamic Graphs: Algorithms and Lower Bounds

abstract: In this paper we study the problem of dynamically maintaining graph properties under batches of edge insertions and deletions in the massively parallel model of computation. In this setting, the graph is stored on a number of machines, each having space strongly sublinear with respect to the number of vertices, that is, $n^\epsilon$ for some constant $0 < \epsilon < 1$. Our goal is to handle batches of updates and queries where the data for each batch fits onto one machine in constant rounds of parallel computation, as well as to reduce the total communication between the machines. This objective corresponds to the gradual buildup of databases over time, while the goal of obtaining constant rounds of communication for problems in the static setting has been elusive for problems as simple as undirected graph connectivity. We give an algorithm for dynamic graph connectivity in this setting with constant communication rounds and communication cost almost linear in terms of the batch size. Our techniques combine a new graph contraction technique, an independent random sample extractor from correlated samples, as well as distributed data structures supporting parallel updates and queries in batches. We also illustrate the power of dynamic algorithms in the MPC model by showing that the batched version of the adaptive connectivity problem is $\mathsf{P}$-complete in the centralized setting, but sub-linear sized batches can be handled in a constant number of rounds. Due to the wide applicability of our approaches, we believe it represents a practically-motivated workaround to the current difficulties in designing more efficient massively parallel static graph algorithms.


title: Symmetry-constrained Rectification Network for Scene Text Recognition

abstract: Reading text in the wild is a very challenging task due to the diversity of text instances and the complexity of natural scenes. Recently, the community has paid increasing attention to the problem of recognizing text instances with irregular shapes. One intuitive and effective way to handle this problem is to rectify irregular text to a canonical form before recognition. However, these methods might struggle when dealing with highly curved or distorted text instances. To tackle this issue, we propose in this paper a Symmetry-constrained Rectification Network (ScRN) based on local attributes of text instances, such as center line, scale and orientation. Such constraints with an accurate description of text shape enable ScRN to generate better rectification results than existing methods and thus lead to higher recognition accuracy. Our method achieves state-of-the-art performance on text with both regular and irregular shapes. Specifically, the system outperforms existing algorithms by a large margin on datasets that contain quite a proportion of irregular text instances, e.g., ICDAR 2015, SVT-Perspective and CUTE80.


title: View N-gram Network for 3D Object Retrieval

abstract: How to aggregate multi-view representations of a 3D object into an informative and discriminative one remains a key challenge for multi-view 3D object retrieval. Existing methods either use view-wise pooling strategies which neglect the spatial information across different views or employ recurrent neural networks which may face the efficiency problem. To address these issues, we propose an effective and efficient framework called View N-gram Network (VNN). Inspired by n-gram models in natural language processing, VNN divides the view sequence into a set of visual n-grams, which involve overlapping consecutive view sub-sequences. By doing so, spatial information across multiple views is captured, which helps to learn a discriminative global embedding for each 3D object. Experiments on 3D shape retrieval benchmarks, including ModelNet10, ModelNet40 and ShapeNetCore55 datasets, demonstrate the superiority of our proposed method.


title: Adiabatic dynamics of quasiperiodic transverse Ising model

abstract: We study the non-equilibrium dynamics due to slowly taking a quasiperiodic Hamiltonian across its quantum critical point. The special quasiperiodic Hamiltonian that we study here has two different types of critical lines belonging to two different universality classes, one of them being the well known quantum Ising universality class. In this paper, we verify the Kibble Zurek scaling which predicts a power law scaling of the density of defects generated as a function of the rate of variation of the Hamiltonian. The exponent of this power law is related to the equilibrium critical exponents associated with the critical point crossed. We show that the power-law behavior is indeed obeyed when the two types of critical lines are crossed, with the exponents that are correctly predicted by Kibble Zurek scaling.


title: Coexistence and evolution of shapes: mean-field-based interacting boson model

abstract: A method of deriving the Hamiltonian of the interacting boson model, that is based on the microscopic framework of the nuclear energy density functional, is presented. The constrained self-consistent mean-field calculation with a given energy density functional provides potential energy surface within the relevant collective coordinates, which is subsequently mapped onto the expectation value of the interacting-boson Hamiltonian in the boson condensate state. This procedure completely determines the strength parameters of the IBM, and the diagonalization of the mapped Hamiltonian yields excitation spectra and transition rates for a given nucleus. Two recent applications of the method are discussed, that is, the descriptions of the intruder states in Cadmium isotopes and the octupole correlations in neutron-rich odd-mass Barium isotopes.


title: Real-Time Global Illumination Decomposition of Videos

abstract: We propose the first approach for the decomposition of a monocular color video into direct and indirect illumination components in real time. We retrieve, in separate layers, the contribution made to the scene appearance by the scene reflectance, the light sources and the reflections from various coherent scene regions to one another. Existing techniques that invert global light transport require image capture under multiplexed controlled lighting, or only enable the decomposition of a single image at slow off-line frame rates. In contrast, our approach works for regular videos and produces temporally coherent decomposition layers at real-time frame rates. At the core of our approach are several sparsity priors that enable the estimation of the per-pixel direct and indirect illumination layers based on a small set of jointly estimated base reflectance colors. The resulting variational decomposition problem uses a new formulation based on sparse and dense sets of non-linear equations that we solve efficiently using a novel alternating data-parallel optimization strategy. We evaluate our approach qualitatively and quantitatively, and show improvements over the state of the art in this field, in both quality and runtime. In addition, we demonstrate various real-time appearance editing applications for videos with consistent illumination.


title: REAPS: Towards Better Recognition of Fine-grained Images by Region Attending and Part Sequencing

abstract: Fine-grained image recognition has been a hot research topic in computer vision due to its various applications. The-state-of-the-art is the part/region-based approaches that first localize discriminative parts/regions, and then learn their fine-grained features. However, these approaches have some inherent drawbacks: 1) the discriminative feature representation of an object is prone to be disturbed by complicated background; 2) it is unreasonable and inflexible to fix the number of salient parts, because the intended parts may be unavailable under certain circumstances due to occlusion or incompleteness, and 3) the spatial correlation among different salient parts has not been thoroughly exploited (if not completely neglected). To overcome these drawbacks, in this paper we propose a new, simple yet robust method by building part sequence model on the attended object region. Concretely, we first try to alleviate the background effect by using a region attention mechanism to generate the attended region from the original image. Then, instead of localizing different salient parts and extracting their features separately, we learn the part representation implicitly by applying a mapping function on the serialized features of the object. Finally, we combine the region attending network and the part sequence learning network into a unified framework that can be trained end-to-end with only image-level labels. Our extensive experiments on three fine-grained benchmarks show that the proposed method achieves the state of the art performance.


title: Using the Makerspace to Create Educational Open-source Software for Electrical Circuits: A Learning Experience

abstract: Virtual learning environments are a useful modality for engaging students in the classroom by affording them a sense of presence and immersion. The motivation of this project was to create an open-source augmented reality electrical circuit application for use in lower division engineering courses to teach students about electricity fundamentals. Softwares that are readily available for use on virtual and augmented reality devices do not typically apply to all disciplines and do not necessarily have a pedagogical or accessibility focus. Considering this lack of appropriate educational applications for the current virtual and augmented reality devices, a team of interdisciplinary students was assembled to create such software. With extensive usability studies, the application was designed for quick adoption and improve accessibility by providing multimodal access such as voice assistant, gray scaling for depth perception and daltonize the app. The software is available as part of VITaL Laboratory, Sonoma State University.


title: Acceleration of rank-constrained spatial covariance matrix estimation for blind speech extraction

abstract: In this paper, we propose new accelerated update rules for rank-constrained spatial covariance model estimation, which efficiently extracts a directional target source in diffuse background noise.The naive updat e rule requires heavy computation such as matrix inversion or matrix multiplication. We resolve this problem by expanding matrix inversion to reduce computational complexity; in the parameter update step, we need neither matrix inversion nor multiplication. In an experiment, we show that the proposed accelerated update rule achieves 87 times faster calculation than the naive one.


title: Generalized Multiscale Finite Element Method for the poroelasticity problem in multicontinuum media

abstract: In this paper, we consider a poroelasticity problem in heterogeneous multicontinuum media that is widely used in simulations of the unconventional hydrocarbon reservoirs and geothermal fields. Mathematical model contains a coupled system of equations for pressures in each continuum and effective equation for displacement with volume force sources that are proportional to the sum of the pressure gradients for each continuum. To illustrate the idea of our approach, we consider a dual continuum background model with discrete fracture networks that can be generalized to a multicontinuum model for poroelasticity problem in complex heterogeneous media. We present a fine grid approximation based on the finite element method and Discrete Fracture Model (DFM) approach for two and three-dimensional formulations. The coarse grid approximation is constructed using the Generalized Multiscale Finite Element Method (GMsFEM), where we solve local spectral problems for construction of the multiscale basis functions for displacement and pressures in multicontinuum media. We present numerical results for the two and three dimensional model problems in heterogeneous fractured porous media. We investigate relative errors between reference fine grid solution and presented coarse grid approximation using GMsFEM with different numbers of multiscale basis functions. Our results indicate that the proposed method is able to give accurate solutions with few degrees of freedoms.


title: H$_2$ ortho-para spin conversion on inhomogeneous grain surfaces

abstract: We investigate the evolution of the ortho-to-para ratio of overall (gas + ice) H$_2$ via the nuclear spin conversion on grain surfaces coated with water ice under physical conditions that are relevant to star- and planet-forming regions. We utilize the rate equation model that considers adsorption of gaseous H$_2$ on grain surfaces which have a variety of binding sites with a different potential energy depth, thermal hopping, desorption, and the nuclear spin conversion of adsorbed H$_2$. It is found that the spin conversion efficiency depends on the H$_2$ gas density and the surface temperature. As a general trend, enhanced H$_2$ gas density reduces the efficiency, while the temperature dependence is not monotonic; there is a critical surface temperature at which the efficiency is the maximum. At low temperatures, the exchange of gaseous and icy H$_2$ is inefficient (i.e., adsorbed H$_2$ does not desorb and hinders another gaseous H$_2$ to be adsorbed), while at warm temperatures, the residence time of H$_2$ on surfaces is too short for the spin conversion. Additionally, the spin conversion becomes more efficient with lowering the activation barriers for thermal hopping. We discuss whether the spin conversion on surfaces can dominate over that in the gas-phase in star- and planet-forming regions. Finally, we establish a simple but accurate way to implement the H$_2$ spin conversion on grain surfaces in existing astrochemical models.


title: Isometric deformations of mixed type surfaces in Lorentz-Minkowski space

abstract: A connected regular surface in Lorentz-Minkowski 3-space is called a mixed type surface if the spacelike, timelike and lightlike point sets are all non-empty. Lightlike points on mixed type surfaces may be regarded as singular points of the induced metrics. In this paper, we introduce the L-Gauss map around non-degenerate lightlike points, and show the fundamental theorem of surface theory for mixed type surfaces at non-degenerate lightlike points. As an application, we prove that a real analytic mixed type surface admits non-trivial isometric deformations around generic lightlike points.


title: Self-Balanced Dropout

abstract: Dropout is known as an effective way to reduce overfitting via preventing co-adaptations of units. In this paper, we theoretically prove that the co-adaptation problem still exists after using dropout due to the correlations among the inputs. Based on the proof, we further propose Self-Balanced Dropout, a novel dropout method which uses a trainable variable to balance the influence of the input correlation on parameter update. We evaluate Self-Balanced Dropout on a range of tasks with both simple and complex models. The experimental results show that the mechanism can effectively solve the co-adaption problem to some extent and significantly improve the performance on all tasks.


title: Word Embedding for Response-To-Text Assessment of Evidence

abstract: Manually grading the Response to Text Assessment (RTA) is labor intensive. Therefore, an automatic method is being developed for scoring analytical writing when the RTA is administered in large numbers of classrooms. Our long-term goal is to also use this scoring method to provide formative feedback to students and teachers about students' writing quality. As a first step towards this goal, interpretable features for automatically scoring the evidence rubric of the RTA have been developed. In this paper, we present a simple but promising method for improving evidence scoring by employing the word embedding model. We evaluate our method on corpora of responses written by upper elementary students.


title: Predictive Generalized Graph Fourier Transform for Attribute Compression of Dynamic Point Clouds

abstract: As 3D scanning devices and depth sensors advance, dynamic point clouds have attracted increasing attention as a format for 3D objects in motion, with applications in various fields such as immersive telepresence, navigation for autonomous driving and gaming. Nevertheless, the tremendous amount of data in dynamic point clouds significantly burden transmission and storage. To this end, we propose a complete compression framework for attributes of 3D dynamic point clouds, focusing on optimal inter-coding. Firstly, we derive the optimal inter-prediction and predictive transform coding assuming the Gaussian Markov Random Field model with respect to a spatio-temporal graph underlying the attributes of dynamic point clouds. The optimal predictive transform proves to be the Generalized Graph Fourier Transform in terms of spatio-temporal decorrelation. Secondly, we propose refined motion estimation via efficient registration prior to inter-prediction, which searches the temporal correspondence between adjacent frames of irregular point clouds. Finally, we present a complete framework based on the optimal inter-coding and our previously proposed intra-coding, where we determine the optimal coding mode from rate-distortion optimization with the proposed offline-trained $\lambda$-Q model. Experimental results show that we achieve around 17% bit rate reduction on average over competitive dynamic point cloud compression methods.


title: Weighted multipolar Hardy inequalities and evolution problems with Kolmogorov operators perturbed by singular potentials

abstract: The main results in the paper are the weighted multipolar Hardy inequalities \begin{equation*} c\int_{\R^N}\sum_{i=1}^n\frac{u^2}{|x-a_i|^2}\,d\mu \leq\int_{\R^N}|\nabla u |^2d\mu+ K\int_{\R^N} u^2d\mu, \end{equation*} in $\R^N$ for any $u$ in a suitable weighted Sobolev space, with $0<c\le c_{o,\mu}$, $a_1,\dots,a_n\in \R^N$, $K$ constant. The weight functions $\mu$ are of a quite general type. The paper fits in the framework of the study of Kolmogorov operators \begin{equation*} Lu=\Delta u+\frac{\nabla \mu}{\mu}\cdot\nabla u, \end{equation*} perturbed by multipolar inverse square potentials, and of the related evolution problems. The necessary and sufficient conditions for the existence of positive exponentially bounded in time solutions to the associated initial value problem are based on weighted Hardy inequalities. The optimality of the constant constant $c_{o,\mu}$ allow us to state the nonexistence of positive solutions. We follow the Cabr\'e-Martel's approach. To this aim we state some properties of the operator $L$, of its corresponding $C_0$-semigroup and density results.


title: Continuous time random walk concepts applied to extended mode coupling theory: A study of the Stokes-Einstein breakdown

abstract: In an attempt to extend the mode coupling theory (MCT) to lower temperatures, an Unified theory was proposed which within the MCT framework incorporated the activated dynamics via the random first order transition theory (RFOT). Here we show that the theory although successful in describing other properties of supercooled liquids is unable to capture the Stokes-Einstein breakdown. We then show using continuous time random work (CTRW) formalism that the Unified theory is equivalent to a CTRW dynamics in presence of two waiting time distributions. It is known from earlier work on CTRW that in such cases the total dynamics is dominated by the fast motion. This explains the failure of the Unified theory in predicting the SE breakdown as both the structural relaxation and the diffusion process are described by the comparatively fast MCT like dynamics. The study also predicts that other forms of extended MCT will face a similar issue. We next modify the Unified theory by applying the concept of renewal theory, usually used in CTRW models where the distribution has a long tail. According to this theory the first jump given by the persistent time is slower than the subsequent jumps given by the exchange time. We first show that for systems with two waiting time distributions even when both the distributions are exponential the persistent time is larger than the exchange time. We also identify the persistent time with the slower activated process. The extended Unified theory can now explain the SE breakdown. In this extended theory at low temperatures the structural relaxation is described by the activated dynamics whereas the diffusion is primarily determined by the MCT like dynamics leading to a decoupling between them. We also calculate a dynamic lengthscale from the wavenumber dependence of the relaxation time. We find that this dynamic length scale grows faster than the static length scale.


title: Algebraic Classical and Quantum Field Theory on Causal Sets

abstract: The framework of perturbative algebraic quantum field theory (pAQFT) is used to construct QFT models on causal sets. We discuss various discretised wave operators, including a new proposal based on the idea of a `preferred past', which we also introduce, and show how they may be used to construct classical free and interacting field theory models on a fixed causal set; additionally, we describe how the sensitivity of observables to changes in the background causal set may be encapsulated in a relative Cauchy evolution. These structures are used as the basis of a deformation quantization, using the methods of pAQFT. The SJ state is defined and discussed as a particular quantum state on the free quantum theory. Finally, using the framework of pAQFT, we construct interacting models for arbitrary interactions that are smooth functions of the field configurations. This is the first construction of such a wide class of models achieved in QFT on causal sets.


title: Omni SCADA Intrusion Detection Using Deep Learning Algorithms

abstract: We investigate deep learning based omni intrusion detection system (IDS) for supervisory control and data acquisition (SCADA) networks that are capable of detecting both temporally uncorrelated and correlated attacks. Regarding the IDSs developed in this paper, a feedforward neural network (FNN) can detect temporally uncorrelated attacks at an {F$_{1}$} of {99.967${\pm}$0.005\%} but correlated attacks as low as {58${\pm}$2\%}. In contrast, long-short term memory (LSTM) detects correlated attacks at {99.56${\pm}$0.01\%} while uncorrelated attacks at {99.3${\pm}$0.1\%}. Combining LSTM and FNN through an ensemble approach further improves the IDS performance with {F$_{1}$} of {99.68${\pm}$0.04\%} regardless the temporal correlations among the data packets.


title: Contour Loss: Boundary-Aware Learning for Salient Object Segmentation

abstract: We present a learning model that makes full use of boundary information for salient object segmentation. Specifically, we come up with a novel loss function, i.e., Contour Loss, which leverages object contours to guide models to perceive salient object boundaries. Such a boundary-aware network can learn boundary-wise distinctions between salient objects and background, hence effectively facilitating the saliency detection. Yet the Contour Loss emphasizes on the local saliency. We further propose the hierarchical global attention module (HGAM), which forces the model hierarchically attend to global contexts, thus captures the global visual saliency. Comprehensive experiments on six benchmark datasets show that our method achieves superior performance over state-of-the-art ones. Moreover, our model has a real-time speed of 26 fps on a TITAN X GPU.


title: Optimal Sliced Latin Hypercube Designs with Slices of Arbitrary Run Sizes

abstract: Sliced Latin hypercube designs (SLHDs) are widely used in computer experiments with both quantitative and qualitative factors and in batches. Optimal SLHDs achieve better space-filling property on the whole experimental region. However, most existing methods for constructing optimal SLHDs have restriction on the run sizes. In this paper, we propose a new method for constructing SLHDs with arbitrary run sizes, and a new combined space-filling measurement describing the space-filling property for both the whole design and its slices. Furthermore, we develop general algorithms to search the optimal SLHD with arbitrary run sizes under the proposed measurement. Examples are presented to illustrate that effectiveness of the proposed methods.


title: Semi-supervised Skin Detection by Network with Mutual Guidance

abstract: In this paper we present a new data-driven method for robust skin detection from a single human portrait image. Unlike previous methods, we incorporate human body as a weak semantic guidance into this task, considering acquiring large-scale of human labeled skin data is commonly expensive and time-consuming. To be specific, we propose a dual-task neural network for joint detection of skin and body via a semi-supervised learning strategy. The dual-task network contains a shared encoder but two decoders for skin and body separately. For each decoder, its output also serves as a guidance for its counterpart, making both decoders mutually guided. Extensive experiments were conducted to demonstrate the effectiveness of our network with mutual guidance, and experimental results show our network outperforms the state-of-the-art in skin detection.


abstract: Multi-view subspace clustering aims to discover the inherent structure of data by fusing multiple views of complementary information. Most existing methods first extract multiple types of handcrafted features and then learn a joint affinity matrix for clustering. The disadvantage of this approach lies in two aspects: 1) multi-view relations are not embedded into feature learning, and 2) the end-to-end learning manner of deep learning is not suitable for multi-view clustering. Even when deep features have been extracted, it is a nontrivial problem to choose a proper backbone for clustering on different datasets. To address these issues, we propose the Multi-view Deep Subspace Clustering Networks (MvDSCN), which learns a multi-view self-representation matrix in an end-to-end manner. The MvDSCN consists of two sub-networks, \ie, a diversity network (Dnet) and a universality network (Unet). A latent space is built using deep convolutional autoencoders, and a self-representation matrix is learned in the latent space using a fully connected layer. Dnet learns view-specific self-representation matrices, whereas Unet learns a common self-representation matrix for all views. To exploit the complementarity of multi-view representations, the Hilbert--Schmidt independence criterion (HSIC) is introduced as a diversity regularizer that captures the nonlinear, high-order inter-view relations. Because different views share the same label space, the self-representation matrices of each view are aligned to the common one by universality regularization. The MvDSCN also unifies multiple backbones to boost clustering performance and avoid the need for model selection. Experiments demonstrate the superiority of the MvDSCN.


title: Non-Invasive Reverse Engineering of Finite State Machines Using Power Analysis and Boolean Satisfiability

abstract: In this paper, we present a non-invasive reverse engineering attack based on a novel approach that combines functional and power analysis to recover finite state machines from their synchronous sequential circuit implementations. The proposed technique formulates the machine exploration and state identification problem as a Boolean constraint satisfaction problem and solves it using a SMT (Satisfiability Modulo Theories) solver. It uses power measurements to achieve fast convergence. Experimental results using the LGSynth'91 benchmark suite show that the satisfiability-based approach is several times faster compared to existing techniques and can successfully recover 90%-100% of the transitions of a target machine.


title: Environment Modeling Based on Generic Infrastructure Sensor Interfaces Using a Centralized Labeled-Multi-Bernoulli Filter

abstract: Urban intersections put high demands on fully automated vehicles, in particular, if occlusion occurs. In order to resolve such and support vehicles in unclear situations, a popular approach is the utilization of additional information from infrastructure-based sensing systems. However, a widespread use of such systems is circumvented by their complexity and thus, high costs. Within this paper, a generic interface is proposed, which enables a huge variety of sensors to be connected. The sensors are only required to measure very few features of the objects, if multiple distributed sensors with different viewing directions are available. Furthermore, a Labeled Multi-Bernoulli (LMB) filter is presented, which can not only handle such measurements, but also infers missing object information about the objects' extents. The approach is evaluated on simulations and demonstrated on a real-world infrastructure setup.


title: Monotonic Representations of Outerplanar Graphs as Edge Intersection Graphs of Paths on a Grid

abstract: In a representation of a graph $G$ as an edge intersection graph of paths on a grid (EPG) every vertex of $G$ is represented by a path on a grid and two paths share a grid edge iff the corresponding vertices are adjacent. In a monotonic EPG representation every path on the grid is ascending in both rows and columns. In a (monotonic) $B_k$-EPG representation every path on the grid has at most $k$ bends. The (monotonic) bend number $b(G)$ ($b^m(G)$) of a graph $G$ is the smallest natural number $k$ for which there exists a (monotonic) $B_k$-EPG representation of $G$. In this paper we deal with the monotonic bend number of outerplanar graphs and show that $b^m(G)\leqslant 2$ holds for every outerplanar graph $G$. Moreover, we characterize the maximal outerplanar graphs and the cacti with (monotonic) bend number equal to $0$, $1$ and $2$ in terms of forbidden induced subgraphs. As a byproduct we obtain low-degree polynomial time algorithms to construct (monotonic) EPG representations with the smallest possible number of bends for maximal outerplanar graphs and cacti.


title: Harmonically balanced capitulation over quadratic fields of type (9,9)

abstract: The isomorphism type of the Galois group G of finite 3-class field towers of quadratic number fields with 3-class group of type (9,9) is determined by means of Artin patterns which contain information on the transfer of 3-classes to unramified abelian 3-extensions. First, as an approximation of the group G, its metabelianization M=G/G", which is isomorphic to the Galois group of the second Hilbert 3-class field, is sought by sifting the SmallGroups library with the aid of pattern recognition. In cases with order |M|>3^8, the SmallGroups database must be extended by means of the p-group generation algorithm, which reveals new phenomena of groups with harmonically balanced transfer kernels and trees with periodic trifurcations. Bounds for the relation rank d2(M) of M in dependence on the signature of the quadratic base field admit the decision whether the derived length of G is dl(G)=2 or dl(G)>=3.


title: Algebraic entropy for amenable semigroup actions

abstract: We introduce two notions of algebraic entropy for actions of cancellative right amenable semigroups $S$ on discrete abelian groups $A$ by endomorphisms; these extend the classical algebraic entropy for endomorphisms of abelian groups, corresponding to the case $S=\mathbb N$. We investigate the fundamental properties of the algebraic entropy and compute it in several examples, paying special attention to the case when S is an amenable group. For actions of cancellative right amenable monoids on torsion abelian groups, we prove the so called Addition Theorem. In the same setting, we see that a Bridge Theorem connects the algebraic entropy with the topological entropy of the dual action by means of the Pontryagin duality, so that we derive an Addition Theorem for the topological entropy of actions of cancellative left amenable monoids on totally disconnected compact abelian groups.