title: Geometry-induced motion of magnetic domain walls in curved nanostripes

abstract: Dynamics of topological magnetic textures are typically induced externally by, e.g.~magnetic fields or spin/charge currents. Here, we demonstrate the effect of the internal-to-the-system geometry-induced motion of a domain wall in a curved nanostripe. Being driven by the gradient of the curvature of a biaxial stripe, transversal domain walls acquire remarkably high velocities of up to 100 m/s and do not exhibit any Walker-type speed limit. We pinpoint that the inhomogeneous distribution of the curvature-induced Dzyaloshinskii--Moriya interaction is a driving force for the motion of a domain wall. Although we showcase our approach on the specific Euler spiral geometry, the approach is general and can be applied to a wide class of geometries.


title: Investigating the exclusive vector meson photoproduction in nuclear collisions at Run 2 LHC energies

abstract: We investigate the theoretical uncertainty on the predictions for the photoproduction of $\rho$ and $J/\Psi$ states in nucleus-nucleus collisions at Run 2 LHC energies using the Color Dipole formalism. The results for rapidity distributions and total cross sections are presented. Moreover, we compare directly the theoretical results to the recent preliminary data from ALICE collaboration on $\rho$ production in $PbPb$ collisions at central rapidity.


title: Proceedings of the Workshop on Data Mining for Geophysics and Geology

abstract: Modern geosciences have to deal with large quantities and a wide variety of data, including 2-D, 3-D and 4-D seismic surveys, well logs generated by sensors, detailed lithological records, satellite images and meteorological records. These data serve important industries, such as the exploration of mineral deposits and the production of energy (Oil and Gas, Geothermal, Wind, Hydroelectric), are important in the study of the earth crust to reduce the impact of earthquakes, in land use planning, and have a fundamental role in sustainability. The volume of raw data being stored by different earth science archives today makes it impossible to rely on manual examination by scientists. The data volumes resultant of different sources, from terrestrial or aerial to satellite surveys, will reach a terabyte per day by the time all the planned satellites are flown. In particular, the oil industry has been using large quantities of data for quite a long time. Although there are published works in this area since the 70s, these days, the ubiquity of computing and sensor devices enables the collection of higher resolution data in real time, giving a new life to a mature industrial field. Understanding and finding value in this data has an impact on the efficiency of the operations in the oil and gas production chain. Efficiency gains are particularly important since the steep fall in oil prices in 2014, and represent an important opportunity for data mining and data science.


title: Sentiment Composition of Words with Opposing Polarities

abstract: In this paper, we explore sentiment composition in phrases that have at least one positive and at least one negative word---phrases like 'happy accident' and 'best winter break'. We compiled a dataset of such opposing polarity phrases and manually annotated them with real-valued scores of sentiment association. Using this dataset, we analyze the linguistic patterns present in opposing polarity phrases. Finally, we apply several unsupervised and supervised techniques of sentiment composition to determine their efficacy on this dataset. Our best system, which incorporates information from the phrase's constituents, their parts of speech, their sentiment association scores, and their embedding vectors, obtains an accuracy of over 80% on the opposing polarity phrases.


title: Higgs relaxation after inflation

abstract: We show that the mechanism of cosmological relaxation of the electroweak scale can take place independently of the inflation mechanism, thus relieving burdens from the original relaxion proposal. What eventually stops the (fast-rolling) relaxion field during its cosmological evolution is the production of particles whose mass is controlled by the Higgs vacuum expectation value. We first show that Higgs particle production does not work for that purpose as the Higgs field does not track the minimum of its potential in the regime where Higgs particles get efficiently produced through their coupling to the relaxion. We then focus on gauge boson production. We provide a detailed analysis of the scanning and stopping mechanism and determine the parameter space for which the relaxion mechanism can take place after inflation, while being compatible with cosmological constraints, such as the relaxion dark matter overabundance and Big Bang Nucleosynthesis. We find that the cutoff scale can be as high as two hundreds of TeV. In this approach, the relaxion sector is responsible for reheating the visible sector. The stopping barriers of the periodic potential are large and Higgs-independent, facilitating model-building. The allowed relaxion mass ranges from 200 MeV up to the weak scale. In this scenario, the relaxion field excursion is subplanckian, and is thus many orders of magnitude smaller than in the original relaxion proposal.


title: Distributed Minimum Vertex Coloring and Maximum Independent Set in Chordal Graphs

abstract: We give deterministic distributed $(1+\epsilon)$-approximation algorithms for Minimum Vertex Coloring and Maximum Independent Set on chordal graphs in the LOCAL model. Our coloring algorithm runs in $O(\frac{1}{\epsilon} \log n)$ rounds, and our independent set algorithm has a runtime of $O(\frac{1}{\epsilon}\log(\frac{1}{\epsilon})\log^* n)$ rounds. For coloring, existing lower bounds imply that the dependencies on $\frac{1}{\epsilon}$ and $\log n$ are best possible. For independent set, we prove that $O(\frac{1}{\epsilon})$ rounds are necessary. Both our algorithms make use of a tree decomposition of the input chordal graph. They iteratively peel off interval subgraphs, which are identified via the tree decomposition of the input graph, thereby partitioning the vertex set into $O(\log n)$ layers. For coloring, each interval graph is colored independently, which results in various coloring conflicts between the layers. These conflicts are then resolved in a separate phase, using the particular structure of our partitioning. For independent set, only the first $O( \log \frac{1}{\epsilon})$ layers are required as they already contain a large enough independent set. We develop a $(1+\epsilon)$-approximation maximum independent set algorithm for interval graphs, which we then apply to those layers. This work raises the question as to how useful tree decompositions are for distributed computing.


title: Electrically Protected Valley-Orbit Qubits in Silicon

abstract: Electrons confined in Si quantum dots possess orbital, spin, and valley degrees of freedom (d.o.f.). We perform Landau-Zener-Stuckelberg-Majorana (LZSM) interferometry on a Si double quantum dot that is strongly coupled to a microwave cavity to probe the valley d.o.f. The resulting LZSM interference pattern is asymmetric as a function of level detuning and persists for drive periods that are much longer than typical charge decoherence times. By correlating the LZSM interference pattern with charge noise measurements, we show that valley-orbit hybridization provides some protection from the deleterious effects of charge noise. Our work opens the possibility of harnessing the valley d.o.f. to engineer charge-noise-insensitive qubits in Si.


title: Measurements of total production cross sections for $\pi^{+}$+C, $\pi^{+}$+Al, $K^{+}$+C, and $K^{+}$+Al at 60 GeV/c and $\pi^{+}$+C and $\pi^{+}$+Al at 31 GeV/c

abstract: This paper presents several measurements of total production cross sections and total inelastic cross sections for the following reactions: $\pi^{+}$+C, $\pi^{+}$+Al, $K^{+}$+C, $K^{+}$+Al at 60 GeV/c, $\pi^{+}$+C and $\pi^{+}$+Al at 31 GeV/c . The measurements were made using the NA61/SHINE spectrometer at the CERN SPS. Comparisons with previous measurements are given and good agreement is seen. These interaction cross sections measurements are a key ingredient for neutrino flux prediction from the reinteractions of secondary hadrons in current and future accelerator-based long-baseline neutrino experiments.


title: Photometric variability of TW~Hya from seconds to years as seen from space and the ground in 2013-2017

abstract: This is the final photometric study of TW Hya based on new MOST satellite observations. During 2014 and 2017 the light curves showed stable 3.75 and 3.69 d quasi-periodic oscillations, respectively. Both values appear to be closely related with the stellar rotation period, as they might be created by changing visibility of a hot-spot formed near the magnetic pole directed towards the observer. These major light variations were superimposed on a chaotic, flaring-type activity caused by hot-spots resulting from unstable accretion - a situation reminiscent of that in 2011, when TW Hya showed signs of a moderately stable accretion state. In 2015 only drifting quasi-periods were observed, similar to those present in 2008-2009 data and typical for magnetised stars accreting in a strongly unstable regime. A rich set of multi-colour data was obtained during 2013-2017 with the primary aim to characterize the basic spectral properties of the mysterious occultations in TW Hya. Although several possible occultation-like events were identified, they are not as well defined as in the 2011 MOST data. The new ground-based and MOST data show a dozen previously unnoticed flares, as well as small-amplitude, 11 min - 3 hr brightness variations, associated with 'accretion bursts'. It is not excluded that the shortest 11-15 min variations could also be caused by thermal instability oscillations in an accretion shock.


title: DFINITY Technology Overview Series, Consensus System

abstract: The DFINITY blockchain computer provides a secure, performant and flexible consensus mechanism. At its core, DFINITY contains a decentralized randomness beacon which acts as a verifiable random function (VRF) that produces a stream of outputs over time. The novel technique behind the beacon relies on the existence of a unique-deterministic, non-interactive, DKG-friendly threshold signatures scheme. The only known examples of such a scheme are pairing-based and derived from BLS. The DFINITY blockchain is layered on top of the DFINITY beacon and uses the beacon as its source of randomness for leader selection and leader ranking. A "weight" is attributed to a chain based on the ranks of the leaders who propose the blocks in the chain, and that weight is used to select between competing chains. The DFINITY blockchain is layered on top of the DFINITY beacon and uses the beacon as its source of randomness for leader selection and leader ranking blockchain is further hardened by a notarization process which dramatically improves the time to finality and eliminates the nothing-at-stake and selfish mining attacks. DFINITY consensus algorithm is made to scale through continuous quorum selections driven by the random beacon. In practice, DFINITY achieves block times of a few seconds and transaction finality after only two confirmations. The system gracefully handles temporary losses of network synchrony including network splits, while it is provably secure under synchrony.


title: Networked Model Predictive Control Using a Wavelet Neural Network

abstract: In this study, we use a wavelet neural network with a feedforward component and a model predictive controller for online nonlinear system identification over a communication network. The wavelet neural network (WNN) performs the online identification of the nonlinear system. The model predictive controller (MPC) uses the model to predict the future outputs of the system over an extended prediction horizon and calculates the optimal future inputs by minimizing a controller cost function. The Lyapunov theory is used to prove the stability of the MPC. We apply the methodology to the online identification and control of an unmanned autonomous vehicle. Simulation results show that the MPC with extended prediction horizon can effectively control the system in the presence of fixed or random network delay.


title: Gravitational waves from gauge preheating

abstract: We study gravitational wave production during Abelian gauge-field preheating following inflation. We consider both scalar and pseudoscalar inflaton models coupled directly to Abelian gauge fields via either a dilatonic coupling to the gauge-field kinetic term or an axial coupling to a Chern-Simons term. In both cases gravitational waves are produced efficiently during the preheating phase, with a signature louder than most cosmological signals. These gravitational waves can contribute to the radiation energy budget of Universe at a level which will be probed by upcoming cosmic microwave background experiments through $N_{\rm eff}$. For axially coupled fields the resulting gravitational wave spectrum is helically polarized---a unique feature that can be used to differentiate it from other stochastic gravitational wave backgrounds. We compute the gravitational topological charge and demonstrate that gauge preheating following axion inflation may be responsible for the matter-antimatter asymmetry of the Universe via gravitational leptogenesis.


title: Shaping dynamical folding and misfolding pathways in mechanical metamaterials

abstract: The design of desired behaviors in mechanical metamaterials has produced remarkable advances but has generally neglected two aspects - the inevitable presence of undesired behaviors and the role of dynamics in avoiding such behaviors. Inspired by similar hurdles in molecular self-assembly and protein folding, we derive design principles to shape dynamical folding and misfolding pathways in disordered mechanical systems. We show that such pathways, i.e., sequences of states traversed at a finite rate, are determined by the bifurcation structure of configuration space which, in turn, can be tuned using imperfections such as stiff joints. We apply these ideas to completely eliminate the exponentially many ways of misfolding a self-folding sheet by making some creases stiffer than others. Our approach also shows how folding at different rates can controllably target different desired behaviors.


title: Back and forth from Fock space to Hilbert space: a guide for commuters

abstract: Quantum states of systems made of many identical particles, e.g. those described by Fermi-Hubbard and Bose-Hubbard models, are conveniently depicted in the Fock space. However, in order to evaluate some specific observables or to study the system dynamics, it is often more effective to employ the Hilbert space description. Moving effectively from one description to the other is thus a desirable feature, especially when a numerical approach is needed. Here we recall the construction of the Fock space for systems of indistinguishable particles, and then present a set of recipes and advices for those students and researchers in the need to commute back and forth from one description to the other. The two-particle case is discussed in some details and few guidelines for numerical implementations are given.


title: Geometric Schotkky groups and non compact hyperbolic surface with infinite genus

abstract: The topological type of a non-compact Riemann surface is determined by its ends space and the ends having infinite genus. In this paper for a non-compact Riemann Surface $S_{m,s}$ with $s$ ends and exactly $m$ of them with infinite genus, such that $m,s\in \mathbb{N}$ and $1<m\leq s$, we give a precise description of the infinite set of generators of a Fuchsian (geometric Schottky) group $\Gamma_{m,s}$ such that the quotient space $\mathbb{H}/ \Gamma_{m, s}$ is homeomorphic to $S_{m,s}$ and has infinite area. For this construction, we exhibit a hyperbolic polygon with an infinite number of sides and give a collection of Mobius transformations identifying the sides in pairs.


title: ContextNet: Exploring Context and Detail for Semantic Segmentation in Real-time

abstract: Modern deep learning architectures produce highly accurate results on many challenging semantic segmentation datasets. State-of-the-art methods are, however, not directly transferable to real-time applications or embedded devices, since naive adaptation of such systems to reduce computational cost (speed, memory and energy) causes a significant drop in accuracy. We propose ContextNet, a new deep neural network architecture which builds on factorized convolution, network compression and pyramid representation to produce competitive semantic segmentation in real-time with low memory requirement. ContextNet combines a deep network branch at low resolution that captures global context information efficiently with a shallow branch that focuses on high-resolution segmentation details. We analyse our network in a thorough ablation study and present results on the Cityscapes dataset, achieving 66.1% accuracy at 18.3 frames per second at full (1024x2048) resolution (41.9 fps with pipelined computations for streamed data).


title: Detection of intercluster gas in superclusters using the thermal Sunyaev-Zel'dovich effect

abstract: Using a thermal Sunyaev-Zel'dovich (tSZ) signal, we search for hot gas in superclusters identified using the Sloan Digital Sky Survey Data Release 7 (SDSS/DR7) galaxies. We stack a Comptonization y map produced by the Planck Collaboration around the superclusters and detect the tSZ signal at a significance of 6.4 sigma. We further search for an intercluster component of gas in the superclusters. For this, we remove the intracluster gas in the superclusters by masking all galaxy groups/clusters detected by the Planck tSZ, ROSAT X-ray, and SDSS optical surveys down to a total mass of 10^13 Msun. We report the first detection of intercluster gas in superclusters with y = (3.5 +- 1.4) * 10^(-8) at a significance of 2.5 sigma. Assuming a simple isothermal and flat density distribution of intercluster gas over superclusters, the estimated baryon density is (Omega_gas / Omega_b) * (T_e/(8*10^6 K)) = 0.067 +- 0.006 +- 0.025. This quantity is inversely proportional to the temperature, therefore taking values from simulations and observations, we find that the gas density in superclusters may account for 17 - 52 % of missing baryons at low redshifts. A better understanding of the physical state of gas in the superclusters is required to accurately estimate the contribution of our measurements to missing baryons.


title: Liquid phase parametrisation and solidification in many-body dissipative particle dynamics

abstract: Many-body dissipative particle dynamics (MDPD) is a mesoscale method capable of reproducing liquid-vapour coexistence in a single simulation. Despite having been introduced more than a decade ago, this method remains broadly unexplored and, as a result, relatively unused for modelling of industrially important soft matter systems. In this work, we systematically investigate the structure and properties of an MDPD fluid. We show that, besides the liquid phase, the MDPD potential can also yield a gas phase and a thermodynamically stable solid phase with a bcc lattice, but lacking a proper stress-strain relation. For the liquid phase, we determine the dependence of density and surface tension on the interaction parameters, and devise a top-down parametrisation protocol for real liquids.


title: Electromagnetic control of nonclassicality in cavity QED system

abstract: We present a study of the electromagnetic control of nonclassicality of the outgoing light field in a single atom cavity QED system. By exploring the energy eigenvalues and eigenstates, we show that the eigenstates are similar to the Jaynes-Cummings ladder of eigenstates and can be optically controlled by an external control field. Tuning the control field frequency to the one photon resonance, we show the superbunching behavior in the outgoing light field can be observed at the frequency of one photon resonance. We also show that there exists a magic control field intensity at which two photon blockade phenomenon can be significantly improved. In particular, it is possible to adjust the nonclassicality of the outgoing field from quantum to classical by varying the control field intensity. The work presented here provides an optical method to control statistical features of the outgoing field and can be useful for the nonclassical light generation, quantum gate operation and exotic quantum state generation.


title: NRC-Canada at SMM4H Shared Task: Classifying Tweets Mentioning Adverse Drug Reactions and Medication Intake

abstract: Our team, NRC-Canada, participated in two shared tasks at the AMIA-2017 Workshop on Social Media Mining for Health Applications (SMM4H): Task 1 - classification of tweets mentioning adverse drug reactions, and Task 2 - classification of tweets describing personal medication intake. For both tasks, we trained Support Vector Machine classifiers using a variety of surface-form, sentiment, and domain-specific features. With nine teams participating in each task, our submissions ranked first on Task 1 and third on Task 2. Handling considerable class imbalance proved crucial for Task 1. We applied an under-sampling technique to reduce class imbalance (from about 1:10 to 1:2). Standard n-gram features, n-grams generalized over domain terms, as well as general-domain and domain-specific word embeddings had a substantial impact on the overall performance in both tasks. On the other hand, including sentiment lexicon features did not result in any improvement.


title: Quantum network routing and local complementation

abstract: Quantum communication between distant parties is based on suitable instances of shared entanglement. For efficiency reasons, in an anticipated quantum network beyond point-to-point communication, it is preferable that many parties can communicate simultaneously over the underlying infrastructure; however, bottlenecks in the network may cause delays. Sharing of multi-partite entangled states between parties offers a solution, allowing for parallel quantum communication. Specifically for the two-pair problem, the butterfly network provides the first instance of such an advantage in a bottleneck scenario. The underlying method differs from standard repeater network approaches in that it uses a graph state instead of maximally entangled pairs to achieve long-distance simultaneous communication. We will demonstrate how graph theoretic tools, and specifically local complementation, help decrease the number of required measurements compared to usual methods applied in repeater schemes. We will examine other examples of network architectures, where deploying local complementation techniques provides an advantage. We will finally consider the problem of extracting graph states for quantum communication via local Clifford operations and Pauli measurements, and discuss that while the general problem is known to be NP-complete, interestingly, for specific classes of structured resources, polynomial time algorithms can be identified.


title: Scale effects in internal wave attractors

abstract: As a necessary preliminary step toward geophysically significant extrapolations, we study the scale effects in internal wave attractors in the linear and nonlinear regimes. We use two geometrically similar experimental set-ups, scaled to factor 3, and numerical simulations (a spectral element method, based on the Nek5000 open solver) for a range of parameters that is typically accessible in laboratory. In the linear regime, we recover the classical viscous scaling for the beam width, which is not affected by variations of the amplitude of the input perturbation. In the nonlinear regime, we show that the scaling of the width-to-length ratio of the attractor branches is intimately related with the energy cascade from large-scale energy input to dissipation. We present results for the wavelength, amplitude and width of the beam as a function of time and as a function of the amplitude of the forcing.


title: Beam-Target Helicity Asymmetry $E$ in $K^{0}\Lambda$ and $K^{0}\Sigma^0$ Photoproduction on the Neutron

abstract: We report the first measurements of the $E$ beam-target helicity asymmetry for the $\vec{\gamma} \vec{n} \to K^{0}\Lambda$, and $K^{0}\Sigma^{0}$ channels in the energy range 1.70$\leq W\leq$2.34 GeV. The CLAS system at Jefferson Lab uses a circularly polarized photon beam and a target consisting of longitudinally polarized solid molecular hydrogen deuteride with low background contamination for the measurements. The multivariate analysis method boosted decision trees was used to isolate the reactions of interest. Comparisons with predictions from the KaonMAID, SAID, and Bonn-Gatchina models are presented. These results will help separate the isospin $I=0$ and $I=1$ photo-coupling transition amplitudes in pseudoscalar meson photoproduction.


title: Remarks on black hole entropy

abstract: The notion of black-hole entropy was introduced by Jacob Bekenstein in 1972. During past 45 years this subject was in the center of interests of the modern theoretical physics. In this paper we briefly discuss "puzzles" of the black-hole physics, connected with their entropy. We also demonstrate that when the standard energy conditions are violated entropy associated with the event horizon can have quite unexpected behavior.


title: Classification of Protein Crystallization X-Ray Images Using Major Convolutional Neural Network Architectures

abstract: The generation of protein crystals is necessary for the study of protein molecular function and structure. This is done empirically by processing large numbers of crystallization trials and inspecting them regularly in search of those with forming crystals. To avoid missing the hard-gained crystals, this visual inspection of the trial X-ray images is done manually as opposed to the existing less accurate machine learning methods. To achieve higher accuracy for automation, we applied some of the most successful convolutional neural networks (ResNet, Inception, VGG, and AlexNet) for 10-way classification of the X-ray images. We showed that substantial classification accuracy is gained by using such networks compared to two simpler ones previously proposed for this purpose. The best accuracy was obtained from ResNet (81.43%), which corresponds to a missed crystal rate of 5.9%. This rate could be lowered to less than 0.1% by using a top-3 classification strategy. Our dataset consisted of 486,000 internally annotated images, which was augmented to more than a million to address class imbalance. We also provide a label-wise analysis of the results, identifying the main sources of error and inaccuracy.


title: A liability allocation game

abstract: The following problem is considered. Two players are each required to allocate a quota of~$n$ counters among~$k$ boxes labelled~$1,2,\ldots,k$. At times $t=1,2,3,\ldots$ a random box is identified; the probability of choosing box~$i$ is~$p_i$. If a player has at least one counter in the chosen box, she removes one counter from it; otherwise she takes no action. The winner is the first player to remove all her counters. The game so described may be modified so that each player simultaneously, but independently, identifies a box at random. This paper analyses this deceptively simple game, which has apparently not been studied in the literature. Some analytical and numerical results are then presented, followed by some challenges for further work.


title: Invariance of experimental observables with respect to coarse-graining in standard and many-body dissipative particle dynamics

abstract: Dissipative particle dynamics (DPD) is a well-established mesoscale simulation method. However, there have been long-standing ambiguities regarding the dependence of its (purely repulsive) force field parameter on temperature as well as the variation of the resulting experimental observables, such as diffusivity or surface tension, with coarse-graining (CG) degree. Here, we revisit the role of the CG degree and rederive the temperature dependence in standard DPD simulations. Consequently, we derive a scaling of the input variables that renders the system properties invariant with respect to CG degree, and illustrate the versatility of the method by computing the surface tensions of binary solvent mixtures. We then extend this procedure to many-body dissipative particle dynamics (MDPD) and, by computing surface tensions of the same mixtures at a range of CG degrees, demonstrate that this newer method, which has not been widely applied so far, is also capable of simulating complex fluids of practical interest.


title: WU-NEAT: A clinically validated, open- source MATLAB toolbox for limited-channel neonatal EEG analysis

abstract: Goal: Limited-channel EEG research in neonates is hindered by lack of open, accessible analytic tools. To overcome this limitation, we have created the Washington University- Neonatal EEG Analysis Toolbox (WU-NEAT), containing two of the most commonly used tools, provided in an open-source, clinically-validated package running within MATLAB. Methods: The first algorithm is the amplitude-integrated EEG (aEEG), which is generated by filtering, rectifying and time-compressing the original EEG recording, with subsequent semi-logarithmic display. The second algorithm is the spectral edge frequency (SEF), calculated as the critical frequency below which a user- defined proportion of the EEG spectral power is located. The aEEG algorithm was validated by three experienced reviewers. Reviewers evaluated aEEG recordings of fourteen preterm/term infants, displayed twice in random order, once using a reference algorithm and again using the WU-NEAT aEEG algorithm. Using standard methodology, reviewers assigned a background pattern classification. Inter/intra-rater reliability was assessed. For the SEF, calculations were made using the same fourteen recordings, first with the reference and then with the WU-NEAT algorithm. Results were compared using Pearson's correlation coefficient. Results: For the aEEG algorithm, intra- and inter-rater reliability was 100% and 98%, respectively. For the SEF, the mean (SD) Pearson correlation coefficient between algorithms was 0.96 (0.04). Conclusion: We have demonstrated a clinically-validated toolbox for generating the aEEG as well as calculating the SEF from EEG data. Open-source access will enable widespread use of common analytic algorithms which are device-independent and not subject to obsolescence, thereby facilitating future collaborative research in neonatal EEG.


title: Learning-induced categorical perception in a neural network model

abstract: In human cognition, the expansion of perceived between-category distances and compression of within-category distances is known as categorical perception (CP). There are several hypotheses about the causes of CP (e.g., language, learning, evolution) but no functional model. Whether CP is essential to categorisation or simply a by-product of it is not yet clear, but evidence is accumulating that CP can be induced by category learning. We provide a model for learning-induced CP as expansion and compression of distances in hidden-unit space in neural nets. Basic conditions from which the current model predicts CP are described, and clues as to how these conditions might generalize to more complex kinds of categorization begin to emerge.


title: On the vanishing of theta invariant and a conjecture of Huneke and Wiegand

abstract: Huneke and Wiegand conjectured that, if $M$ is a finitely generated, non-free, torsion-free module with rank over a one-dimensional Cohen-Macaulay local ring $R$, then the tensor product of $M$ with its algebraic dual has torsion. This conjecture, if $R$ is Gorenstein, is a special case of a celebrated conjecture of Auslander and Reiten on the vanishing of self extensions that stems from the representation theory of finite-dimensional algebras. If $R$ is a one-dimensional Cohen-Macaulay ring such that $R=S/(f)$ for some local ring $(S, \mathfrak{n})$, and a non zero-divisor $f \in \mathfrak{n}^2$ on $S$, we make use of Hochster's theta invariant and prove that such $R$-modules $M$ which have finite projective dimension over $S$ satisfy the proposed torsion condition of the conjecture. Along the way we give several applications of our argument pertaining to torsion properties of tensor products of modules.


title: A phase-field approach to Eulerian interfacial energies

abstract: We analyze a phase-field approximation of a sharp-interface model for two- phase materials proposed by M. Silhavy [32, 33]. The distinguishing trait of the model resides in the fact that the interfacial term is Eulerian in nature, for it is defined on the deformed configuration. We discuss a functional frame allowing for existence of phase- field minimizers and {\Gamma}-convergence to the sharp-interface limit. As a by-product, we provide additional detail on the admissible sharp-interface configurations with respect to the analysis in [32, 33].


title: Neural Factor Graph Models for Cross-lingual Morphological Tagging

abstract: Morphological analysis involves predicting the syntactic traits of a word (e.g. {POS: Noun, Case: Acc, Gender: Fem}). Previous work in morphological tagging improves performance for low-resource languages (LRLs) through cross-lingual training with a high-resource language (HRL) from the same family, but is limited by the strict, often false, assumption that tag sets exactly overlap between the HRL and LRL. In this paper we propose a method for cross-lingual morphological tagging that aims to improve information sharing between languages by relaxing this assumption. The proposed model uses factorial conditional random fields with neural network potentials, making it possible to (1) utilize the expressive power of neural network representations to smooth over superficial differences in the surface forms, (2) model pairwise and transitive relationships between tags, and (3) accurately generate tag sets that are unseen or rare in the training data. Experiments on four languages from the Universal Dependencies Treebank demonstrate superior tagging accuracies over existing cross-lingual approaches.


title: The Steiner $k$-Wiener index of graphs with given minimum degree

abstract: Let $G$ be a connected graph. The Steiner distance $d(S)$ of a set $S$ of vertices is the minimum size of a connected subgraph of $G$ containing all vertices of $S$. For $k\in \mathbb{N}$, the Steiner $k$-Wiener index $SW_k(G)$ is defined as $\sum_S d(S)$, where the sum is over all $k$-element subsets of the vertex set of $G$. The average Steiner $k$-distance $\mu_k(G)$ of $G$ is defined as $\binom{n}{k}^{-1} SW_k(G)$. In this paper we prove upper bounds on the Steiner Wiener index and the average Steiner distance of graphs with given order $n$ and minimum degree $\delta$. Specifically we show that $SW_k(G) \leq \frac{k-1}{k+1}\frac{3n}{\delta+1} \binom{n}{k} + O(n^{k})$, and that $\mu_k(G) \leq \frac{k-1}{k+1}\frac{3n}{\delta+1} + O(1)$. We improve this bound for triangle-free graphs to $SW_k(G) \leq \frac{k-1}{k+1}\frac{2n}{\delta} \binom{n}{k} + O(n^{k})$, and $\mu_k(G) \leq \frac{k-1}{k+1}\frac{2n}{\delta} + O(1)$. All bounds are best possible.


title: Intriguing similarities between high-$p_{\rm T}$ particle production in pp and A-A collisions

abstract: In this paper we study the particle production at high transverse momentum ($p_{\rm T}>8$ GeV/$c$) in both pp and Pb-Pb collisions at LHC energies. The characterization of the spectra is done using a power-law function and the resulting power-law exponent ($n$) is studied as a function of $x_{\rm T}$ for minimum-bias pp collisions at different $\sqrt{s}$. The functional form of $n$ as a function of $x_{\rm T}$ exhibits an approximate universal behavior. PYTHIA~8.212 reproduces the scaling properties and therefore, it is used to study the multiplicity-dependent particle production. Going from low to high multiplicities, the power-law exponent decreases. A similar behavior is also observed in heavy-ion collisions when one studies the centrality-dependent particle production. The interpretation of heavy-ion results requires the quantification of the impact of this correlation (multiplicity and high $p_{\rm T}$) on jet-quenching observables.


title: $\tau^- \to \nu_{\tau} M_1 M_2$, with $M_1, M_2$ pseudoscalar or vector mesons

abstract: We perform a calculation of the $\tau^- \to \nu_{\tau} M_1 M_2$, with $M_1, M_2$ either pseudoscalar or vector mesons using the basic weak interaction and angular momentum algebra to relate the different processes. The formalism also leads to a different interpretation of the role played by $G$-parity in these decays. We also observe that, while $p$-wave $M_1 M_2$ production is compatible with chiral perturbation theory and experiment, $VP$ and $VV$ $p$-wave production is clearly incompatible with experiment and we develop the formalism also in this case. We compare our results with experiment and make predictions for unmeasured decays, and we show the value of these reactions, particularly if the $M_1 M_2$ mass distribution is measured, as a tool to learn about the meson-meson interaction and the nature of some resonances, coupling to two mesons, which are produced in such decays.


title: Revisiting Dilated Convolution: A Simple Approach for Weakly- and Semi- Supervised Semantic Segmentation

abstract: Despite the remarkable progress, weakly supervised segmentation approaches are still inferior to their fully supervised counterparts. We obverse the performance gap mainly comes from their limitation on learning to produce high-quality dense object localization maps from image-level supervision. To mitigate such a gap, we revisit the dilated convolution [1] and reveal how it can be utilized in a novel way to effectively overcome this critical limitation of weakly supervised segmentation approaches. Specifically, we find that varying dilation rates can effectively enlarge the receptive fields of convolutional kernels and more importantly transfer the surrounding discriminative information to non-discriminative object regions, promoting the emergence of these regions in the object localization maps. Then, we design a generic classification network equipped with convolutional blocks of different dilated rates. It can produce dense and reliable object localization maps and effectively benefit both weakly- and semi- supervised semantic segmentation. Despite the apparent simplicity, our proposed approach obtains superior performance over state-of-the-arts. In particular, it achieves 60.8% and 67.6% mIoU scores on Pascal VOC 2012 test set in weakly- (only image-level labels are available) and semi- (1,464 segmentation masks are available) supervised settings, which are the new state-of-the-arts.


title: Using the Best Linear Approximation With Varying Excitation Signals for Nonlinear System Characterization

abstract: Block oriented model structure detection is quite desirable since it helps to imagine the system with real physical elements. In this work we explore experimental methods to detect the internal structure of the system, using a black box approach. Two different strategies are compared and the best combination of these is introduced. The methods are applied on two real systems with a static nonlinear block in the feedback path. The main goal is to excite the system in a way that reduces the total distortion in the measured frequency response functions to have more precise measurements and more reliable decision about the structure of the system.


title: Domain Adapted Word Embeddings for Improved Sentiment Classification

abstract: Generic word embeddings are trained on large-scale generic corpora; Domain Specific (DS) word embeddings are trained only on data from a domain of interest. This paper proposes a method to combine the breadth of generic embeddings with the specificity of domain specific embeddings. The resulting embeddings, called Domain Adapted (DA) word embeddings, are formed by aligning corresponding word vectors using Canonical Correlation Analysis (CCA) or the related nonlinear Kernel CCA. Evaluation results on sentiment classification tasks show that the DA embeddings substantially outperform both generic and DS embeddings when used as input features to standard or state-of-the-art sentence encoding algorithms for classification.


title: Fast Rates of ERM and Stochastic Approximation: Adaptive to Error Bound Conditions

abstract: Error bound conditions (EBC) are properties that characterize the growth of an objective function when a point is moved away from the optimal set. They have recently received increasing attention in the field of optimization for developing optimization algorithms with fast convergence. However, the studies of EBC in statistical learning are hitherto still limited. The main contributions of this paper are two-fold. First, we develop fast and intermediate rates of empirical risk minimization (ERM) under EBC for risk minimization with Lipschitz continuous, and smooth convex random functions. Second, we establish fast and intermediate rates of an efficient stochastic approximation (SA) algorithm for risk minimization with Lipschitz continuous random functions, which requires only one pass of $n$ samples and adapts to EBC. For both approaches, the convergence rates span a full spectrum between $\widetilde O(1/\sqrt{n})$ and $\widetilde O(1/n)$ depending on the power constant in EBC, and could be even faster than $O(1/n)$ in special cases for ERM. Moreover, these convergence rates are automatically adaptive without using any knowledge of EBC. Overall, this work not only strengthens the understanding of ERM for statistical learning but also brings new fast stochastic algorithms for solving a broad range of statistical learning problems.


title: Anti-correlation between X-ray luminosity and pulsed fraction in the Small Magellanic Cloud pulsar SXP 1323

abstract: We report the evidence for the anti-correlation between pulsed fraction (PF) and luminosity of the X-ray pulsar SXP 1323, found for the first time in a luminosity range $10^{35}$--$10^{37}$ erg s$^{-1}$ from observations spanning 15 years. The phenomenon of a decrease in X-ray PF when the source flux increases has been observed in our pipeline analysis of other X-ray pulsars in the Small Magellanic Cloud (SMC). It is expected that the luminosity under a certain value decreases as the PF decreases due to the propeller effect. Above the propeller region, an anti-correlation between the PF and flux might occur either as a result of an increase in the un-pulsed component of the total emission or a decrease of the pulsed component. Additional modes of accretion may also be possible, such as spherical accretion and a change in emission geometry. At higher mass accretion rates, the accretion disk could also extend closer to the neutron star (NS) surface, where a reduced inner radius leads to hotter inner disk emission. These modes of plasma accretion may affect the change in the beam configuration to fan-beam dominant emission.


title: Using Statistical and Semantic Models for Multi-Document Summarization

abstract: We report a series of experiments with different semantic models on top of various statistical models for extractive text summarization. Though statistical models may better capture word co-occurrences and distribution around the text, they fail to detect the context and the sense of sentences /words as a whole. Semantic models help us gain better insight into the context of sentences. We show that how tuning weights between different models can help us achieve significant results on various benchmarks. Learning pre-trained vectors used in semantic models further, on given corpus, can give addition spike in performance. Using weighing techniques in between different statistical models too further refines our result. For Statistical models, we have used TF/IDF, TextRAnk, Jaccard/Cosine Similarities. For Semantic Models, we have used WordNet-based Model and proposed two models based on Glove Vectors and Facebook's InferSent. We tested our approach on DUC 2004 dataset, generating 100-word summaries. We have discussed the system, algorithms, analysis and also proposed and tested possible improvements. ROUGE scores were used to compare to other summarizers.


title: Branching Temporal Logic of Calls and Returns for Pushdown Systems

abstract: Pushdown Systems (PDSs) are a natural model for sequential programs with (recursive) procedure calls. In this work, we define the Branching temporal logic of CAlls and RETurns (BCARET) that allows to write branching temporal formulas while taking into account the matching between calls and returns. We consider the model-checking problem of PDSs against BCARET formulas with "standard" valuations (where an atomic proposition holds at a configuration c or not depends only on the control state of c, not on its stack) as well as regular valuations (where the set of configurations in which an atomic proposition holds is regular). We show that these problems can be effectively solved by a reduction to the emptiness problem of Alternating B\"uchi Pushdown Systems. We show that our results can be applied for malware detection.


title: Activated dynamics: an intermediate model between REM and p-spin

abstract: In order to study the activated dynamics of mean-field glasses, which takes place on times of order exp(N), where N is the system size, we introduce a new model, the Correlated Random Energy Model (CREM), that allows for a smooth interpolation between the REM and the p-spin models. We study numerically and analytically the CREM in the intermediate regime between REM and p-spin. We fully characterize its energy landscape, which is like a golf-course but, at variance with the REM, has metabasins (or holes) containing several configurations. We find that an effective trap-like description for the dynamics emerges, provided that one identifies metabasins in the CREM with configurations in the trap model.


title: TensOrMachine: Probabilistic Boolean Tensor Decomposition

abstract: Boolean tensor decomposition approximates data of multi-way binary relationships as product of interpretable low-rank binary factors, following the rules of Boolean algebra. Here, we present its first probabilistic treatment. We facilitate scalable sampling-based posterior inference by exploitation of the combinatorial structure of the factor conditionals. Maximum a posteriori decompositions feature higher accuracies than existing techniques throughout a wide range of simulated conditions. Moreover, the probabilistic approach facilitates the treatment of missing data and enables model selection with much greater accuracy. We investigate three real-world data-sets. First, temporal interaction networks in a hospital ward and behavioural data of university students demonstrate the inference of instructive latent patterns. Next, we decompose a tensor with more than 10 billion data points, indicating relations of gene expression in cancer patients. Not only does this demonstrate scalability, it also provides an entirely novel perspective on relational properties of continuous data and, in the present example, on the molecular heterogeneity of cancer. Our implementation is available on GitHub: https://github.com/TammoR/LogicalFactorisationMachines.


title: Entanglement Breaking Rank and the existence of SIC POVMs

abstract: We introduce and study the entanglement breaking rank of an entanglement breaking channel. We show that the entanglement breaking rank of the channel $\mathfrak Z: M_d \to M_d$ defined by \begin{align*} \mathfrak Z(X) = \frac{1}{d+1}(X+\text{Tr}(X)\mathbb I_d) \end{align*} is $d^2$ if and only if there exists a symmetric informationally-complete POVM in dimension $d$.


title: Robust Comparison of Kernel Densities on Spherical Domains

abstract: While spherical data arises in many contexts, including in directional statistics, the current tools for density estimation and population comparison on spheres are quite limited. Popular approaches for comparing populations (on Euclidean domains) mostly involvea two-step procedure: (1) estimate probability density functions (pdfs) from their respective samples, most commonly using the kernel density estimator, and, (2) compare pdfs using a metric such as the L2 norm. However, both the estimated pdfs and their differences depend heavily on the chosen kernels, bandwidths, and sample sizes. Here we develop a framework for comparing spherical populations that is robust to these choices. Essentially, we characterize pdfs on spherical domains by quantifying their smoothness. Our framework uses a spectral representation, with densities represented by their coefficients with respect to the eigenfunctions of the Laplacian operator on a sphere. The change in smoothness, akin to using different kernel bandwidths, is controlled by exponential decays in coefficient values. Then we derive a proper distance for comparing pdf coefficients while equalizing smoothness levels, negating influences of sample size and bandwidth. This signifies a fair and meaningful comparisons of populations, despite vastly different sample sizes, and leads to a robust and improved performance. We demonstrate this framework using examples of variables on S1 and S2, and evaluate its performance using a number of simulations and real data experiments.


title: Modules, fields of definition, and the Culler-Shalen norm

abstract: Culler-Shalen theory uses the algebraic geometry of the SL(2,C)-character variety of a 3-manifold to construct essential surfaces in the manifold. There are module structures associated to the coordinate rings of the irreducible components of character varieties that are intimately related to essential surface construction. When these modules are finitely generated, we derive a formula for their rank that incorporates the irreducible component's field of definition and the Culler-Shalen norm.


title: Time-space Trade-offs in Population Protocols for the Majority Problem

abstract: Population protocols are a model for distributed computing that is focused on simplicity and robustness. A system of $n$ identical agents (finite state machines) performs a global task like electing a unique leader or determining the majority opinion when each agent has one of two opinions. Agents communicate in pairwise interactions with randomly assigned communication partners. Quality is measured in two ways: the number of interactions to complete the task and the number of states per agent. We present protocols for the majority problem that allow for a trade-off between these two measures. Compared to the only other trade-off result [Alistarh, Gelashvili, Vojnovic; PODC'15], we improve the number of interactions by almost a linear factor. Furthermore, our protocols can be made uniform (working correctly without any information on the population size $n$), yielding the first uniform majority protocols that stabilize in a subquadratic number of interactions.


title: Double-Dipping: A New Relation between Stellar Rotation and Starspot Activity

abstract: We report the discovery of a new relationship between a simple morphological characteristic of light curves produced by starspots and stellar rotation periods. The characteristic we examine is whether the light curve exhibits one dip or two during a single rotation. We analyze thousands of Kepler light curves of main sequence stars from 3200-6200K. Almost all the stars exhibit segments of their light curve that contain either single or double dip segments (very few have more than two significant dips per rotation). We define a variable, the "single/double ratio" (SDR) that expresses the ratio of the time spent in single mode to the time spent in double mode. Unexpectedly, there is a strong relationship between the SDR and the stellar rotation period, in the sense that longer periods come with a larger fraction of double segments. Even more unexpectedly, the slopes of the SDR-Period relations are a clear function of stellar temperature. We also show that the relationships of spot variability amplitude (R_var) to rotation period have similar levels of scatter, slopes, and dependence on temperature as the SDR-Period relations. Finally, the median R_var of single segments tends to be about twice that of double segments in a given light curve. We offer some tentative interpretations of these new results in terms of starspot coverage and lifetimes. It will be fruitful to look further into this novel "rotation-activity" relation, and better understand what information these aspects of light curve morphology bring to our knowledge of stellar magnetic activity.


title: High-resolution polarization imaging of the Fermi blazar 3C 279

abstract: Ever since the discovery by the Fermi mission that active galactic nuclei (AGN) produce copious amounts of high-energy emission, its origin has remained elusive. Using high-frequency radio interferometry (VLBI) polarization imaging, we could probe the magnetic field topology of the compact high-energy emission regions in blazars. A case study for the blazar 3C 279 reveals the presence of multiple gamma-ray emission regions. Pass 8 Fermi-Large Area Telescope (LAT) data are used to investigate the flux variations in the GeV regime; six gamma-ray flares were observed in the source during November 2013 to August 2014. We use the 43 GHz VLBI data to study the morphological changes in the jet. Ejection of a new component (NC2) during the first three gamma-ray flares suggests the VLBI core as the possible site of the high-energy emission. A delay between the last three flares and the ejection of a new component (NC3) indicates that high-energy emission in this case is located upstream of the 43 GHz core (closer to the black hole).


title: Wiedemann-Franz law and abrupt change in conductivity across the pseudogap critical point of a cuprate superconductor

abstract: The thermal conductivity $\kappa$ of the cuprate superconductor La$_{1.6-x}$Nd$_{0.4}$Sr$_x$CuO$_4$ was measured down to 50 mK in seven crystals with doping from $p=0.12$ to $p=0.24$, both in the superconducting state and in the magnetic field-induced normal state. We obtain the electronic residual linear term $\kappa_0/T$ as $T \to 0$ across the pseudogap critical point $p^{\star}= 0.23$. In the normal state, we observe an abrupt drop in $\kappa_0/T$ upon crossing below $p^{\star}$, consistent with a drop in carrier density $n$ from $1 + p$ to $p$, the signature of the pseudogap phase inferred from the Hall coefficient. A similar drop in $\kappa_0/T$ is observed at $H=0$, showing that the pseudogap critical point and its signatures are unaffected by the magnetic field. In the normal state, the Wiedemann-Franz law, $\kappa_0/T=L_0/\rho(0)$, is obeyed at all dopings, including at the critical point where the electrical resistivity $\rho(T)$ is $T$-linear down to $T \to 0$. We conclude that the non-superconducting ground state of the pseudogap phase at $T=0$ is a metal whose fermionic excitations carry heat and charge as conventional electrons do.


title: The Domain Transform Solver

abstract: We present a framework for edge-aware optimization that is an order of magnitude faster than the state of the art while having comparable performance. Our key insight is that the optimization can be formulated by leveraging properties of the domain transform, a method for edge-aware filtering that defines a distance-preserving 1D mapping of the input space. This enables our method to improve performance for a variety of problems including stereo, depth super-resolution, and render from defocus, while keeping the computational complexity linear in the number of pixels. Our method is highly parallelizable and adaptable, and it has demonstrable scalability with respect to image resolution.


title: Robust and Scalable Models of Microbiome Dynamics

abstract: Microbes are everywhere, including in and on our bodies, and have been shown to play key roles in a variety of prevalent human diseases. Consequently, there has been intense interest in the design of bacteriotherapies or "bugs as drugs," which are communities of bacteria administered to patients for specific therapeutic applications. Central to the design of such therapeutics is an understanding of the causal microbial interaction network and the population dynamics of the organisms. In this work we present a Bayesian nonparametric model and associated efficient inference algorithm that addresses the key conceptual and practical challenges of learning microbial dynamics from time series microbe abundance data. These challenges include high-dimensional (300+ strains of bacteria in the gut) but temporally sparse and non-uniformly sampled data; high measurement noise; and, nonlinear and physically non-negative dynamics. Our contributions include a new type of dynamical systems model for microbial dynamics based on what we term interaction modules, or learned clusters of latent variables with redundant interaction structure (reducing the expected number of interaction coefficients from $O(n^2)$ to $O((\log n)^2)$); a fully Bayesian formulation of the stochastic dynamical systems model that propagates measurement and latent state uncertainty throughout the model; and introduction of a temporally varying auxiliary variable technique to enable efficient inference by relaxing the hard non-negativity constraint on states. We apply our method to simulated and real data, and demonstrate the utility of our technique for system identification from limited data and gaining new biological insights into bacteriotherapy design.


title: Distances to Lattice Points in Knapsack Polyhedra

abstract: We give an optimal upper bound for the maximum-norm distance from a vertex of a knapsack polyhedron to its nearest feasible lattice point. In a randomised setting, we show that the upper bound can be significantly improved on average. As a corollary, we obtain an optimal upper bound for the additive integrality gap of integer knapsack problems and show that the integrality gap of a "typical" knapsack problem is drastically smaller than the integrality gap that occurs in a worst case scenario. We also prove that, in a generic case, the integer programming gap admits a natural optimal lower bound.


title: A MEMS-scale vibration energy harvester based on coupled component structure and bi-stable states

abstract: Due to the rapid growth in demand for power for sensing devices located in remote locations, scientists' attention has been drawn to vibration energy harvesting as an alternative to batteries. As a result of over two decades of micro-scale vibration energy harvester research, the use of mechanical nonlinearity in the dynamic behavior of the piezoelectric power generating structures had been recognized as one of the promising solutions to the challenges presented by chaotic, low-frequency vibration sources found in common application environments. In this study, the design and performance of a unique MEMS-scale nonlinear vibration energy harvester based on coupled component structures and bi-stable states are investigated. The coupled-components within the device consist of a main buckled beam bonded with piezoelectric layers, a torsional rod, and two cantilever arms with tip masses at their ends. These arms are connected to the main beam through the torsional rod and are designed to help the main beam snap between its buckled stable states when subjected to sufficient vibration loading. The fabrication of the device will be discussed, including use of plasma-enhanced chemical vapor deposition (PECVD) of silicon nitride under an alternating power field to control compressive stress development within the main buckled beam. After completing the fabrication process, the next step would be testing the device under a variety of vibration loading conditions for its potential use as a vibration energy harvester.


title: Quantifying Users' Beliefs about Software Updates

abstract: Software updates are critical to the performance, compatibility, and security of software systems. However, users do not always install updates, leaving their machines vulnerable to attackers' exploits. While recent studies have highlighted numerous reasons why users ignore updates, little is known about how prevalent each of these beliefs is. Gaining a better understanding of the prevalence of each belief may help software designers better target their efforts in understanding what specific user concerns to address when developing and deploying software updates. In our study, we performed a survey to quantify the prevalence of users' reasons for not updating uncovered by previous studies. We used this data to derive three factors underlying these beliefs: update costs, update necessity, and update risks. Based on our results, we provide recommendations for how software developers can better improve users' software updating experiences, thereby increasing compliance and, with it, security.


title: On Madelung systems in nonlinear optics: A reciprocal invariance

abstract: The role of the de Broglie-Bohm potential, originally established as central to Bohmian quantum mechanics, is examined for two canonical Madelung systems in nonlinear optics. In a seminal case, a Madelung system derived by Wagner et al. via the paraxial approximation and in which the de Broglie-Bohm potential is present, is shown to admit a multi-parameter class of what are here introduced as "q-gaussons". In the limit as the Tsallis parameter q --> 1, the q-gaussons are shown to lead to standard gausson solitons as admitted by logarithmic nonlinear Schroedinger equation encapsulating the Madelung system. The q-gaussons are obtained for optical media with dual power-law refractive index. In the second case, a Madelung system originally derived via an eikonal approximation in the context of laser beam propagation and in which the de Broglie Bohm term is neglected, is shown to admit invariance under a novel class of two-parameter reciprocal transformations. Model optical laws analogous to the celebrated Karman-Tsien law of classical gasdynamics are introduced.


title: Joint Flow: Temporal Flow Fields for Multi Person Tracking

abstract: In this work we propose an online multi person pose tracking approach which works on two consecutive frames $I_{t-1}$ and $I_t$. The general formulation of our temporal network allows to rely on any multi person pose estimation approach as spatial network. From the spatial network we extract image features and pose features for both frames. These features serve as input for our temporal model that predicts Temporal Flow Fields (TFF). These TFF are vector fields which indicate the direction in which each body joint is going to move from frame $I_{t-1}$ to frame $I_t$. This novel representation allows to formulate a similarity measure of detected joints. These similarities are used as binary potentials in a bipartite graph optimization problem in order to perform tracking of multiple poses. We show that these TFF can be learned by a relative small CNN network whilst achieving state-of-the-art multi person pose tracking results.


title: Effects of strong magnetic fields on quark matter and $\pi^0$ properties within nonlocal chiral quark models

abstract: We study the behavior of strongly interacting matter under a strong external magnetic field in the context of chiral quark models that include nonlocal interactions. In particular, we analyze the influence of a constant magnetic field on the chiral quark condensates at zero and finite temperature, studying the deconfinement and chiral restoration critical temperatures and discussing the observed "magnetic catalysis" and "inverse magnetic catalysis" effects. In addition, we analyze in this framework the behavior of the $\pi^0$ mass and decay constant. The predictions of nonlocal chiral quark models are compared with results obtained in lattice QCD.


title: Newton polygons of cyclic covers of the projective line branched at three points

abstract: We review the Shimura-Taniyama method for computing the Newton polygon of an abelian variety with complex multiplication. We apply this method to cyclic covers of the projective line branched at three points. As an application, we produce multiple new examples of Newton polygons that occur for Jacobians of smooth curves in characteristic $p$. Under certain congruence conditions on $p$, these include: the supersingular Newton polygon for each genus $g$ with $4 \leq g \leq 11$; nine non-supersingular Newton polygons with $p$-rank $0$ with $4 \leq g \leq 11$; and, for all $g \geq 5$, the Newton polygon with $p$-rank $g-5$ having slopes $1/5$ and $4/5$.


title: A Local Stochastic Algorithm for Separation in Heterogeneous Self-Organizing Particle Systems

abstract: We present and rigorously analyze the behavior of a distributed, stochastic algorithm for separation and integration in self-organizing particle systems, an abstraction of programmable matter. Such systems are composed of individual computational particles with limited memory, strictly local communication abilities, and modest computational power. We consider heterogeneous particle systems of two different colors and prove that these systems can collectively separate into different color classes or integrate, indifferent to color. We accomplish both behaviors with the same fully distributed, local, stochastic algorithm. Achieving separation or integration depends only on a single global parameter determining whether particles prefer to be next to other particles of the same color or not; this parameter is meant to represent external, environmental influences on the particle system. The algorithm is a generalization of a previous distributed, stochastic algorithm for compression (PODC '16), which can be viewed as a special case of separation where all particles have the same color. It is significantly more challenging to prove that the desired behavior is achieved in the heterogeneous setting, however, even in the bichromatic case we focus on. This requires combining several new techniques, including the cluster expansion from statistical physics, a new variant of the bridging argument of Miracle, Pascoe and Randall (RANDOM '11), the high-temperature expansion of the Ising model, and careful probabilistic arguments.


title: Finitary isomorphisms of Poisson point processes

abstract: As part of a general theory for the isomorphism problem for actions of amenable groups, Ornstein and Weiss (J. Anal. Math. 48:1-141,1987) proved that any two Poisson point processes are isomorphic as measure-preserving actions. We give an elementary construction of an isomorphism between Poisson point processes that is finitary.


title: Double Embeddings and CNN-based Sequence Labeling for Aspect Extraction

abstract: One key task of fine-grained sentiment analysis of product reviews is to extract product aspects or features that users have expressed opinions on. This paper focuses on supervised aspect extraction using deep learning. Unlike other highly sophisticated supervised deep learning models, this paper proposes a novel and yet simple CNN model employing two types of pre-trained embeddings for aspect extraction: general-purpose embeddings and domain-specific embeddings. Without using any additional supervision, this model achieves surprisingly good results, outperforming state-of-the-art sophisticated existing methods. To our knowledge, this paper is the first to report such double embeddings based CNN model for aspect extraction and achieve very good results.


title: Logistic Regression with Missing Covariates -- Parameter Estimation, Model Selection and Prediction within a Joint-Modeling Framework

abstract: Logistic regression is a common classification method in supervised learning. Surprisingly, there are very few solutions for performing logistic regression with missing values in the covariates. We suggest a complete approach based on a stochastic approximation version of the EM algorithm to do statistical inference with missing values including the estimation of the parameters and their variance, derivation of confidence intervals and a model selection procedure. We also tackle the problem of prediction for new observations (on a test set) with missing covariate data. The methodology is computationally efficient, and its good coverage and variable selection properties are demonstrated in a simulation study where we contrast its performances to other methods. For instance, the popular approach of multiple imputation by chained equations can lead to estimates that exhibit meaningfully greater biases than the proposed approach. We then illustrate the method on a dataset of severely traumatized patients from Paris hospitals to predict the occurrence of hemorrhagic shock, a leading cause of early preventable death in severe trauma cases. The aim is to consolidate the current red flag procedure, a binary alert identifying patients with a high risk of severe hemorrhage. The methodology is implemented in the R package misaem.


title: Stability Analysis of Core-Strahl Electron Distributions in the Solar Wind

abstract: In this work, we analyze the kinetic stability of a solar wind electron distribution composed of core and strahl subpopulations. The core is modeled by a drifting Maxwellian distribution, while the strahl is modeled by an analytic function recently derived in (Horaites et al. 2018) from the collisional kinetic equation. We perform a numerical linear stability analysis using the LEOPARD solver (Astfalk & Jenko 2017), which allows for arbitrary gyrotropic distribution functions in a magnetized plasma. We find that for typical solar wind conditions, the core-strahl distribution is unstable to the kinetic Alfv\'en and magnetosonic modes. The maximum growth rates for these instabilities occur at wavenumbers $k d_i \lesssim 1$, at moderately oblique angles of propagation, thus providing a potential source of kinetic-scale turbulence. In contrast with previous reports, we however do not find evidence for a whistler instability directly associated with the electron strahl. This may be related to the more realistic shape of the electron strahl distribution function adopted in our work. We therefore suggest that the whistler modes often invoked to explain anomalous scattering of strahl particles could appear as a result of nonlinear mode coupling and turbulent cascade originating at scales $k d_i \lesssim 1$.


title: Confidence Modeling for Neural Semantic Parsing

abstract: In this work we focus on confidence modeling for neural semantic parsers which are built upon sequence-to-sequence models. We outline three major causes of uncertainty, and design various metrics to quantify these factors. These metrics are then used to estimate confidence scores that indicate whether model predictions are likely to be correct. Beyond confidence estimation, we identify which parts of the input contribute to uncertain predictions allowing users to interpret their model, and verify or refine its input. Experimental results show that our confidence model significantly outperforms a widely used method that relies on posterior probability, and improves the quality of interpretation compared to simply relying on attention scores.


title: Unsupervised Learning for Fast Probabilistic Diffeomorphic Registration

abstract: Traditional deformable registration techniques achieve impressive results and offer a rigorous theoretical treatment, but are computationally intensive since they solve an optimization problem for each image pair. Recently, learning-based methods have facilitated fast registration by learning spatial deformation functions. However, these approaches use restricted deformation models, require supervised labels, or do not guarantee a diffeomorphic (topology-preserving) registration. Furthermore, learning-based registration tools have not been derived from a probabilistic framework that can offer uncertainty estimates. In this paper, we present a probabilistic generative model and derive an unsupervised learning-based inference algorithm that makes use of recent developments in convolutional neural networks (CNNs). We demonstrate our method on a 3D brain registration task, and provide an empirical analysis of the algorithm. Our approach results in state of the art accuracy and very fast runtimes, while providing diffeomorphic guarantees and uncertainty estimates. Our implementation is available online at http://voxelmorph.csail.mit.edu .


title: Sample Truncation for Scenario Approach to Closed-loop Chance Constrained Trajectory Optimization for Linear Systems

abstract: This paper studies closed-loop chance constrained control problems with disturbance feedback (equivalently state feedback) where state and input vectors must remain in a prescribed polytopic safe region with a predefined confidence level. We propose to use a scenario approach where the uncertainty is replaced with a set of random samples (scenarios). Though a standard form of scenario approach is applicable in principle, it typically requires a large number of samples to ensure the required confidence levels. To resolve this drawback, we propose a method to reduce the computational complexity by eliminating the redundant samples and, more importantly, by truncating the less informative samples. Unlike the prior methods that start from the full sample set and remove the less informative samples at each step, we sort the samples in a descending order by first finding the most dominant ones. In this process the importance of each sample is measured via a proper mapping. Then the most dominant samples can be selected based on the allowable computational complexity and the rest of the samples are truncated offline. The truncation error is later compensated for by adjusting the safe regions via properly designed buffers, whose sizes are functions of the feedback gain and the truncation error.


title: 3-uniform hypergraphs: modular decomposition and realization by tournaments

abstract: Let $H$ be a 3-uniform hypergraph. A tournament $T$ defined on $V(T)=V(H)$ is a realization of $H$ if the edges of $H$ are exactly the 3-element subsets of $V(T)$ that induce 3-cycles. We characterize the 3-uniform hypergraphs that admit realizations by using a suitable modular decomposition.


title: Computed Tomography imaging of large cargos

abstract: A feasibility study of the megavoltage (MV) computed tomography (CT) for imaging large cargos has been performed. The MV cargo CT system has imaging field of view of 3.25m in diameter. The system design includes a compact x-ray source and detectors that are already used in existing MV cargo radiography systems. Although compact x-ray sources provide limited x-ray output, it is shown that this output is sufficient to perform CT imaging of large cluttered cargo contents for which MV radiography may be inconclusive. The scan time is 60sec. at the x-ray dose levels lower than the permitted limit of 5mGy. A steel tank phantom with 2m diameter including different materials was used. The MV CT images were generated at 3.5MV, 6MV, and 9MV beam energies. The materials were separated based on their CT numbers as well as using dual energy subtraction method. The materials with close densities and x-ray attenuations such as W and U were reliably separated and quantified based on their measured CT numbers. The boundary conditions for the system design were determined including scan time, radiation dose, maximum object thicknesses, and spatial resolution. Based on the findings of this feasibility study, it is concluded that the MV cargo CT system with large field of view can be developed based on existing technology already used in MV cargo radiography. Such a CT system can be extremely useful as adjunct to existing MV radiography on resolving the special cases that cannot be resolved conclusively with radiography alone.


title: Textual Membership Queries

abstract: Human labeling of data can be very time-consuming and expensive, yet, in many cases it is critical for the success of the learning process. In order to minimize human labeling efforts, we propose a novel active learning solution that does not rely on existing sources of unlabeled data. It uses a small amount of labeled data as the core set for the synthesis of useful membership queries (MQs) - unlabeled instances generated by an algorithm for human labeling. Our solution uses modification operators, functions that modify instances to some extent. We apply the operators on a small set of instances (core set), creating a set of new membership queries. Using this framework, we look at the instance space as a search space and apply search algorithms in order to generate new examples highly relevant to the learner. We implement this framework in the textual domain and test it on several text classification tasks and show improved classifier performance as more MQs are labeled and incorporated into the training set. To the best of our knowledge, this is the first work on membership queries in the textual domain.


title: Peres-Style Recursive Algorithms

abstract: Peres algorithm applies the famous von Neumann trick recursively to produce unbiased random bits from biased coin tosses. Its recursive nature makes the algorithm simple and elegant, and yet its output rate approaches the information-theoretic upper bound. However, it is relatively hard to explain why it works, and it appears partly due to this difficulty that its generalization to many-valued source was discovered only recently. Binarization tree provides a new conceptual tool to understand the innerworkings of the original Peres algorithm and the recently-found generalizations in both aspects of the uniform random number generation and asymptotic optimality. Furthermore, it facilitates finding many new Peres-style recursive algorithms that have been arguably very hard to come by without this new tool.


title: On the Initial Boundary-Value Problem in the Kinetic Theory of Hard Particles I: Non-existence

abstract: In the first of two papers, we study the initial boundary-value problem that underlies the theory of the Boltzmann equation for general non-spherical hard particles. In this work, for two congruent ellipses and for a large class of associated boundary conditions, we identify initial conditions for which there do not exist local-in-time weak solutions of Newton's equations of motion. To our knowledge, this is the first time the necessity of rolling in the energy-conserving dynamics of strictly-convex rigid bodies has been demonstrated. This study was, in part, motivated by a recent observation of Palffy-Muhoray, Virga, Wilkinson and Zheng on the interpenetration of strictly-convex rigid bodies.


title: Twitter User Geolocation using Deep Multiview Learning

abstract: Predicting the geographical location of users on social networks like Twitter is an active research topic with plenty of methods proposed so far. Most of the existing work follows either a content-based or a network-based approach. The former is based on user-generated content while the latter exploits the structure of the network of users. In this paper, we propose a more generic approach, which incorporates not only both content-based and network-based features, but also other available information into a unified model. Our approach, named Multi-Entry Neural Network (MENET), leverages the latest advances in deep learning and multiview learning. A realization of MENET with textual, network and metadata features results in an effective method for Twitter user geolocation, achieving the state of the art on two well-known datasets.


title: Breaking Transferability of Adversarial Samples with Randomness

abstract: We investigate the role of transferability of adversarial attacks in the observed vulnerabilities of Deep Neural Networks (DNNs). We demonstrate that introducing randomness to the DNN models is sufficient to defeat adversarial attacks, given that the adversary does not have an unlimited attack budget. Instead of making one specific DNN model robust to perfect knowledge attacks (a.k.a, white box attacks), creating randomness within an army of DNNs completely eliminates the possibility of perfect knowledge acquisition, resulting in a significantly more robust DNN ensemble against the strongest form of attacks. We also show that when the adversary has an unlimited budget of data perturbation, all defensive techniques would eventually break down as the budget increases. Therefore, it is important to understand the game saddle point where the adversary would not further pursue this endeavor. Furthermore, we explore the relationship between attack severity and decision boundary robustness in the version space. We empirically demonstrate that by simply adding a small Gaussian random noise to the learned weights, a DNN model can increase its resilience to adversarial attacks by as much as 74.2%. More importantly, we show that by randomly activating/revealing a model from a pool of pre-trained DNNs at each query request, we can put a tremendous strain on the adversary's attack strategies. We compare our randomization techniques to the Ensemble Adversarial Training technique and show that our randomization techniques are superior under different attack budget constraints.


title: Explicit calculations in an infinitesimal singular block of $SL_N$

abstract: Let $G= SL_{n+1}$ be defined over an algebraically closed field of characteristic $p > 2$. For each $n \geq 1$ there exists a singular block in the category of $G_1$-modules which contains precisely $n+1$ irreducible modules. We are interested in the lift of this block to the category of $G_1T$-modules. Imposing only mild assumptions on $p$, we will perform a number of calculations in this setting, including a complete determination of the Loewy series for the baby Verma modules and all possible extensions between the irreducible modules. In the case where $p$ is extremely large, we will also explicitly compute the Loewy series for the indecomposable projective modules.


title: On the Initial Boundary-Value Problem in the Kinetic Theory of Hard Particles II: Non-uniqueness

abstract: We prove that to each initial datum in a set of positive measure in phase space, there exist uncountably-many associated weak solutions of Newton's equations of motion which govern the dynamics of two non-spherical sets with real-analytic boundaries subject to the conservation of linear momentum, angular momentum and kinetic energy. We prove this result by first exhibiting non-uniqueness of classical solution to a constrained Monge-Amp\`ere equation posed on Euclidean space, and then applying the deep existence theory of Ballard for hard particle dynamics. In the final section of the article, we discuss the relevance of this observation to the kinetic theory of hard particle systems.

categories: math-ph math.CA math.MP physics.class-ph


title: Choice of adaptive sampling strategy impacts state discovery, transition probabilities, and the apparent mechanism of conformational changes

abstract: Interest in equilibrium-based sampling methods has grown with recent advances in computational hardware and Markov state modeling (MSM) methods, yet outstanding questions remain that hinder widespread adoption. Namely, how do sampling strategies explore conformational space and how might this influence predictions? Here, we seek to answer these questions for four commonly used sampling methods: 1) a long simulation, 2) many short simulations, 3) adaptive sampling, and 4) FAST. We first develop a theoretical framework for analytically calculating the probability of discovering states and uncover the drastic effects of varying the number and length of simulations. We then use kinetic Monte Carlo simulations on a variety of physically inspired landscapes to characterize state discovery and transition pathways. Consistently, we find that FAST simulations discover target states with the highest probability and traverse realistic pathways. Furthermore, we uncover the pathology that short parallel simulations sometimes predict an incorrect transition pathway by crossing large energy barriers that long simulations would typically circumnavigate, which we refer to as pathway tunneling. To protect against tunneling, we introduce FAST-string, which samples along the highest-flux transition paths to refine an MSMs transition probabilities and discriminate between competing pathways. Additionally, we compare MSM estimators in describing thermodynamics and kinetics. For adaptive sampling, we recommend normalizing the transition counts out of each state after adding pseudo-counts to avoid creating sources or sinks. Lastly, we evaluate our insights from simple landscapes with all-atom molecular dynamics simulations of the folding of the {\lambda}-repressor protein. We find that FAST-contacts predicts the same folding pathway as long simulations but with orders of magnitude less simulation time.


title: TutorialBank: A Manually-Collected Corpus for Prerequisite Chains, Survey Extraction and Resource Recommendation

abstract: The field of Natural Language Processing (NLP) is growing rapidly, with new research published daily along with an abundance of tutorials, codebases and other online resources. In order to learn this dynamic field or stay up-to-date on the latest research, students as well as educators and researchers must constantly sift through multiple sources to find valuable, relevant information. To address this situation, we introduce TutorialBank, a new, publicly available dataset which aims to facilitate NLP education and research. We have manually collected and categorized over 6,300 resources on NLP as well as the related fields of Artificial Intelligence (AI), Machine Learning (ML) and Information Retrieval (IR). Our dataset is notably the largest manually-picked corpus of resources intended for NLP education which does not include only academic papers. Additionally, we have created both a search engine and a command-line tool for the resources and have annotated the corpus to include lists of research topics, relevant resources for each topic, prerequisite relations among topics, relevant sub-parts of individual resources, among other annotations. We are releasing the dataset and present several avenues for further research.


title: On the $q$-derivative and $q$-series expansions

abstract: Using a general $q$-series expansion, we derive some nontrivial $q$-formulas involving many infinite products. A multitude of Hecke--type series identities are derived. Some general formulas for sums of any number of squares are given. A new representation for the generating function for sums of three triangular numbers is derived, which is slightly different from that of Andrews, also implies the famous result of Gauss where every integer is the sum of three triangular numbers.


title: Category learning can alter perception and its neural correlates

abstract: Learned Categorical Perception (CP) occurs when the members of different categories come to look more dissimilar (between-category separation) and/or members of the same category come to look more similar (within-category compression) after a new category has been learned. To measure learned CP and its physiological correlates we compared dissimilarity judgments and Event Related Potentials (ERPs) before and after learning to sort multi-featured visual textures into two categories by trial and error with corrective feedback. With the same number of trials and feedback, about half the participants succeeded in learning the categories (learners: criterion 80% accuracy) and the rest did not (non-learners). At both lower and higher levels of difficulty, successful learners showed significant between-category separation in pairwise dissimilarity judgments after learning compared to before; their late parietal ERP positivity (LPC, usually interpreted as decisional) also increased and their occipital negativity (N1) (usually interpreted as perceptual) decreased. LPC increased with response accuracy and N1 amplitude decreased with between-category separation for the Learners. Non-learners showed no significant changes in dissimilarity judgments, LPC or N1, within or between categories. This is behavioral and physiological evidence that category learning can alter perception. We sketch a neural net model for this effect.


title: Agnostic tests can control the type I and type II errors simultaneously

abstract: Despite its common practice, statistical hypothesis testing presents challenges in interpretation. For instance, in the standard frequentist framework there is no control of the type II error. As a result, the non-rejection of the null hypothesis cannot reasonably be interpreted as its acceptance. We propose that this dilemma can be overcome by using agnostic hypothesis tests, since they can control the type I and II errors simultaneously. In order to make this idea operational, we show how to obtain agnostic hypothesis in typical models. For instance, we show how to build (unbiased) uniformly most powerful agnostic tests and how to obtain agnostic tests from standard p-values. Also, we present conditions such that the above tests can be made logically coherent. Finally, we present examples of consistent agnostic hypothesis tests.


title: Massive stealth scalar fields from field redefinition method

abstract: We propose an uni-parametric deformation method of action principles of scalar fields coupled to gravity which generates new models with massive stealth field configurations, i.e. with vanishing energy-momentum tensor. The method applies to a wide class of models and we provide three examples. In particular we observe that in the case of the standard massive scalar action principle, the respective deformed action contains the stealth configurations and it preserves the massive ones of the undeformed model. We also observe that, in this latter example, the effect of the energy-momentum tensor of the massive (non-stealth) field can be amplified or damped by the deformation parameter, alternatively the mass of the stealth field.


title: On Topological Quantum Computing With Mapping Class Group Representations

abstract: We propose an encoding for topological quantum computation utilizing quantum representations of mapping class groups. Leakage into a non-computational subspace seems to be unavoidable for universality in general. We are interested in the possible gate sets which can emerge in this setting. As a first step, we prove that for abelian anyons, all gates from these mapping class group representations are normalizer gates. Results of Van den Nest then allow us to conclude that for abelian anyons this quantum computing scheme can be simulated efficiently on a classical computer. With an eye toward more general anyon models we additionally show that for Fibonnaci anyons, quantum representations of mapping class groups give rise to gates which are not generalized Clifford gates.


title: Sharp Nearby, Fuzzy Far Away: How Neural Language Models Use Context

abstract: We know very little about how neural language models (LM) use prior linguistic context. In this paper, we investigate the role of context in an LSTM LM, through ablation studies. Specifically, we analyze the increase in perplexity when prior context words are shuffled, replaced, or dropped. On two standard datasets, Penn Treebank and WikiText-2, we find that the model is capable of using about 200 tokens of context on average, but sharply distinguishes nearby context (recent 50 tokens) from the distant history. The model is highly sensitive to the order of words within the most recent sentence, but ignores word order in the long-range context (beyond 50 tokens), suggesting the distant past is modeled only as a rough semantic field or topic. We further find that the neural caching model (Grave et al., 2017b) especially helps the LSTM to copy words from within this distant context. Overall, our analysis not only provides a better understanding of how neural LMs use their context, but also sheds light on recent success from cache-based models.


title: Fiber plucking by molecular motors yields large emergent contractility in stiff biopolymer networks

abstract: The mechanical properties of the cell depend crucially on the tension of its cytoskeleton, a biopolymer network that is put under stress by active motor proteins. While the fibrous nature of the network is known to strongly affect the transmission of these forces to the cellular scale, our understanding of this process remains incomplete. Here we investigate the transmission of forces through the network at the individual filament level, and show that active forces can be geometrically amplified as a transverse motor-generated force force "plucks" the fiber and induces a nonlinear tension. In stiff and densely connnected networks, this tension results in large network-wide tensile stresses that far exceed the expectation drawn from a linear elastic theory. This amplification mechanism competes with a recently characterized network-level amplification due to fiber buckling, suggesting that that fiber networks provide several distinct pathways for living systems to amplify their molecular forces.


title: Strong Converse using Change of Measure Arguments

abstract: The strong converse for a coding theorem shows that the optimal asymptotic rate possible with vanishing error cannot be improved by allowing a fixed error. Building on a method introduced by Gu and Effros for centralized coding problems, we develop a general and simple recipe for proving strong converse that is applicable for distributed problems as well. Heuristically, our proof of strong converse mimics the standard steps for proving a weak converse, except that we apply those steps to a modified distribution obtained by conditioning the original distribution on the event that no error occurs. A key component of our recipe is the replacement of the hard Markov constraints implied by the distributed nature of the problem with a soft information cost using a variational formula introduced by Oohama. We illustrate our method by providing a short proof of the strong converse for the Wyner-Ziv problem and strong converse theorems for interactive function computation, common randomness and secret key agreement, and the wiretap channel; the latter three strong converse problems were open prior to this work.


title: Admissibility of diagonal state-delayed systems with a one-dimensional input space

abstract: In this paper we investigate admissibility of the control operator $B$ in a Hilbert space state-delayed dynamical system setting of the form $\dot{z}(t)=Az(t-\tau)+Bu(t)$, where $A$ generates a diagonal semigroup and $u$ is a scalar input function. Our approach is based on the Laplace embedding between $L^2$ and the Hardy space. The sufficient conditions for infinite-time admissibility are stated in terms of eigenvalues of the generator and in terms of the control operator itself.


title: Dynamic nuclear polarization at high Landau levels in a quantum point contact

abstract: We demonstrate a way to polarize and detect nuclear spin in a gate-defined quantum point contact operating at high Landau levels. Resistively-detected Nuclear Magnetic Resonance (RDNMR) can be achieved up to the $5$th Landau level and at a magnetic field lower than $1$ T. We are able to retain the RDNMR signals in a condition where the spin degeneracy of the first 1D subband is still preserved. Furthermore, the effects of orbital motion on the first 1D subband can be made smaller than those due to electrostatic confinement. This developed RDNMR technique is a promising means to study electronic states in a quantum point contact near zero magnetic field.


title: Constrained-CNN losses for weakly supervised segmentation

abstract: Weakly-supervised learning based on, e.g., partially labelled images or image-tags, is currently attracting significant attention in CNN segmentation as it can mitigate the need for full and laborious pixel/voxel annotations. Enforcing high-order (global) inequality constraints on the network output (for instance, to constrain the size of the target region) can leverage unlabeled data, guiding the training process with domain-specific knowledge. Inequality constraints are very flexible because they do not assume exact prior knowledge. However, constrained Lagrangian dual optimization has been largely avoided in deep networks, mainly for computational tractability reasons. To the best of our knowledge, the method of [Pathak et al., 2015] is the only prior work that addresses deep CNNs with linear constraints in weakly supervised segmentation. It uses the constraints to synthesize fully-labeled training masks (proposals) from weak labels, mimicking full supervision and facilitating dual optimization. We propose to introduce a differentiable penalty, which enforces inequality constraints directly in the loss function, avoiding expensive Lagrangian dual iterates and proposal generation. From constrained-optimization perspective, our simple penalty-based approach is not optimal as there is no guarantee that the constraints are satisfied. However, surprisingly, it yields substantially better results than the Lagrangian-based constrained CNNs in [Pathak et al., 2015], while reducing the computational demand for training. By annotating only a small fraction of the pixels, the proposed approach can reach a level of segmentation performance that is comparable to full supervision on three separate tasks. While our experiments focused on basic linear constraints such as the target-region size and image tags, our framework can be easily extended to other non-linear constraints.


title: Flash-matching for the Pandora based electron neutrino selection in MicroBooNE

abstract: A description of the combination of time projection chamber read-out with optical information in the MicroBooNE detector to reduce cosmogenic backgrounds and select electron neutrino induced interactions.


title: Single-mode nonlinear Langevin emulation of magnetohydrodynamic turbulence

abstract: Based on the Langevin equation of Brownian motion, we present a simple model that emulates a typical mode in incompressible magnetohydrodynamic turbulence, providing a demonstration of several key properties. The model equation is consistent with von K\'arm\'an decay law and Kolmogorov's symmetries. We primarily focus on the behavior of inertial range modes although we also attempt to include some properties of the large scale modes. Dissipation scales are not considered. Results from the model are compared with results from published Direct Numerical Simulations.