title: The re-flight of the Colorado high-resolution Echelle stellar spectrograph (CHESS): improvements, calibrations, and post-flight results

abstract: In this proceeding, we describe the scientific motivation and technical development of the Colorado High-resolution Echelle Stellar Spectrograph (CHESS), focusing on the hardware advancements and testing supporting the second flight of the payload (CHESS-2). CHESS is a far ultraviolet (FUV) rocket-borne instrument designed to study the atomic-to-molecular transitions within translucent cloud regions in the interstellar medium (ISM). CHESS is an objective f/12.4 echelle spectrograph with resolving power $>$ 100,000 over the band pass 1000 $-$ 1600 {\AA}. The spectrograph was designed to employ an R2 echelle grating with "low" line density. We compare the FUV performance of experimental echelle etching processes (lithographically by LightSmyth, Inc. and etching via electron-beam technology by JPL Microdevices Laboratory) with traditional, mechanically-ruled gratings (Bach Research, Inc. and Richardson Gratings). The cross-dispersing grating, developed and ruled by Horiba Jobin-Yvon, is a holographically-ruled, "low" line density, powered optic with a toroidal surface curvature. Both gratings were coated with aluminum and lithium fluoride (Al+LiF) at Goddard Space Flight Center (GSFC). Results from final efficiency and reflectivity measurements for the optical components of CHESS-2 are presented. CHESS-2 utilizes a 40mm-diameter cross-strip anode readout microchannel plate (MCP) detector fabricated by Sensor Sciences, Inc., to achieve high spatial resolution with high count rate capabilities (global rates $>$ 1 MHz). We present pre-flight laboratory spectra and calibration results. CHESS-2 launched on 21 February 2016 aboard NASA/CU sounding rocket mission 36.297 UG. We observed the intervening ISM material along the sightline to $\epsilon$ Per and present initial characterization of the column densities, temperature, and kinematics of atomic and molecular species in the observation.


title: Detecting continuous gravitational waves with superfluid $^4$He

abstract: Direct detection of gravitational waves is opening a new window onto our universe. Here, we study the sensitivity to continuous-wave strain fields of a kg-scale optomechanical system formed by the acoustic motion of superfluid helium-4 parametrically coupled to a superconducting microwave cavity. This narrowband detection scheme can operate at very high $Q$-factors, while the resonant frequency is tunable through pressurization of the helium in the 0.1-1.5 kHz range. The detector can therefore be tuned to a variety of astrophysical sources and can remain sensitive to a particular source over a long period of time. For reasonable experimental parameters, we find that strain fields on the order of $h\sim 10^{-23} /\sqrt{\rm Hz}$ are detectable. We show that the proposed system can significantly improve the limits on gravitational wave strain from nearby pulsars within a few months of integration time.

categories: gr-qc astro-ph.IM cond-mat.other quant-ph


title: GMC Evolution in a Barred Spiral Galaxy with Star Formation and Thermal Feedback

abstract: We explore the impact of star formation and thermal stellar feedback on the giant molecular cloud (GMC) population forming in a M83-type barred spiral galaxy. We compare three high-resolution simulations (1.5 pc cell size) with different star formation/feedback models: one with no star formation, one with star formation but no feedback, and one with star formation and thermal energy injection. We analyze the resulting population of clouds, finding that we can identify the same population of massive, virialized clouds and transient, low-surface density clouds found in our previous work (that did not include star formation or feedback). Star formation and feedback can affect the mix of clouds we identify. In particular, star formation alone simply converts dense cloud gas into stars with only a small change to the cloud populations, principally resulting in a slight decrease in the transient population. Feedback, however, has a stronger impact: while it is not generally sufficient to entirely destroy the clouds, it does eject gas out of them, increasing the gas density in the inter-cloud region. This decreases the number of massive clouds, but substantially increases the transient cloud population. We also find that feedback tends to drive a net radial inflow of massive clouds, leading to an increase in the star formation rate in the bar region. We examine a number of possible reasons for this and conclude that it is possible that the drag force from the enhanced intercloud density could be responsible.


title: Di-nucleon structures in homogeneous nuclear matter based on two- and three-nucleon interactions

abstract: We investigate homogeneous nuclear matter within the Brueckner-Hartree-Fock (BHF) approach in the limits of isospin-symmetric nuclear matter (SNM) as well as pure neutron matter at zero temperature. The study is based on realistic representations of the internucleon interaction as given by Argonne v18, Paris, Nijmegen I and II potentials, in addition to chiral N$^{3}$LO interactions, including three-nucleon forces up to N$^{2}$LO. Particular attention is paid to the presence of di-nucleon bound states structures in $^1\textrm{S}_0$ and $^3\textrm{SD}_1$ channels, whose explicit account becomes crucial for the stability of self-consistent solutions at low densities. A characterization of these solutions and associated bound states is discussed. We confirm that coexisting BHF single-particle solutions in SNM, at Fermi momenta in the range $0.13-0.3$~fm$^{-1}$, is a robust feature under the choice of realistic internucleon potentials.


title: SZ/X-ray scaling relations using X-ray data and Planck Nominal maps

abstract: We determine the relation between the Comptonization parameter predicted using X-ray data $Y_{C,Xray}$ and the X-ray luminosity $L_X$, both magnitudes derived from ROSAT data, with the Comptonization parameter $Y_{C,SZ}$ measured on {\it Planck} 2013 foreground cleaned Nominal maps. The 560 clusters of our sample includes clusters with masses $M\ge 10^{13}M_\odot$, one order of magnitude smaller than those used by the Planck Collaboration in a similar analysis. It also contains eight times more clusters in the redshift interval $z\le 0.3$. The prediction of the $\beta=2/3$ model convolved with the Planck antenna beam agrees with the anisotropies measured in foreground cleaned Planck Nominal maps within the X-ray emitting region, confirming the results of an earlier analysis (Atrio-Barandela et al. 2008). The universal pressure profile overestimates the signal by a 15-21\% depending on the angular aperture. We show that the discrepancy is not due to the presence of {\it cool-core} systems but it is an indication of a brake in the $L_X-M$ relation towards low mass systems. We show that relation of the Comptonization parameter averaged over the region that emits 99\% of the X-ray flux and and the X-ray luminosity is consistent with the predictions of the self-similar model. We confirm previous findings that the scaling relations studied here do not evolve with redshift within the range probed by our catalog.


title: Understanding the Factors that Impact the Popularity of GitHub Repositories

abstract: Software popularity is a valuable information to modern open source developers, who constantly want to know if their systems are attracting new users, if new releases are gaining acceptance, or if they are meeting user's expectations. In this paper, we describe a study on the popularity of software systems hosted at GitHub, which is the world's largest collection of open source software. GitHub provides an explicit way for users to manifest their satisfaction with a hosted repository: the stargazers button. In our study, we reveal the main factors that impact the number of stars of GitHub projects, including programming language and application domain. We also study the impact of new features on project popularity. Finally, we identify four main patterns of popularity growth, which are derived after clustering the time series representing the number of stars of 2,279 popular GitHub repositories. We hope our results provide valuable insights to developers and maintainers, which can help them on building and evolving systems in a competitive software market.


title: Combining multiscale features for classification of hyperspectral images: a sequence based kernel approach

abstract: Nowadays, hyperspectral image classification widely copes with spatial information to improve accuracy. One of the most popular way to integrate such information is to extract hierarchical features from a multiscale segmentation. In the classification context, the extracted features are commonly concatenated into a long vector (also called stacked vector), on which is applied a conventional vector-based machine learning technique (e.g. SVM with Gaussian kernel). In this paper, we rather propose to use a sequence structured kernel: the spectrum kernel. We show that the conventional stacked vector-based kernel is actually a special case of this kernel. Experiments conducted on various publicly available hyperspectral datasets illustrate the improvement of the proposed kernel w.r.t. conventional ones using the same hierarchical spatial features.


title: Power Series with Coefficients from a Finite Set

abstract: We prove in this paper that a multivariate D-finite power series with coefficients from a finite set is rational. This generalizes a rationality theorem of van der Poorten and Shparlinski in 1996.


title: Automatic finite element implementation of hyperelastic material with a double numerical differentiation algorithm

abstract: In order to accelerate implementation of hyperelastic materials for finite element analysis, we developed an automatic numerical algorithm that only requires the strain energy function. This saves the effort on analytical derivation and coding of stress and tangent modulus, which is time-consuming and prone to human errors. Using the one-sided Newton difference quotients, the proposed algorithm first perturbs deformation gradients and calculate the difference on strain energy to approximate stress. Then, we perturb again to get difference in stress to approximate tangent modulus. Accuracy of the approximations were evaluated across the perturbation parameter space, where we find the optimal amount of perturbation being $10^{-6}$ to obtain stress and $10^{-4}$ to obtain tangent modulus. Single element verification in ABAQUS with Neo-Hookean material resulted in a small stress error of only $7\times10^{-5}$ on average across uniaxial compression and tension, biaxial tension and simple shear situations. A full 3D model with Holzapfel anisotropic material for artery inflation generated a small relative error of $4\times10^{-6}$ for inflated radius at $25 kPa$ pressure. Results of the verification tests suggest that the proposed numerical method has good accuracy and convergence performance, therefore a good material implementation algorithm in small scale models and a useful debugging tool for large scale models.


title: Logarithmic Time One-Against-Some

abstract: We create a new online reduction of multiclass classification to binary classification for which training and prediction time scale logarithmically with the number of classes. Compared to previous approaches, we obtain substantially better statistical performance for two reasons: First, we prove a tighter and more complete boosting theorem, and second we translate the results more directly into an algorithm. We show that several simple techniques give rise to an algorithm that can compete with one-against-all in both space and predictive power while offering exponential improvements in speed when the number of classes is large.


title: Detection of an oxygen emission line from a high redshift galaxy in the reionization epoch

abstract: The physical properties and elemental abundances of the interstellar medium in galaxies during cosmic reionization are important for understanding the role of galaxies in this process. We report the Atacama Large Millimeter/submillimeter Array detection of an oxygen emission line at a wavelength of 88 micrometers from a galaxy at an epoch about 700 million years after the Big Bang. The oxygen abundance of this galaxy is estimated at about one-tenth that of the Sun. The non-detection of far-infrared continuum emission indicates a deficiency of interstellar dust in the galaxy. A carbon emission line at a wavelength of 158 micrometers is also not detected, implying an unusually small amount of neutral gas. These properties might allow ionizing photons to escape into the intergalactic medium.


title: A New Three-Dimensional Track Fit with Multiple Scattering

abstract: Modern semiconductor detectors allow for charged particle tracking with ever increasing position resolution. Due to the reduction of the spatial hit uncertainties, multiple Coulomb scattering in the detector layers becomes the dominant source for tracking uncertainties. In this case long distance effects can be ignored for the momentum measurement, and the track fit can consequently be formulated as a sum of independent fits to hit triplets. In this paper we present an analytical solution for a three-dimensional triplet(s) fit in a homogeneous magnetic field based on a multiple scattering model. Track fitting of hit triplets is performed using a linearization ansatz. The momentum resolution is discussed for a typical spectrometer setup. Furthermore the track fit is compared with other track fits for two different pixel detector geometries, namely the Mu3e experiment at PSI and a typical high-energy collider experiment. For a large momentum range the triplets fit provides a significantly better performance than a single helix fit. The triplets fit is fast and can easily be parallelized, which makes it ideal for the implementation on parallel computing architectures.

categories: physics.ins-det hep-ex physics.comp-ph physics.data-an


title: A Class of Parallel Doubly Stochastic Algorithms for Large-Scale Learning

abstract: We consider learning problems over training sets in which both, the number of training examples and the dimension of the feature vectors, are large. To solve these problems we propose the random parallel stochastic algorithm (RAPSA). We call the algorithm random parallel because it utilizes multiple parallel processors to operate on a randomly chosen subset of blocks of the feature vector. We call the algorithm stochastic because processors choose training subsets uniformly at random. Algorithms that are parallel in either of these dimensions exist, but RAPSA is the first attempt at a methodology that is parallel in both the selection of blocks and the selection of elements of the training set. In RAPSA, processors utilize the randomly chosen functions to compute the stochastic gradient component associated with a randomly chosen block. The technical contribution of this paper is to show that this minimally coordinated algorithm converges to the optimal classifier when the training objective is convex. Moreover, we present an accelerated version of RAPSA (ARAPSA) that incorporates the objective function curvature information by premultiplying the descent direction by a Hessian approximation matrix. We further extend the results for asynchronous settings and show that if the processors perform their updates without any coordination the algorithms are still convergent to the optimal argument. RAPSA and its extensions are then numerically evaluated on a linear estimation problem and a binary image classification task using the MNIST handwritten digit dataset.


title: A Hierarchical Pose-Based Approach to Complex Action Understanding Using Dictionaries of Actionlets and Motion Poselets

abstract: In this paper, we introduce a new hierarchical model for human action recognition using body joint locations. Our model can categorize complex actions in videos, and perform spatio-temporal annotations of the atomic actions that compose the complex action being performed.That is, for each atomic action, the model generates temporal action annotations by estimating its starting and ending times, as well as, spatial annotations by inferring the human body parts that are involved in executing the action. our model includes three key novel properties: (i) it can be trained with no spatial supervision, as it can automatically discover active body parts from temporal action annotations only; (ii) it jointly learns flexible representations for motion poselets and actionlets that encode the visual variability of body parts and atomic actions; (iii) a mechanism to discard idle or non-informative body parts which increases its robustness to common pose estimation errors. We evaluate the performance of our method using multiple action recognition benchmarks. Our model consistently outperforms baselines and state-of-the-art action recognition methods.


title: Monotone and Convex Stochastic Orders for Processes with Independent Increments

abstract: We study monotone and convex stochastic orders for processes with independent increments. Our contributions are twofold: First, we relate stochastic orders of the Poisson component to orders of their (generalized) L\'evy measures. The relation is proven using an interpolation formula for infinitely divisible laws. Second, we derive explicit conditions on the characteristics of the processes. In this case, we prove the conditions via constructions of couplings.


title: Universal behavior of the Shannon mutual information in non-integrable self-dual quantum chains

abstract: An existing conjecture states that the Shannon mutual information contained in the ground state wavefunction of conformally invariant quantum chains, on periodic lattices, has a leading finite-size scaling behavior that, similarly as the von Neumann entanglement entropy, depends on the value of the central charge of the underlying conformal field theory describing the physical properties. This conjecture applies whenever the ground state wavefunction is expressed in some special basis (conformal basis). Its formulation comes mainly from numerical evidences on exactly integrable quantum chains. In this paper the above conjecture was tested for several general non-integrable quantum chains. We introduce new families of self-dual $Z(Q)$ symmetric quantum chains ($Q=2,3,\ldots$). These quantum chains contain nearest neighbour as well next-nearest neighbour interactions (coupling constant $p$). In the cases $Q=2$ and $Q=3$ they are extensions of the standard quantum Ising and 3-state Potts chains, respectively. For $Q=4$ and $Q\geq 5$ they are extensions of the Ashkin-Teller and $Z(Q)$ parafermionic quantum chains. Our studies indicate that these models are interesting on their own. They are critical, conformally invariant, and share the same universality class in a continuous critical line. Moreover, our numerical analysis for $Q=2-8$ indicate that the Shannon mutual information exhibits the conjectured behaviour irrespective if the conformally invariant quantum chain is exactly integrable or not. For completeness we also calculated, for these new families of quantum chains, the two existing generalizations of the Shannon mutual information, which are based on the R\'enyi entropy and on the R\'enyi divergence.


title: Joint Data Compression and MAC Protocol Design for Smartgrids with Renewable Energy

abstract: In this paper, we consider the joint design of data compression and 802.15.4-based medium access control (MAC) protocol for smartgrids with renewable energy. We study the setting where a number of nodes, each of which comprises electricity load and/or renewable sources, report periodically their injected powers to a data concentrator. Our design exploits the correlation of the reported data in both time and space to efficiently design the data compression using the compressed sensing (CS) technique and theMAC protocol so that the reported data can be recovered reliably within minimum reporting time. Specifically, we perform the following design tasks: i) we employ the two-dimensional (2D) CS technique to compress the reported data in the distributed manner; ii) we propose to adapt the 802.15.4 MAC protocol frame structure to enable efficient data transmission and reliable data reconstruction; and iii) we develop an analytical model based on which we can obtain efficient MAC parameter configuration to minimize the reporting delay. Finally, numerical results are presented to demonstrate the effectiveness of our proposed framework compared to existing solutions.

categories: cs.NI cs.IT math.IT math.OC math.ST stat.ML stat.TH


title: Constraining modified theories of gravity with gravitational wave stochastic background

abstract: The direct discovery of gravitational waves has finally opened a new observational window on our Universe, suggesting that the population of coalescing binary black holes is larger than previously expected. These sources produce an unresolved background of gravitational waves, potentially observables by ground-based interferometers. In this paper we investigate how modified theories of gravity, modeled using the ppE formalism, affect the expected signal, and analyze the detectability of the resulting stochastic background by current and future ground-based interferometers. We find the constraints that AdLIGO would be able to set on modified theories, showing that they may significantly improve the current bounds obtained from astrophysical observations of binary pulsars.


title: Adaptive Quorum-Based Channel-Hopping Distributed Coordination Scheme for Cognitive Radio Networks

abstract: One of the most important challenges in deploying cognitive radio networks (CRNs) is to find a common control channel (CCC) to all secondary users (SUs) that enables efficient CR communications. This challenge is attributed to the dynamic time-varying change of network topology, location and spectrum availability conditions. Rendezvous, which is the process of establishing control communications, is an essential requirement to enable efficient communication between any two pair of CR nodes. The most popular CR rendezvous protocols are based on quorum systems (QSs). Quorum systems are systematic approaches, which have several attractive properties that can be utilized to establish communication without the need of a CCC and so overcome the rendezvous (RDV) problem. In this thesis, we propose new channel-hopping-based distributed rendezvous algorithm based on grid-based-quorum techniques. The proposed algorithm increases the probability of RDV within a single cycle by allowing CR nodes to meet more often according to intersection property of quorum systems. Our proposed algorithm is called Adaptive_Quorum-Based Channel-Hopping Distributed Coordination Scheme for Cognitive Radio Networks. The main idea of our algorithm is to dynamically adjusting the selected QS by CR users according to the varying traffic loads in the CRN. The proposed algorithm decreases the average time to rendezvous (TTR) and increase the probability of RDV. We evaluate the performance of our algorithm through Matlab simulations. The performance of proposed algorithm is compared with two different design scheme. The results show that our algorithm can reduce TTR, increase the RDV, and decrease the energy consumption per successful RDV.


title: Strong analog classical simulation of coherent quantum dynamics

abstract: A strong analog classical simulation of general quantum evolution is proposed, which serves as a novel scheme in quantum computation and simulation. The scheme employs the approach of geometric quantum mechanics and quantum informational technique of quantum tomography, which applies broadly to cases of mixed states, nonunitary evolution, and infinite dimensional systems. The simulation provides an intriguing classical picture to probe quantum phenomena, namely, a coherent quantum dynamics can be viewed as a globally constrained classical Hamiltonian dynamics of a collection of coupled particles or strings. Efficiency analysis reveals a fundamental difference between the locality in real space and locality in Hilbert space, the latter enables efficient strong analog classical simulations. Examples are also studied to highlight the differences and gaps among various simulation methods.


title: Pseudo-Kan Extensions and Descent Theory

abstract: There are two main constructions in classical descent theory: the category of algebras and the descent category, which are known to be examples of weighted bilimits. We give a formal approach to descent theory, employing formal consequences of commuting properties of bilimits to prove classical and new theorems in the context of Janelidze-Tholen "Facets of Descent II", such as B\'{e}nabou-Roubaud Theorems, a Galois Theorem, embedding results and formal ways of getting effective descent morphisms. In order to do this, we develop the formal part of the theory on commuting bilimits via pseudomonad theory, studying idempotent pseudomonads and proving a $2$-dimensional version of the adjoint triangle theorem. Also, we work out the concept of pointwise pseudo-Kan extension, used as a framework to talk about bilimits, commutativity and the descent object. As a subproduct, this formal approach can be an alternative perspective/guiding template for the development of higher descent theory.


title: The Bootstrapped Robustness Assessment for Qualitative Comparative Analysis

abstract: Qualitative Comparative Analysis (QCA) has been increasingly used in recent years due to its purported construction of a middle path between case-oriented and variable-oriented methods. Despite its popularity, a key element of the method has been criticized for possibly not distinguishing random from real patterns in data, rendering its usefulness questionable. Critics of the method suggest a straightforward technique to test whether QCA will return a configuration when given random data. We adapt this technique to determine the probability that a given QCA application would return a random result. This assessment can be used as a hypothesis test for QCA, with an interpretation similar to a p-value. Using repeated applications of QCA to randomly-generated data, we first show that generally, the tendency for QCA to return spurious results is attenuated by using reasonable consistency score and configurational N thresholds; however, this varies considerably according to the basic structure of the data. Second, we suggest an application-specific assessment of QCA results, illustrated using the case of Tea Party rallies in Florida. This method, which we coin the Bootstrapped Robustness Assessment for QCA (baQCA), can provide researchers with recommendations for consistency score and configurational N thresholds.


title: Swift follow-up of gravitational wave triggers: results from the first aLIGO run and optimisation for the future

abstract: During its first observing run, in late 2015, the advanced LIGO facility announced 3 gravitational wave (GW) triggers to electromagnetic follow-up partners. Two of these have since been confirmed as being of astrophysical origin: both are binary black hole mergers at ~500 Mpc; the other trigger was later found not to be astrophysical. In this paper we report on the Swift follow up observations of the second and third triggers, including details of 21 X-ray sources detected; none of which can be associated with the GW event. We also consider the challenges that the next GW observing run will bring as the sensitivity and hence typical distance of GW events will increase. We discuss how to effectively use galaxy catalogues to prioritise areas for follow up, especially in the presence of distance estimates from the GW data. We also consider two galaxy catalogues and suggest that the high completeness at larger distances of the 2MASS Photometric Redshift Catalogue (2MPZ) makes it very well suited to optimise Swift follow-up observations.


title: 3DFS: Deformable Dense Depth Fusion and Segmentation for Object Reconstruction from a Handheld Camera

abstract: We propose an approach for 3D reconstruction and segmentation of a single object placed on a flat surface from an input video. Our approach is to perform dense depth map estimation for multiple views using a proposed objective function that preserves detail. The resulting depth maps are then fused using a proposed implicit surface function that is robust to estimation error, producing a smooth surface reconstruction of the entire scene. Finally, the object is segmented from the remaining scene using a proposed 2D-3D segmentation that incorporates image and depth cues with priors and regularization over the 3D volume and 2D segmentations. We evaluate 3D reconstructions qualitatively on our Object-Videos dataset, comparing to fusion, multiview stereo, and segmentation baselines. We also quantitatively evaluate the dense depth estimation using the RGBD Scenes V2 dataset [Henry et al. 2013] and the segmentation using keyframe annotations of the Object-Videos dataset.


title: The mass discrepancy acceleration relation in early-type galaxies: extended mass profiles and the phantom menace to MOND

abstract: The dark matter (DM) haloes around spiral galaxies appear to conspire with their baryonic content: empirically, significant amounts of DM are inferred only below a universal characteristic acceleration scale. Moreover, the discrepancy between the baryonic and dynamical mass, which is usually interpreted as the presence of DM, follows a very tight mass discrepancy acceleration (MDA) relation. Its universality, and its tightness in spiral galaxies, poses a challenge for the DM interpretation and was used to argue in favour of MOdified Newtonian Dynamics (MOND). Here, we test whether or not this applies to early-type galaxies. We use the dynamical models of fast-rotator early-type galaxies by Cappellari et al. based on ATLAS$^{3D}$ and SLUGGS data, which was the first homogenous study of this kind, reaching ~4 $R_e$, where DM begins to dominate the total mass budget. We find the early-type galaxies to follow an MDA relation similar to spiral galaxies, but systematically offset. Also, while the slopes of the mass density profiles inferred from galaxy dynamics show consistency with those expected from their stellar content assuming MOND, some profiles of individual galaxies show discrepancies.


title: Temporal and Semantic Effects on Multisensory Integration

abstract: How do we integrate modality-specific perceptual information arising from the same physical event into a coherent percept? One possibility is that observers rely on information across perceptual modalities that shares temporal structure and/or semantic associations. To explore the contributions of these two factors in multisensory integration, we manipulated the temporal and semantic relationships between auditory and visual information produced by real-world events, such as paper tearing or cards being shuffled. We identified distinct neural substrates for integration based on temporal structure as compared to integration based on event semantics. Semantically incongruent events recruited left frontal regions, while temporally asynchronous events recruited right frontal cortices. At the same time, both forms of incongruence recruited subregions in the temporal, occipital, and lingual cortices. Finally, events that were both temporally and semantically congruent modulated activity in the parahippocampus and anterior temporal lobe. Taken together, these results indicate that low-level perceptual properties such as temporal synchrony and high-level knowledge such as semantics play a role in our coherent perceptual experience of physical events.


title: Feedback Integrators

abstract: A new method is proposed to numerically integrate a dynamical system on a manifold such that the trajectory stably remains on the manifold and preserves first integrals of the system. The idea is that given an initial point in the manifold we extend the dynamics from the manifold to its ambient Euclidean space and then modify the dynamics outside the intersection of the manifold and the level sets of the first integrals containing the initial point such that the intersection becomes a unique local attractor of the resultant dynamics. While the modified dynamics theoretically produces the same trajectory as the original dynamics, it yields a numerical trajectory that stably remains on the manifold and preserves the first integrals. The big merit of our method is that the modified dynamics can be integrated with any ordinary numerical integrator such as Euler or Runge-Kutta. We illustrate this method by applying it to three famous problems: the free rigid body, the Kepler problem and a perturbed Kepler problem with rotational symmetry. We also carry out simulation studies to demonstrate the excellence of our method and make comparisons with the standard projection method, a splitting method and St\"ormer-Verlet schemes.


title: Animated 3D Human Models for Use in Person Recognition Experiments

abstract: The development of increasingly realistic experimental stimuli and task environments is important for understanding behavior outside the laboratory. We report a process for generating 3D human model stimuli that combines commonly used graphics software and enables the flexible generation of animated human models while providing parametric control over individualized identity features. Our approach creates novel head models using FaceGen Modeller, attaches them to commercially-purchased 3D avatar bodies in 3D Studio Max, and generates Cal3D human models that are compatible with many virtual 3D environments. Stimuli produced by this method can be embedded as animated 3D avatars in interactive simulations or presented as 2D images embedded in scenes for use in traditional laboratory experiments. The inherent flexibility in this method makes the stimuli applicable to a broad range of basic and applied research questions in the domain of person perception. We describe the steps of the stimulus generation process, provide an example of their use in a recognition memory paradigm, and highlight the adaptability of the method for related avenues of research.


title: Automatic Pronunciation Generation by Utilizing a Semi-supervised Deep Neural Networks

abstract: Phonemic or phonetic sub-word units are the most commonly used atomic elements to represent speech signals in modern ASRs. However they are not the optimal choice due to several reasons such as: large amount of effort required to handcraft a pronunciation dictionary, pronunciation variations, human mistakes and under-resourced dialects and languages. Here, we propose a data-driven pronunciation estimation and acoustic modeling method which only takes the orthographic transcription to jointly estimate a set of sub-word units and a reliable dictionary. Experimental results show that the proposed method which is based on semi-supervised training of a deep neural network largely outperforms phoneme based continuous speech recognition on the TIMIT dataset.


title: Kremer-Grest models for universal properties of specific common polymer species

abstract: The Kremer-Grest (KG) bead-spring model is a near standard in Molecular Dynamic simulations of generic polymer properties. It owes its popularity to its computational efficiency, rather than its ability to represent specific polymer species and conditions. Here we investigate how to adapt the model to match the universal properties of a wide range of chemical polymers species. For this purpose we vary a single parameter originally introduced by Faller and M\"uller-Plathe, the chain stiffness. Examples include polystyrene, polyethylene, polypropylene, cis-polyisoprene, polydimethylsiloxane, polyethyleneoxide and styrene-butadiene rubber. We do this by matching the number of Kuhn segments per chain and the number of Kuhn segments per cubic Kuhn volume for the polymer species and for the Kremer-Grest model. We also derive mapping relations for converting KG model units back to physical units, in particular we obtain the entanglement time for the KG model as function of stiffness allowing for a time mapping. To test these relations, we generate large equilibrated well entangled polymer melts, and measure the entanglement moduli using a static primitive-path analysis of the entangled melt structure as well as by simulations of step-strain deformation of the model melts. The obtained moduli for our model polymer melts are in good agreement with the experimentally expected moduli.


title: On biadjoint triangles

abstract: We prove a biadjoint triangle theorem and its strict version, which are $2$-dimensional analogues of the adjoint triangle theorem of Dubuc. Similarly to the $1$-dimensional case, we demonstrate how we can apply our results to get the pseudomonadicity characterization (due to Le Creurer, Marmolejo and Vitale). Furthermore, we study applications of our main theorems in the context of the $2$-monadic approach to coherence. As a direct consequence of our strict biadjoint triangle theorem, we give the construction (due to Lack) of the left $2$-adjoint to the inclusion of the strict algebras into the pseudoalgebras. In the last section, we give two brief applications on lifting biadjunctions and pseudo-Kan extensions.


title: Polarization shaping for control of nonlinear propagation

abstract: We study the nonlinear optical propagation of two different classes of space-varying polarized light beams -- radially symmetric vector beams and Poincar\'e beams with lemon and star topologies -- in a rubidium vapour cell. Unlike Laguerre-Gauss and other types of beams that experience modulational instabilities, we observe that their propagation is not marked by beam breakup while still exhibiting traits such as nonlinear confinement and self-focusing. Our results suggest that by tailoring the spatial structure of the polarization, the effects of nonlinear propagation can be effectively controlled. These findings provide a novel approach to transport high-power light beams in nonlinear media with controllable distortions to their spatial structure and polarization properties.


title: Wronskians of Fourier and Laplace Transforms

abstract: Associated with a given suitable function, or a measure, on $\mathbb{R}$, we introduce a correlation function, so that the Wronskian of the Fourier transform of the function is the Fourier transform of the corresponding correlation function, and the same holds for the Laplace transform. We obtain two types of results. First, we show that Wronskians of the Fourier transform of a nonnegative function on $\mathbb{R}$ are positive definite functions and the Wronskians of the Laplace transform of a nonnegative function on $\mathbb{R}_+$ are completely monotone functions. Then we establish necessary and sufficient conditions in order that a real entire function, defined as a Fourier transform of a positive kernel $K$, belongs to the Laguerre-P\'olya class, which answers an old question of P\'olya. The characterization is given in terns of a density property of the correlation kernel related to $K$, via classical results of Laguerre and Jensen and employing Wiener's $L^1$ Tauberian theorem. As a consequence we provide a necessary and sufficient condition for the Riemann hypothesis in terms of a density of the translations of the correlation function related to the Riemann $\xi$-function.


title: Spinodal instabilities of baryon-rich quark matter in heavy ion collisions

abstract: Using the test-particle method to solve the transport equation derived from the Nambu-Jona-Lasino (NJL) model, we study how phase separation occurs in an expanding quark matter like that in a heavy ion collision. To test our method, we first investigate the growth rates of unstable modes of quark matter in a static cubic box and find them to agree with the analytical results that were previously obtained using the linear response theory. In this case, we also find the higher-order scaled density moments to increase with time and saturate at values significantly larger than one, which corresponds to a uniform density distribution, after the phase separation. The skewness of the quark number event-by-event distribution in a small sub-volume of the system is also found to increase, but this feature disappears if the sub-volume is large. For the expanding quark matter, two cases are considered with one using a blast-wave model for the initial conditions and the other using initial conditions from a mulple-phase transport (AMPT) model. In both cases, we find the expansion of the quark matter is slowed down by the presence of a first-order phase transition. Also, density clumps appear in the system and the momentum distribution of partons becomes anisotropic , which can be characterized by large scaled density moments and non-vanishing anisotropic elliptic and quadrupolar flows, respectively. The large density fluctuations further lead to an enhancement in the dilepton yield. In the case with the AMPT initial conditions, the presence of a first-order phase transition also results in a narrower rapidity distribution of partons after their freeze out. These effects of density fluctuations can be regarded as possible signals for a first-order phase transition that occurs in the baryon-rich quark matter formed in relativistic heavy ion collisions.


title: On a nonisothermal ideal gas Navier-Stokes-Fourier equations

abstract: In this paper we are concerned with a non-isothermal compressible Navier-Stokes-Fourier model with density dependent viscosity that vanish on the vacuum. We prove sequential stability of variational weak solutions in periodic domain \Omega= T3. The main point is that the pressure is given by P = R\rho\theta.


title: Global existence of weak solutions for generalized quantum MHD equation

abstract: We prove the existence of a weak solution to a generalized quantum MHD equation in a 2-dimensional periodic box for large initial data. The existence of a global weak solution is established through a three-level approximation, energy estimates, and weak convergence for the adiabatic exponent \gamma>1.


title: Intertwined Orders in Heavy-Fermion Superconductor CeCoIn$_5$

abstract: The appearance of spin-density-wave (SDW) magnetic order in the low-temperature and high-field corner of the superconducting phase diagram of CeCoIn$_5$ is unique among unconventional superconductors. The nature of this magnetic $Q$ phase is a matter of current debate. Here, we present the thermal conductivity of CeCoIn$_5$ in a rotating magnetic field, which reveals the presence of an additional order inside the $Q$ phase that is intimately intertwined with the superconducting $d$-wave and SDW orders. A discontinuous change of the thermal conductivity within the $Q$ phase, when the magnetic field is rotated about antinodes of the superconducting $d$-wave order parameter, demands that the additional order must change abruptly together with the recently observed switching of the SDW. A combination of interactions, where spin-orbit coupling orients the SDW, which then selects the secondary $p$-wave pair-density-wave component (with an average amplitude of 20\% of the primary $d$-wave order parameter), accounts for the observed behavior.


title: Radio Galaxy Zoo: discovery of a poor cluster through a giant wide-angle tail radio galaxy

abstract: We have discovered a previously unreported poor cluster of galaxies (RGZ-CL J0823.2+0333) through an unusual giant wide-angle tail radio galaxy found in the Radio Galaxy Zoo project. We obtained a spectroscopic redshift of $z=0.0897$ for the E0-type host galaxy, 2MASX J08231289+0333016, leading to M$_r = -22.6$ and a $1.4\,$GHz radio luminosity density of $L_{\rm 1.4} = 5.5\times10^{24}$ W Hz$^{-1}$. These radio and optical luminosities are typical for wide-angle tailed radio galaxies near the borderline between Fanaroff-Riley (FR) classes I and II. The projected largest angular size of $\approx8\,$arcmin corresponds to $800\,$kpc and the full length of the source along the curved jets/trails is $1.1\,$Mpc in projection. X-ray data from the XMM-Newton archive yield an upper limit on the X-ray luminosity of the thermal emission surrounding RGZ J082312.9+033301,at $1.2-2.6\times10^{43}$ erg s$^{-1}$ for assumed intra-cluster medium temperatures of $1.0-5.0\,$keV. Our analysis of the environment surrounding RGZ J082312.9+033301 indicates that RGZ J082312.9+033301 lies within a poor cluster. The observed radio morphology suggests that (a) the host galaxy is moving at a significant velocity with respect to an ambient medium like that of at least a poor cluster, and that (b) the source may have had two ignition events of the active galactic nucleus with $10^7\,$yrs in between. This reinforces the idea that an association between RGZ J082312.9+033301, and the newly discovered poor cluster exists.


title: SocialHBC: Social Networking and Secure Authentication using Interference-Robust Human Body Communication

abstract: With the advent of cheap computing through five decades of continued miniaturization following Moores Law, wearable devices are becoming increasingly popular. These wearable devices are typically interconnected using wireless body area network (WBAN). Human body communication (HBC) provides an alternate energy-efficient communication technique between on-body wearable devices by using the human body as a conducting medium. This allows order of magnitude lower communication power, compared to WBAN, due to lower loss and broadband signaling. Moreover, HBC is significantly more secure than WBAN, as the information is contained within the human body and cannot be snooped on unless the person is physically touched. In this paper, we highlight applications of HBC as (1) Social Networking (e.g. LinkedIn/Facebook friend request sent during Handshaking in a meeting/party), (2) Secure Authentication using human-human or human-machine dynamic HBC and (3) ultra-low power, secure BAN using intra-human HBC. One of the biggest technical bottlenecks of HBC has been the interference (e.g. FM) picked up by the human body acting like an antenna. In this work, for the first time, we introduce an integrating dual data rate (DDR) receiver technique, that allows notch filtering (>20 dB) of the interference for interference-robust HBC.


title: Improving Power Generation Efficiency using Deep Neural Networks

abstract: Recently there has been significant research on power generation, distribution and transmission efficiency especially in the case of renewable resources. The main objective is reduction of energy losses and this requires improvements on data acquisition and analysis. In this paper we address these concerns by using consumers' electrical smart meter readings to estimate network loading and this information can then be used for better capacity planning. We compare Deep Neural Network (DNN) methods with traditional methods for load forecasting. Our results indicate that DNN methods outperform most traditional methods. This comes at the cost of additional computational complexity but this can be addressed with the use of cloud resources. We also illustrate how these results can be used to better support dynamic pricing.


title: On a class of left metacyclic codes

abstract: Let $G_{(m,3,r)}=\langle x,y\mid x^m=1, y^3=1,yx=x^ry\rangle$ be a metacyclic group of order $3m$, where ${\rm gcd}(m,r)=1$, $1<r<m$ and $r^3\equiv 1$ (mod $m$). Then left ideals of the group algebra $\mathbb{F}_q[G_{(m,3,r)}]$ are called left metacyclic codes over $\mathbb{F}_q$ of length $3m$, and abbreviated as left $G_{(m,3,r)}$-codes. A system theory for left $G_{(m,3,r)}$-codes is developed for the case of ${\rm gcd}(m,q)=1$ and $r\equiv q^\epsilon$ for some positive integer $\epsilon$, only using finite field theory and basic theory of cyclic codes and skew cyclic codes. The fact that any left $G_{(m,3,r)}$-code is a direct sum of concatenated codes with inner codes ${\cal A}_i$ and outer codes $C_i$ is proved, where ${\cal A}_i$ is a minimal cyclic code over $\mathbb{F}_q$ of length $m$ and $C_i$ is a skew cyclic code of length $3$ over an extension field of $\mathbb{F}_q$. Then an explicit expression for each outer code in any concatenated code is provided. Moreover, the dual code of each left $G_{(m,3,r)}$-code is given and self-orthogonal left $G_{(m,3,r)}$-codes are determined.


title: Local H\"older continuity of the isoperimetric profile in complete noncompact Riemannian manifolds with bounded geometry

abstract: For a complete noncompact connected Riemannian manifold with bounded geometry $M^n$, we prove that the isoperimetric profile function $I_{M^n}$ is a locally $\left(1-\frac{1}{n}\right)$-H\"older continuous function and so in particular it is continuous. Here for bounded geometry we mean that $M$ have $Ricci$ curvature bounded below and volume of balls of radius $1$, uniformly bounded below with respect to its centers. We prove also the equivalence of the weak and strong formulation of the isoperimetric profile function in complete Riemannian manifolds which is based on a lemma having its own interest about the approximation of finite perimeter sets with finite volume by open bounded with smooth boundary ones of the same volume. Finally the upper semicontinuity of the isoperimetric profile for every metric (not necessarily complete) is shown.


title: Functional Horseshoe Priors for Subspace Shrinkage

abstract: We introduce a new shrinkage prior on function spaces, called the functional horseshoe prior (fHS), that encourages shrinkage towards parametric classes of functions. Unlike other shrinkage priors for parametric models, the fHS shrinkage acts on the shape of the function rather than inducing sparsity on model parameters. We study the efficacy of the proposed approach by showing an adaptive posterior concentration property on the function. We also demonstrate consistency of the model selection procedure that thresholds the shrinkage parameter of the functional horseshoe prior. We apply the fHS prior to nonparametric additive models and compare its performance with procedures based on the standard horseshoe prior and several penalized likelihood approaches. We find that the new procedure achieves smaller estimation error and more accurate model selection than other procedures in several simulated and real examples. The supplementary material for this article, which contains additional simulated and real data examples, MCMC diagnostics, and proofs of the theoretical results, is available online.


title: Inversion Copulas from Nonlinear State Space Models

abstract: We propose to construct copulas from the inversion of nonlinear state space models. These allow for new time series models that have the same serial dependence structure of a state space model, but with an arbitrary marginal distribution, and flexible density forecasts. We examine the time series properties of the copulas, outline serial dependence measures, and estimate the models using likelihood-based methods. Copulas constructed from three example state space models are considered: a stochastic volatility model with an unobserved component, a Markov switching autoregression, and a Gaussian linear unobserved component model. We show that all three inversion copulas with flexible margins improve the fit and density forecasts of quarterly U.S. broad inflation and electricity inflation.


title: Inscribed Matter Communication: Part I

abstract: We provide a fundamental treatment of the molecular communication channel wherein "inscribed matter" is transmitted across a spatial gap to provide reliable signaling between a sender and receiver. Inscribed matter is defined as an ensemble of "tokens" (molecules, objects, and so on) and is inspired, at least partially, by biological systems where groups of individually constructed discrete particles ranging from molecules through membrane-bound structures containing molecules to viruses and organisms are released by a source and travel to a target -- for example, morphogens or semiochemicals diffuse from one cell, tissue or organism diffuse to another. For identical tokens that are neither lost nor modified, we consider messages encoded using three candidate communication schemes: a) token timing (timed release), b) token payload (composition), and c) token timing plus payload. We provide capacity bounds for each scheme and discuss their relative utility. We find that under not unreasonable assumptions, megabit per second rates could be supported at femtoWatt transmitter powers. Since quantities such as token concentration or bin-counting are derivatives of token arrival timing, individual token timing undergirds all molecular communication techniques. Thus, our modeling and results about the physics of efficient token-based information transfer can inform investigations of diverse theoretical and practical problems in engineering and biology. This work, Part I, focuses on the information theoretic bounds on capacity. Part II develops some of the mathematical and information-theoretic ideas that support the bounds presented here.


title: Nonlinear light-Higgs coupling in superconductors beyond BCS: Effects of the retarded phonon-mediated interaction

abstract: We study the contribution of the Higgs amplitude mode on the nonlinear optical response of superconductors beyond the BCS approximation by taking into account the retardation effect in the phonon-mediated attractive interaction. To evaluate the vertex correction in nonlinear optical susceptibilities that contains the effect of collective modes, we propose an efficient scheme which we call the "dotted DMFT" based on the nonequilibrium dynamical mean-field theory (nonequilibrium DMFT) to go around the difficulty of solving the Bethe-Salpeter equation and analytical continuation. The vertex correction is represented by the derivative of the self-energy with respect to the external driving field, which is self-consistently determined by the differentiated ("dotted") DMFT equations. We apply the method to the Holstein model, a prototypical electron-phonon-coupled system, to calculate the susceptibility for the third-harmonic generation including the vertex correction. The results show that, in sharp contrast to the BCS theory, the Higgs mode can contribute to the third-harmonic generation for general polarization of the laser field with an order of magnitude comparable to the contribution from the pair breaking or charge density fluctuations. The physical origin is traced back to the nonlinear resonant light-Higgs coupling, which has been absent in the BCS approximation.


title: Large Antenna Analysis of Multi-Cell Full-Duplex Networks

abstract: We study a multi-cell multi-user MIMO full-duplex network, where each base station (BS) has multiple antennas with full-duplex capability supporting single-antenna users with either full-duplex or half-duplex radios. We characterize the up- and downlink ergodic achievable rates for the case of linear precoders and receivers. The rate analysis includes practical constraints such as imperfect self- interference cancellation, channel estimation error, training overhead and pilot contamination. We show that the 2X gain of full-duplex over half-duplex system remains in the asymptotic regime where the number of BS antennas grows infinitely large. We numerically evaluate the finite SNR and antenna performance, which reveals that full-duplex networks can use significantly fewer antennas to achieve spectral efficiency gain over the half-duplex counterparts. In addition, the overall full-duplex gains can be achieved under realistic 3GPP multi-cell network settings despite the increased interference introduced in the full-duplex networks.


title: A direct proof of F. Riesz representation Theorem

abstract: A direct proof of the Riesz representation theorem is provided. This theorem characterizes the linear functionals acting on the vector space $C(K)$ of continuous functions defined on a compact subset $K$ of the real numbers $\mathbb{R}$. This proof avoids complicated arguments commonly used in generalizations of Riesz original theorem.


title: Learning Optimal Interventions

abstract: Our goal is to identify beneficial interventions from observational data. We consider interventions that are narrowly focused (impacting few covariates) and may be tailored to each individual or globally enacted over a population. For applications where harmful intervention is drastically worse than proposing no change, we propose a conservative definition of the optimal intervention. Assuming the underlying relationship remains invariant under intervention, we develop efficient algorithms to identify the optimal intervention policy from limited data and provide theoretical guarantees for our approach in a Gaussian Process setting. Although our methods assume covariates can be precisely adjusted, they remain capable of improving outcomes in misspecified settings where interventions incur unintentional downstream effects. Empirically, our approach identifies good interventions in two practical applications: gene perturbation and writing improvement.


title: New variable stars discovered in the fields of three Galactic open clusters using the VVV Survey

abstract: This project is a massive near-infrared (NIR) search for variable stars in highly reddened and obscured open cluster (OC) fields projected on regions of the Galactic bulge and disk. The search is performed using photometric NIR data in the $J$-, $H$- and $K_s$- bands obtained from the Vista Variables in the V\'ia L\'actea (VVV) Survey. We performed in each cluster field a variability search using Stetson's variability statistics to select the variable candidates. Later, those candidates were subjected to a frequency analysis using the Generalized Lomb-Scargle and the Phase Dispersion Minimization algorithms. The number of independent observations range between 63 and 73. The newly discovered variables in this study, 157 in total in three different known OCs, are classified based on their light curve shapes, periods, amplitudes and their location in the corresponding color-magnitude $(J-K_s,K_s)$ and color-color $(H-K_s,J-H)$ diagrams. We found 5 possible Cepheid stars which, based on the period-luminosity relation, are very likely type II Cepheids located behind the bulge. Among the newly discovered variables, there are eclipsing binaries, $\delta$ Scuti, as well as background RR Lyrae stars. Using the new version of the Wilson & Devinney code as well as the "Physics Of Eclipsing Binaries" (PHOEBE) code, we analyzed some of the best eclipsing binaries we discovered. Our results show that these studied systems turn out to be ranging from detached to double-contact binaries, with low eccentricities and high inclinations of approximately $80^{\circ}$. Their surface temperatures range between $3500$K and $8000$K.


title: No Need to Pay Attention: Simple Recurrent Neural Networks Work! (for Answering "Simple" Questions)

abstract: First-order factoid question answering assumes that the question can be answered by a single fact in a knowledge base (KB). While this does not seem like a challenging task, many recent attempts that apply either complex linguistic reasoning or deep neural networks achieve 65%-76% accuracy on benchmark sets. Our approach formulates the task as two machine learning problems: detecting the entities in the question, and classifying the question as one of the relation types in the KB. We train a recurrent neural network to solve each problem. On the SimpleQuestions dataset, our approach yields substantial improvements over previously published results --- even neural networks based on much more complex architectures. The simplicity of our approach also has practical advantages, such as efficiency and modularity, that are valuable especially in an industry setting. In fact, we present a preliminary analysis of the performance of our model on real queries from Comcast's X1 entertainment platform with millions of users every day.


title: Minimization of Akaike's Information Criterion in Linear Regression Analysis via Mixed Integer Nonlinear Program

abstract: Akaike's information criterion (AIC) is a measure of the quality of a statistical model for a given set of data. We can determine the best statistical model for a particular data set by the minimization of the AIC. Since we need to evaluate exponentially many candidates of the model by the minimization of the AIC, the minimization is unreasonable. Instead, stepwise methods, which are local search algorithms, are commonly used to find a better statistical model though it may not be the best. We propose a branch and bound search algorithm for a mixed integer nonlinear programming formulation of the AIC minimization by Miyashiro and Takano (2015). More concretely, we propose methods to find lower and upper bounds, and branching rules for this minimization. We then combine them with SCIP, which is a mathematical optimization software and a branch-and-bound framework. We show that the proposed method can provide the best statistical model based on AIC for small-sized or medium-sized benchmark data sets in UCI Machine Learning Repository. Furthermore, we show that this method finds good quality solutions for large-sized benchmark data sets.


title: Scalable Partial Least Squares Regression on Grammar-Compressed Data Matrices

abstract: With massive high-dimensional data now commonplace in research and industry, there is a strong and growing demand for more scalable computational techniques for data analysis and knowledge discovery. Key to turning these data into knowledge is the ability to learn statistical models with high interpretability. Current methods for learning statistical models either produce models that are not interpretable or have prohibitive computational costs when applied to massive data. In this paper we address this need by presenting a scalable algorithm for partial least squares regression (PLS), which we call compression-based PLS (cPLS), to learn predictive linear models with a high interpretability from massive high-dimensional data. We propose a novel grammar-compressed representation of data matrices that supports fast row and column access while the data matrix is in a compressed form. The original data matrix is grammar-compressed and then the linear model in PLS is learned on the compressed data matrix, which results in a significant reduction in working space, greatly improving scalability. We experimentally test cPLS on its ability to learn linear models for classification, regression and feature extraction with various massive high-dimensional data, and show that cPLS performs superiorly in terms of prediction accuracy, computational efficiency, and interpretability.


title: Zero-Shot Hashing via Transferring Supervised Knowledge

abstract: Hashing has shown its efficiency and effectiveness in facilitating large-scale multimedia applications. Supervised knowledge e.g. semantic labels or pair-wise relationship) associated to data is capable of significantly improving the quality of hash codes and hash functions. However, confronted with the rapid growth of newly-emerging concepts and multimedia data on the Web, existing supervised hashing approaches may easily suffer from the scarcity and validity of supervised information due to the expensive cost of manual labelling. In this paper, we propose a novel hashing scheme, termed \emph{zero-shot hashing} (ZSH), which compresses images of "unseen" categories to binary codes with hash functions learned from limited training data of "seen" categories. Specifically, we project independent data labels i.e. 0/1-form label vectors) into semantic embedding space, where semantic relationships among all the labels can be precisely characterized and thus seen supervised knowledge can be transferred to unseen classes. Moreover, in order to cope with the semantic shift problem, we rotate the embedded space to more suitably align the embedded semantics with the low-level visual feature space, thereby alleviating the influence of semantic gap. In the meantime, to exert positive effects on learning high-quality hash functions, we further propose to preserve local structural property and discrete nature in binary codes. Besides, we develop an efficient alternating algorithm to solve the ZSH model. Extensive experiments conducted on various real-life datasets show the superior zero-shot image retrieval performance of ZSH as compared to several state-of-the-art hashing methods.


title: A counterexample to the extension space conjecture for realizable oriented matroids

abstract: The extension space conjecture of oriented matroid theory states that the space of all one-element, non-loop, non-coloop extensions of a realizable oriented matroid of rank $d$ has the homotopy type of a sphere of dimension $d-1$. We disprove this conjecture by showing the existence of a realizable uniform oriented matroid of high rank and corank 3 with disconnected extension space.


title: Search and Placement in Tiered Cache Networks

abstract: Content distribution networks have been extremely successful in today's Internet. Despite their success, there are still a number of scalability and performance challenges that motivate clean slate solutions for content dissemination, such as content centric networking. In this paper, we address two of the fundamental problems faced by any content dissemination system: content search and content placement. We consider a multi-tiered, multi-domain hierarchical system wherein random walks are used to cope with the tradeoff between exploitation of known paths towards custodians versus opportunistic exploration of replicas in a given neighborhood. TTL-like mechanisms, referred to as reinforced counters, are used for content placement. We propose an analytical model to study the interplay between search and placement. The model yields closed form expressions for metrics of interest such as the average delay experienced by users and the load placed on custodians. Then, leveraging the model solution we pose a joint placement-search optimization problem. We show that previously proposed strategies for optimal placement, such as the square-root allocation, follow as special cases of ours, and that a bang-bang search policy is optimal if content allocation is given.


title: The Turbulent Boundary Layer on a Horizontally Moving, Partially Submerged, Surface-Piercing Vertical Wall

abstract: The complex interactions between turbulence and the free surface, including air entrainment processes, in boundary layer shear flows created by vertical surface-piercing plates are considered. A laboratory-scale device was built that utilizes a surface-piercing stainless steel belt that travels in a loop around two vertical rollers, with one length of the belt between the rollers acting as a horizontally-moving flat wall. The belt is operated both as a suddenly-started plate to reproduce boundary layer flow or at steady state in the presence of a stationary flat plate positioned parallel to the belt to create a Couette flow with a free surface. Surface profiles are measured with a cinematic laser-induced fluorescence system in both experiments and air entrainment events and bubble motions are observed with stereo underwater white-light movies in the suddenly started belt experiment. It is found that the RMS surface height fluctuations, $\eta$, peak near the boundaries of the flows and increase approximately linearly with belt speed. In the Couette flow experiments, a dominant peak in the spectrum of $\partial\eta/\partial t$ is found at the dimensionless frequency $fH/U\approx 0.7$. In the suddenly started belt experiment, surface fluctuations appear to be strongly influenced by sub-surface turbulence within the boundary layer, while ripples propagate freely when farther from the belt. Additionally, some mechanisms for air entrainment are observed and comparisons are made to predictions of incipient entrainment conditions in Brocchini and Pregrine (J. Fluid Mech., 499, 225-254, 2001).


title: Inscribed Matter Communication: Part II

abstract: This paper is Part II of a two-paper set which develops a finest-grain per-molecule timing treatment of molecular communication. We first consider a simple one-molecule timing channel with a molecule launch deadline, similar to but different from previous work ("Bits Through Queues") where the constraint was mean launch time. We also derive a number of results related to the {\em ordering entropy}, a key quantity which undergirds the capacity bounds for the molecular timing channel, both with and without token data payloads. We then conclude with an upper bound on molecular timing-channel capacity.


title: Highly efficient isolation of waterborne sound by an air-sealed metasurface

abstract: Underwater sound isolation has been a long-standing fundamental issue in industry and military fields. Starting from a simple theoretical model, here an air-sealed metasurface is proposed to overcome this problem. Comparing with the sample without filling air, the effective impedance of the air-sealed one is greatly reduced and strikingly mismatch with water, accompanying another merit of low sound speed. Deeply suppressed sound transmission (~10-5) through such a metasurface is observed experimentally over a wide range of ultrasonic frequencies and incident angles.


title: Zero kinematic viscosity-magnetic diffusion limit of the incompressible viscous magnetohydrodynamic equations with Navier boundary conditions

abstract: We investigate the zero kinematic viscosity-magnetic diffusion limit of the incompressible viscous magnetohydrodynamic equations with Navier boundary conditions in a smooth bounded domain $\Omega\subset\mathbb{R}^3$. We obtain the uniform regularity of solutions with respect to the kinematic viscosity coefficient and the magnetic diffusivity coefficient. These solutions are uniformly bounded in a conormal Sobolev space and $W^{1,\infty}(\Omega)$ which allow us to take the zero kinematic viscosity-magnetic diffusion limit. Moreover, we also get the rates of convergence.


title: A characterization of arithmetic functions satisfying $f(u^{2}+kv^{2})=f^{2}(u)+kf^{2}(v)$

abstract: In this paper, we mainly discuss the characterization of a class of arithmetic functions $f: N \rightarrow C$ such that $f(u^{2}+kv^2)=f^{2}(u)+kf^{2}(v)$ $(k, u, v \in N)$. We obtain a characterization with given condition, propose a conjecture and show the result holds for $k \in \{2, 3, 4, 5 \}$.


title: Exterior Navier-Stokes flows for bounded data

abstract: We prove unique existence of mild solutions on $L^{\infty}_{\sigma}$ for the Navier-Stokes equations in an exterior domain in $ \mathbb{R}^{n}$, $n\geq 2$, subject to the non-slip boundary condition.


title: Making sound vortices by metasurfaces

abstract: Based on the Huygens-Fresnel principle, a metasurface structure is designed to generate a sound vortex beam in airborne environment. The metasurface is constructed by a thin planar plate perforated with a circular array of deep subwavelength resonators with desired phase and amplitude responses. The metasurface approach in making sound vortices is validated well by full-wave simulations and experimental measurements. Potential applications of such artificial spiral beams can be anticipated, as exemplified experimentally by the torque effect exerting on an absorbing disk.


title: Three-dimensional Critical Dirac semimetal in KMgBi

abstract: We predicted that AMgBi (A=K,Rb Cs), which have the same lattice structures as the 111 family of iron-based superconductors (Na/LiFeAs), are symmetry-protected Dirac semimetals located near the boundary of type-I and type-II Dirac semimetal phases. Doping Rb or Cs into KMgBi can drive the transition between the two phases. The materials can also be turned into Weyl semimetals and topological insulators by explicitly or spontaneously breaking time-reversal symmetry and C$_4$ lattice symmetry respectively.


title: Performance Analysis of Target Parameters Estimation Using Multiple Widely Separated Antenna Arrays

abstract: Target parameter estimation performance is investigated for a radar employing a set of widely separated transmitting and receiving antenna arrays. Cases with multiple extended targets are considered under two signal model assumptions: stochastic and deterministic. The general expressions for the corresponding Cramer-Rao lower bound (CRLB) and the asymptotic properties of the maximum-likelihood (ML) estimator are derived for a radar with $M_t$ arrays of $L_t$ transmitting elements and $M_r$ arrays of $L_r$ receiving elements for both types of signal models. It is shown that for an infinitely large product $M_tM_r$, and a finite $L_r$, the ML estimator is consistent and efficient under the stochastic model, while the deterministic model requires $M_tM_r$ to be finite and $L_r$ to be infinitely large in order to guarantee consistency and efficiency. Monte Carlo simulations further investigate the estimation performance of the proposed radar configuration in practical scenarios with finite $M_tM_r$ and $L_r$, and a fixed total number of available receiving antenna elements, $M_r L_r$. The numerical results demonstrate that grouping receiving elements into properly sized arrays reduces the mean squared error (MSE) and decreases the threshold SNR. In the numerical examples considered, the preferred configurations employ $M_t M_r > 1$. In fact, when $M_t M_r$ becomes too small, due to the loss of the geometric gain, the estimation performance becomes strongly dependent on the particular scenario and can degrade significantly, while the CRLB may become a poor prediction of the MSE even for high SNR. This suggests it may be advantageous to employ approaches where neither $M_tM_r$ nor $L_r$ are too small.


title: Characterization of Parity-Time Symmetry in Photonic Lattices Using Heesh-Shubnikov Group Theory

abstract: We investigate the properties of parity-time symmetric periodic photonic structures using Heesh-Shubnikov group theory. Classical group theory cannot be used to categorize the symmetry of the eigenmodes because the time-inversion operator is antiunitary. Fortunately, corepresentations of Heesh-Shubnikov groups have been developed to characterize the effect of antiunitary operators on eigenfunctions. Using the example structure of a one-dimensional photonic lattice, we identify the corepresentations of eigenmodes at both low and high symmetry points in the photonic band diagram. We find that thresholdless parity-time transitions are associated with particular classes of corepresentations. The approach is completely general and can be applied to parity-time symmetric photonic lattices of any dimension. The predictive power of this approach provides a powerful design tool for parity-time symmetric photonic device design.


title: Some properties and applications of odd-colorable $r$-hypergraphs

abstract: Let $r\geq2$ and $r$ be even. An $r$-hypergraph $G$ on $n$ vertices is called odd-colorable if there exists a map $\varphi:[n]\rightarrow\lbrack r]$ such that for any edge $\{j_{1},j_{2},\cdots,j_{r}\}$ of $G$, we have $\varphi(j_{1})+\varphi(j_{2})+\cdot\cdot\cdot+\varphi(j_{r})\equiv r/2(\operatorname{mod}r).$ In this paper, we first determine that, if $r=2^{q}(2t+1)$ and $n\ge 2^{q}(2^{q}-1)r$, then the maximum chromatic number in the class of the odd-colorable $r$-hypergraphs on $n$ vertices is $2^q$, which answers a question raised by V. Nikiforov recently in [V. Nikiforov, Hypergraphs and hypermatrices with symmetric spectrum. Prinprint available in arXiv:1605.00709v2, 10 May, 2016]. We also study some applications of the symmetric spectral property of the odd-colorable $r$-graphs given in that same paper by V. Nikiforov. We show that the Laplacian spectrum and the signless Laplacian spectrum of an $r$-hypergraph $G$ are equal if and only if $G$ is odd-colorable, and then study some further applications of these spectral properties.


title: Monte Carlo Set-Membership Filtering for Nonlinear Dynamic Systems

abstract: When underlying probability density functions of nonlinear dynamic systems are unknown, the filtering problem is known to be a challenging problem. This paper attempts to make progress on this problem by proposing a new class of filtering methods in bounded noise setting via set-membership theory and Monte Carlo (boundary) sampling technique, called Monte Carlo set-membership filter. The set-membership prediction and measurement update are derived by recent convex optimization methods based on S-procedure and Schur complement. To guarantee the on-line usage, the nonlinear dynamics are linearized about the current estimate and the remainder terms are then bounded by an optimization ellipsoid, which can be described as a semi-infinite optimization problem. In general, it is an analytically intractable problem when dynamic systems are nonlinear. However, for a typical nonlinear dynamic system in target tracking, we can analytically derive some regular properties for the remainder. Moreover, based on the remainder properties and the inverse function theorem, the semi-infinite optimization problem can be efficiently solved by Monte Carlo boundary sampling technique. Compared with the particle filter, numerical examples show that when the probability density functions of noises are unknown, the performance of the Monte Carlo set-membership filter is better than that of the particle filter.


title: Towards Characterizing International Routing Detours

abstract: There are currently no requirements (technical or otherwise) that BGP paths must be contained within national boundaries. Indeed, some paths experience international detours, i.e., originate in one country, cross international boundaries and return to the same country. In most cases these are sensible traffic engineering or peering decisions at ISPs that serve multiple countries. In some cases such detours may be suspicious. Characterizing international detours is useful to a number of players: (a) network engineers trying to diagnose persistent problems, (b) policy makers aiming at adhering to certain national communication policies, (c) entrepreneurs looking for opportunities to deploy new networks, or (d) privacy-conscious states trying to minimize the amount of internal communication traversing different jurisdictions. In this paper we characterize international detours in the Internet during the month of January 2016. To detect detours we sample BGP RIBs every 8 hours from 461 RouteViews and RIPE RIS peers spanning 30 countries. Then geolocate visible ASes by geolocating each BGP prefix announced by each AS, mapping its presence at IXPs and geolocation infrastructure IPs. Finally, analyze each global BGP RIB entry looking for detours. Our analysis shows more than 5K unique BGP prefixes experienced a detour. A few ASes cause most detours and a small fraction of prefixes were affected the most. We observe about 544K detours. Detours either last for a few days or persist the entire month. Out of all the detours, more than 90% were transient detours that lasted for 72 hours or less. We also show different countries experience different characteristics of detours.


title: Incident-energy-dependent spectral weight of resonant inelastic x-ray scattering in doped cuprates

abstract: We theoretically investigate the incident-photon energy omega_i dependence of resonant inelastic x-ray scattering (RIXS) tuned for the Cu L edge in cuprate superconductors by using the exact diagonalization technique for a single-band Hubbard model. Depending on the value of core-hole Coulomb interaction in the intermediate state, RIXS for non-spin-flip channel shows either a omega_i-dependent fluorescencelike or omega_i-independent Raman-like behavior for hole doping. An analysis of x-ray absorption suggests that the core-hole Coulomb interaction is larger than on-site Coulomb interaction in the Hubbard model, resulting in a fluorescencelike behavior in RIXS consistent with recent RIXS experiments. A shift on the high-energy side of the center of spectral distribution is also predicted for electron-doped systems though spectral weight is small. Main structures in spin-flip channel exhibit a Raman-like behavior as expected, accompanied with a fluorescencelike behavior with small intensity.


title: On spurious regressions with trending variables

abstract: This paper examines three types of spurious regressions where both the dependent and independent variables contain deterministic trends, stochastic trends, or breaking trends. We show that the problem of spurious regression disappears if the trend functions are included as additional regressors. In the presence of autocorrelation, we show that using a Feasible General Least Square (FGLS) estimator can help alleviate or eliminate the problem. Our theoretical results are clearly reflected in finite samples. As an illustration, we apply our methods to revisit the seminal study of Yule (1926).


title: Proof Complexity Lower Bounds from Algebraic Circuit Complexity

abstract: We give upper and lower bounds on the power of subsystems of the Ideal Proof System (IPS), the algebraic proof system recently proposed by Grochow and Pitassi, where the circuits comprising the proof come from various restricted algebraic circuit classes. This mimics an established research direction in the boolean setting for subsystems of Extended Frege proofs, where proof-lines are circuits from restricted boolean circuit classes. Except one, all of the subsystems considered in this paper can simulate the well-studied Nullstellensatz proof system, and prior to this work there were no known lower bounds when measuring proof size by the algebraic complexity of the polynomials (except with respect to degree, or to sparsity). We give two general methods of converting certain algebraic lower bounds into proof complexity ones. Our methods require stronger notions of lower bounds, which lower bound a polynomial as well as an entire family of polynomials it defines. Our techniques are reminiscent of existing methods for converting boolean circuit lower bounds into related proof complexity results, such as feasible interpolation. We obtain the relevant types of lower bounds for a variety of classes (sparse polynomials, depth-3 powering formulas, read-once oblivious algebraic branching programs, and multilinear formulas), and infer the relevant proof complexity results. We complement our lower bounds by giving short refutations of the previously-studied subset-sum axiom using IPS subsystems, allowing us to conclude strict separations between some of these subsystems.


title: The BINP HLS to measurement vertical changes on PAL-XFEL building and ground

abstract: PAL-XFEL, a 4th generation light source, is currently being installed and will be completed by December of 2015 so that users can be supported beginning in 2016. PAL-XFEL equipment should continuously maintain the bunch-to-bunch beam parameter (60Hz, Energy 10GeV, Charge 200pC, Bunch Length 60fs, Emittance X/Y 0.481mm/0.256mm rad) in order to supply the energy, flux and timing of stable photons in tests by beam line users. To this end, PAL-XFEL equipment has to be kept precisely aligned (Linear Accelerator +/- 100um, Undulator +/- 50um). As a part of the process for installing PAL-XFEL, a GPS-used surface geodetic network is being constructed for precise equipment measurement and alignment, and the installation of a tunnel measurement network inside buildings is in preparation; additionally, the fiducialization of major equipment is underway. After PAL-XFEL equipment is optimized and aligned, if the ground and buildings go through vertical changes during operation, misalignment (and tilt) of equipment including various magnets and RF structures will cause errors in the electron beam trajectory, which will lead to changes to the beam parameter. For continuous and systemic measurement of vertical changes in buildings and to monitor ground sinking and uplifting, the Budker Institute of Nuclear Physics (BINP) Ultrasonic-type Hydrostatic Levelling System (HLS) is to be installed and operated in all sections of PAL-XFEL for linear accelerator, insertion device (Undulator) and beam line. This study will introduce the operation principle, design concept and advantages (self-calibration) of HLS, and will outline its installation plan and operation plan.


title: SANTA: Self-Aligned Nanotrench Ablation via Joule Heating for Probing Sub-20 nm Devices

abstract: Manipulating materials at the nanometer scale is challenging, particularly if alignment with nanoscale electrodes is desired. Here we describe a lithography-free, self-aligned nanotrench ablation (SANTA) technique to create nanoscale trenches in a polymer like poly(methyl) methacrylate (PMMA). The nanotrenches are self-aligned with carbon nanotube (CNT) and graphene ribbon electrodes through a simple Joule heating process. Using simulations and experiments we investigate how the Joule power, ambient temperature, PMMA thickness, and substrate properties can improve the spatial resolution of this technique. We achieve sub-20 nm nanotrenches for the first time, by lowering the ambient temperature and reducing the PMMA thickness. We also demonstrate a functioning nanoscale resistive memory (RRAM) bit self-aligned with a CNT control device, achieved through the SANTA approach. This technique provides an elegant and inexpensive method to probe nanoscale devices using self-aligned electrodes, without the use of conventional alignment or lithography steps.


title: Collecting and Analyzing Data from Smart Device Users with Local Differential Privacy

abstract: Organizations with a large user base, such as Samsung and Google, can potentially benefit from collecting and mining users' data. However, doing so raises privacy concerns, and risks accidental privacy breaches with serious consequences. Local differential privacy (LDP) techniques address this problem by only collecting randomized answers from each user, with guarantees of plausible deniability; meanwhile, the aggregator can still build accurate models and predictors by analyzing large amounts of such randomized data. So far, existing LDP solutions either have severely restricted functionality, or focus mainly on theoretical aspects such as asymptotical bounds rather than practical usability and performance. Motivated by this, we propose Harmony, a practical, accurate and efficient system for collecting and analyzing data from smart device users, while satisfying LDP. Harmony applies to multi-dimensional data containing both numerical and categorical attributes, and supports both basic statistics (e.g., mean and frequency estimates), and complex machine learning tasks (e.g., linear regression, logistic regression and SVM classification). Experiments using real data confirm Harmony's effectiveness.


title: Boundary-induced spin density waves in linear Heisenberg antiferromagnetic spin chains with $\mathbf{S \ge 1}$

abstract: Linear Heisenberg antiferromagnets (HAFs) are chains of spin-$S$ sites with isotropic exchange $J$ between neighbors. Open and periodic boundary conditions return the same ground state energy in the thermodynamic limit, but not the same spin $S_G$ when $S \ge 1$. The ground state of open chains of N spins has $S_G = 0$ or $S$, respectively, for even or odd N. Density matrix renormalization group (DMRG) calculations with different algorithms for even and odd N are presented up to N = 500 for the energy and spin densities $\rho(r,N)$ of edge states in HAFs with $S = 1$, 3/2 and 2. The edge states are boundary-induced spin density waves (BI-SDWs) with $\rho(r,N)\propto(-1)^{r-1}$ for $r=1,2,\ldots N$. The SDWs are in phase when N is odd, out of phase when N is even, and have finite excitation energy $\Gamma(N)$ that decreases exponentially with N for integer $S$ and faster than 1/N for half integer $S$. The spin densities and excitation energy are quantitatively modeled for integer $S$ chains longer than $5 \xi$ spins by two parameters, the correlation length $\xi$ and the SDW amplitude, with $\xi = 6.048$ for $S = 1$ and 49.0 for $S = 2$. The BI-SDWs of $S = 3/2$ chains are not localized and are qualitatively different for even and odd N. Exchange between the ends for odd N is mediated by a delocalized effective spin in the middle that increases $|\Gamma(N)|$ and weakens the size dependence. The nonlinear sigma model (NL$\sigma$M) has been applied the HAFs, primarily to $S = 1$ with even N, to discuss spin densities and exchange between localized states at the ends as $\Gamma(N) \propto (-1)^N \exp(-N/\xi)$...


title: Observation of an Alfv\'en Wave Parametric Instability in a Laboratory Plasma

abstract: A shear Alfv\'en wave parametric instability is observed for the first time in the laboratory. When a single finite $\omega/\Omega_i$ kinetic Alfv\'en wave (KAW) is launched in the Large Plasma Device above a threshold amplitude, three daughter modes are produced. These daughter modes have frequencies and parallel wave numbers that are consistent with copropagating KAW sidebands and a low frequency nonresonant mode. The observed process is parametric in nature, with the frequency of the daughter modes varying as a function of pump wave amplitude. The daughter modes are spatially localized on a gradient of the pump wave magnetic field amplitude in the plane perpendicular to the background field, suggesting that perpendicular nonlinear forces (and therefore $k_{\perp}$ of the pump wave) play an important role in the instability process. Despite this, modulational instability theory with $k_{\perp}=0$ has several features in common with the observed nonresonant mode and Alfv\'en wave sidebands.


title: Flare Generated Shock Wave Propagation Through Solar Coronal Arcade Loops and Associated Type II Radio Burst

abstract: This paper presents multiwavelength observations of a flare-generated type II radio burst. The kinematics of the shock derived from the type II closely match a fast EUV wave seen propagating through coronal arcade loops. The EUV wave was closely associated with an impulsive M1.0 flare without a related coronal mass ejection, and was triggered at one of the footpoints of the arcade loops in active region NOAA 12035. It was initially observed in the AIA 335 \AA\ images with a speed of ~800 km/s and accelerated to ~1490 km/s after passing through the arcade loops. A fan-spine magnetic topology was revealed at the flare site. A small, confined filament eruption (~340 km/s) was also observed moving in the opposite direction to the EUV wave. We suggest that breakout reconnection in the fan-spine topology triggered the flare and associated EUV wave that propagated as a fast shock through the arcade loops.


title: Accumulate then Forward: An Opportunistic Relaying Protocol for Wireless-Powered Cooperative Communications

abstract: This paper investigates a wireless-powered cooperative communication network consisting of a source, a destination and a multi-antenna decode-and-forward relay. We consider the relay as a wireless-powered node that has no external power supply; but it is equipped with an energy harvesting (EH) unit and a rechargeable battery such that it can harvest and accumulate energy from radio-frequency signals broadcast by the source. By fully incorporating the EH feature of the relay, we develop an opportunistic relaying protocol, termed accumulate-then-forward (ATF), for the considered WPCCN. We then adopt the discrete Markov chain to model the dynamic charging and discharging behaviors of the relay battery. Based on this, we derive a closed-form expression for the exact outage probability of the proposed ATF protocol. Numerical results show that the ATF scheme can outperform the direct transmission one, especially when the amount of energy consumed by relay for information forwarding is optimized.


title: Contravariance through enrichment

abstract: We define strict and weak duality involutions on 2-categories, and prove a coherence theorem that every bicategory with a weak duality involution is biequivalent to a 2-category with a strict duality involution. For this purpose we introduce "2-categories with contravariance", a sort of enhanced 2-category with a basic notion of "contravariant morphism", which can be regarded either as generalized multicategories or as enriched categories. This enables a universal characterization of duality involutions using absolute weighted colimits, leading to a conceptual proof of the coherence theorem.


title: Reduced fusion systems over 2-groups of small order

abstract: We prove, when $S$ is a $2$-group of order at most $2^9$, that each reduced fusion system over $S$ is the fusion system of a finite simple group and is tame. It then follows that each saturated fusion system over a $2$-group of order at most $2^9$ is realizable. What is most interesting about this result is the method of proof: we show that among $2$-groups with order in this range, the ones which can be Sylow $2$-subgroups of finite simple groups are almost completely determined by criteria based on Bender's classification of groups with strongly $2$-embedded subgroups.


title: Pruning Random Forests for Prediction on a Budget

abstract: We propose to prune a random forest (RF) for resource-constrained prediction. We first construct a RF and then prune it to optimize expected feature cost & accuracy. We pose pruning RFs as a novel 0-1 integer program with linear constraints that encourages feature re-use. We establish total unimodularity of the constraint set to prove that the corresponding LP relaxation solves the original integer program. We then exploit connections to combinatorial optimization and develop an efficient primal-dual algorithm, scalable to large datasets. In contrast to our bottom-up approach, which benefits from good RF initialization, conventional methods are top-down acquiring features based on their utility value and is generally intractable, requiring heuristics. Empirically, our pruning algorithm outperforms existing state-of-the-art resource-constrained algorithms.


title: Perfect Embezzlement of Entanglement

abstract: Van Dam and Hayden introduced a concept commonly referred to as embezzlement, where, for any entangled quantum state $\phi$, there is an entangled catalyst state $\psi$, from which a high fidelity approximation of $\phi \otimes \psi$ can be produced using only local operations. We investigate a version of this where the embezzlement is perfect (i.e., the fidelity is 1). We prove that perfect embezzlement is impossible in a tensor product framework, even with infinite-dimensional Hilbert spaces and infinite entanglement entropy. Then we prove that perfect embezzlement is possible in a commuting operator framework. We prove this using the theory of C*-algebras and we also provide an explicit construction. Next, we apply our results to analyze perfect versions of a nonlocal game introduced by Regev and Vidick. Finally, we analyze the structure of perfect embezzlement protocols in the commuting operator model, showing that they require infinite-dimensional Hilbert spaces.


title: Convex lattice polygonal lines with a constrained number of vertices

abstract: A detailed combinatorial analysis of planar convex lattice polygonal lines is presented. This makes it possible to answer an open question of Vershik regarding the existence of a limit shape when the number of vertices is constrained.


title: Systems of sets of lengths: Transfer Krull monoids versus weakly Krull monoids

abstract: Transfer Krull monoids are monoids which allow a weak transfer homomorphism to a commutative Krull monoid, and hence the system of sets of lengths of a transfer Krull monoid coincides with that of the associated commutative Krull monoid. We unveil a couple of new features of the system of sets of lengths of transfer Krull monoids over finite abelian groups G, and we provide a complete description of the system for all groups G having Davenport constant D(G) = 5 (these are the smallest groups for which no such descriptions were known so far). Under reasonable algebraic finiteness assumptions, sets of lengths of transfer Krull monoids and of weakly Krull monoids satisfy the Structure Theorem for Sets of Lengths. In spite of this common feature we demonstrate that systems of sets of lengths for a variety of classes of weakly Krull monoids are different from the system of sets of lengths of any transfer Krull monoid.


title: Ricci iteration on homogeneous spaces

abstract: The Ricci iteration is a discrete analogue of the Ricci flow. We give the first study of the Ricci iteration on a class of Riemannian manifolds that are not K\"ahler. The Ricci iteration in the non-K\"ahler setting exhibits new phenomena. Among them is the existence of so-called ancient Ricci iterations. As we show, these are closely related to ancient Ricci flows and provide the first nontrivial examples of Riemannian metrics to which the Ricci operator can be applied infinitely many times. In some of the cases we study, these ancient Ricci iterations emerge (in the Gromov--Hausdorff topology) from a collapsed Einstein metric and converge smoothly to a second Einstein metric. In the case of compact homogeneous spaces with maximal isotropy, we prove a relative compactness result that excludes collapsing.


title: HEMI: Hyperedge Majority Influence Maximization

abstract: In this work, we consider the problem of influence maximization on a hypergraph. We first extend the Independent Cascade (IC) model to hypergraphs, and prove that the traditional influence maximization problem remains submodular. We then present a variant of the influence maximization problem (HEMI) where one seeks to maximize the number of hyperedges, a majority of whose nodes are influenced. We prove that HEMI is non-submodular under the diffusion model proposed.


title: Statistical Mechanics of Avalanches

abstract: Statistical mechanics of infinite avalanches is studied in the framework of nonequilibrium random-field Ising model. Critical behavior of the model on a random graph (dilute Bethe lattice) is analyzed in detail. We show that sites with a minimum coordination number 4 play a key role in the occurrence of infinite avalanches. Earlier results which did not seem to fit together very well are explained.