title: Yaps: Python Frontend to Stan

abstract: Stan is a popular probabilistic programming language with a self-contained syntax and semantics that is close to graphical models. Unfortunately, existing embeddings of Stan in Python use multi-line strings. That approach forces users to switch between two different language styles, with no support for syntax highlighting or simple error reporting within the Stan code. This paper tackles the question of whether Stan could use Python syntax while retaining its self-contained semantics. The answer is yes, that can be accomplished by reinterpreting the Python syntax. This paper introduces Yaps, a new frontend to Stan based on reinterpreted Python. We tested Yaps on over a thousand Stan models and made it available open-source.


title: Governance in Adaptive Normative Multiagent Systems for the Internet of Smart Things: Challenges and Future Directions

abstract: The rapidly changing environments in which companies operate to support the Internet of Things (IoT) and Autonomous Vehicles is challenging traditional Multi agent System (MAS) approaches. The requirements of these highly dynamic environments gave rise to Adaptive Normative MAS approaches. At the same time, governance is an essential and challenging feature that still needs to be addressed in adaptive normative MAS. Indeed, governance of individual and societal agent behavior in Adaptive Normative MASs is still a vague concept that has not been properly investigated, modeled and implemented. However, governance is fundamental for solving problems involving MAS coordination, organizations and institutions. In this paper, we present our ongoing research towards understanding and improving governance in Adaptive Normative MASs. We also discuss challenges and future directions that will facilitate the development of domain specific smart IoT systems with governance features.


title: Compressed sensing of twisted photons

abstract: The ability to completely characterize the state of a quantum system is an essential element for the emerging quantum technologies. Here, we present a compressed-sensing inspired method to ascertain any rank-deficient qudit state, which we experimentally encode in photonic orbital angular momentum. We efficiently reconstruct these qudit states from a few scans with an intensified CCD camera. Since it requires only a few intensity measurements, our technique would provide an easy and accurate way to identify quantum sources, channels, and systems.


title: Probabilistic Model Checking of Robots Deployed in Extreme Environments

abstract: Robots are increasingly used to carry out critical missions in extreme environments that are hazardous for humans. This requires a high degree of operational autonomy under uncertain conditions, and poses new challenges for assuring the robot's safety and reliability. In this paper, we develop a framework for probabilistic model checking on a layered Markov model to verify the safety and reliability requirements of such robots, both at pre-mission stage and during runtime. Two novel estimators based on conservative Bayesian inference and imprecise probability model with sets of priors are introduced to learn the unknown transition parameters from operational data. We demonstrate our approach using data from a real-world deployment of unmanned underwater vehicles in extreme environments.


title: On the Lack of Correlation Between [OIII]/[OII] and Lyman-Continuum Escape Fraction

abstract: We present the first results of our pilot study of 8 photometrically selected Lyman continuum (LyC) emitting galaxy candidates from the COSMOS field and focus on their optical emission line ratios. Observations were performed in the H and K bands using the Multi-Object Spectrometer for Infra-Red Exploration (MOSFIRE) instrument at the Keck Observatory, targeting the [OII], H$\beta$, and [OIII] emission lines. We find that photometrically selected LyC emitting galaxy candidates have high ionization parameters, based on their high [OIII]/[OII] ratios (O32), with an average ratio for our sample of 2.5$\pm$0.2. Preliminary results of our companion Low Resolution Imaging Spectrometer (LRIS) observations, targeting LyC and Ly$\alpha$, show that those galaxies with the largest O32 are typically found to also be Ly$\alpha$ emitters. High O32 galaxies are also found to have tentative non-zero LyC escape fractions ($f_{esc}(LyC)$) based on $u$ band photometric detections. These results are consistent with samples of highly ionized galaxies, including confirmed LyC emitting galaxies from the literature. We also perform a detailed comparison between the observed emission line ratios and simulated line ratios from density bounded H$_{\textrm{II}}$ regions modeled using the photoionization code MAPPINGS V. Estimates of $f_{esc}(LyC)$ for our sample fall in the range from 0.0-0.23 and suggest possible tension with published correlations between O32 and $f_{esc}(LyC)$, adding weight to dichotomy of arguments in the literature. We highlight the possible effects of clumpy geometry and mergers that may account for such tension.


title: Measurement of the fine-structure constant as a test of the Standard Model

abstract: Measurements of the fine-structure constant alpha require methods from across subfields and are thus powerful tests of the consistency of theory and experiment in physics. Using the recoil frequency of cesium-133 atoms in a matter-wave interferometer, we recorded the most accurate measurement of the fine-structure constant to date: alpha = 1/137.035999046(27) at 2.0 x 10^-10 accuracy. Using multiphoton interactions (Bragg diffraction and Bloch oscillations), we demonstrate the largest phase (12 million radians) of any Ramsey-Borde interferometer and control systematic effects at a level of 0.12 parts per billion. Comparison with Penning trap measurements of the electron gyromagnetic anomaly ge-2 via the Standard Model of particle physics is now limited by the uncertainty in ge-2; a 2.5 sigma tension rejects dark photons as the reason for the unexplained part of the muon's magnetic moment at a 99 percent confidence level. Implications for dark-sector candidates and electron substructure may be a sign of physics beyond the Standard Model that warrants further investigation.


title: An upper bound for the restricted online Ramsey number

abstract: The restricted $(m,n;N)$-online Ramsey game is a game played between two players, Builder and Painter. The game starts with $N$ isolated vertices. Each turn Builder picks an edge to build and Painter chooses whether that edge is red or blue, and Builder aims to create a red $K_m$ or blue $K_n$ in as few turns as possible. The restricted online Ramsey number $\tilde{r}(m,n;N)$ is the minimum number of turns that Builder needs to guarantee her win in the restricted $(m,n;N)$-online Ramsey game. We show that if $N=r(n,n)$, \[ \tilde{r}(n,n;N)\le \binom{N}{2} - \Omega(N\log N), \] motivated by a question posed by Conlon, Fox, Grinshpun and He. The equivalent game played on infinitely many vertices is called the online Ramsey game. As almost all known Builder strategies in the online Ramsey game end up reducing to the restricted setting, we expect further progress on the restricted online Ramsey game to have applications in the general case.


title: Material transport in the left ventricle with aortic valve regurgitation

abstract: This experimental in vitro work investigates material transport properties in a model left ventricle in the case of aortic regurgitation, a valvular disease characterized by a leaking aortic valve and consequently double-jet filling within the elastic left ventricular geometry. This study suggests that material transport phenomena are strongly determined by the motion of the counterrotating vortices driven by the regurgitant aortic and mitral jets. The overall particle residence time appears to be significantly longer with moderate aortic regurgitation, attributed to the dynamics resulting from the timing between the onset of the two jets. Increasing regurgitation severity is shown to be associated with higher frequencies in the time-frequency spectra of the velocity signals at various points in the flow, suggesting nonlaminar mixing past moderate regurgitation. Additionally, a large part of the regurgitant inflow is retained for at least one cardiac cycle. Such an increase in particle residence time accompanied by the occurrence and persistence of a number of attracting Lagrangian coherent structures presents favorable conditions and locations for activated platelets to agglomerate within the left ventricle, potentially posing an additional risk factor for patients with aortic regurgitation.


title: Serre's constant of elliptic curves over the rationals

abstract: Let $E$ be an elliptic curve without complex multiplication defined over the rationals. The purpose of this article is to define a positive integer $A(E)$, that we call the {\it Serre's constant associated to $E$}, that gives necessary conditions to conclude that $\rho_{E,m}$, the mod m Galois representation associated to $E$, is non-surjective. In particular, if there exists a prime factor $p$ of $m$ satisfying ${\rm val}_p(m) > {\rm val}_p(A(E))>0$ then $\rho_{E,m}$ is non-surjective. {Conditionally under Serre's Uniformity Conjecture, w}e determine all the Serre's constants of elliptic curves without complex multiplication over the rationals that occur infinitely often. Moreover, we give all the possible combination of mod $p$ Galois representations that occur for infinitely many non-isomorphic classes of non-CM elliptic curves over $\mathbb{Q}$, and the known cases that appear only finitely. We obtain similar results for the possible combination of maximal non-surjective subgroups of ${\rm GL}_2(\mathbb{Z}_p)$. Finally, we conjecture all the possibilities of these combinations and in particular all the possibilities of these Serre's constant.


title: Stellar Proper Motions in the Orion Nebula Cluster

abstract: The Orion Nebula Cluster (ONC) is the nearest site of ongoing massive star formation, which allows us to study the kinematics and dynamics of the region in detail and constrain star formation theories. Using HST ACS/WFPC2/WFC3IR and Keck II NIRC2 data, we have measured the proper motions of 701 stars within an $\sim6'\times6'$ field of view around the center of the ONC. We have found more than 10 escaping star candidates, concentrated predominantly at the core of the cluster. The proper motions of the bound stars are consistent with a normal distribution, albeit elongated North-South along the Orion filament, with proper motion dispersions of $(\sigma_{\mu,\alpha^*}, \sigma_{\mu,\delta}) = (0.83\pm0.02,\,1.12\pm0.03)$ mas yr$^{-1}$ or intrinsic velocity dispersions of $(\sigma_{v,\alpha^*}, \sigma_{v,\delta}) = (1.57\pm0.04,\,2.12\pm0.06)$ km s$^{-1}$ assuming a distance of 400 pc to the ONC. The cluster shows no evidence for tangential-to-radial anisotropy. Our velocity dispersion profile agrees with the prediction from the observed stellar + gas density profile from Da Rio et al. (2014), indicating that the ONC is in virial equilibrium. This finding suggests that the cluster was formed with a low star formation efficiency per dynamical timescale based on comparisons with current star formation theories. Our survey also recovered high-velocity IR sources BN, x, and n in the BN/KL region. The estimated location of the first two sources $\sim500$ years ago agrees with that of the radio source I, consistent with their proposed common origin from a multi-stellar disintegration. However, source n appears to have a small proper motion and is unlikely to have been involved in the event.


title: Semi-conservative reduced speed of sound technique for low Mach number flows with large density variations

abstract: The reduced speed of sound technique (RSST) has been used for efficient simulation of low Mach number flows in solar and stellar convection zones. The basic RSST equations are hyperbolic, and are suitable for parallel computation by domain decomposition. The application of RSST is limited to cases where density perturbations are much smaller than the background density. In addition, non-conservative variables are required to be evolved using this method, which is not suitable in cases where discontinuities like shock waves co-exist in a single numerical domain. In this study, we suggest a new semi-conservative formulation of the RSST that can be applied to low Mach number flows with large density variations. We derive the wave speed of the original and newly suggested methods to clarify that these methods can reduce the speed of sound without affecting the entropy wave. The equations are implemented using the finite volume method. Several numerical tests are carried out to verify the suggested methods. The analysis and numerical results show that the original RSST is not applicable when mass density variations are large. In contrast, the newly suggested methods are found to be efficient in such cases. We also suggest variants of the RSST that conserve momentum in the machine precision. The newly suggested variants are formulated as semi-conservative equations, which reduce to the conservative form of the Euler equations when the speed of sound is not reduced. This property is advantageous when both high and low Mach number regions are included in the numerical domain. The newly suggested forms of RSST can be applied to a wider range of low Mach number flows.

categories: physics.comp-ph astro-ph.SR physics.flu-dyn physics.plasm-ph


title: On poly-Bell numbers and polynomials

abstract: This paper aims to construct a new family of numbers and polynomials which are related to the Bell numbers and polynomials by means of the confluent hypergeometric function. We give various properties of these numbers and polynomials (generating functions, explicit formulas, integral representations, recurrence relations, probabilistic representation,...). We also derive some combinatorial sums including the generalized Bernoulli polynomials, lower incomplete gamma function, generalized Bell polynomials. Finally, by applying Cauchy formula for repeated integration, we introduce poly-Bell numbers and polynomials.


title: Maximal Order in the Sklyanin Algebra

abstract: A major current goal of noncommutative geometry is the classification of noncommutative projective surfaces. The generic case is to understand algebras birational to the Sklyanin algebra. In this thesis we complete a considerable component of this problem. Let $S$ denote the 3-dimensional Sklyanin algebra over an algebraically closed field, and assume that $S$ is not a finite module over its centre. In earlier work Rogalski, Sierra and Stafford classified the maximal orders inside the 3-Veronese $S^{(3)}$ of $S$. We complete and extend their work and classify all maximal orders inside $S$. As in Rogalski, Sierra and Stafford's work, these can be viewed as blowups at (possibly non-effective) divisors. A consequence of this classification is that maximal orders are automatically noetherian among other desirable properties. This work both relies upon, and lends back to, the work of Rogalski, Sierra and Stafford. In particular, we also provide a converse for their classification of maximal orders in the higher Veronese subrings $S^{(3n)}$ of $S^{(3)}$.


title: Cryptaxforensic, When Cryptocurrency, Taxation, and Digital Forensic Collide: An Overview of Indonesian Cryptocurrency Market

abstract: Blockchain has emerged into one of the most promising technologies for the future. Its most successful implementation in the form of cryptocurrency has shifted many existing paradigms where financial instruments were limited by locations or jurisdictions. While blockchain is touted to offer many significant and promising features on the other hand it also increases the difficulty level in the taxation area as well as digital forensics. We investigated the issues and explores the real-world situation and how taxation and digital forensics can cope with these technology challenges.


title: Inhomogeneous phase--type distributions and heavy tails

abstract: We extend the construction principle of phase-type (PH) distributions to allow for inhomogeneous transition rates and show that this naturally leads to direct probabilistic descriptions of certain transformations of PH distributions. In particular, the resulting matrix distributions enable to carry over fitting properties of PH distributions to distributions with heavy tails, providing a general modelling framework for heavy-tail phenomena. We also illustrate the versatility and parsimony of the proposed approach for the modelling of a real-world heavy-tailed fire insurance dataset.


title: Experimental and theoretical calculation of gravity and moment of inertia using a physical pendulum

abstract: In the course of basic physics, more precisely the course of classical mechanics should be understood as clearly as possible the subject of rotational dynamics for students of science and engineering, to have clarity with the issues concerning rotational dynamics, such as calculation of torque and forces applied to a moving system. This paper presents the implementation of a physical pendulum for the physics laboratory using mainly a bar and a disc mounted on it, which can be moved along this bar, using implements such as a flexometer to measure the different lengths and a stopwatch to take the oscillation period of the pendulum. This work shows the analytical development using the Simple Harmonic Motion (S.H.M) and experimental for the elaboration of the data collection and the realization of the laboratory with which the moment of inertia and the value of gravity could be obtained. Finally, the theoretical, experimental results and the respective errors obtained by the experiment are shown.


title: Roughness effects in turbulent forced convection

abstract: We conducted direct numerical simulations (DNSs) of turbulent flow over three-dimensional sinusoidal roughness in a channel. A passive scalar is present in the flow with Prandtl number $Pr=0.7$, to study heat transfer by forced convection over this rough surface. The minimal channel is used to circumvent the high cost of simulating high Reynolds number flows, which enables a range of rough surfaces to be efficiently simulated. The near-wall temperature profile in the minimal channel agrees well with that of the conventional full-span channel, indicating it can be readily used for heat-transfer studies at a much reduced cost compared to conventional DNS. As the roughness Reynolds number, $k^+$, is increased, the Hama roughness function, $\Delta U^+$, increases in the transitionally rough regime before tending towards the fully rough asymptote of $\kappa_m^{-1}\log(k^+)+C$, where $C$ is a constant that depends on the particular roughness geometry and $\kappa_m\approx0.4$ is the von K\'arm\'an constant. In this fully rough regime, the skin-friction coefficient is constant with bulk Reynolds number, $Re_b$. Meanwhile, the temperature difference between smooth- and rough-wall flows, $\Delta\Theta^+$, appears to tend towards a constant value, $\Delta\Theta^+_{FR}$. This corresponds to the Stanton number (the temperature analogue of the skin-friction coefficient) monotonically decreasing with $Re_b$ in the fully rough regime. Using shifted logarithmic velocity and temperature profiles, the heat transfer law as described by the Stanton number in the fully rough regime can be derived once both the equivalent sand-grain roughness $k_s/k$ and the temperature difference $\Delta \Theta^+_{FR}$ are known. In meteorology, this corresponds to the ratio of momentum and heat transfer roughness lengths, $z_{0m}/z_{0h}$, being linearly proportional to $z_{0m}^+$, the momentum roughness length [continued]...


title: Private Polynomial Computation from Lagrange Encoding

abstract: Private computation is a generalization of private information retrieval, in which a user is able to compute a function on a distributed dataset without revealing the identity of that function to the servers. In this paper it is shown that Lagrange encoding, a powerful technique for encoding Reed-Solomon codes, enables private computation in many cases of interest. In particular, we present a scheme that enables private computation of polynomials of any degree on Lagrange encoded data, while being robust to Byzantine and straggling servers, and to servers colluding to attempt to deduce the identities of the functions to be evaluated. Moreover, incorporating ideas from the well-known Shamir secret sharing scheme allows the data itself to be concealed from the servers as well. Our results extend private computation to high degree polynomials and to data-privacy, and reveal a tight connection between private computation and coded computation.


title: Vector product and composition algebras in braided monoidal additive categories

abstract: This is an account of some work of Markus Rost and his students Dominik Boos and Susanne Maurer. We adapt it to the braided monoidal setting.


title: Semi-Quantum Key Distribution with High Quantum Noise Tolerance

abstract: Semi-quantum key distribution protocols are designed to allow two parties to establish a shared secret key, secure against an all-powerful adversary, even when one of the users is restricted to measuring and preparing quantum states in one single basis. While interesting from a theoretical standpoint, these protocols have the disadvantage that a two-way quantum communication channel is necessary which generally limits their theoretical efficiency and noise tolerance. In this paper, we construct a new semi-quantum key distribution (SQKD) protocol which actually takes advantage of this necessary two-way channel, and, after performing an information theoretic security analysis against collective attacks, we show it is able to tolerate a channel noise level higher than any prior SQKD protocol to-date. We also compare the noise tolerance of our protocol to other two-way fully quantum protocols, along with BB84 with Classical Advantage Distillation (CAD). We also comment on some practical issues involving semi-quantum key distribution (in particular, concerning the potential complexity in physical implementation of our protocol as compared with other standard QKD protocols). Finally, we develop techniques that can be applied to the security analysis of other (S)QKD protocols reliant on a two-way quantum communication channel.


title: Learning Sharing Behaviors with Arbitrary Numbers of Agents

abstract: We propose a method for modeling and learning turn-taking behaviors for accessing a shared resource. We model the individual behavior for each agent in an interaction and then use a multi-agent fusion model to generate a summary over the expected actions of the group to render the model independent of the number of agents. The individual behavior models are weighted finite state transducers (WFSTs) with weights dynamically updated during interactions, and the multi-agent fusion model is a logistic regression classifier. We test our models in a multi-agent tower-building environment, where a Q-learning agent learns to interact with rule-based agents. Our approach accurately models the underlying behavior patterns of the rule-based agents with accuracy ranging between 0.63 and 1.0 depending on the stochasticity of the other agent behaviors. In addition we show using KL-divergence that the model accurately captures the distribution of next actions when interacting with both a single agent (KL-divergence < 0.1) and with multiple agents (KL-divergence < 0.37). Finally, we demonstrate that our behavior model can be used by a Q-learning agent to take turns in an interactive turn-taking environment.


title: Generalized dispersive equations of higher orders posed on bounded intervals: local theory

abstract: Initial-boundary value problems for nonlinear dispersive equations of evolution of order $2l+1,\;l\in\mathbb{N}$ with a convective term of the form $u^ku_x,\;k\in\mathbb{N}$ have been considered on intervals $(0,L),\;L\in (0,+\infty)$. The existence and uniqueness of local regular solutions have been established.


title: Classical de Sitter Solutions of Ten-Dimensional Supergravity

abstract: We find four-dimensional de Sitter compactifications of type IIA supergravity by directly solving the ten-dimensional equations of motion. In the simplest examples, the internal space has the topology of a circle times an Einstein manifold of negative curvature. An orientifold acts on the circle with two fixed loci, at which an O8$_-$ and an O8$_+$ plane sit. These orientifold planes are fully backreacted and localized. While the solutions are numerical, the charge and tension of the orientifold planes can be verified analytically. Our solutions have moduli at tree level and can be made parametrically weakly-coupled and weakly-curved. Their fate in string theory depends on quantum corrections.


title: An existence result on two-orbit maniplexes

abstract: A maniplex of rank n is a connected, n-valent, edge-coloured graph that generalises abstract polytopes and maps. If the automorphism group of a maniplex M partitions the vertex-set of M into k distinct orbits, we say that M is a k-orbit n-maniplex. The symmetry type graph of M is the quotient pregraph obtained by contracting every orbit into a single vertex. Symmetry type graphs of maniplexes satisfy a series of very specific properties. The question arises whether any pregraph of order k satisfying these properties is the symmetry type graph of some k-orbit maniplex. We answer the question when k = 2.


title: On Probability and Cosmology: Inference Beyond Data?

abstract: Modern scientific cosmology pushes the boundaries of knowledge and the knowable. This is prompting questions on the nature of scientific knowledge. A central issue is what defines a 'good' model. When addressing global properties of the Universe or its initial state this becomes a particularly pressing issue. How to assess the probability of the Universe as a whole is empirically ambiguous, since we can examine only part of a single realisation of the system under investigation: at some point, data will run out. We review the basics of applying Bayesian statistical explanation to the Universe as a whole. We argue that a conventional Bayesian approach to model inference generally fails in such circumstances, and cannot resolve, e.g., the so-called 'measure problem' in inflationary cosmology. Implicit and non-empirical valuations inevitably enter model assessment in these cases. This undermines the possibility to perform Bayesian model comparison. One must therefore either stay silent, or pursue a more general form of systematic and rational model assessment. We outline a generalised axiological Bayesian model inference framework, based on mathematical lattices. This extends inference based on empirical data (evidence) to additionally consider the properties of model structure (elegance) and model possibility space (beneficence). We propose this as a natural and theoretically well-motivated framework for introducing an explicit, rational approach to theoretical model prejudice and inference beyond data.

categories: physics.hist-ph astro-ph.CO gr-qc physics.data-an


title: Reversibility, Pattern Formation and Edge Transport in Active Chiral and Passive Disk Mixtures

abstract: We numerically examine mixtures of circularly moving and passive disks as a function of density and active orbit radius. For low or intermediate densities and/or small orbit radii, the system can organize into a reversible partially phase separated labyrinth state in which there are no collisions between disks, with the degree of phase separation increasing as the orbit radius increases. As a function of orbit radius, we find a divergence in the number of cycles required to reach a collision-free steady state at a critical radius, while above this radius the system remains in a fluctuating liquid state. For high densities, the system can organize into a fully phase separated state that is mostly reversible, but collisions at the boundaries between the phases lead to a net transport of disks along the boundary edges in a direction determined by the chirality of the active disk orbits. We map the dynamic phases as a function of density and orbit radii, and discuss the results in terms of the reversible-irreversible transition found in other periodically driven non-thermal systems. We also consider mixtures of circularly driven disks and ac driven disks where the ac drive is either in or out of phase with the circular motion, and find a rich variety of pattern forming and reentrant disordered phases.


title: The signatures of the resonances of a large Galactic bar in local velocity space

abstract: The second data release of the Gaia mission has revealed a very rich structure in local velocity space. In terms of in-plane motions, this rich structure is also seen as multiple ridges in the actions of the axisymmetric background potential of the Galaxy. These ridges are probably related to a combination of effects from ongoing phase-mixing and resonances from the spiral arms and the bar. We have recently developed a method to capture the behaviour of the stellar phase-space distribution function at a resonance, by re-expressing it in terms of a new set of canonical actions and angles variables valid in the resonant region. Here, by properly treating the distribution function at resonances, and by using a realistic model for a slowly rotating large Galactic bar with pattern speed 39 km/s/kpc, we show that no less than six ridges in local action space can be related to resonances with the bar. Two of these at low angular momentum correspond to the corotation resonance, and can be associated to the Hercules moving group in local velocity space. Another one at high angular momentum corresponds to the outer Lindblad resonance, and can tentatively be associated to the velocity structure seen as an arch at high azimuthal velocities in Gaia data. The other ridges are associated to the 3:1, 4:1 and 6:1 resonances. The latter can be associated to the so-called 'horn' of the local velocity distribution. While it is clear that effects from spiral arms and incomplete phase-mixing related to external perturbations also play a role in shaping the complex kinematics revealed by Gaia data, the present work demonstrates that, contrary to common misconceptions, the bar alone can create multiple prominent ridges in velocity and action space.


title: Duelling Bandits with Weak Regret in Adversarial Environments

abstract: Research on the multi-armed bandit problem has studied the trade-off of exploration and exploitation in depth. However, there are numerous applications where the cardinal absolute-valued feedback model (e.g. ratings from one to five) is not suitable. This has motivated the formulation of the duelling bandits problem, where the learner picks a pair of actions and observes a noisy binary feedback, indicating a relative preference between the two. There exist a multitude of different settings and interpretations of the problem for two reasons. First, due to the absence of a total order of actions, there is no natural definition of the best action. Existing work either explicitly assumes the existence of a linear order, or uses a custom definition for the winner. Second, there are multiple reasonable notions of regret to measure the learner's performance. Most prior work has been focussing on the $\textit{strong regret}$, which averages the quality of the two actions picked. This work focusses on the $\textit{weak regret}$, which is based on the quality of the better of the two actions selected. Weak regret is the more appropriate performance measure when the pair's inferior action has no significant detrimental effect on the pair's quality. We study the duelling bandits problem in the adversarial setting. We provide an algorithm which has theoretical guarantees in both the utility-based setting, which implies a total order, and the unrestricted setting. For the latter, we work with the $\textit{Borda winner}$, finding the action maximising the probability of winning against an action sampled uniformly at random. The thesis concludes with experimental results based on both real-world data and synthetic data, showing the algorithm's performance and limitations.


title: Classification of cubic vertex-transitive tricirculants

abstract: A finite graph is called a tricirculant if admits a cyclic group of automorphism which has precisely three orbits on the vertex-set of the graph, all of equal size. We classify all finite connected cubic vertex-transitive tricirculants. We show that except for some small exceptions of order less than 54, each of these graphs is either a prism of order 6k with k odd, a M\"obius ladder, or it falls into one of two infinite families, each family containing one graph for every order of the form 6k with k odd.


title: Universal quantum computing with thermal state bosonic systems

abstract: Recent development of mixed-state encoding (MSE) allows pure-state logical information to be encoded by a bosonic (continuous-variable) system in mixed physical state. Despite interest due to its counter-intuitiveness, the utility of the current MSE scheme is limited due to several operational drawbacks, namely redundant information carrier, probabilistic initialisation, and requirement of discrete-variable measurement. In this work, we present a simplified MSE that does not suffer from any of these drawbacks. Specifically, our protocol encodes each qubit by only one mixed-state bosonic mode, and the logical basis can be deterministically initialised from thermal equilibrium. All logical operations of this encoding can be performed with continuous-variable interaction and measurement only. Without the necessity of ground state cooling, our proposal could broaden the set of candidate systems for implementing quantum computers, and reduce the reliance on demanding refrigerating facility for current quantum computing architectures. Additionally, our protocol can enhance the noise tolerance of logical qubit even if the system can be efficiently cooled.


title: Vision-based Navigation with Language-based Assistance via Imitation Learning with Indirect Intervention

abstract: We present Vision-based Navigation with Language-based Assistance (VNLA), a grounded vision-language task where an agent with visual perception is guided via language to find objects in photorealistic indoor environments. The task emulates a real-world scenario in that (a) the requester may not know how to navigate to the target objects and thus makes requests by only specifying high-level end-goals, and (b) the agent is capable of sensing when it is lost and querying an advisor, who is more qualified at the task, to obtain language subgoals to make progress. To model language-based assistance, we develop a general framework termed Imitation Learning with Indirect Intervention (I3L), and propose a solution that is effective on the VNLA task. Empirical results show that this approach significantly improves the success rate of the learning agent over other baselines in both seen and unseen environments. Our code and data are publicly available at https://github.com/debadeepta/vnla .


title: Ancient solutions to the Ricci flow in higher dimensions

abstract: In this paper, we study $\kappa$-noncollapsed ancient solutions to the Ricci flow with nonnegative curvature operator in higher dimensions. We impose one further assumption: one of the asymptotic shrinking gradient Ricci solitons is the standard cylinder $\mathbb{S}^{n-1}\times\mathbb{R}$. By making use of the properties of such ancient solutions, we generalize part one of Brendle \cite{brendle2018ancient} to higher dimensions, that is, every noncompact $\kappa$-noncollapsed rotationally symmetric ancient solution to the Ricci flow with bounded positive curvature operator must be the Bryant soliton.


title: Deep Learning for Robotic Mass Transport Cloaking

abstract: We consider the problem of mass transport cloaking using mobile robots. The robots move along a predefined curve that encloses a safe zone and carry sources that collectively counteract a chemical agent released in the environment. The goal is to steer the mass flux around a desired region so that it remains unaffected by the external concentration. We formulate the problem of controlling the robot positions and release rates as a PDE-constrained optimization, where the propagation of the chemical is modeled by the advection-diffusion (AD) PDE. We use a neural network (NN) to approximate the solution of the PDE. Particularly, we propose a novel loss function for the NN that utilizes the variational form of the AD-PDE and allows us to reformulate the planning problem as an unsupervised model-based learning problem. Our loss function is discretization-free and highly parallelizable. Unlike passive cloaking methods that use metamaterials to steer the mass flux, our method is the first to use mobile robots to actively control the concentration levels and create safe zones independent of environmental conditions. We demonstrate the performance of our method in simulations.


title: Measurement of isolated photon-hadron and jet correlations in 5 TeV pp and p-Pb collisions with the ALICE detector at the LHC

abstract: Photon-jet correlations are a promising channel for the study of parton energy loss in nuclear collisions. While existing measurements in pp and nuclear collisions have used high energy photons and jets, we focus on an unexplored kinematic range given by $12<p_{\mathrm{T}}<30$ GeV/$c$ photons and the corresponding low jet $p_{\mathrm{T}}$. We present results obtained using 5.02 TeV pp and p-Pb collisions. A combination of isolation and electromagnetic shower-shape variables is used to reduce the large background from meson decays and fragmentation photons. We show how the access to this kinematic range of hard probes was achieved with a novel combination of high rate and low-momentum tracking using the electromagnetic calorimeters and the inner tracking system of the ALICE experiment.


title: Fast Falsification of Hybrid Systems using Probabilistically Adaptive Input

abstract: We present an algorithm that quickly finds falsifying inputs for hybrid systems, i.e., inputs that steer the system towards violation of a given temporal logic requirement. Our method is based on a probabilistically directed search of an increasingly fine grained spatial and temporal discretization of the input space. A key feature is that it adapts to the difficulty of a problem at hand, specifically to the local complexity of each input segment, as needed for falsification. In experiments with standard benchmarks, our approach consistently outperforms existing techniques by a significant margin. In recognition of the way it works and to distinguish it from previous work, we describe our method as a "Las Vegas tree search".


title: Delta Embedding Learning

abstract: Unsupervised word embeddings have become a popular approach of word representation in NLP tasks. However there are limitations to the semantics represented by unsupervised embeddings, and inadequate fine-tuning of embeddings can lead to suboptimal performance. We propose a novel learning technique called Delta Embedding Learning, which can be applied to general NLP tasks to improve performance by optimized tuning of the word embeddings. A structured regularization is applied to the embeddings to ensure they are tuned in an incremental way. As a result, the tuned word embeddings become better word representations by absorbing semantic information from supervision without "forgetting." We apply the method to various NLP tasks and see a consistent improvement in performance. Evaluation also confirms the tuned word embeddings have better semantic properties.


title: Pulse-width modulated oscillations in a nonlinear resonator under two-tone driving as a means for MEMS sensor readout

abstract: A MEMS Duffing resonator is driven by two adjacent frequency tones into the nonlinear regime. We show that if the two-tone drive is applied at a frequency where a bistable response of the nonlinear oscillator exists, then the system output will be modulated by a relaxation cycle caused by periodically jumping between the two solution-branches of the bistable response. Although the jumps are caused by the beating of the drives, the existence and period of this relaxation or hysteresis cycle is not solely dictated by the beat frequency between the two driving tones, but also by their amplitude and detuning with respect to the device resonance frequency. We equally demonstrate how the period of the cycles can be tuned via added tension in the device and how these oscillations can be used as a means of sensitive pulse-width modulated (PWM) readout of MEMS sensors.


title: Influence of Multiple Sequence Alignment Depth on Potts Statistical Models of Protein Covariation

abstract: Potts statistical models have become a popular and promising way to analyze mutational covariation in protein Multiple Sequence Alignments (MSAs) in order to understand protein structure, function and fitness. But the statistical limitations of these models, which can have millions of parameters and are fit to MSAs of only thousands or hundreds of effective sequences using a procedure known as inverse Ising inference, are incompletely understood. In this work we predict how model quality degrades as a function of the number of sequences $N$, sequence length $L$, amino-acid alphabet size $q$, and the degree of conservation of the MSA, in different applications of the Potts models: In "fitness" predictions of individual protein sequences, in predictions of the effects of single-point mutations, in "double mutant cycle" predictions of epistasis, and in 3-d contact prediction in protein structure. We show how as MSA depth $N$ decreases an "overfitting" effect occurs such that sequences in the training MSA have overestimated fitness, and we predict the magnitude of this effect and discuss how regularization can help correct for it, use a regularization procedure motivated by statistical analysis of the effects of finite sampling. We find that as $N$ decreases the quality of point-mutation effect predictions degrade least, fitness and epistasis predictions degrade more rapidly, and contact predictions are most affected. However, overfitting becomes negligible for MSA depths of more than a few thousand effective sequences, as often used in practice, and regularization becomes less necessary. We discuss the implications of these results for users of Potts covariation analysis.


title: KAM tori are no more than sticky

abstract: When a Gevrey smooth perturbation is applied to a quasi-convex integrable Hamiltonian, it is known that the KAM invariant tori that survive are sticky, that is, doubly exponentially stable. We show by examples the optimality of this effective stability.


title: Topological classification of Liouville foliations for the Kovalevskaya integrable case on the Lie algebra so(3, 1)

abstract: In this paper, we study the topology of the Liouville foliation of an analogue of the Kovalevskaya integrable case on the Lie algebra so(3; 1). The Fomenko-Zieschang invariants (i.e., marked molecules) of a given foliation on each regular isoenergy surface were calculated.


title: A Unified Approach to Scalable Spectral Sparsification of Directed Graphs

abstract: Recent spectral graph sparsification research allows constructing nearly-linear-sized subgraphs that can well preserve the spectral (structural) properties of the original graph, such as the first few eigenvalues and eigenvectors of the graph Laplacian, leading to the development of a variety of nearly-linear time numerical and graph algorithms. However, there is not a unified approach that allows for truly-scalable spectral sparsification of both directed and undirected graphs. In this work, we prove the existence of linear-sized spectral sparsifiers for general directed graphs and introduce a practically-efficient and unified spectral graph sparsification approach that allows sparsifying real-world, large-scale directed and undirected graphs with guaranteed preservation of the original graph spectra. By exploiting a highly-scalable (nearly-linear complexity) spectral matrix perturbation analysis framework for constructing nearly-linear sized (directed) subgraphs, it enables us to well preserve the key eigenvalues and eigenvectors of the original (directed) graph Laplacians. The proposed method has been validated using various kinds of directed graphs obtained from public domain sparse matrix collections, showing promising results for solving directed graph Laplacians, spectral embedding, and partitioning of general directed graphs, as well as approximately computing (personalized) PageRank vectors.


title: Quantum Diffusion in the Strong Tunneling Regime

abstract: We study the spread of a quantum-mechanical wavepacket in a noisy environment, modeled using a tight-binding Hamiltonian. Despite the coherent dynamics, the fluctuating environment may give rise to diffusive behavior. When correlations between different level-crossing events can be neglected, we use the solution of the Landau-Zener problem to find how the diffusion constant depends on the noise. We also show that when an electric field or external disordered potential is applied to the system, the diffusion constant is suppressed with no drift term arising. The results are relevant to various quantum systems, including exciton diffusion in photosynthesis and electronic transport in solid-state physics.


title: A generalization of the order of elements with some applications

abstract: In this paper, we give some generalizations the concept of element order and we study some of the properties of these generalized order. In particular, with using this generalization we derive two solvability criteria.


title: Secure and Private Implementation of Dynamic Controllers Using Semi-Homomorphic Encryption

abstract: This paper presents a secure and private implementation of linear time-invariant dynamic controllers using Paillier's encryption, a semi-homomorphic encryption method. To avoid overflow or underflow within the encryption domain, the state of the controller is reset periodically. A control design approach is presented to ensure stability and optimize performance of the closed-loop system with encrypted controller.


title: Dynamics of compact binary systems in scalar-tensor theories: II. Center-of-mass and conserved quantities to 3PN order

abstract: The equations of motion of nonspinning compact binary systems at the third post-Newtonian (PN) order in massless scalar-tensor theories have recently been obtained. In the present paper, we complete this work by computing at 3PN order the ten integrals of motion together with the equations of motion in the center-of-mass frame. We then perform the reduction of the center-of-mass equations to quasi-circular orbits and determine the conserved energy and angular momentum for circular orbits.


title: For Fixed Control Parameters the Quantum Approximate Optimization Algorithm's Objective Function Value Concentrates for Typical Instances

abstract: The Quantum Approximate Optimization Algorithm, QAOA, uses a shallow depth quantum circuit to produce a parameter dependent state. For a given combinatorial optimization problem instance, the quantum expectation of the associated cost function is the parameter dependent objective function of the QAOA. We demonstrate that if the parameters are fixed and the instance comes from a reasonable distribution then the objective function value is concentrated in the sense that typical instances have (nearly) the same value of the objective function. This applies not just for optimal parameters as the whole landscape is instance independent. We can prove this is true for low depth quantum circuits for instances of MaxCut on large 3-regular graphs. Our results generalize beyond this example. We support the arguments with numerical examples that show remarkable concentration. For higher depth circuits the numerics also show concentration and we argue for this using the Law of Large Numbers. We also observe by simulation that if we find parameters which result in good performance at say 10 bits these same parameters result in good performance at say 24 bits. These findings suggest ways to run the QAOA that reduce or eliminate the use of the outer loop optimization and may allow us to find good solutions with fewer calls to the quantum computer.


title: Finite unitary ring with minimal non-nilpotent group of units

abstract: Let $R$ be a finite unitary ring such that $R=R_0[R^*]$ where $R_0$ is the prime ring and $R^*$ is not a nilpotent group. We show that if all proper subgroups of $R^*$ are nilpotent groups, then the cardinal of $R$ is a power of prime number 2. In addition, if $(R/Jac(R))^*$ is not a $p-$group, then either $R\cong M_2(GF(2))$ or $R\cong M_2(GF(2))\oplus A$ where $M_2(GF(2))$ is the ring of $2\times 2$ matrices over the finite field $GF(2)$ and $A$ is a direct sum of finite field $GF(2)$.


title: Learning Discriminative Motion Features Through Detection

abstract: Despite huge success in the image domain, modern detection models such as Faster R-CNN have not been used nearly as much for video analysis. This is arguably due to the fact that detection models are designed to operate on single frames and as a result do not have a mechanism for learning motion representations directly from video. We propose a learning procedure that allows detection models such as Faster R-CNN to learn motion features directly from the RGB video data while being optimized with respect to a pose estimation task. Given a pair of video frames---Frame A and Frame B---we force our model to predict human pose in Frame A using the features from Frame B. We do so by leveraging deformable convolutions across space and time. Our network learns to spatially sample features from Frame B in order to maximize pose detection accuracy in Frame A. This naturally encourages our network to learn motion offsets encoding the spatial correspondences between the two frames. We refer to these motion offsets as DiMoFs (Discriminative Motion Features). In our experiments we show that our training scheme helps learn effective motion cues, which can be used to estimate and localize salient human motion. Furthermore, we demonstrate that as a byproduct, our model also learns features that lead to improved pose detection in still-images, and better keypoint tracking. Finally, we show how to leverage our learned model for the tasks of spatiotemporal action localization and fine-grained action recognition.


title: Fano deformation rigidity of rational homogeneous spaces of submaximal Picard numbers

abstract: We study the question whether rational homogeneous spaces are rigid under Fano deformation. In other words, given any smooth connected family f:X -> Zof Fano manifolds, if one fiber is biholomorphic to a rational homogeneous space S, whether is f an S-fibration? The cases of Picard number one were studied in a series of papers by J.-M. Hwang and N. Mok. For higher Picard number cases, we notice that the Picard number of a rational homogeneous space G/P is less or equal to the rank of G. Recently A. Weber and J. A. Wisniewski proved that rational homogeneous spaces G/P with Picard numbers equal to the rank of G (i.e. complete flag manifolds) are rigid under Fano deformation. In this paper we show that the rational homogeneous space G/P is rigid under Fano deformation, providing that G is a simple algebraic group of type ADE, the Picard number equal to rank(G)-1 and G/P is not biholomorphic to F(1, 2, P^3) or F(1, 2, Q^6). The variety F(1, 2, P^3) is the set of flags of projective lines and planes in P^3, and F(1, 2, Q^6) is the set of flags of projective lines and planes in 6-dimensional smooth quadric hypersurface. We show that F(1, 2, P^3) have a unique Fano degeneration, which is explicitly constructed. The structure of possible Fano degeneration of F(1, 2, Q^6) is also described explicitly. To prove our rigidity result, we firstly show that the Fano deformation rigidity of a homogeneous space of type ADE can be implied by that property of suitable homogeneous submanifolds. Then we complete the proof via the study of Fano deformation rigidity of rational homogeneous spaces of small Picard numbers. As a byproduct, we also show the Fano deformation rigidity of other manifolds such as F(0, 1, ..., k_1, k_2, k_2+1, ..., n-1, P^n) and F(0, 1, ..., k_1, k_2, k_2+1, ..., n, Q^{2n+2}) with 0 <= k_1 < k_2 <= n-1.


title: Scale Selective Extended Local Binary Pattern for Texture Classification

abstract: In this paper, we propose a new texture descriptor, scale selective extended local binary pattern (SSELBP), to characterize texture images with scale variations. We first utilize multi-scale extended local binary patterns (ELBP) with rotation-invariant and uniform mappings to capture robust local micro- and macro-features. Then, we build a scale space using Gaussian filters and calculate the histogram of multi-scale ELBPs for the image at each scale. Finally, we select the maximum values from the corresponding bins of multi-scale ELBP histograms at different scales as scale-invariant features. A comprehensive evaluation on public texture databases (KTH-TIPS and UMD) shows that the proposed SSELBP has high accuracy comparable to state-of-the-art texture descriptors on gray-scale-, rotation-, and scale-invariant texture classification but uses only one-third of the feature dimension.


title: The generalization of Miquels theorem

abstract: This papper aims to present and demonstrate Clifford's version for a generalization of Miquel's theorem with the use of Euclidean geometry arguments only.


title: A Provably Convergent Scheme for Compressive Sensing under Random Generative Priors

abstract: Deep generative modeling has led to new and state of the art approaches for enforcing structural priors in a variety of inverse problems. In contrast to priors given by sparsity, deep models can provide direct low-dimensional parameterizations of the manifold of images or signals belonging to a particular natural class, allowing for recovery algorithms to be posed in a low-dimensional space. This dimensionality may even be lower than the sparsity level of the same signals when viewed in a fixed basis. What is not known about these methods is whether there are computationally efficient algorithms whose sample complexity is optimal in the dimensionality of the representation given by the generative model. In this paper, we present such an algorithm and analysis. Under the assumption that the generative model is a neural network that is sufficiently expansive at each layer and has Gaussian weights, we provide a gradient descent scheme and prove that for noisy compressive measurements of a signal in the range of the model, the algorithm converges to that signal, up to the noise level. The scaling of the sample complexity with respect to the input dimensionality of the generative prior is linear, and thus can not be improved except for constants and factors of other variables. To the best of the authors' knowledge, this is the first recovery guarantee for compressive sensing under generative priors by a computationally efficient algorithm.


title: Ruin Theory for Dynamic Spectrum Allocation in LTE-U Networks

abstract: LTE in the unlicensed band (LTE-U) is a promising solution to overcome the scarcity of the wireless spectrum. However, to reap the benefits of LTE-U, it is essential to maintain its effective coexistence with WiFi systems. Such a coexistence, hence, constitutes a major challenge for LTE-U deployment. In this paper, the problem of unlicensed spectrum sharing among WiFi and LTE-U system is studied. In particular, a fair time sharing model based on \emph{ruin theory} is proposed to share redundant spectral resources from the unlicensed band with LTE-U without jeopardizing the performance of the WiFi system. Fairness among both WiFi and LTE-U is maintained by applying the concept of the probability of ruin. In particular, the probability of ruin is used to perform efficient duty-cycle allocation in LTE-U, so as to provide fairness to the WiFi system and maintain certain WiFi performance. Simulation results show that the proposed ruin-based algorithm provides better fairness to the WiFi system as compared to equal duty-cycle sharing among WiFi and LTE-U.


title: Insights on bar quenching from a multi-wavelength analysis: The case of Messier 95

abstract: The physical processes related to the effect of bar in the quenching of star formation in the region between the nuclear/central sub-kpc region and the ends of the bar (bar-region) of spiral galaxies is not fully understood. It is hypothesized that the bar can either stabilize the gas against collapse, inhibiting star formation or efficiently consume all the available gas, with no fuel for further star formation. We present a multi-wavelength study using the archival data of an early-type barred spiral galaxy, Messier 95, which shows signatures of suppressed star formation in the bar-region. Using the optical, ultraviolet, infrared, CO and HI imaging data we study the pattern of star formation progression, stellar/gas distribution and try to provide insights on the process responsible for the observed pattern. The FUV$-$NUV pixel colour map reveals a cavity devoid of UV flux in the bar-region that interestingly matches with the length of the bar ($\sim$ 4.2kpc). The central nuclear region of the galaxy is showing a blue color clump and along the major-axis of the stellar bar the colour progressively becomes redder. Based on a comparison to single stellar population models, we show that the region of galaxy along the major-axis of the bar (unlike the region outside the bar) is comprised of stellar populations with ages $\geq$ 350 Myr, with a star-forming clump in the center of younger ages ($\sim$ 150Myr). Interestingly the bar-region is also devoid of neutral and molecular hydrogen but with an abundant molecular hydrogen present at the nuclear region of the galaxy. Our results are consistent with a picture in which the stellar bar in Messier 95 is redistributing the gas by funneling gas inflows to nuclear region, thus making the bar-region devoid of fuel for star formation.


title: Material Based Object Tracking in Hyperspectral Videos: Benchmark and Algorithms

abstract: Traditional color images only depict color intensities in red, green and blue channels, often making object trackers fail in challenging scenarios, e.g., background clutter and rapid changes of target appearance. Alternatively, material information of targets contained in a large amount of bands of hyperspectral images (HSI) is more robust to these difficult conditions. In this paper, we conduct a comprehensive study on how material information can be utilized to boost object tracking from three aspects: benchmark dataset, material feature representation and material based tracking. In terms of benchmark, we construct a dataset of fully-annotated videos, which contain both hyperspectral and color sequences of the same scene. Material information is represented by spectral-spatial histogram of multidimensional gradient, which describes the 3D local spectral-spatial structure in an HSI, and fractional abundances of constituted material components which encode the underlying material distribution. These two types of features are embedded into correlation filters, yielding material based tracking. Experimental results on the collected benchmark dataset show the potentials and advantages of material based object tracking.


title: Channel selection using Gumbel Softmax

abstract: Important applications such as mobile computing require reducing the computational costs of neural network inference. Ideally, applications would specify their preferred tradeoff between accuracy and speed, and the network would optimize this end-to-end, using classification error to remove parts of the network. Increasing speed can be done either during training - e.g., pruning filters - or during inference - e.g., conditionally executing a subset of the layers. We propose a single end-to-end framework that can improve inference efficiency in both settings. We use a combination of batch activation loss and classification loss, and Gumbel reparameterization to learn network structure. We train end-to-end, and the same technique supports pruning as well as conditional computation. We obtain promising experimental results for ImageNet classification with ResNet (45-52% less computation).


title: KF-LAX: Kronecker-factored curvature estimation for control variate optimization in reinforcement learning

abstract: A key challenge for gradient based optimization methods in model-free reinforcement learning is to develop an approach that is sample efficient and has low variance. In this work, we apply Kronecker-factored curvature estimation technique (KFAC) to a recently proposed gradient estimator for control variate optimization, RELAX, to increase the sample efficiency of using this gradient estimation method in reinforcement learning. The performance of the proposed method is demonstrated on a synthetic problem and a set of three discrete control task Atari games.


title: Separability of Completely Symmetric States in Multipartite System

abstract: Symmetry plays an important role in the field of quantum mechanics. In this paper, we consider a subclass of symmetric quantum states in the multipartite system $N^{\otimes d}$, namely, the completely symmetric states, which are invariant under any index permutation. It was conjectured by L. Qian and D. Chu [arXiv:1810.03125 [quant-ph]] that the completely symmetric states are separable if and only if it is a convex combination of symmetric pure product states. In this paper, we proved that this conjecture is true for both bipartite and multipartite cases. And we proved the completely symmetric state $\rho$ is separable if its rank is at most $5$ or $N+1$. For the states of rank $6$ or $N+2$, they are separable if and only if their range contains a product vector. We apply our results to a few widely useful states in quantum information, such as symmetric states, edge states, extreme states, and nonnegative states. We also study the relation of CS states to Hankel and Toeplitz matrices.


title: Completed Local Derivative Pattern for Rotation Invariant Texture Classification

abstract: In this paper, we propose a new texture descriptor, completed local derivative pattern (CLDP). In contrast to completed local binary pattern (CLBP), which involves only local differences at each scale, CLDP encodes the directional variation of the local differences of two scales as a complementary component to local patterns in CLBP. The new component in CLDP, with regarded as the directional derivative pattern, reflects the directional smoothness of local textures without increasing computation complexity. Experimental results on the Outex database show that CLDP, as a uni-scale pattern, outperforms uni-scale state-of-the-art texture descriptors on texture classification and has comparable performance with multi-scale texture descriptors.


title: Influence of High-Speed Railway System on Inter-city Travel Behavior in Vietnam

abstract: To analyze the influence of introducing the High-Speed Railway (HSR) system on business and non-business travel behavior, this study develops an integrated inter-city travel demand model to represent trip generations, destination choice, and travel mode choice behavior. The accessibility calculated from the RP/SP (Revealed Preference/Stated Preference) combined nested logit model of destination and mode choices is used as an explanatory variable in the trip frequency models. One of the important findings is that additional travel would be induced by introducing HSR. Our simulation analyses also reveal that HSR and conventional airlines will be the main modes for middle distances and long distances, respectively. The development of zones may highly influence the destination choices for business purposes, while prices of HSR and Low-Cost Carriers affect choices for non-business purposes. Finally, the research reveals that people on non-business trips are more sensitive to changes in travel time, travel cost and regional attributes than people on business trips.


title: Gravitational wave emission under general parametrized metric from extreme mass ratio inspirals

abstract: Future space-borne interferometers will be able to detect gravitational waves at $10^{-3}$ to $10^{-1}$ Hz. At this band extreme-mass-ratio inspirals (EMRIs) can be promising gravitational wave sources. In this paper, we investigate possibility of testing Kerr hypothesis against a parametrized non-Kerr metric by matching EMRI signals. However, EMRIs from either equatorial orbits or inclined orbits suffer from the "confusion problem". Our results show that, within the time scale before radiation flux plays an important role, small and moderate deviations from the Kerr spacetime($|\delta_i|<1$) can be discerned only when spin parameter is high. In most cases, the EMRI waveforms related with a non-Kerr metric can be mimicked by the waveform templates produced with a Kerr black hole.


title: A Functional Taxonomy of Music Generation Systems

abstract: Digital advances have transformed the face of automatic music generation since its beginnings at the dawn of computing. Despite the many breakthroughs, issues such as the musical tasks targeted by different machines and the degree to which they succeed remain open questions. We present a functional taxonomy for music generation systems with reference to existing systems. The taxonomy organizes systems according to the purposes for which they were designed. It also reveals the inter-relatedness amongst the systems. This design-centered approach contrasts with predominant methods-based surveys and facilitates the identification of grand challenges to set the stage for new breakthroughs.


title: Dynamic Sparse Factor Analysis

abstract: Its conceptual appeal and effectiveness has made latent factor modeling an indispensable tool for multivariate analysis. Despite its popularity across many fields, there are outstanding methodological challenges that have hampered practical deployments. One major challenge is the selection of the number of factors, which is exacerbated for dynamic factor models, where factors can disappear, emerge, and/or reoccur over time. Existing tools that assume a fixed number of factors may provide a misguided representation of the data mechanism, especially when the number of factors is crudely misspecified. Another challenge is the interpretability of the factor structure, which is often regarded as an unattainable objective due to the lack of identifiability. Motivated by a topical macroeconomic application, we develop a flexible Bayesian method for dynamic factor analysis (DFA) that can simultaneously accommodate a time-varying number of factors and enhance interpretability without strict identifiability constraints. To this end, we turn to dynamic sparsity by employing Dynamic Spike-and-Slab (DSS) priors within DFA. Scalable Bayesian EM estimation is proposed for fast posterior mode identification via rotations to sparsity, enabling Bayesian data analysis at scales that would have been previously time-consuming. We study a large-scale balanced panel of macroeconomic variables covering multiple facets of the US economy, with a focus on the Great Recession, to highlight the efficacy and usefulness of our proposed method.


title: Limit cycles and bifurcations in a nonlinear MEMS oscillator with a 1:3 internal resonance. Part I: The case of a driven resonator

abstract: This work investigates the behavior of an AlGaAs/GaAs piezoelectric nonlinear MEMS oscillator exhibiting a 1:3 internal resonance. The device is explored in an open-loop configuration, i.e. as a driven resonator, where depending on the drive conditions we observe energy transfer between the first and third modes, and the emergence of supercritical Hopf limit cycles. We examine the dependence of these bifurcations on the oscillator's frequency and amplitude, and reproduce the observed behavior using a system of nonlinearly coupled equations which show interesting scaling behavior.


title: Maximum of Branching Brownian motion in a periodic environment

abstract: We study the maximum of Branching Brownian motion (BBM) with branching rates that vary in space, via a periodic function of a particle's location. This corresponds to a variant of the F-KPP equation in a periodic medium, extensively studied in the last 15 years, admitting pulsating fronts as solutions. Recent progress on this PDE due to Hamel, Nolen, Roquejoffre and Ryzhik ('16) implies tightness for the centered maximum of BBM in a periodic environment. Here we establish the convergence in distribution of specific subsequences of this centered maximum, and identify the limiting distribution. Consequently, we find the asymptotic shift between the solution to the corresponding F-KPP equation with Heavyside initial data and the pulsating wave, thereby answering a question of Hamel et al. Analogous results are given for the cases where the Brownian motion is replaced by an Ito diffusion with periodic coefficients, as well as for nearest-neighbor branching random walks.


title: Optimal Structure Synthesis for Environment Augmenting Robots

abstract: Building structures can allow a robot to surmount large obstacles, expanding the set of areas it can reach. This paper presents a planning algorithm to automatically determine what structures a construction-capable robot must build in order to traverse its entire environment. Given an environment, a set of building blocks, and a robot capable of building structures, we seek a optimal set of structures (using a minimum number of building blocks) that could be built to make the entire environment traversable with respect to the robot's movement capabilities. We show that this problem is NP-Hard, and present a complete, optimal algorithm that solves it using a branch-and-bound strategy. The algorithm runs in exponential time in the worst case, but solves typical problems with practical speed. In hardware experiments, we show that the algorithm solves 3D maps of real indoor environments in about one minute, and that the structures selected by the algorithm allow a robot to traverse the entire environment. An accompanying video is available online at https://youtu.be/B9WM557NP44.


title: Code-less Patching for Heap Vulnerabilities Using Targeted Calling Context Encoding

abstract: Exploitation of heap vulnerabilities has been on the rise, leading to many devastating attacks. Conventional heap patch generation is a lengthy procedure, requiring intensive manual efforts. Worse, fresh patches tend to harm system dependability, hence deterring users from deploying them. We propose a heap patching system that simultaneously has the following prominent advantages: (1) generating patches without manual efforts; (2) installing patches without altering the code (so called code-less patching); (3) handling various heap vulnerability types; (4) imposing a very low overhead; and (5) no dependency on specific heap allocators. As a separate contribution, we propose targeted calling context encoding, which is a suite of algorithms for optimizing calling context encoding, an important technique with applications in many areas. The system properly combines heavyweight offline attack analysis with lightweight online defense generation, and provides a new countermeasure against heap attacks. The evaluation shows that the system is effective and efficient.


title: Ultra-low noise dual-frequency VECSEL at telecom wavelength using fully correlated pumping

abstract: An ultra-low intensity and beatnote phase noise dual-frequency vertical-external-cavity surface-emitting laser is built at telecom wavelength. The pump laser is realized by polarization combining two single-mode fibered laser diodes in a single-mode fiber, leading to a 100 % in-phase correlation of the pump noises for the two modes. The relative intensity noise is lower than -140 dB/Hz, and the beatnote phase noise is suppressed by 30 dB, getting close to the spontaneous emission limit. The role of the imperfect cancellation of the thermal effect resulting from unbalanced pumping of the two modes in the residual phase noise is evidenced.


title: The Disk Substructures at High Angular Resolution Project (DSHARP): III. Spiral Structures in the Millimeter Continuum of the Elias 27, IM Lup, and WaOph 6 Disks

abstract: We present an analysis of ALMA 1.25 millimeter continuum observations of spiral structures in three protoplanetary disks from the Disk Substructures at High Angular Resolution Project. The disks around Elias 27, IM Lup, and WaOph 6 were observed at a resolution of $\sim40-60$ mas ($\sim6-7$ au). All three disks feature $m=2$ spiral patterns in conjunction with annular substructures. Gas kinematics established by $^{12}$CO $J=2-1$ observations indicate that the continuum spiral arms are trailing. The arm-interarm intensity contrasts are modest, typically less than 3. The Elias 27 spiral pattern extends throughout much of the disk, and the arms intersect the gap at $R\sim69$ au. The spiral pattern in the IM Lup disk is particularly complex-it extends about halfway radially through the disk, exhibiting pitch angle variations with radius and interarm features that may be part of ring substructures or spiral arm branches. Spiral arms also extend most of the way through the WaOph 6 disk, but the source overall is much more compact than the other two disks. We discuss possible origins for the spiral structures, including gravitational instability and density waves induced by a stellar or planetary companion. Unlike the millimeter continuum counterparts of many of the disks with spiral arms detected in scattered light, these three sources do not feature high-contrast crescent-like asymmetries or large ($R>20$ au) emission cavities. This difference may point to multiple spiral formation mechanisms operating in disks.


title: Loss Guided Activation for Action Recognition in Still Images

abstract: One significant problem of deep-learning based human action recognition is that it can be easily misled by the presence of irrelevant objects or backgrounds. Existing methods commonly address this problem by employing bounding boxes on the target humans as part of the input, in both training and testing stages. This requirement of bounding boxes as part of the input is needed to enable the methods to ignore irrelevant contexts and extract only human features. However, we consider this solution is inefficient, since the bounding boxes might not be available. Hence, instead of using a person bounding box as an input, we introduce a human-mask loss to automatically guide the activations of the feature maps to the target human who is performing the action, and hence suppress the activations of misleading contexts. We propose a multi-task deep learning method that jointly predicts the human action class and human location heatmap. Extensive experiments demonstrate our approach is more robust compared to the baseline methods under the presence of irrelevant misleading contexts. Our method achieves 94.06\% and 40.65\% (in terms of mAP) on Stanford40 and MPII dataset respectively, which are 3.14\% and 12.6\% relative improvements over the best results reported in the literature, and thus set new state-of-the-art results. Additionally, unlike some existing methods, we eliminate the requirement of using a person bounding box as an input during testing.


title: Measuring Diffusion over a Large Network

abstract: This paper introduces a measure of the diffusion of binary outcomes over a large, sparse network, when the diffusion is observed in two time periods. The measure captures the aggregated spillover effect of the state-switches in the initial period on their neighbors' outcomes in the second period. This paper introduces a causal network that captures the causal connections among the cross-sectional units over the two periods. It shows that when the researcher's observed network contains the causal network as a subgraph, the measure of diffusion is identified as a simple, spatio-temporal dependence measure of observed outcomes. When the observed network does not satisfy this condition, but the spillover effect is nonnegative, the spatio-temporal dependence measure serves as a lower bound for diffusion. Using this, a lower confidence bound for diffusion is proposed and its asymptotic validity is established. The Monte Carlo simulation studies demonstrate the finite sample stability of the inference across a range of network configurations. The paper applies the method to data on Indian villages to measure the diffusion of microfinancing decisions over households' social networks.


title: Sparse Channel Estimation with Gradient-Based Algorithms: A comparative Study

abstract: Channel state information (CSI) is very crucial for any wireless communication systems. Typically, CSI can be characterized at the receiver side using channel impulse response (CIR). Many observations have shown that the CIR of broadband multipath wireless channels are often sparse. To this point, the family of least mean square (LMS)-based algorithms have been widely used to estimate the CIR, unfortunately, the performance of LMS family is not much accurate in terms of sparse channel estimation. The Least Mean Mixed Norm (LMMN) algorithm combines the advantages of both the Least Mean square (LMS) and the Least Mean Fourth (LMF)algorithm, which makes this algorithm stands in a very special position among the family members in terms of convergence and steady state error. In this paper, we held a fair comparative study between the LMMN and a number of the LMS-based algorithms, such as the LMS algorithm, the zero-attracting (ZA-LMS) algorithm, and the normalized (NLMS) algorithm. Simulation results are carried out to compare the performance of all these algorithms with the LMMN algorithm. The results show that the LMMN algorithm outperforms the rest of these algorithms in the identification of sparse systems in terms of both fast convergence and the steady state error.


title: A Scalable and Robust Framework for Data Stream Ingestion

abstract: An essential part of building a data-driven organization is the ability to handle and process continuous streams of data to discover actionable insights. The explosive growth of interconnected devices and the social Web has led to a large volume of data being generated on a continuous basis. Streaming data sources such as stock quotes, credit card transactions, trending news, traffic conditions, time-sensitive patients data are not only very common but can rapidly depreciate if not processed quickly. The ever-increasing volume and highly irregular nature of data rates pose new challenges to data stream processing systems. One such challenging but important task is how to accurately ingest and integrate data streams from various sources and locations into an analytics platform. These challenges demand new strategies and systems that can offer the desired degree of scalability and robustness in handling failures. This paper investigates the fundamental requirements and the state of the art of existing data stream ingestion systems, propose a scalable and fault-tolerant data stream ingestion and integration framework that can serve as a reusable component across many feeds of structured and unstructured input data in a given platform, and demonstrate the utility of the framework in a real-world data stream processing case study that integrates Apache NiFi and Kafka for processing high velocity news articles from across the globe. The study also identifies best practices and gaps for future research in developing large-scale data stream processing infrastructure.


title: Space weathering of the Moon from in situ detection

abstract: Space weathering is an important surface process occurring on the Moon and other airless bodies, especially those that have no magnetic field. The optical effects of the Moon's space weathering have been largely investigated in the laboratory for lunar samples and lunar analogues. However, duplication of the pristine regolith on Earth is not possible. Here we report the space weathering from the unique perspective of the Chang'E-3's (CE-3) "Yutu" rover, building on our previous work (Wang et al. 2017; Wu and Hapke 2018). Measurement of the visually undisturbed uppermost regolith as well as locations that have been affected by rocket exhaust from the spacecraft by the Visible-Near Infrared Spectrometer (VNIS) revealed that the returned samples bring a biased information about the pristine lunar regolith. The uppermost surficial regolith is much more weathered than the regolith immediately below, and the finest fraction is rich in space weathered products. These materials are very dark and attenuated throughout the visible and near-infrared (VNIR) wavelengths, hence reduce the reflectance and mask the absorption features. The effects on the spectral slope caused by space weathering are wavelength-dependent: the visible and near-infrared continuum slope (VNCS) increases while the visible slope (VS) decreases. In the visible wavelength, the optical effects of space weathering and TiO2 are identical: both reduce albedo and blue the spectra. This suggests that developing new TiO2 abundance algorithm is needed. Optical maturity indices are composition related and hence only locally meaningful. Since optical remote sensing can only sense the uppermost few microns of regolith and since this surface tends to be very weathered, the interpretation of surface composition using optical remote sensing data needs to be carefully evaluated. Sampling the uppermost surface is suggested.


title: Predicting the Effects of News Sentiments on the Stock Market

abstract: Stock market forecasting is very important in the planning of business activities. Stock price prediction has attracted many researchers in multiple disciplines including computer science, statistics, economics, finance, and operations research. Recent studies have shown that the vast amount of online information in the public domain such as Wikipedia usage pattern, news stories from the mainstream media, and social media discussions can have an observable effect on investors opinions towards financial markets. The reliability of the computational models on stock market prediction is important as it is very sensitive to the economy and can directly lead to financial loss. In this paper, we retrieved, extracted, and analyzed the effects of news sentiments on the stock market. Our main contributions include the development of a sentiment analysis dictionary for the financial sector, the development of a dictionary-based sentiment analysis model, and the evaluation of the model for gauging the effects of news sentiments on stocks for the pharmaceutical market. Using only news sentiments, we achieved a directional accuracy of 70.59% in predicting the trends in short-term stock price movement.


title: Transparent Boundary Conditions for the Time-Dependent Schr\"odinger Equation with a Vector Potential

abstract: We consider the problem of constructing transparent boundary conditions for the time-dependent Schr\"odinger equation with a compactly supported binding potential and, if desired, a spatially uniform, time-dependent electromagnetic vector potential. Such conditions prevent nonphysical boundary effects from corrupting a numerical solution in a bounded computational domain. We use ideas from potential theory to build exact nonlocal conditions for arbitrary piecewise-smooth domains. These generalize the standard Dirichlet-to-Neumann and Neumann-to-Dirichlet maps known for the equation in one dimension without a vector potential. When the vector potential is included, the condition becomes non-convolutional in time. For the one-dimensional problem, we propose a simple discretization scheme and a fast algorithm to accelerate the evaluation of the boundary condition.


title: Range-based Coordinate Alignment for Cooperative Mobile Sensor Network Localization

abstract: This paper studies a coordinate alignment problem for cooperative mobile sensor network localization with range-based measurements. The network consists of target nodes, each of which has only access position information in a local fixed coordinate frame, and anchor nodes with GPS position information. To localize target nodes, we aim to align their coordinate frames, which leads to a non-convex optimization problem over a rotation group $\text{SO}(3)$. Then, we reformulate it as an optimization problem with a convex objective function over spherical surfaces. We explicitly design both iterative and recursive algorithms for localizing a target node with an anchor node, and extend to the case with multiple target nodes. Finally, the advantages of our algorithms against the literature are validated via simulations.


title: Deep Learning on Graphs: A Survey

abstract: Deep learning has been shown to be successful in a number of domains, ranging from acoustics, images, to natural language processing. However, applying deep learning to the ubiquitous graph data is non-trivial because of the unique characteristics of graphs. Recently, substantial research efforts have been devoted to applying deep learning methods to graphs, resulting in beneficial advances in graph analysis techniques. In this survey, we comprehensively review the different types of deep learning methods on graphs. We divide the existing methods into five categories based on their model architectures and training strategies: graph recurrent neural networks, graph convolutional networks, graph autoencoders, graph reinforcement learning, and graph adversarial methods. We then provide a comprehensive overview of these methods in a systematic manner mainly by following their development history. We also analyze the differences and compositions of different methods. Finally, we briefly outline the applications in which they have been used and discuss potential future research directions.


title: Simple wave-optical superpositions as prime number sieves

abstract: We encode the sequence of prime numbers into simple superpositions of identical waves, mimicking the archetypal prime number sieve of Eratosthenes. The primes are identified as zeros accompanied by phase singularities in a physically generated wave-field for integer valued momenta. Similarly, primes are encoded in the diffraction pattern from a simple single aperture and in the harmonics of a single vibrating resonator. Further, diffraction physics connections to number theory reveal how to encode all Gaussian primes, twin-primes, and how to construct wave fields with amplitudes equal to the divisor function at integer spatial frequencies. Remarkably, all of these basic diffraction phenomena reveal that the naturally irregular sequence of primes can arise from trivially ordered wave superpositions.


title: 2.5D Visual Sound

abstract: Binaural audio provides a listener with 3D sound sensation, allowing a rich perceptual experience of the scene. However, binaural recordings are scarcely available and require nontrivial expertise and equipment to obtain. We propose to convert common monaural audio into binaural audio by leveraging video. The key idea is that visual frames reveal significant spatial cues that, while explicitly lacking in the accompanying single-channel audio, are strongly linked to it. Our multi-modal approach recovers this link from unlabeled video. We devise a deep convolutional neural network that learns to decode the monaural (single-channel) soundtrack into its binaural counterpart by injecting visual information about object and scene configurations. We call the resulting output 2.5D visual sound---the visual stream helps "lift" the flat single channel audio into spatialized sound. In addition to sound generation, we show the self-supervised representation learned by our network benefits audio-visual source separation. Our video results: http://vision.cs.utexas.edu/projects/2.5D_visual_sound/


title: Bath engineering of a fluorescing artificial atom with a photonic crystal

abstract: We demonstrate how the dissipative interaction between a superconducting qubit and a microwave photonic crystal can be used for quantum bath engineering. The photonic crystal is created with a step-impedance transmission line which suppresses and enhances the quantum spectral density of states, influencing decay transitions of a transmon circuit. The qubit interacts with the transmission line indirectly via dispersive coupling to a cavity. We characterize the photonic crystal density of states from both the unitary and dissipative dynamics of the qubit. When the qubit is driven, it dissipates into the frequency dependent density of states of the photonic crystal. Our result is the deterministic preparation of qubit superposition states as the steady-state of coherent driving and dissipation near by the photonic crystal band edge, which we characterize with quantum state tomography. Our results highlight how the multimode environment from the photonic crystal forms a resource for quantum control.


title: GC-LSTM: Graph Convolution Embedded LSTM for Dynamic Link Prediction

abstract: Dynamic link prediction is a research hot in complex networks area, especially for its wide applications in biology, social network, economy and industry. Compared with static link prediction, dynamic one is much more difficult since network structure evolves over time. Currently most researches focus on static link prediction which cannot achieve expected performance in dynamic network. Aiming at low AUC, high Error Rate, add/remove link prediction difficulty, we propose GC-LSTM, a Graph Convolution Network (GC) embedded Long Short Term Memory network (LTSM), for end-to-end dynamic link prediction. To the best of our knowledge, it is the first time that GCN embedded LSTM is put forward for link prediction of dynamic networks. GCN in this new deep model is capable of node structure learning of network snapshot for each time slide, while LSTM is responsible for temporal feature learning for network snapshot. Besides, current dynamic link prediction method can only handle removed links, GC-LSTM can predict both added or removed link at the same time. Extensive experiments are carried out to testify its performance in aspects of prediction accuracy, Error Rate, add/remove link prediction and key link prediction. The results prove that GC-LSTM outperforms current state-of-art method.


title: Identity-Enhanced Network for Facial Expression Recognition

abstract: Facial expression recognition is a challenging task, arguably because of large intra-class variations and high inter-class similarities. The core drawback of the existing approaches is the lack of ability to discriminate the changes in appearance caused by emotions and identities. In this paper, we present a novel identity-enhanced network (IDEnNet) to eliminate the negative impact of identity factor and focus on recognizing facial expressions. Spatial fusion combined with self-constrained multi-task learning are adopted to jointly learn the expression representations and identity-related information. We evaluate our approach on three popular datasets, namely Oulu-CASIA, CK+ and MMI. IDEnNet improves the baseline consistently, and achieves the best or comparable state-of-the-art on all three datasets.


title: Change of coefficients in the $p \neq \ell$ local Langlands correspondence for $GL_n$

abstract: Let $\ell$ and $p$ be distinct primes, $n$ a positive integer, $F_\ell$ an $\ell$-adic local field of characteristic $0,$ and let $W(k)$ denote the ring of Witt vectors over an algebraically closed field of characteristic $p$. Work of Emerton-Helm, Helm and Helm-Moss defines and constructs a smooth $A[{GL}_n(F_\ell)]$-module $\tilde{\pi}(\rho_A)$ for a continuous Galois representation $\rho_A : G_{F_\ell} \to {GL}_n(A)$ over a $p$-torsionfree reduced complete local $W(k)$-algebra $A$ interpolating the local Langlands correspondence. However, since $\tilde{\pi}$ is not a functor, there is no clear way to speak about the local Langlands correspondence over non-reduced or finite characteristic $W(k)$-algebras. We describe two natural and reasonable variants of the local Langlands correspondence with arbitrary complete local $W(k)$-algebras as coefficients. They are isomorphic when evaluated on the universal framed deformation of a Galois representation $\overline{\rho}$ over $k$, and more generally we find a surjection in one direction. In many cases, including $n=2$ or $3,$ they both recover $\tilde{\pi}(\rho)$ when $\rho$ has coefficients in a finite extension of $W(k)[p^{-1}].$ On the Galois side, this requires finding minimal lifts between Galois deformations.


title: Trigonometric integrable tops from solutions of associative Yang-Baxter equation

abstract: We consider a special class of quantum non-dynamical $R$-matrices in the fundamental representation of ${\rm GL}_N$ with spectral parameter given by trigonometric solutions of the associative Yang-Baxter equation. In the simplest case $N=2$ these are the well-known 6-vertex $R$-matrix and its 7-vertex deformation. The $R$-matrices are used for construction of the classical relativistic integrable tops of the Euler-Arnold type. Namely, we describe the Lax pairs with spectral parameter, the inertia tensors and the Poisson structures. The latter are given by the linear Poisson-Lie brackets for the non-relativistic models, and by the classical Sklyanin type algebras in the relativistic cases. In some particular cases the tops are gauge equivalent to the Calogero-Moser-Sutherland or trigonometric Ruijsenaars-Schneider models.


title: A Main/Subsidiary Network Framework for Simplifying Binary Neural Network

abstract: To reduce memory footprint and run-time latency, techniques such as neural network pruning and binarization have been explored separately. However, it is unclear how to combine the best of the two worlds to get extremely small and efficient models. In this paper, we, for the first time, define the filter-level pruning problem for binary neural networks, which cannot be solved by simply migrating existing structural pruning methods for full-precision models. A novel learning-based approach is proposed to prune filters in our main/subsidiary network framework, where the main network is responsible for learning representative features to optimize the prediction performance, and the subsidiary component works as a filter selector on the main network. To avoid gradient mismatch when training the subsidiary component, we propose a layer-wise and bottom-up scheme. We also provide the theoretical and experimental comparison between our learning-based and greedy rule-based methods. Finally, we empirically demonstrate the effectiveness of our approach applied on several binary models, including binarized NIN, VGG-11, and ResNet-18, on various image classification datasets.


title: The Cost of Information: The Case of Constant Marginal Costs

abstract: We develop an axiomatic theory of information acquisition that captures the idea of constant marginal costs in information production: the cost of generating two independent signals is the sum of their costs, and generating a signal with probability half costs half its original cost. Together with Blackwell monotonicity and a continuity condition, these axioms determine the cost of a signal up to a vector of parameters. These parameters have a clear economic interpretation and determine the difficulty of distinguishing states.


title: Multi-breathers and high order rogue waves for the nonlinear Schr\"odinger equation on the elliptic function background

abstract: We construct the multi-breather solutions of the focusing nonlinear Schr\"odinger equation (NLSE) on the background of elliptic functions by the Darboux transformation, and express them in terms of the determinant of theta functions. The dynamics of the breathers in the presence of various kinds of backgrounds such as dn, cn, and non-trivial phase-modulating elliptic solutions are presented, and their behaviors dependent on the effect of backgrounds are elucidated. We also determine the asymptotic behaviors for the multi-breather solutions with different velocities in the limit $t\to\pm\infty$, where the solution in the neighborhood of each breather tends to the simple one-breather solution. Furthermore, we exactly solve the linearized NLSE using the squared eigenfunction and determine the unstable spectra for elliptic function background. By using them, the Akhmediev breathers arising from these modulational instabilities are plotted and their dynamics are revealed. Finally, we provide the rogue-wave and higher-order rogue-wave solutions by taking the special limit of the breather solutions at branch points and the generalized Darboux transformation. The resulting dynamics of the rogue waves involves rich phenomena: depending on the choice of the background and possessing different velocities relative to the background. We also provide an example of the multi- and higher-order rogue wave solution.


title: On the nature of the correlated insulator states in twisted bilayer graphene

abstract: We use self-consistent Hartree-Fock calculations performed in the full $\pi$-band Hilbert space to assess the nature of the recently discovered correlated insulator states in magic-angle twisted bilayer graphene (TBG). We find that gaps between the flat conduction and valence bands open at neutrality over a wide range of twist angles, sometimes without breaking the system's valley projected ${\cal C}_{2}{\cal T}$ symmetry. Broken spin/valley flavor symmetries then enable gapped states to form not only at neutrality, but also at total moir\'e band filling $n = \pm p/4$ with integer $p = 1, 2, 3$, when the twist angle is close to the magic value at which the flat bands are most narrow. Because the magic-angle flat band quasiparticles are isolated from remote band quasiparticles only for effective dielectric constants larger than $ \sim 20$, the gapped states do not necessarily break \CT symmetry and as a consequence the insulating states at $n = \pm 1/4$ and $n = \pm 3/4$ need not exhibit a quantized anomalous Hall effect.