title: Horn-ICE Learning for Synthesizing Invariants and Contracts

abstract: We design learning algorithms for synthesizing invariants using Horn implication counterexamples (Horn-ICE), extending the ICE-learning model. In particular, we describe a decision-tree learning algorithm that learns from Horn-ICE samples, works in polynomial time, and uses statistical heuristics to learn small trees that satisfy the samples. Since most verification proofs can be modeled using Horn clauses, Horn-ICE learning is a more robust technique to learn inductive annotations that prove programs correct. Our experiments show that an implementation of our algorithm is able to learn adequate inductive invariants and contracts efficiently for a variety of sequential and concurrent programs.


title: Storage and dissipation of energy in Prabhakar viscoelasticity

abstract: In this paper, after a brief review of the physical notion of quality factor in viscoelasticity, we present a complete discussion of the attenuation processes emerging in the Maxwell-Prabhakar model, recently developed by Giusti and Colombaro. Then, taking profit of some illuminating plots, we discuss some potential connections between the presented model and the modern mathematical modelling of seismic processes.


title: Effective Optimization Criteria and Relay Selection Algorithms for Physical-Layer Security in Multiple-Antenna Relay Networks

abstract: Physical-layer security for wireless networks has become an effective approach and recently drawn significant attention in the literature. In particular, the deployment and allocation of resources such as relays to assist the transmission have gained significant interest due to their ability to improve the secrecy rate of wireless networks. In this work, we examine relay selection criteria with arbitrary knowledge of the channels of the users and the eavesdroppers. We present alternative optimization criteria based on the signal-to-interference and the secrecy rate criteria that can be used for resource allocation and that do not require knowledge of the channels of the eavesdroppers and the interference. We then develop effective relay selection algorithms that can achieve a high secrecy rate performance without the need for the knowledge of the channels of the eavesdroppers and the interference. Simulation results show that the proposed criteria and algorithms achieve excellent performance.


title: Nanofluid under Uniform Transverse Magnetic Field with a Chemical Reaction past a Stretching Sheet

abstract: An analysis is carried out to examine the effects of the steady flow of an electrically conducting viscous incompressible nanofluid in the existence of a uniform transverse magnetic field with chemical reaction over a stretching sheet considering suction or injection. The present model is demonstrated experimentally to reveal the effects of Thermophoresis and Brownian motion. Similarity solutions are investigated for the governing equations and solved numerically by using a shooting technique with fourth-order Runge-Kutta integration scheme. The impact of associated parameters on velocity profile, concentration profile and temperature profile is plotted graphically. Also the impact of local skin friction coefficient, the reduced Nusselt number and the reduced Sherwood number are discussed. The experimental setup revealed good agreement of the results with the literature.


title: Matters of Gravity, The Newsletter of the Division of Gravitational Physics of the American Physical Society, Volume 50, December 2017

abstract: DGRAV News: We hear that .... APS April Meeting Town Hall Meeting Conference Reports: Hawking Conference Benasque workshop 2017 QIQG 3 Obituary: Remembering Cecile De Witt-Morette


title: Online Calibration of the TPC Drift Time in the ALICE High Level Trigger

abstract: ALICE (A Large Ion Collider Experiment) is one of four major experiments at the Large Hadron Collider (LHC) at CERN. The High Level Trigger (HLT) is a compute cluster, which reconstructs collisions as recorded by the ALICE detector in real-time. It employs a custom online data-transport framework to distribute data and workload among the compute nodes. ALICE employs subdetectors sensitive to environmental conditions such as pressure and temperature, e.g. the Time Projection Chamber (TPC). A precise reconstruction of particle trajectories requires the calibration of these detectors. Performing the calibration in real time in the HLT improves the online reconstructions and renders certain offline calibration steps obsolete speeding up offline physics analysis. For LHC Run 3, starting in 2020 when data reduction will rely on reconstructed data, online calibration becomes a necessity. Reconstructed particle trajectories build the basis for the calibration making a fast online-tracking mandatory. The main detectors used for this purpose are the TPC and ITS (Inner Tracking System). Reconstructing the trajectories in the TPC is the most compute-intense step. We present several improvements to the ALICE High Level Trigger developed to facilitate online calibration. The main new development for online calibration is a wrapper that can run ALICE offline analysis and calibration tasks inside the HLT. On top of that, we have added asynchronous processing capabilities to support long-running calibration tasks in the HLT framework, which runs event-synchronously otherwise. In order to improve the resiliency, an isolated process performs the asynchronous operations such that even a fatal error does not disturb data taking. We have complemented the original loop-free HLT chain with ZeroMQ data-transfer components. [...]


title: Timely Feedback in Unstructured Cybersecurity Exercises

abstract: Cyber defence exercises are intensive, hands-on learning events for teams of professionals who gain or develop their skills to successfully prevent and respond to cyber attacks. The exercises mimic the real-life, routine operation of an organization which is being attacked by an unknown offender. Teams of learners receive very limited immediate feedback from the instructors during the exercise; they can usually see only a scoreboard showing the aggregated gain or loss of points for particular tasks. An in-depth analysis of learners' actions requires considerable human effort, which results in days or weeks of delay. The intensive experience is thus not followed by proper feedback facilitating actual learning, and this diminishes the effect of the exercise. In this initial work, we investigate how to provide valuable feedback to learners right after the exercise without any unnecessary delay. Based on the scoring system of a cyber defence exercise, we have developed a new feedback tool that presents an interactive, personalized timeline of exercise events. We deployed this tool during an international exercise, where we monitored participants' interactions and gathered their reflections. The results show that learners did use the new tool and rated it positively. Since this new feature is not bound to a particular defence exercise, it can be applied to all exercises that employ scoring based on the evaluation of individual exercise objectives. As a result, it enables the learner to immediately reflect on the experience gained.


title: Cosmological Analysis of Modified Holographic Ricci Dark Energy in Chern-Simons Modified Gravity

abstract: In this paper, we study the cosmological analysis of the modified holographic Ricci dark energy model and reconstruct different scalar field models in the context of Chern-Simon modified gravity. We investigate the deceleration parameter, which shows that the universe is in the accelerating expansion phase. The equation of state parameter in this case also favors the fact that dark energy is the dominant component of universe which is responsible for the accelerated expansion. A number of scalar fields, such as: quintessence, tachyon, K-essence and dilaton models are reconstructed using modified holographic Ricci dark energy model in the context of dynamical CS modified gravity. The quintessence and K-essence models represent exponentially increasing behaviors while Tachyon model shows decreasing behavior. Unfortunately, the dilaton model has no numerical solution for modified holographic Ricci dark energy model in the framework of dynamical Chern-Simon modified gravity.


title: Cosmological Analysis of Reconstructed $\mathcal{F}(T,T_\mathcal{G})$ Models

abstract: In this paper, we analyze cosmological consequences of the reconstructed generalized ghost pilgrim dark energy $\mathcal{F}(T,T_\mathcal{G})$ models in terms of redshift parameter $z$. For this purpose, we consider power-law scale factor, scale factor for two unified phases and intermediate scale factor. We discuss graphical behavior of the reconstructed models and examine their stability analysis. Also, we explore the behavior of equation of state as well as deceleration parameters and $\omega_{\Lambda}-\omega_{\Lambda}^{'}$ as well as $r-s$ planes. It is found that all models are stable for pilgrim dark energy parameter $2$. The equation of state parameter satisfies the necessary condition for pilgrim dark energy phenomenon for all scale factors. All other cosmological parameters show great consistency with the current behavior of the universe.


title: Fluctuation Theory of Ionic Solvation Potentials

abstract: This work presents a rigorous statistical mechanical theory of solvation free energies, specifically useful for describing the long-range nature of ions in an electrolyte solution. The theory avoids common issues with field theories by writing the excess chemical potential directly as a maximum-entropy variational problem in the space of solvent 1-particle density functions. The theory was developed to provide a simple physical picture of the relationship between the solution's spatial dielectric function, ion screening, and the chemical potential. The key idea is to view the direct correlation function of molecular Ornstein-Zernike theory as a Green's function for both longitudinal and transverse electrostatic dipole relaxation of the solvent. Molecular simulation data is used to calculate these direct correlation functions, and suggests that the most important solvation effects can be captured with only a screened random phase approximation. Using that approximation predicts both the Born solvation free energy and a Debye-Huckel law in close agreement with the mean spherical approximation result. These limiting cases establish the simplicity and generality of the theory, and serve as a guide to replacing local dielectric and Poisson-Boltzmann approximations.


title: Noise Budget and Interstellar Medium Mitigation Advances in the NANOGrav Pulsar Timing Array

abstract: Gravitational wave (GW) detection with pulsar timing arrays (PTAs) requires accurate noise characterization. The noise of our Galactic-scale GW detector has been systematically evaluated by the Noise Budget and Interstellar Medium Mitigation working groups within the North American Nanohertz Observatory for Gravitational Waves (NANOGrav) collaboration. Intrinsically, individual radio millisecond pulsars (MSPs) used by NANOGrav can have some degree of achromatic red spin noise, as well as white noise due to pulse phase jitter. Along any given line-of-sight, the ionized interstellar medium contributes chromatic noise through dispersion measure (DM) variations, interstellar scintillation, and scattering. These effects contain both red and white components. In the future, with wideband receivers, the effects of frequency-dependent DM will become important. Having anticipated and measured these diverse sources of detector noise, the NANOGrav PTA remains well-poised to detect low-frequency GWs.


title: Improvements of the ALICE HLT data transport framework for LHC Run 2

abstract: The ALICE HLT uses a data transport framework based on the publisher-subscriber message principle, which transparently handles the communication between processing components over the network and between processing components on the same node via shared memory with a zero copy approach. We present an analysis of the performance in terms of maximum achievable data rates and event rates as well as processing capabilities during Run 1 and Run 2. Based on this analysis, we present new optimizations we have developed for ALICE in Run 2. These include support for asynchronous transport via Zero-MQ which enables loops in the reconstruction chain graph and which is used to ship QA histograms to DQM. We have added asynchronous processing capabilities in order to support long-running tasks besides the event-synchronous reconstruction tasks in normal HLT operation. These asynchronous components run in an isolated process such that the HLT as a whole is resilient even to fatal errors in these asynchronous components. In this way, we can ensure that new developments cannot break data taking. On top of that, we have tuned the processing chain to cope with the higher event and data rates expected from the new TPC readout electronics (RCU2) and we have improved the configuration procedure and the startup time in order to increase the time where ALICE can take physics data. We analyze the maximum achievable data processing rates taking into account processing capabilities of CPUs and GPUs, buffer sizes, network bandwidth, the incoming links from the detectors, and the outgoing links to data acquisition.


title: GPU-accelerated track reconstruction in the ALICE High Level Trigger

abstract: ALICE (A Large Heavy Ion Experiment) is one of the four major experiments at the Large Hadron Collider (LHC) at CERN. The High Level Trigger (HLT) is an online compute farm which reconstructs events measured by the ALICE detector in real-time. The most compute-intensive part is the reconstruction of particle trajectories called tracking and the most important detector for tracking is the Time Projection Chamber (TPC). The HLT uses a GPU-accelerated algorithm for TPC tracking that is based on the Cellular Automaton principle and on the Kalman filter. The GPU tracking has been running in 24/7 operation since 2012 in LHC Run 1 and 2. In order to better leverage the potential of the GPUs, and speed up the overall HLT reconstruction, we plan to bring more reconstruction steps (e.g. the tracking for other detectors) onto the GPUs. There are several tasks running so far on the CPU that could benefit from cooperation with the tracking, which is hardly feasible at the moment due to the delay of the PCI Express transfers. Moving more steps onto the GPU, and processing them on the GPU at once, will reduce PCI Express transfers and free up CPU resources. On top of that, modern GPUs and GPU programming APIs provide new features which are not yet exploited by the TPC tracking. We present our new developments for GPU reconstruction, both with a focus on the online reconstruction on GPU for the online offline computing upgrade in ALICE during LHC Run 3, and also taking into account how the current HLT in Run 2 can profit from these improvements.


title: The L-CSC cluster: greenest supercomputer in the world in Green500 list of November 2014

abstract: The L-CSC (Lattice Computer for Scientific Computing) is a general purpose compute cluster built of commodity hardware installed at GSI. Its main operational purpose is Lattice QCD (LQCD) calculations for physics simulations. Quantum Chromo Dynamics (QCD) is the physical theory describing the strong force, one of the four known fundamental interactions in the universe. L-CSC leverages a multi-GPU design accommodating the huge demand of LQCD for memory bandwidth. In recent years, heterogeneous clusters with accelerators such as GPUs have become more and more powerful while supercomputers in general have shown enormous increases in power consumption making electricity costs and cooling a significant factor in the total cost of ownership. Using mainly GPUs for processing, L-CSC is very power efficient, and its architecture was optimized to provide the greatest possible power efficiency. This paper presents the cluster design as well as optimizations to improve the power efficiency. It examines the power measurements performed for the Green500 list of the most power efficient supercomputers in the world which led to the number 1 position as the greenest supercomputer in November 2014.


title: On finitely aligned left cancellative small categories, Zappa-Sz\'ep products and Exel-Pardo algebras

abstract: We consider Toeplitz and Cuntz-Krieger $C^*$-algebras associated with finitely aligned left cancellative small categories. We pay special attention to the case where such a category arises as the Zappa-Sz\'ep product of a category and a group linked by a one-cocycle. As our main application, we obtain a new approach to Exel-Pardo algebras in the case of row-finite graphs. We also present some other ways of constructing $C^*$-algebras from left cancellative small categories and discuss their relationship.


title: User-Centric Joint Transmission in Virtual-Cell-Based Ultra-Dense Networks

abstract: In ultra-dense networks (UDNs), distributed radio access points (RAPs) are configured into small virtual cells around mobile users for fair and high-throughput services. In this correspondence, we evaluate the performance of user-centric joint transmission (JT) in a UDN with a number of virtual cells. In contrast to existing cooperation schemes, which assume constant RAP transmit power, we consider a total transmit power constraint for each user, and assume that the total power is optimally allocated to the RAPs in each virtual cell using maximum ratio transmission (MRT). Based on stochastic geometry models of the RAP and user locations, we resolve the correlation of transmit powers introduced by MRT and derive the average user throughput. Numerical results show that user-centric JT with MRT provides a high signal-to-noise ratio (SNR) without generating severe interference to other co-channel users. Moreover, we show that MRT precoding, while requiring channel-state-information (CSI), is essential for the success of JT.


title: Online Reconstruction and Calibration with feed back loop in the ALICE High Level Trigger

abstract: ALICE (A Large Heavy Ion Experiment) is one of the four large scale experiments at the Large Hadron Collider (LHC) at CERN. The High Level Trigger (HLT) is an online computing farm, which reconstructs events recorded by the ALICE detector in real-time. The most compute-intense task is the reconstruction of the particle trajectories. The main tracking devices in ALICE are the Time Projection Chamber (TPC) and the Inner Tracking System (ITS). The HLT uses a fast GPU-accelerated algorithm for the TPC tracking based on the Cellular Automaton principle and the Kalman filter. ALICE employs gaseous subdetectors which are sensitive to environmental conditions such as ambient pressure and temperature and the TPC is one of these. A precise reconstruction of particle trajectories requires the calibration of these detectors. As first topic, we present some recent optimizations to our GPU-based TPC tracking using the new GPU models we employ for the ongoing and upcoming data taking period at LHC. We also show our new approach for fast ITS standalone tracking. As second topic, we present improvements to the HLT for facilitating online reconstruction including a new flat data model and a new data flow chain. The calibration output is fed back to the reconstruction components of the HLT via a feedback loop. We conclude with an analysis of a first online calibration test under real conditions during the Pb-Pb run in November 2015, which was based on these new features.


title: On the Frequency Dependency of Radio Channel's Delay Spread: Analyses and Findings From mmMAGIC Multi-frequency Channel Sounding

abstract: This paper analyzes the frequency dependency of the radio propagation channel's root mean square (rms) delay spread (DS), based on the multi-frequency measurement campaigns in the mmMAGIC project. The campaigns cover indoor, outdoor, and outdoor-to-indoor (O2I) scenarios and a wide frequency range from 2 to 86 GHz. Several requirements have been identified that define the parameters which need to be aligned in order to make a reasonable comparison among the different channel sounders employed for this study. A new modelling approach enabling the evaluation of the statistical significance of the model parameters from different measurements and the establishment of a unified model is proposed. After careful analysis, the conclusion is that any frequency trend of the DS is small considering its confidence intervals. There is statistically significant difference from the 3GPP New Radio (NR) model TR 38.901, except for the O2I scenario.


title: On reciprocal systems and controllability

abstract: In this paper, we extend classical results on (i) signature symmetric realizations, and (ii) signature symmetric and passive realizations, to systems which need not be controllable. These results are motivated in part by the existence of important electrical networks, such as the famous Bott-Duffin networks, which possess signature symmetric and passive realizations that are uncontrollable. In this regard, we provide necessary and sufficient algebraic conditions for a behavior to be realized as the driving-point behavior of an electrical network comprising resistors, inductors, capacitors and transformers.


title: Pattern-Driven Data Cleaning

abstract: Data is inherently dirty and there has been a sustained effort to come up with different approaches to clean it. A large class of data repair algorithms rely on data-quality rules and integrity constraints to detect and repair the data. A well-studied class of integrity constraints is Functional Dependencies (FDs, for short) that specify dependencies among attributes in a relation. In this paper, we address three major challenges in data repairing: (1) Accuracy: Most existing techniques strive to produce repairs that minimize changes to the data. However, this process may produce incorrect combinations of attribute values (or patterns). In this work, we formalize the interaction of FD-induced patterns and select repairs that result in preserving frequent patterns found in the original data. This has the potential to yield a better repair quality both in terms of precision and recall. (2) Interpretability of repairs: Current data repair algorithms produce repairs in the form of data updates that are not necessarily understandable. This makes it hard to debug repair decisions and trace the chain of steps that produced them. To this end, we define a new formalism to declaratively express repairs that are easy for users to reason about. (3) Scalability: We propose a linear-time algorithm to compute repairs that outperforms state-of-the-art FD repairing algorithms by orders of magnitude in repair time. Our experiments using both real-world and synthetic data demonstrate that our new repair approach consistently outperforms existing techniques both in terms of repair quality and scalability.


title: Comparing Radio Propagation Channels Between 28 and 140 GHz Bands in a Shopping Mall

abstract: In this paper, we compare the radio propagation channels characteristics between 28 and 140 GHz bands based on the wideband (several GHz) and directional channel sounding in a shopping mall environment. The measurements and data processing are conducted in such a way to meet requirements for a fair comparison of large- and small- scale channel parameters between the two bands. Our results reveal that there is high spatial-temporal correlation between 28 and 140 GHz channels, similar numbers of strong multipath components, and only small variations in the large-scale parameters between the two bands. Furthermore, when including the weak paths there are higher total numbers of clusters and paths in 28 GHz as compared to those in 140 GHz bands. With these similarities, it would be very interesting to investigate the potentials of using 140 GHz band in the future mobile radio communications.


title: Multi-View Sparse Vector Decomposition to Deal With Missing Values in Alcohol Dependence Study

abstract: Due to the heterogeneity of the phenotype defined by Diagnostic and Statistical Manual of Mental Disorders (DSM) IV, it is not an optimal option to identify the genetic variation that underlies the risk for alcohol dependence (AD) and identifying subtypes of AD becomes an important topic. Traditional unsupervised cluster analysis and latent class analysis are the most commonly used methods to obtain the subtypes, but without the guidance of the genetic information, all these methods may lead to subtypes of little utility in genetic analysis. Recently, some multi-view co-clustering methods are proposed to ameliorate this drawback. However, these new methods did not take the missing values inside the data into consideration. To get around this limitation, we extended one of the multi-view methods to dealing with the missing values and clustering simultaneously. We applied this method to 2230 European-American sample and found that the well-known generic variant rs1229984 (in the ADH1B candidate gene) for the subtype is more significant than that corresponding to case-control association test. Finally, we verify it on the 1707 replication sample and find it significant, too.


title: The Census and the Second Law: An Entropic Approach to Optimal Apportionment for the U.S. House of Representatives

abstract: The Constitutionally mandated task of assigning Congressional seats to the various U.S. States proportional to their represented populations ("according to their numbers") has engendered much contention, but rather less consensus. Using the same principles of entropic inference that underlie the foundations of information theory and statistical thermodynamics, and also enjoy fruitful application in image processing, spectral analysis, machine learning, econometrics, bioinformatics, and a growing number of other fields, we motivate and explore a method for Congressional apportionment based on minimizing relative entropy (also known as Kullback-Leibler divergence), or, equivalently, maximizing Shannon entropy. In terms of communication theory, we might say that the entropic apportionment gives each constituent as equal a voice as possible. If we view representational weight as a finite resource to be distributed amongst the represented population, the entropic measure is identical with the Theil index long employed in economics to measure inequality in the distribution of wealth or income, or in ecology to measure the distribution of biomass or reproductive fitness. Besides Congressional apportionment, the method is also directly applicable to other multi-regional or multi-constituency legislatures, to party-list proportional voting systems used in various parliamentary elections, and similar settings, where the task is to allocate a discrete number of seats or other resources, and the primary goal is one of maximal proportionality or equity. In addition, the same entropic figure-of-merit can be used in parallel to compare different choices for the total number of representatives, and then subsequently to assess different Congressional district sizes, after seats are assigned and proposed district boundaries drawn.


title: Photonic force optical coherence elastography for three-dimensional mechanical microscopy

abstract: Optical tweezers are an invaluable tool for non-contact trapping and micro-manipulation, but their ability to facilitate high-throughput volumetric microrheology of biological samples for mechanobiology research is limited by the precise alignment associated with the excitation and detection of individual bead oscillations. In contrast, radiation pressure from a low numerical aperture optical beam can apply transversely localized force over an extended depth range. We propose photonic force optical coherence elastography (PF-OCE), leveraging phase-sensitive interferometric detection to track sub-nanometre oscillations of beads, embedded in viscoelastic hydrogels, induced by modulated radiation pressure. Since the displacements caused by ultra-low radiation-pressure force are typically obscured by absorption-mediated thermal effects, mechanical responses of the beads were isolated after independent measurement and decoupling of the photothermal response of the hydrogels. Volumetric imaging of bead mechanical responses in hydrogels with different agarose concentrations by PF-OCE was consistent with bulk mechanical characterization of the hydrogels by shear rheometry.


title: J\'onsson posets

abstract: According to Kearnes and Oman (2013), an ordered set $P$ is \emph{J\'onsson} if it is infinite and the cardinality of every proper initial segment of $P$ is strictly less than the cardinaliy of $P$. We examine the structure of J\'onsson posets.


title: Dynamic Game-based Maintenance Scheduling of Integrated Electric and Natural Gas Grids with a Bilevel Approach

abstract: This paper proposes a dynamic game-based maintenance scheduling mechanism for the asset owners of the natural gas grid and the power grid by using a bilevel approach. In the upper level, the asset owners of the natural gas grid and the power grid schedule maintenance to maximize their own revenues. This level is modeled as a dynamic game problem, which is solved by the backward induction algorithm. In the lower level, the independent system operator (ISO) dispatches the system to minimize the loss of power load and natural gas load in consideration of the system operating conditions under maintenance plans from the asset owners in the upper level. This is modeled as a mixed integer linear programming problem. For the model of the natural gas grid, a piecewise linear approximation associated with the big-M approach is used to transform the original nonlinear model into the mixed integer linear model. Numerical tests on a 6-bus system with a 4-node gas grid show the effectiveness of the proposed model.


title: Letter-Based Speech Recognition with Gated ConvNets

abstract: In the recent literature, "end-to-end" speech systems often refer to letter-based acoustic models trained in a sequence-to-sequence manner, either via a recurrent model or via a structured output learning approach (such as CTC). In contrast to traditional phone (or senone)-based approaches, these "end-to-end'' approaches alleviate the need of word pronunciation modeling, and do not require a "forced alignment" step at training time. Phone-based approaches remain however state of the art on classical benchmarks. In this paper, we propose a letter-based speech recognition system, leveraging a ConvNet acoustic model. Key ingredients of the ConvNet are Gated Linear Units and high dropout. The ConvNet is trained to map audio sequences to their corresponding letter transcriptions, either via a classical CTC approach, or via a recent variant called ASG. Coupled with a simple decoder at inference time, our system matches the best existing letter-based systems on WSJ (in word error rate), and shows near state of the art performance on LibriSpeech.


title: A point mass and continuous collapse to a point mass in general relativity

abstract: An original way of presentation of the Schwarzschild black hole in the form of a point-like mass with making the use of the Dirac $\delta$-function, including a description of a continuous collapse to such a point mass, is given. A maximally generalized description restricted by physically reasonable requirements is developed. A so-called field-theoretical formulation of general relativity, being equivalent to the standard geometrical presentation of general relativity, is used. All of the dynamical fields, including the gravitational field, are considered as propagating in a background (curved or flat) spacetime. Namely these properties allow us to present a non-contradictive picture of the point mass description. The results can be useful for studying the structure of the black hole true singularities and could be developed for practical calculations in models with black holes.


title: Colors of Dwarf Ellipticals from GALEX to WISE

abstract: Multi-color photometry is presented for a sample of 60 dwarf ellipticals (dE) selected by morphology. The sample uses data from GALEX, SDSS and WISE to investigate the colors in filters NUV, ugri and W1 (3.4mum). We confirm the blueward shift in the color-magnitude relation for dwarf ellipticals, compared to CMR for bright ellipticals, as seen in previous studies. However, we find the deviation in color across the UV to near-IR for dE's is a strong signal of a younger age for dwarf ellipticals, one that indicates decreasing mean age with lower stellar mass. Lower mass dE's are found to have mean ages of 4 Gyrs and mean [Fe/H] values of -1.2. Age and metallicity increase to the most massive dE's with mean ages similar to normal ellipticals (12 Gyrs) and their lowest metallicities ([Fe/H] = -0.3). Deduced initial star formation rates for dE's, combined with their current metallicities and central stellar densities, suggests a connection between field LSB dwarfs and cluster dE's, where the cluster environment halts star formation for dE's triggering a separate evolutionary path.


title: Microscopic description of fission in odd-mass uranium and plutonium nuclei with the Gogny energy density functional

abstract: The parametrization D1M of the Gogny energy density functional is used to study fission in the odd-mass Uranium and Plutonium isotopes with A=233,\ldots,249 within the framework of the Hartree-Fock-Bogoliubov (HFB) Equal Filling Approximation (EFA). Ground state quantum numbers and deformations, pairing energies, one-neutron separation energies, barrier heights and fission isomer excitation energies are given. Fission paths, collective masses and zero point rotational and vibrational quantum corrections are used to compute the systematic of the spontaneous fission half-lives t$_{SF}$, the masses and charges of the fission fragments as well as their intrinsic shapes. Although there exits a strong variance of the predicted fission rates with respect to the details involved in their computation, it is shown that both the specialization energy and the pairing quenching effects, taken into account fully variationally within the HFB-EFA blocking scheme, lead to larger spontaneous fission half-lives in odd-mass U and Pu nuclei as compared with the corresponding even-even neighbors. It is shown that modifications of a few percent in the strengths of the neutron and proton pairing fields can have a significant impact on the collective masses leading to uncertainties of several orders of magnitude in the predicted t$_{SF}$ values. Alpha-decay lifetimes have also been computed using a parametrization of the Viola-Seaborg formula.


title: Taking Visual Motion Prediction To New Heightfields

abstract: While the basic laws of Newtonian mechanics are well understood, explaining a physical scenario still requires manually modeling the problem with suitable equations and estimating the associated parameters. In order to be able to leverage the approximation capabilities of artificial intelligence techniques in such physics related contexts, researchers have handcrafted the relevant states, and then used neural networks to learn the state transitions using simulation runs as training data. Unfortunately, such approaches are unsuited for modeling complex real-world scenarios, where manually authoring relevant state spaces tend to be tedious and challenging. In this work, we investigate if neural networks can implicitly learn physical states of real-world mechanical processes only based on visual data while internally modeling non-homogeneous environment and in the process enable long-term physical extrapolation. We develop a recurrent neural network architecture for this task and also characterize resultant uncertainties in the form of evolving variance estimates. We evaluate our setup to extrapolate motion of rolling ball(s) on bowls of varying shape and orientation, and on arbitrary heightfields using only images as input. We report significant improvements over existing image-based methods both in terms of accuracy of predictions and complexity of scenarios; and report competitive performance with approaches that, unlike us, assume access to internal physical states.


title: Field- and time-normalization of data with many zeros: An empirical analysis using citation and Twitter data

abstract: Thelwall (2017a, 2017b) proposed a new family of field- and time-normalized indicators, which is intended for sparse data. These indicators are based on units of analysis (e.g., institutions) rather than on the paper level. They compare the proportion of mentioned papers (e.g., on Twitter) of a unit with the proportion of mentioned papers in the corresponding fields and publication years (the expected values). We propose a new indicator (Mantel-Haenszel quotient, MHq) for the indicator family. The MHq goes back to the MH analysis. This analysis is an established method, which can be used to pool the data from several 2x2 cross tables based on different subgroups. We investigate (using citations and assessments by peers, i.e., F1000Prime recommendations) whether the indicator family (including the MHq) can distinguish between quality levels defined by the assessments of peers. Thus, we test the convergent validity. We find that the MHq is able to distinguish between quality levels (in most cases) while other indicators of the family are not. Since our study approves the MHq as a convergent valid indicator, we apply the MHq to four different Twitter groups as defined by the company Altmetric (e.g., science communicators). Our results show that there is a weak relationship between all four Twitter groups and scientific quality, much weaker than between citations and scientific quality. Therefore, our results discourage the use of Twitter counts in research evaluation.


title: Emergent dynamic structures and statistical law in spherical lattice gas automata

abstract: Various lattice gas automata have been proposed in the past decades to simulate physics and address a host of problems on collective dynamics arising in diverse fields. In this work, we employ the lattice gas model defined on the sphere to investigate the curvature driven dynamic structures and analyze the statistical behaviors in equilibrium. Under the simple propagation and collision rules, we show that the uniform collective movement of the particles on the sphere is geometrically frustrated, leading to several non-equilibrium dynamic structures not found in the planar lattice, such as the emergent bubble and vortex structures. With the accumulation of the collision effect, the system ultimately reaches equilibrium in the sense that the distribution of the coarse-grained speed approaches the two-dimensional Maxwell-Boltzmann distribution despite the population fluctuations in the coarse-grained cells. The emergent regularity in the statistical behavior of the system is rationalized by mapping our system to a generalized random walk model. This work demonstrates the capability of the spherical lattice gas automaton in revealing the lattice-guided dynamic structures and simulating the equilibrium physics. It suggests the promising possibility of using lattice gas automata defined on various curved surfaces to explore geometrically driven non-equilibrium physics.


title: Homoclinic Bifurcations: our collaboration with Jean-Christophe Yoccoz

abstract: We briefly describe our works in collaboration with Jean-Christophe Yoccoz, a great mathematician and friend, with special emphasis on those related to Homoclinic Bifurcations and Fractal Geometry. We also tell some related personal stories.


title: A new definition of random sets

abstract: A new definition of random sets is proposed. It is based on the distance in measurable space and uses negative definite kernels for continuation from initial space to that of random sets. This approach has no connection to Hausdorff distance between sets. Key words: random sets; measurable space; negative definite kernels; Hilbert space isometries.


title: Electro-optic and magneto-optic photonic devices based on multilayers photonic structures

abstract: In this work we describe different types of photonic structures that allow tunability of the photonic band gap upon the application of external stimuli, as the electric or magnetic field. We review and compare two porous 1D photonic crystals: in the first one a liquid crystal has been infiltrated in the pores of the nanoparticle network, while in the second one the optical response to the electric field of metallic nanoparticles has been exploited. Then, we present a 1D photonic crystal made with indium tin oxide (ITO) nanoparticles, and we propose this system for electro-optic tuning. Finally, we describe a microcavity with a defect mode that is tuned in the near infrared by the magnetic field, envisaging a contact-less magneto-optic switch. These optical switches can find applications in ICT and electrochromic windows.


title: Higher Theory and the Three Problems of Physics

abstract: According to the Butterfield--Isham proposal, to understand quantum gravity we must revise the way we view the universe of mathematics. However, this paper demonstrates that the current elaborations of this programme neglect quantum interactions. The paper then introduces the Faddeev--Mickelsson anomaly which obstructs the renormalization of Yang--Mills theory, suggesting that to theorise on many-particle systems requires a many-topos view of mathematics itself: higher theory. As our main contribution, the topos theoretic framework is used to conceptualise the fact that there are principally three different quantisation problems, the differences of which have been ignored not just by topos physicists but by most philosophers of science. We further argue that if higher theory proves out to be necessary for understanding quantum gravity, its implications to philosophy will be foundational: higher theory challenges the propositional concept of truth and thus the very meaning of theorising in science.

categories: physics.hist-ph math-ph math.CT math.HO math.MP quant-ph


title: Nonsingular Schwarzschild-de Sitter Black Hole

abstract: We combine notions of a maximal curvature scale in nature with that of a minimal curvature scale to construct a non-singular Schwarzschild-de Sitter black hole. We present an exact solution within the context of two-dimensional dilaton gravity. For a range of parameters the solution approaches Schwarzschild-de Sitter at large values of the radial coordinate, asymptotically approaching a de Sitter metric with constant minimal curvature, while approaching a maximal constant curvature smooth spacetime as the radial coordinate approaches zero. The spacetime is geodesically complete and generically has both a black hole horizon and a cosmological horizon.


title: On 'categories' of quantum field theories

abstract: We give a rough description of the 'categories' formed by quantum field theories. A few recent mathematical conjectures derived from quantum field theories, some of which are now proven theorems, will be presented in this language.


title: Bounding the number of nodal domains of eigenfunctions without singular points on the square

abstract: We prove Polterovich's conjecture concerning the growth of the number of nodal domains for eigenfunctions on a unit square domain, under the assumption that the eigenfunctions do not have any singular points.


title: Multi-modal Geolocation Estimation Using Deep Neural Networks

abstract: Estimating the location where an image was taken based solely on the contents of the image is a challenging task, even for humans, as properly labeling an image in such a fashion relies heavily on contextual information, and is not as simple as identifying a single object in the image. Thus any methods which attempt to do so must somehow account for these complexities, and no single model to date is completely capable of addressing all challenges. This work contributes to the state of research in image geolocation inferencing by introducing a novel global meshing strategy, outlining a variety of training procedures to overcome the considerable data limitations when training these models, and demonstrating how incorporating additional information can be used to improve the overall performance of a geolocation inference model. In this work, it is shown that Delaunay triangles are an effective type of mesh for geolocation in relatively low volume scenarios when compared to results from state of the art models which use quad trees and an order of magnitude more training data. In addition, the time of posting, learned user albuming, and other meta data are easily incorporated to improve geolocation by up to 11% for country-level (750 km) locality accuracy to 3% for city-level (25 km) localities.


title: Superconductivity-induced features in electronic Raman spectrum of monolayer graphene

abstract: Using the continuum model, we investigate theoretically contribution of the low-energy electronic excitations to the Raman spectrum of superconducting monolayer graphene. We consider superconducting phases characterised by an isotropic order parameter in a single valley and find a Raman peak at a shift set by the size of the superconducting gap. The height of this peak is proportional to the square root of the gap and the third power of the Fermi level, and we estimate its quantum efficiency as $I\sim10^{-14}$.


title: Serial-parallel conversion for single photons with heralding signals

abstract: We present serial-parallel conversion for a heralded single photon source (heralded SPS). We theoretically show that with the heralding signal, the serial-parallel converter can route a stream of n photons to n different spatial modes more efficiently than is the case without using a heralding signal. We also experimentally demonstrate serial-parallel conversion for two photons generated from a heralded SPS. We achieve a conversion efficiency of 0.533 \pm 0.003, which exceeds the maximum achievable efficiency of 0.5 for serial-parallel conversion using unheralded photons, and is double the efficiency (0.25) for that using beamsplitters. When the losses in the optical converter are corrected for, the efficiency of the current setup can be increased up to 0.996 \pm 0.006.


title: Amenability and unique ergodicity of automorphism groups of countable homogeneous directed graphs

abstract: We study the automorphism groups of countable homogeneous directed graphs (and some additional homogeneous structures) from the point of view of topological dynamics. We determine precisely which of these automorphism groups are amenable (in their natural topologies). For those which are amenable, we determine whether they are uniquely ergodic, leaving unsettled precisely one case (the "semi-generic" complete multipartite directed graph). We also consider the Hrushovski property. For most of our results we use the various techniques of [3], suitably generalized to a context in which the universal minimal flow is not necessarily the space of all orders. Negative results concerning amenability rely on constructions of the type considered in [26]. An additional class of structures (compositions) may be handled directly on the basis of very general principles. The starting point in all cases is the determination of the universal minimal flow for the automorphism group, which in the context of countable homogeneous directed graphs is given in [10] and the papers cited therein.


title: Individual Sensing can Gain more Fitness than its Information

abstract: Mutual information and its causal variant, directed information, have been widely used to quantitatively characterize the performance of biological sensing and information transduction. However, once coupled with selection in response to decision-making, the sensing signal could have more or less evolutionary value than its mutual or directed information. In this work, we show that an individually sensed signal always has a better fitness value, on average, than its mutual or directed information. The fitness gain, which satisfies fluctuation relations (FRs), is attributed to the selection of organisms in a population that obtain a better sensing signal by chance. A new quantity, similar to the coarse-grained entropy production in information thermodynamics, is introduced to quantify the total fitness gain from individual sensing, which also satisfies FRs. Using this quantity, the optimizing fitness gain from individual sensing is shown to be related to fidelity allocations for individual environmental histories. Our results are supplemented by numerical verifications of FRs, and a discussion on how this problem is linked to information encoding and decoding.


title: The classification of simple separable KK-contractible C*-algebras with finite nuclear dimension

abstract: The class of simple separable KK-contractible (KK-equivalent to $\{0\}$) C*-algebras which have finite nuclear dimension is shown to be classified by the Elliott invariant. In particular, the class of C*-algebras $A\otimes \mathcal W$ is classifiable, where $A$ is a simple separable C*-algebra with finite nuclear dimension and $\mathcal W$ is the simple inductive limit of Razak algebras with unique trace, which is bounded.


title: Entanglement entropy on a fuzzy sphere with a UV cutoff

abstract: We introduce a UV cutoff into free scalar field theory on the noncommutative (fuzzy) two-sphere. Due to the IR-UV connection, varying the UV cutoff allows us to control the effective nonlocality scale of the theory. In the resulting fuzzy geometry, we establish which degrees of freedom lie within a specific geometric subregion and compute the associated vacuum entanglement entropy. Entanglement entropy for regions smaller than the effective nonlocality scale is extensive, while entanglement entropy for regions larger than the effective nonlocality scale follows the area law. This reproduces features previously obtained in the strong coupling regime through holography. We also show that mutual information is unaffected by the UV cutoff.


title: Understanding the properties of $\Xi(1690)$ and $\Xi(2120)$

abstract: In this manuscript we discuss the results of our recent study on $\Xi$ resonances. We have studied meson-baryon interaction with strangeness $-2$ by solving scattering equations in a coupled channel approach and found that the dynamics gives rise to the development of two poles in the complex plane close to the real axis. The corresponding narrow states have isospin half and spin half in one case and spin 3/2 in the other case. We find that the properties of the isospin and spin 1/2 state are strikingly similar to $\Xi(1690)$, while the state with spin 3/2 can be related to $\Xi(2120)$. We find that our results on $\Xi(1690)$ are in good agreement with the data available from the BELLE and BABAR Collaborations. Our formalism consists of treating pseudoscalar-baryon and vector-baryon channels on an equal footing. Since the thresholds of such channels are distributed over a relatively larger energy range, we obtain all interaction kernels needed to solve the Bethe-Salpeter equation without resorting to any nonrelativistic approximation even though the amplitudes are calculated at low energies.


title: Semiclassical theory of front propagation and front equilibration following an inhomogeneous quantum quench

abstract: We use a semiclassical approach to study out of equilibrium dynamics and transport in quantum systems with massive quasiparticle excitations having internal quantum numbers. In the universal limit of low energy quasiparticles, the system is described in terms of a classical gas of colored hard-core particles. Starting from an inhomogeneous initial state, in this limit we give analytic expressions for the space and time dependent spin density and spin current profiles. Depending on the initial state, the spin transport is found to be ballistic or diffusive. In the ballistic case we identify a `second front' that moves more slowly than the maximal quasiparticle velocity. Our analytic results also capture the diffusive broadening of this ballistically propagating front. To go beyond the universal limit, we study the effect of non-trivial scattering processes in the $O(3)$ non-linear sigma model by performing Monte Carlo simulations, and observe local equilibration around the second front in terms of the densities of the particle species.


title: Mysterious Properties of the Point at Infinity

abstract: From the viewpoints of the division by zero $1/0=0/0=z/0=0$ and the division by zero calculus, we will examine the mysterious properties of the point at infinity in the sense of the Alexandroff one compactification of the complex plane which is realized by the stereographic projection.


title: An analysis of the Lattice QCD spectra for $D^*_{s0}(2317)$ and $D^*_{s1}(2460)$

abstract: In this talk I present the results obtained using effective field theories in a finite volume from a reanalysis of lattice data on the $KD^{(*)}$ systems, where bound states of $KD$ and $KD^*$ are found and associated with the states $D^*_{s0}(2317)$ and $D^*_{s1}(2460)$, respectively. We confirm the presence of such states on the lattice data and determine the weight of the $KD$ channel in the wave function of $D^*_{s0}(2317)$ and that of $KD^*$ in the wave function of $D^*_{s1}(2460)$. Our results indicate a large meson-meson component in both cases.


title: Closed-Form Coverage Probability for Downlink Poisson Network with Double Shadowed Fading

abstract: Performances of cellular networks over {\kappa}-{\mu} shadowed fading with long-term shadowing has been studied in the existing literature. However, the impact of {\kappa}-{\mu} shadowed fading with instantaneous shadowing on performances of cellular networks is unknown. Therefore, this letter analyzes the downlink coverage probability of a Poisson network with double shadowed fading which is composed of a large-scale fading of lognormal distribution and {\kappa}-{\mu} shadowed fading with integer fading parameters. The closest base station association rule without shadowing is considered. For analytical tractability, the double shadowed fading is approximated as a weighted sum of {\kappa}-{\mu} shadowed distributions based on the Gaussian-Hermit quadrature. As a main theoretical result, a closed-form expression for the downlink coverage probability of a Poisson network under double shadowed fading for the desired signal and arbitrary fading for the interfering signals is successfully derived. Numerical simulations reveal that the double shadowed fading provides a pessimistic coverage on a Poisson network compared with the long-term shadowing which is incorporated into cell selection.


title: Liquid Crystal Colloids

abstract: Colloids are abundant in nature, science and technology, with examples ranging from milk to quantum dots and the "colloidal atom" paradigm. Similarly, liquid crystal ordering is important in contexts ranging from biological membranes to laboratory models of cosmic strings and liquid crystal displays in consumer devices. Some of the most exciting recent developments in both of these soft matter fields emerge at their interface, in the fast-growing research arena of liquid crystal colloids. Mesoscale self-assembly in such systems may lead to artificial materials and structures with emergent physical behavior arising from patterning of molecular order and nano- or micro-particles into precisely controlled configurations. Liquid crystal colloids show an exceptional promise of new discovery that may impinge on the composite material fabrication, low-dimensional topology, photonics, and so on. Starting from physical underpinnings, I review the state of art in this fast-growing field, with a focus on its scientific and technological potential.


title: Using Ramsey theory to measure unavoidable spurious correlations in Big Data

abstract: Given a dataset we quantify how many patterns must always exist in the dataset. Formally this is done through the lens of Ramsey theory of graphs, and a quantitative bound known as Goodman's theorem. Combining statistical tools with Ramsey theory of graphs gives a nuanced understanding of how far away a dataset is from random, and what qualifies as a meaningful pattern. This method is applied to a dataset of repeated voters in the 1984 US congress, to quantify how homogeneous a subset of congressional voters is. We also measure how transitive a subset of voters is. Statistical Ramsey theory is also used with global economic trading data to provide evidence that global markets are quite transitive.


title: Construction and application of algebraic dual polynomial representations for finite element methods on quadrilateral and hexahedral meshes

abstract: Given a sequence of finite element spaces which form a de Rham sequence, we will construct a dual representation of these spaces with associated differential operators which connect these spaces such that they also form a de Rham sequence. The matrix which converts primal representations to dual representations -- the Hodge matrix -- is the mass or Gram matrix. It will be shown that a bilinear form of a primal and a dual representation is equal to the vector inner product of the expansion coefficients (degrees of freedom) of both representations. This leads to very sparse system matrices, even for high order methods. The derivative of dual representations will be defined. Vector operations, grad, curl and div, for primal and dual representations are both topological and do not depend on the metric, i.e. the size and shape of the mesh or the order of the numerical method. Derivatives are evaluated by applying sparse incidence and inclusion matrices to the expansion coefficients of the representations. As illustration of the use of dual representations, the method will be applied to i) a mixed formulation for the Poisson problem in 3D, ii) it will be shown that this approach allows one to preserve the equivalence between Dirichlet and Neumann problems in the finite dimensional setting and, iii) the method will be applied to the approximation of grad-div eigenvalue problem on affine and non-affine meshes.


title: Sketching for Kronecker Product Regression and P-splines

abstract: TensorSketch is an oblivious linear sketch introduced in Pagh'13 and later used in Pham, Pagh'13 in the context of SVMs for polynomial kernels. It was shown in Avron, Nguyen, Woodruff'14 that TensorSketch provides a subspace embedding, and therefore can be used for canonical correlation analysis, low rank approximation, and principal component regression for the polynomial kernel. We take TensorSketch outside of the context of polynomials kernels, and show its utility in applications in which the underlying design matrix is a Kronecker product of smaller matrices. This allows us to solve Kronecker product regression and non-negative Kronecker product regression, as well as regularized spline regression. Our main technical result is then in extending TensorSketch to other norms. That is, TensorSketch only provides input sparsity time for Kronecker product regression with respect to the $2$-norm. We show how to solve Kronecker product regression with respect to the $1$-norm in time sublinear in the time required for computing the Kronecker product, as well as for more general $p$-norms.


title: Generic absence of strong singularities in loop quantum Bianchi-IX spacetimes

abstract: We study the generic resolution of strong singularities in loop quantized effective Bianchi-IX spacetime in two different quantizations - the connection operator based `A' quantization and the extrinsic curvature based `K' quantization. We show that in the effective spacetime description with arbitrary matter content, it is necessary to include inverse triad corrections to resolve all the strong singularities in the `A' quantization. Whereas in the `K' quantization these results can be obtained without including inverse triad corrections. Under these conditions, the energy density, expansion and shear scalars for both of the quantization prescriptions are bounded. Notably, both the quantizations can result in potentially curvature divergent events if matter content allows divergences in the partial derivatives of the energy density with respect to the triad variables at a finite energy density. Such events are found to be weak curvature singularities beyond which geodesics can be extended in the effective spacetime. Our results show that all potential strong curvature singularities of the classical theory are forbidden in Bianchi-IX spacetime in loop quantum cosmology and geodesic evolution never breaks down for such events.


title: A refinement of the Robertson-Schr\"odinger uncertainty principle and a Hirschman-Shannon inequality for Wigner distributions

abstract: We propose a refinement of the Robertson-Schrodinger uncertainty principle (RSUP) using Wigner distributions. This new principle is stronger than the RSUP. In particular, and unlike the RSUP, which can be saturated by many phase space functions, the refined RSUP can be saturated by pure Gaussian Wigner functions only. Moreover, the new principle is technically as simple as the standard RSUP. In addition, it makes a direct connection with modern harmonic analysis, since it involves the Wigner transform and its symplectic Fourier transform, which is the radar ambiguity function. As a by-product of the refined RSUP, we derive inequalities involving the entropy and the covariance matrix of Wigner distributions. These inequalities refine the Shanon and the Hirschman inequalities for the Wigner distribution of a mixed quantum state $\rho$. We prove sharp estimates which critically depend on the purity of $\rho$ and which are saturated in the Gaussian case.


title: Stochastic adding machines based on Bratteli diagrams

abstract: In this paper, we define some Markov Chains associated to Vershik maps on Bratteli diagrams. We study probabilistic and spectral properties of their transition operators and we prove that the spectra of these operators are connected to Julia sets in higher dimensions. We also study topological properties of these spectra.


title: The Strongly Antimagic labelings of Double Spiders

abstract: A graph $G=(V,E)$ is strongly antimagic, if there is a bijective mapping $f: E \to \{1,2,\ldots,|E|\}$ such that for any two vertices $u\neq v$, not only $\sum_{e \in E(u)}f(e) \ne \sum_{e\in E(v)}f(e)$ and also $\sum_{e \in E(u)}f(e) < \sum_{e\in E(v)}f(e)$ whenever $\deg(u)< \deg(v) $, where $E(u)$ is the set of edges incident to $u$. In this paper, we prove that double spiders, the trees contains exactly two vertices of degree at least 3, are strongly antimagic.


title: A comprehensive high-order solver verification methodology for free fluid flows

abstract: The aim of this article is to present a comprehensive methodology for the verification of computational fluid dynamics (CFD) solvers with a special attention to aspects pertinent to discretizations with orders of accuracy (OOAs) higher than two. The method of manufactured solutions (MMS) is adopted and a series of manufactured solutions (MSs) is introduced that examines various components of CFD solvers for free flows (not bounded by walls), including inviscid, laminar and turbulent problems when the latter are modelled by the Reynolds-averaged Navier-Stokes (RANS) equations. The treatment of curved elements is also examined. These MSs are furthermore conceived with demonstrated suitability for the verification of OOAs up to the sixth. Each MS is as well utilized to discuss salient aspects useful to the code verification methodology such as the relative qualities of the most useful norms in measuring the discretization error, the sensitivity analysis of the verification process to forcing function terms, the relation between residual minimization and discretization error convergence in iterative solutions and finally the sensitivity of high-order discretizations to grid stretching and self-similarity. Furthermore, scripts and code are provided as accompanying material to assist the interested reader in reproducing the verification results of each manufactured solution (MS).


title: Analysis of BOLD fMRI Signal Preprocessing Pipeline on Different Datasets while Reducing False Positive Rates

abstract: The technology of functional Magnetic Resonance Imaging (fMRI) based on Blood Oxygen Level Dependent (BOLD) signal has been widely used in clinical treatments and brain function researches. The BOLD signal has to be preprocessed before being analyzed using either functional connectivity measurements or statistical methods. Current researches show that data preprocessing steps may influence the results of analysis, yet there is no consensus on preprocessing method. In this paper, an evaluation method is proposed for analyzing the preprocessing pipeline of resting state BOLD fMRI (rs-BOLD fMRI) data under putative task experiment designs to cast some lights on the preprocessing stage, covering both first and second level analysis. The choices of preprocessing parameters and steps are altered to investigate preprocessing pipelines while observing statistical analysis results, trying to reduce false positives as reported by Eklund et al. in their 2016 PNAS paper. All of the experiment data are separated into 7 datasets, consisting of 220 healthy control samples and 136 patient data that are from 38 incomplete Spinal Cord Injury (SCI) patients and 16 Cerebral Stroke (CS) patients, including multiple scans of some patients at different time. These data were acquired from two different MRI scanners, which may cause difference in analysis results. The evaluation result shows that it has little effect to change parameters in each steps of the classical preprocessing pipeline, which consists head motion correction, normalization and smoothing. Removing time points and the following detrend step can reduce false positives. However, covariates regression and filtering has complicated effects on the data. Note that for single subject analysis, false positives declined consistently after filtering. The result of patient data and healthy controls data which are scanned under the same machine with ...


title: Robust and discriminative zero-watermark scheme based on invariant feature and similarity-based retrieval for protecting large-scale DIBR 3D videos

abstract: Digital rights management (DRM) of depth-image-based rendering (DIBR) 3D video is an emerging area of research. Existing schemes for DIBR 3D video cause video distortions, are vulnerable to severe signal and geometric attacks, cannot protect 2D frame and depth map independently or can hardly deal with large-scale videos. To address these issues, a novel zero-watermark scheme based on invariant feature and similarity-based retrieval for protecting DIBR 3D video (RZW-SR3D) is proposed in this study. In RZW-SR3D, invariant features are extracted to generate master and ownership shares for providing distortion-free, robust and discriminative copyright identification under various attacks. Different from traditional zero-watermark schemes, features and ownership shares are stored correlatively, and a similarity-based retrieval phase is designed to provide effective solutions for large-scale videos. In addition, flexible mechanisms based on attention-based fusion are designed to protect 2D frame and depth map independently and simultaneously. Experimental results demonstrate that RZW-SR3D have superior DRM performances than existing schemes. First, RZW-SR3D can extracted the ownership shares relevant to a particular 3D video precisely and reliably for effective copyright identification of large-scale videos. Second, RZW-SR3D ensures lossless, precise, reliable and flexible copyright identification for 2D frame and depth map of 3D videos.


title: Evolution of the cluster optical galaxy luminosity function in the CFHTLS : breaking the degeneracy between mass and redshift

abstract: Obtaining large samples of galaxy clusters is important for cosmology, since cluster counts as a function of redshift and mass can constrain the parameters of our Universe. They are also useful to understand the formation and evolution of clusters. We develop an improved version of the AMACFI cluster finder (now AMASCFI) and apply it to the 154 deg2 of the Canada France Hawaii Telescope Legacy Survey (CFHTLS) to obtain a catalogue of 1371 cluster candidates with mass M200 > 10^14 Msun and redshift z < 0.7. We derive the selection function of AMASCFI from the Millennium simulation, and cluster masses from a richness-mass scaling relation built from matching our candidates with X-ray detections. We study the evolution of these clusters with mass and redshift by computing the i'-band galaxy luminosity functions (GLFs) for the early (ETGs) and late-type galaxies (LTGs). This sample is 90% pure and 70% complete, therefore our results are representative the cluster population in these redshift and mass ranges. We find an increase of both the ETG and LTG faint populations with decreasing redshift (with Schechter slopes alpha_ETG = -0.65 +/- 0.03 at z=0.6 and alpha_ETG = -0.79 +\- 0.02 at z=0.2) and also a decrease of the LTG bright end, but not of the ETG's. Our large sample allows us to break the degeneracy between mass and redshift, finding that the redshift evolution is more pronounced in high-mass clusters, but that there is no significant dependence of the faint end on mass for a given redshift. These results show that the cluster red sequence is mainly formed at redshift z > 0.7, and that faint ETGs continue to enrich the red sequence through quenching of brighter LTGs at z < 0.7. The efficiency of this quenching is higher in large-mass clusters while the accretion rate of faint LTGs is lower as the more massive clusters have already emptied most of their environment at higher redshifts.


title: Robust Loss Functions under Label Noise for Deep Neural Networks

abstract: In many applications of classifier learning, training data suffers from label noise. Deep networks are learned using huge training data where the problem of noisy labels is particularly relevant. The current techniques proposed for learning deep networks under label noise focus on modifying the network architecture and on algorithms for estimating true labels from noisy labels. An alternate approach would be to look for loss functions that are inherently noise-tolerant. For binary classification there exist theoretical results on loss functions that are robust to label noise. In this paper, we provide some sufficient conditions on a loss function so that risk minimization under that loss function would be inherently tolerant to label noise for multiclass classification problems. These results generalize the existing results on noise-tolerant loss functions for binary classification. We study some of the widely used loss functions in deep networks and show that the loss function based on mean absolute value of error is inherently robust to label noise. Thus standard back propagation is enough to learn the true classifier even under label noise. Through experiments, we illustrate the robustness of risk minimization with such loss functions for learning neural networks.


title: Minimax Estimation of Large Precision Matrices with Bandable Cholesky Factor

abstract: Last decade witnesses significant methodological and theoretical advances in estimating large precision matrices. In particular, there are scientific applications such as longitudinal data, meteorology and spectroscopy in which the ordering of the variables can be interpreted through a bandable structure on the Cholesky factor of the precision matrix. However, the minimax theory has still been largely unknown, as opposed to the well established minimax results over the corresponding bandable covariance matrices. In this paper, we focus on two commonly used types of parameter spaces, and develop the optimal rates of convergence under both the operator norm and the Frobenius norm. A striking phenomenon is found: two types of parameter spaces are fundamentally different under the operator norm but enjoy the same rate optimality under the Frobenius norm, which is in sharp contrast to the equivalence of corresponding two types of bandable covariance matrices under both norms. This fundamental difference is established by carefully constructing the corresponding minimax lower bounds. Two new estimation procedures are developed: for the operator norm, our optimal procedure is based on a novel local cropping estimator targeting on all principle submatrices of the precision matrix while for the Frobenius norm, our optimal procedure relies on a delicate regression-based thresholding rule. Lepski's method is considered to achieve optimal adaptation. We further establish rate optimality in the nonparanormal model. Numerical studies are carried out to confirm our theoretical findings.


title: Controlled synthesis of the antiperovskite oxide superconductor Sr$_{3-x}$SnO

abstract: A large variety of perovskite oxide superconductors are known, including some of the most prominent high-temperature and unconventional superconductors. However, superconductivity among the oxidation state inverted material class, the antiperovskite oxides, was reported just recently for the first time. In this superconductor, Sr$_{3-x}$SnO, the unconventional ionic state Sn$^{4-}$ is realized and possible unconventional superconductivity due to a band inversion has been discussed. Here, we discuss an improved facile synthesis method, making it possible to control the strontium deficiency in Sr$_{3-x}$SnO. Additionally, a synthesis method above the melting point of Sr$_{3}$SnO is presented. We show temperature dependence of magnetization and electrical resistivity for superconducting strontium deficient Sr$_{3-x}$SnO ($T_{\mathrm{c}}$ ~ 5 K) and for Sr$_{3}$SnO without a superconducting transition down to 0.15 K. Further, we reveal a significant effect of strontium raw material purity on the superconductivity and achieve 40% increased superconducting volume fraction (~100%) compared to the highest value reported so far. More detailed characterisation utilising powder X-ray diffraction and energy-dispersive X-ray spectroscopy show that a minor cubic phase, previously suggested to be a Sr$_{3-x}$SnO, is SrO. The improved characterization and controlled synthesis reported herein enable detailed investigations on the superconducting nature and its dependency on the strontium deficiency in Sr$_{3-x}$SnO.


title: Global stability of combination of viscous contact wave with rarefaction waves for the compressible fluid models of Korteweg type

abstract: This paper is concerned with the large-time behavior of solutions to the Cauchy problem of the one-dimensional compressible fluid models of Korteweg type with density- and temperature-dependent viscosity, capillarity, and heat conductivity coefficients, which models the motions of compressible viscous fluids with internal capillarity. We show that the combination of the viscous contact wave with two rarefaction waves is asymptotically stable with a large initial perturbation if the strength of the composite wave and the heat conductivity coefficient satisfy some smallness conditions. The proof is based on some refined $L^2$-energy estimates to control the possible growth of the solutions caused by the highly nonlinearity of the system, the interactions of waves from different families and large data, and the key ingredient is to derive the uniform positive lower and upper bounds on the specific volume and the temperature.


title: Coherent dynamics of a qubit-oscillator system in a noisy environment

abstract: We investigate the non-Markovian dynamics of a qubit-oscillator system embedded in a noisy environment by employing the hierarchical equations of motion approach. It is found that the decoherence rate of the whole qubit-oscillator-bath system can be significantly suppressed by enhancing the coupling strength between the qubit and the harmonic oscillator. Moreover, we find that the non-Markovian memory character of the bath is able to facilitate a robust quantum coherent dynamics in this qubit-oscillator-bath system. Our findings may be used to engineer some tunable coherent manipulations in mesoscopic quantum circuits.


title: Total $p$-differentials on schemes over $Z/p^2$

abstract: For a scheme $X$ defined over the length $2$ $p$-typical Witt vectors $W_2(k)$ of a characteristic $p$ field, we introduce total $p$-differentials which interpolate between Frobenius-twisted differentials and Buium's $p$-differentials. They form a sheaf over the reduction $X_0$, and behave as if they were the sheaf of differentials of $X$ over a deeper base below $W_2(k)$. This allows us to construct the analogues of Gauss-Manin connections and Kodaira-Spencer classes as in the Katz-Oda formalism. We make connections to Frobenius lifts, Borger-Weiland's biring formalism, and Deligne--Illusie classes.


title: Positive Solutions of p-th Yamabe Type Equations on Infinite Graphs

abstract: Let $G=(V,E)$ be a connected infinite and locally finite weighted graph, $\Delta_p$ be the $p$-th discrete graph Laplacian. In this paper, we consider the $p$-th Yamabe type equation $$-\Delta_pu+h|u|^{p-2}u=gu^{\alpha-1}$$ on $G$, where $h$ and $g$ are known, $2<\alpha\leq p$. The prototype of this equation comes from the smooth Yamabe equation on an open manifold. We prove that the above equation has at least one positive solution on $G$.


title: From acute sets to centrally symmetric $2$-neighborly polytopes

abstract: What is the maximum number of vertices that a centrally symmetric 2-neighborly polytope of dimension $d$ can have? It is known that the answer does not exceed $2^d$. Here we provide an explicit construction showing that it is at least $2^{d-1}+2$.


title: Quantum Hall states observed in thin films of Dirac semimetal Cd3As2

abstract: A well known semiconductor Cd3As2 has reentered the spotlight due to its unique electronic structure and quantum transport phenomena as a topological Dirac semimetal. For elucidating and controlling its topological quantum state, high-quality Cd3As2 thin films have been highly desired. Here we report the development of an elaborate growth technique of high-crystallinity and high-mobility Cd3As2 films with controlled thicknesses and the observation of quantum Hall effect dependent on the film thickness. With decreasing the film thickness to 10 nm, the quantum Hall states exhibit variations such as a change in the spin degeneracy reflecting the Dirac dispersion with a large Fermi velocity. Details of the electronic structure including subband splitting and gap opening are identified from the quantum transport depending on the confinement thickness, suggesting the presence of a two-dimensional topological insulating phase. The demonstration of quantum Hall states in our high-quality Cd3As2 films paves a road to study quantum transport and device application in topological Dirac semimetal and its derivative phases.


title: Exploring the Space of Black-box Attacks on Deep Neural Networks

abstract: Existing black-box attacks on deep neural networks (DNNs) so far have largely focused on transferability, where an adversarial instance generated for a locally trained model can "transfer" to attack other learning models. In this paper, we propose novel Gradient Estimation black-box attacks for adversaries with query access to the target model's class probabilities, which do not rely on transferability. We also propose strategies to decouple the number of queries required to generate each adversarial sample from the dimensionality of the input. An iterative variant of our attack achieves close to 100% adversarial success rates for both targeted and untargeted attacks on DNNs. We carry out extensive experiments for a thorough comparative evaluation of black-box attacks and show that the proposed Gradient Estimation attacks outperform all transferability based black-box attacks we tested on both MNIST and CIFAR-10 datasets, achieving adversarial success rates similar to well known, state-of-the-art white-box attacks. We also apply the Gradient Estimation attacks successfully against a real-world Content Moderation classifier hosted by Clarifai. Furthermore, we evaluate black-box attacks against state-of-the-art defenses. We show that the Gradient Estimation attacks are very effective even against these defenses.


title: Kaonic deuterium and low-energy antikaon-nucleon interaction

abstract: A new evaluation of the $1s$ level shift and width of kaonic deuterium is presented based on an accurate $\bar{K}NN$ three-body calculation, using as input a realistic antikaon-nucleon interaction constrained by the SIDDHARTA kaonic hydrogen data. The three-body Schr\"odinger equation is solved with a superposition of a large number of correlated Gaussian basis functions extending over distance scales up to several hundred fm. The resulting energy shift and width of the kaonic deuterium $1s$ level are $E\simeq 0.67$ keV and $\Gamma\simeq 1.02$ keV, with estimated uncertainties at the 10% level.


title: Decay mechanisms of superflow of Bose-Einstein condensates in ring traps

abstract: We study the supercurrent decay of a Bose-Einstein condensate in a ring trap combined with a repulsive barrier potential. In recent experiments, Kumar {\it et al.} [Phys. Rev. A {\bf 95}, 021602(R) (2017)] have measured the dependence of the decay rate on the temperature and the barrier strength. However, the origin of the decay observed in the experiment remains unclear. We calculate the rate of supercurrent decay due to thermally activated phase slips (TAPS) by using the Kramers formula based on the Gross-Pitaevskii mean-field theory. The resulting decay rate is astronomically small compared to that measured in the experiment, thus excluding the possibility of TAPS as the decay mechanism. Alternatively, we argue that three-body losses can be relevant to the observed decay and predict that one can observe supercurrent decay via TAPS by decreasing the number of atoms.


title: Analysing the Performance of GPU Hash Tables for State Space Exploration

abstract: In the past few years, General Purpose Graphics Processors (GPUs) have been used to significantly speed up numerous applications. One of the areas in which GPUs have recently led to a significant speed-up is model checking. In model checking, state spaces, i.e., large directed graphs, are explored to verify whether models satisfy desirable properties. GPUexplore is a GPU-based model checker that uses a hash table to efficiently keep track of already explored states. As a large number of states is discovered and stored during such an exploration, the hash table should be able to quickly handle many inserts and queries concurrently. In this paper, we experimentally compare two different hash tables optimised for the GPU, one being the GPUexplore hash table, and the other using Cuckoo hashing. We compare the performance of both hash tables using random and non-random data obtained from model checking experiments, to analyse the applicability of the two hash tables for state space exploration. We conclude that Cuckoo hashing is three times faster than GPUexplore hashing for random data, and that Cuckoo hashing is five to nine times faster for non-random data. This suggests great potential to further speed up GPUexplore in the near future.


title: Rewriting in Free Hypergraph Categories

abstract: We study rewriting for equational theories in the context of symmetric monoidal categories where there is a separable Frobenius monoid on each object. These categories, also called hypergraph categories, are increasingly relevant: Frobenius structures recently appeared in cross-disciplinary applications, including the study of quantum processes, dynamical systems and natural language processing. In this work we give a combinatorial characterisation of arrows of a free hypergraph category as cospans of labelled hypergraphs and establish a precise correspondence between rewriting modulo Frobenius structure on the one hand and double-pushout rewriting of hypergraphs on the other. This interpretation allows to use results on hypergraphs to ensure decidability of confluence for rewriting in a free hypergraph category. Our results generalise previous approaches where only categories generated by a single object (props) were considered.


title: Features of Agent-based Models

abstract: The design of agent-based models (ABMs) is often ad-hoc when it comes to defining their scope. In order for the inclusion of features such as network structure, location, or dynamic change to be justified, their role in a model should be systematically analysed. We propose a mechanism to compare and assess the impact of such features. In particular we are using techniques from software engineering and semantics to support the development and assessment of ABMs, such as graph transformations as semantic representations for agent-based models, feature diagrams to identify ingredients under consideration, and extension relations between graph transformation systems to represent model fragments expressing features.


title: Stable Self-Assembled Atomic-Switch Networks for Neuromorphic Applications

abstract: Nature inspired neuromorphic architectures are being explored as an alternative to imminent limitations of conventional complementary metal-oxide semiconductor (CMOS) architectures. Utilization of such architectures for practical applications like advanced pattern recognition tasks will require synaptic connections that are both reconfigurable and stable. Here, we report realization of stable atomic-switch networks (ASN), with inherent complex connectivity, self-assembled from percolating metal nanoparticles (NPs). The device conductance reflects the configuration of synapses which can be modulated via voltage stimulus. By controlling Relative Humidity (RH) and oxygen partial-pressure during NP deposition we obtain stochastic conductance switching that is stable over several months. Detailed characterization reveals signatures of electric-field induced atomic-wire formation within the tunnel-gaps of the oxidized percolating network. Finally we show that the synaptic structure can be reconfigured by stimulating at different repetition rates, which can be utilized as short-term to long-term memory conversion. This demonstration of stable stochastic switching in ASNs provides a promising route to hardware implementation of biological neuronal models and, as an example, we highlight possible applications in Reservoir Computing (RC).


title: A single potential governing convergence of conjugate gradient, accelerated gradient and geometric descent

abstract: Nesterov's accelerated gradient (AG) method for minimizing a smooth strongly convex function $f$ is known to reduce $f({\bf x}_k)-f({\bf x}^*)$ by a factor of $\epsilon\in(0,1)$ after $k=O(\sqrt{L/\ell}\log(1/\epsilon))$ iterations, where $\ell,L$ are the two parameters of smooth strong convexity. Furthermore, it is known that this is the best possible complexity in the function-gradient oracle model of computation. Modulo a line search, the geometric descent (GD) method of Bubeck, Lee and Singh has the same bound for this class of functions. The method of linear conjugate gradients (CG) also satisfies the same complexity bound in the special case of strongly convex quadratic functions, but in this special case it can be faster than the AG and GD methods. Despite similarities in the algorithms and their asymptotic convergence rates, the conventional analysis of the running time of CG is mostly disjoint from that of AG and GD. The analyses of the AG and GD methods are also rather distinct. Our main result is analyses of the three methods that share several common threads: all three analyses show a relationship to a certain "idealized algorithm", all three establish the convergence rate through the use of the Bubeck-Lee-Singh geometric lemma, and all three have the same potential that is computable at run-time and exhibits decrease by a factor of $1-\sqrt{\ell/L}$ or better per iteration. One application of these analyses is that they open the possibility of hybrid or intermediate algorithms. One such algorithm is proposed herein and is shown to perform well in computational tests.


title: The Picard groups for unital inclusions of unital $C^*$-algebras

abstract: We shall introduce the notion of the Picard group for an inclusion of $C^*$-algebras. We shall also study its basic properties and the relation between the Picard group for an inclusion of $C^*$-algebras and the ordinary Picard group. Furthermore, we shall give some examples of the Picard groups for unital inclusions of unital $C^*$-algebras.


title: Phase-coexisting patterns, horizontal segregation and controlled convection in vertically vibrated binary granular mixtures

abstract: We report new patterns, consisting of coexistence of sub-harmonic/harmonic and asynchronous states [for example, a granular gas co-existing with (i) bouncing bed, (ii) undulatory subharmonic waves and (iii) Leidenfrost-like state], in experiments on vertically vibrated binary granular mixtures in a Heleshaw-type cell. Most experiments have been carried out with equimolar binary mixtures of glass and steel balls of same diameter by varying the total layer-height ($F$) for a range of shaking acceleration ($\Gamma$). All patterns as well as the related phase-diagram in the ($\Gamma, F$)-plane have been reproduced via molecular dynamics simulations of the same system. The segregation of heavier and lighter particles along the horizontal direction is shown to be the progenitor of such phase-coexisting patterns as confirmed in both experiment and simulation. At strong shaking we uncover a {\it partial} convection state in which a pair of convection rolls is found to coexist with a Leidenfrost-like state. The crucial role of the relative number density of two species on controlling the buoyancy-driven granular convection is demonstrated. A possible model for spontaneous horizontal segregation is suggested based on anisotropic diffusion.


title: Experimental Realization of a Relativistic Harmonic Oscillator

abstract: We report the experimental study of a harmonic oscillator in the relativistic regime. The oscillator is composed of Bose-condensed lithium atoms in the third band of an optical lattice, which have an energy-momentum relation nearly identical to that of a massive relativistic particle, with an effective mass reduced below the bare value and a greatly reduced effective speed of light. Imaging the shape of oscillator trajectories at velocities up to 98% of the effective speed of light reveals a crossover from sinusoidal to nearly photon-like propagation. The existence of a maximum velocity causes the measured period of oscillations to increase with energy; our measurements reveal beyond-leading-order contributions to this relativistic anharmonicity. We observe an intrinsic relativistic dephasing of oscillator ensembles, and a monopole oscillation with exactly the opposite phase of that predicted for non-relativistic harmonic motion. All observed dynamics are in quantitative agreement with longstanding but hitherto-untested relativistic predictions.


title: Near-zero index magneto-optical medium realized with an unpaired Dirac point

abstract: We realize an unpaired Dirac cone at the center of the first Brillouin zone, using a gyromagnetic photonic crystal with broken square sub-lattice symmetry and broken time reversal symmetry. The behavior of the Dirac modes can be described by a gyromagnetic effective medium model with near-zero refractive index, and Voigt parameter near unity. When two domains are subjected to opposite magnetic biases, there exist unidirectional edge states along the domain wall. This establishes a link between topological edge states and the surface waves of homogenous magneto-optical media.


title: Model independent evaluation of the Wilson coefficient of the Weinberg operator in QCD

abstract: We derive a Wilson coefficient of a CP-violating purely gluonic dimension-6 operator called the Weinberg operator ($GG\tilde{G}$) generated by a scalar and two fermions at the two-loop level. We do not specify the representation of SU(3)$_c$ for the scalar and the fermions, and thus our result can be applied to a variety of models beyond the standard model. We estimate the nucleon EDMs induced by the Weinberg operator in some examples and discuss the importance of measuring EDMs. It is found that future measurements of the EDMs can probe physics at higher energy scale beyond the reach of collider experiments.


title: Effective reduction of the coercivity for Co$_{72}$Pt$_{28}$ thin film by exchange coupled Co$_{81}$Ir$_{19}$ soft layer with negative magnetocrystalline anisotropy

abstract: We report on the investigation of coercivity changes of the Co$_{72}$Pt$_{28}$/Co$_{81}$Ir$_{19}$ exchange-coupled composite (ECC) media with negative soft-layer (SL) magnetocrystalline anisotropy (MA) . Our results show that the hard-layer (HL) of our sample exhibits a columnar type microstructure with well isolated grains and the SL with hcp-structure grows on top of the HL with the same texture. Therefore, strong coupling of the two layers have been realized as evidenced by the magnetic characterization. Importantly, we observe a more effective reduction of the coercivity of the ECC media by using SLs with negative MA when compared to the use of SLs with positive or negligible MA. The experimental results are corroborated by theoretical calculations.


title: Equilibrium Strategies for Time-Inconsistent Stochastic Switching Systems

abstract: An optimal control problem is considered for a stochastic differential equation containing a state-dependent regime switching, with a recursive cost functional. Due to the non-exponential discounting in the cost functional, the problem is time-inconsistent in general. Therefore, instead of finding a global optimal control (which is not possible), we look for a time-consistent (approximately) locally optimal equilibrium strategy. Such a strategy can be represented through the solution to a system of partial differential equations, called an equilibrium Hamilton-Jacob-Bellman (HJB, for short) equation which is constructed via a sequence of multi-person differential games. A verification theorem is proved and, under proper conditions, the well-posedness of the equilibrium HJB equation is established as well.


title: Tuning and Switching a Plasmonic Quantum Dot Sandwich in a Nematic Line Defect

abstract: We study the quantum-mechanical effects arising in a single semiconductor core/shell quantum dot controllably sandwiched between two plasmonic nanorods. Control over the position and the sandwich confinement structure is achieved by the use of a linear-trap, liquid-crystal line defect and laser tweezers that push the sandwich together. This arrangement allows for the study of exciton plasmon interactions in a single structure, unaltered by ensemble effects or the complexity of dielectric interfaces. We demonstrate the effect of plasmonic confinement on the photon-antibunching behavior of the quantum dot and its luminescence lifetime. The quantum dot behaves as a single emitter when nanorods are far away from the quantum dot but shows possible multiexciton emission and a significantly decreased lifetime when tightly confined in a plasmonic sandwich. These findings demonstrate that liquid crystal defects, combined with laser tweezers, enable a versatile platform to study plasmonic coupling phenomena in a nanoscale laboratory, where all elements can be arranged almost at will.


title: Protected Vertices in Motzkin trees

abstract: In this paper we find recurrence relations for the asymptotic probability a vertex is $k$ protected in all Motzkin trees. We use a similar technique to calculate the probabilities for balanced vertices of rank $k$. From this we calculate upper and lower bounds for the probability a vertex is balanced and upper and lower bounds for the expected rank of balanced vertices.


title: The diverse magneto-optical selection rules in bilayer black phosphorus

abstract: The magneto-optical properties of bilayer phosphorene is investigated by the generalized tight-binding model and the gradient approximation. The vertical inter-Landau-level transitions, being sensitive to the polarization directions, are mainly determined by the spatial symmetries of sub-envelope functions on the distinct sublattices. The anisotropic excitations strongly depend on the electric and magnetic fields. A perpendicular uniform electric field could greatly diversify the selection rule, frequency, intensity, number and form of symmetric absorption peaks. Specifically, the unusual magneto-optical properties appear beyond the critical field as a result of two subgroups of Landau levels with the main and side modes. The rich and unique magneto-absorption spectra arise from the very close relations among the geometric structures, multiple intralayer and interlayer hopping integrals, and composite external fields.


title: A Gap-Based Framework for Chinese Word Segmentation via Very Deep Convolutional Networks

abstract: Most previous approaches to Chinese word segmentation can be roughly classified into character-based and word-based methods. The former regards this task as a sequence-labeling problem, while the latter directly segments character sequence into words. However, if we consider segmenting a given sentence, the most intuitive idea is to predict whether to segment for each gap between two consecutive characters, which in comparison makes previous approaches seem too complex. Therefore, in this paper, we propose a gap-based framework to implement this intuitive idea. Moreover, very deep convolutional neural networks, namely, ResNets and DenseNets, are exploited in our experiments. Results show that our approach outperforms the best character-based and word-based methods on 5 benchmarks, without any further post-processing module (e.g. Conditional Random Fields) nor beam search.