title: Real-Time Lightweight Chaotic Encryption for 5G IoT Enabled Lip-Reading Driven Secure Hearing-Aid

abstract: Existing audio-only hearing-aids are known to perform poorly in noisy situations where overwhelming noise is present. Next-generation audio-visual (lip-reading driven) hearing-aids stand as a major enabler to realise more intelligible audio. However, high data rate, low latency, low computational complexity, and privacy are some of the major bottlenecks to the successful deployment of such advanced hearing aids. To address these challenges, we envision an integration of 5G Cloud-Radio Access Network, Internet of Things (IoT), and strong privacy algorithms to fully benefit from the possibilities these technologies have to offer. The envisioned 5G IoT enabled secure audio-visual (AV) hearing-aid transmits the encrypted compressed AV information and receives encrypted enhanced reconstructed speech in real-time which fully addresses cybersecurity attacks such as location privacy and eavesdropping. For security implementation, a real-time lightweight AV encryption is utilized. For speech enhancement, the received AV information in the cloud is used to filter noisy audio using both deep learning and analytical acoustic modelling (filtering based approach). To offload the computational complexity and real-time optimization issues, the framework runs deep learning and big data optimization processes in the background on the cloud. Specifically, in this work, three key contributions are reported: (1) 5G IoT enabled secure audio-visual hearing-aid framework that aims to achieve a round-trip latency up to 5ms with 100 Mbps datarate (2) Real-time lightweight audio-visual encryption (3) Lip-reading driven deep learning approach for speech enhancement in the cloud. The critical analysis in terms of both speech enhancement and AV encryption demonstrate the potential of the envisioned technology in acquiring high-quality speech reconstruction and secure mobile AV hearing aid communication.


title: Gaussian process classification using posterior linearisation

abstract: This paper proposes a new algorithm for Gaussian process classification based on posterior linearisation (PL). In PL, a Gaussian approximation to the posterior density is obtained iteratively using the best possible linearisation of the conditional mean of the labels and accounting for the linearisation error. PL has some theoretical advantages over expectation propagation (EP): all calculated covariance matrices are positive definite and there is a local convergence theorem. In experimental data, PL has better performance than EP with the noisy threshold likelihood and the parallel implementation of the algorithms.


title: Multiple choice homework as a cost-effective and efficient tool for student self-training

abstract: A self-training scheme geared at inducing students to improve their skills through independent homework is presented. The motivation is to identify an inexpensive, yet effective tool for raising the competence level of students in the Fundamental Sciences (in particular Physics). Since globally existing financial restrictions do not allow for extensive supervised work, a scheme is devised where the additional personal training is rewarded through bonuses in the grade, while safeguarding against the danger of cheating. Overburdening the instructors is avoided through the use of computer-based grading of homework, while a carefully chosen bonus plan, weighted by the grades obtained in supervised tests, counters the effects of potential cheating.


title: Branching random walk in random environment with random absorption wall

abstract: We consider the branching random walk in random environment with a random absorption wall. When we add this barrier, we discuss some topics related to the survival probability. We assume that the random environment is i.i.d., $S_i$ is a particular i.i.d. random walk depend on the random environment $\mathcal{L}$. Let the random barrier function (the random absorption wall) is $g_i(\mathcal{L}):=ai^\alpha-S_i,$ where $i$ present the generation. We show that there exists a critical value $a_c>0$ such that if $a>a_c,\alpha=\frac{1}{3}$, the survival probability is positive almost surly and if $a<a_c,\alpha=\frac{1}{3}$ ,the survival probability is zero almost surely. Moreover, if we denote $Z_n$ is the total populations in $n$-th generation in the new system (with barrier),under some conditions, we show $\ln\mathbb{P}_{\mathcal{L}}(Z_n>0)/n^{1/3}$ will converges to a negative constant almost surely if $\alpha\in[0,\frac{1}{3})$.


title: Bhabha Scattering and a special pencil of K3 surfaces

abstract: We study a pencil of K3 surfaces that appeared in the $2$-loop diagrams in Bhabha scattering. By analysing in detail the Picard lattice of the general and special members of the pencil, we identify the pencil with the celebrated Ap\'ery--Fermi pencil, that was related to Ap\'ery's proof of the irrationality of $\zeta(3)$ through the work of F. Beukers, C. Peters and J. Stienstra. The same pencil appears miraculously in different and seemingly unrelated physical contexts.


title: Second order asymptotical regularization methods for inverse problems in partial differential equations

abstract: We develop Second Order Asymptotical Regularization (SOAR) methods for solving inverse source problems in elliptic partial differential equations with both Dirichlet and Neumann boundary data. We show the convergence results of SOAR with the fixed damping parameter, as well as with a dynamic damping parameter, which is a continuous analog of Nesterov's acceleration method. Moreover, by using Morozov's discrepancy principle together with a newly developed total energy discrepancy principle, we prove that the approximate solution of SOAR weakly converges to an exact source function as the measurement noise goes to zero. A damped symplectic scheme, combined with the finite element method, is developed for the numerical implementation of SOAR, which yields a novel iterative regularization scheme for solving inverse source problems. Several numerical examples are given to show the accuracy and the acceleration effect of SOAR. A comparison with the state-of-the-art methods is also provided.


title: Simulation-based Distributed Coordination Maximization over Networks

abstract: In various online/offline multi-agent networked environments, it is very popular that the system can benefit from coordinating actions of two interacting agents at some cost of coordination. In this paper, we first formulate an optimization problem that captures the amount of coordination gain at the cost of node activation over networks. This problem is challenging to solve in a distributed manner, since the target gain is a function of the long-term time portion of the inter-coupled activations of two adjacent nodes, and thus a standard Lagrange duality theory is hard to apply to obtain a distributed decomposition as in the standard Network Utility Maximization. In this paper, we propose three simulation-based distributed algorithms, each having different update rules, all of which require only one-hop message passing and locally-observed information. The key idea for being distributedness is due to a stochastic approximation method that runs a Markov chain simulation incompletely over time, but provably guarantees its convergence to the optimal solution. Next, we provide a game-theoretic framework to interpret our proposed algorithms from a different perspective. We artificially select the payoff function, where the game's Nash equilibrium is asymptotically equal to the socially optimal point, i.e., no Price-of-Anarchy. We show that two stochastically-approximated variants of standard game-learning dynamics overlap with two algorithms developed from the optimization perspective. Finally, we demonstrate our theoretical findings on convergence, optimality, and further features such as a trade-off between efficiency and convergence speed through extensive simulations.


title: Tunneling on graphs: an approach "a la Helffer-Sjoestrand"

abstract: We revisit a paper of Li-Gabor-Yau on quantum tunneling on graphs using the approach of Helffer-Sjoestrand for the study of tunneling for Schroedinger operators on manifolds.


title: Chiral anomaly and strange-nonstrange mixing

abstract: As a first step, a simple and pedagogical recall of the $\eta$-$\eta'$ system is presented, in which the role of the axial anomaly, related to the heterochiral nature of the multiplet of (pseudo)scalar states, is underlined. As a consequence, $\eta$ is close to the octet and $\eta'$ to the singlet configuration. On the contrary, for vector and tensor states, which belong to homochiral multiplets, no anomalous contribution to masses and mixing is present. Then, the isoscalar physical states are to a very good approximation nonstrange and strange, respectively. Finally, for pseudotensor states, which are part of an heterochiral multiplet (just as pseudoscalar ones), a sizable anomalous term is expected: $\eta_2 (1645)$ roughly corresponds to the octet and $\eta_2 (1870)$ to the singlet.


title: Nonperturbative strange-quark sea from lattice QCD, light-front holography, and meson-baryon fluctuation models

abstract: We demonstrate that a nonzero strangeness contribution to the spacelike electromagnetic form factor of the nucleon is evidence for a strange-antistrange asymmetry in the nucleon's light-front wave function, thus implying different nonperturbative contributions to the strange and antistrange quark distribution functions. A recent lattice QCD calculation of the nucleon strange quark form factor predicts that the strange quark distribution is more centralized in coordinate space than the antistrange quark distribution, and thus the strange quark distribution is more spread out in light-front momentum space. We show that the lattice prediction implies that the difference between the strange and antistrange parton distribution functions, $s(x)-\bar{s}(x)$, is negative at small-$x$ and positive at large-$x$. We also evaluate the strange quark form factor and $s(x)-\bar{s}(x)$ using a baryon-meson fluctuation model and a novel nonperturbative model based on light-front holographic QCD. This procedure leads to a Veneziano-like expression of the form factor, which depends exclusively on the twist of the hadron and the properties of the Regge trajectory of the vector meson which couples to the quark current in the hadron. The holographic structure of the model allows us to introduce unambiguously quark masses in the form factors and quark distributions preserving the hard scattering counting rule at large-$Q^2$ and the inclusive counting rule at large-$x$. Quark masses modify the Regge intercept which governs the small-$x$ behavior of quark distributions, therefore modifying their small-$x$ singular behavior. Both nonperturbative approaches provide descriptions of the strange-antistrange asymmetry and intrinsic strangeness in the nucleon consistent with the lattice QCD result.


title: Sparse Label Smoothing Regularization for Person Re-Identification

abstract: Person re-identification (re-id) is a cross-camera retrieval task which establishes a correspondence between images of a person from multiple cameras. Deep Learning methods have been successfully applied to this problem and have achieved impressive results. However, these methods require a large amount of labeled training data. Currently labeled datasets in person re-id are limited in their scale and manual acquisition of such large-scale datasets from surveillance cameras is a tedious and labor-intensive task. In this paper, we propose a framework that performs intelligent data augmentation and assigns partial smoothing label to generated data. Our approach first exploits the clustering property of existing person re-id datasets to create groups of similar objects that model cross-view variations. Each group is then used to generate realistic images through adversarial training. Our aim is to emphasize feature similarity between generated samples and the original samples. Finally, we assign a non-uniform label distribution to the generated samples and define a regularized loss function for training. The proposed approach tackles two problems (1) how to efficiently use the generated data and (2) how to address the over-smoothness problem found in current regularization methods. Extensive experiments on four larges cale datasets show that our regularization method significantly improves the Re-ID accuracy compared to existing methods.


title: Electrical detection of surface spin polarization of candidate topological Kondo insulator SmB6

abstract: The Kondo insulator compound SmB6 has emerged as a strong candidate for the realization of a topologically nontrivial state in a strongly correlated system, a topological Kondo insulator, which can be a novel platform for investigating the interplay between nontrivial topology and emergent correlation driven phenomena in solid state systems. Electronic transport measurements on this material, however, so far showed only the robust surface dominated charge conduction at low temperatures, lacking evidence of its connection to the topological nature by showing, for example, spin polarization due to spin momentum locking. Here, we find evidence for surface state spin polarization by electrical detection of a current induced spin chemical potential difference on the surface of a SmB6 single crystal. We clearly observe a surface dominated spin voltage, which is proportional to the projection of the spin polarization onto the contact magnetization, is determined by the direction and magnitude of the charge current and is strongly temperature dependent due to the crossover from surface to bulk conduction. We estimate the lower bound of the surface state net spin polarization as 15 percent based on the quantum transport model providing direct evidence that SmB6 supports metallic spin helical surface states.


title: Gas phase Elemental abundances in Molecular cloudS (GEMS) I. The prototypical dark cloud TMC 1

abstract: GEMS is an IRAM 30m Large Program whose aim is determining the elemental depletions and the ionization fraction in a set of prototypical star-forming regions. This paper presents the first results from the prototypical dark cloud TMC 1. Extensive millimeter observations have been carried out with the IRAM 30m telescope (3mm and 2mm) and the 40m Yebes telescope (1.3cm and 7mm) to determine the fractional abundances of CO, HCO+, HCN, CS, SO, HCS+, and N2H+ in three cuts which intersect the dense filament at the well-known positions TMC 1-CP, TMC 1-NH3, and TMC 1-C, covering a visual extinction range from Av~3 to ~20mag. Two phases with differentiated chemistry can be distinguished: i) the translucent envelope with molecular hydrogen densities of (1-5)x10$^3$ cm$^{-3}$; and ii) the dense phase, located at Av>10mag, with molecular hydrogen densities >10$^4$ cm$^{-3}$. Observations and modeling show that the gas phase abundances of C and O progressively decrease along the C+/C/CO transition zone where C/H~8x10$^{-5}$ and C/O~0.8-1, until the beginning of the dense phase at Av~10 mag. This is consistent with the grain temperatures being below the CO evaporation temperature in this region. In the case of sulfur, a strong depletion should occur before the translucent phase where we estimate a S/H~(0.4 - 2.2) x10$^{-6}$, an abundance ~7-40 times lower than the solar value. A second strong depletion must be present during the formation of the thick icy mantles to achieve the values of S/H measured in the dense cold cores (S/H~8x10$^{-8}$). Based on our chemical modeling, we constrain the value of $\zeta_{\rm H_2}$ to ~(0.5 - 1.8) x10$^{-16}$ s$^{-1}$ in the translucent cloud.


title: On Existence, Mixtures, Computation and Efficiency in Multi-objective Games

abstract: In a multi-objective game, each individual's payoff is a \emph{vector-valued} function of everyone's actions. Under such vectorial payoffs, Pareto-efficiency is used to formulate each individual's best-response condition, inducing Pareto-Nash equilibria as the fundamental solution concept. In this work, we follow a classical game-theoretic agenda to study equilibria. Firstly, we show in several ways that numerous pure-strategy Pareto-Nash equilibria exist. Secondly, we propose a more consistent extension to mixed-strategy equilibria. Thirdly, we introduce a measurement of the efficiency of multiple objectives games, which purpose is to keep the information on each objective: the multi-objective coordination ratio. Finally, we provide algorithms that compute Pareto-Nash equilibria and that compute or approximate the multi-objective coordination ratio.


title: Investigation of spatial manifestation of $\alpha$ clusters in $^{16}$O via $\alpha$-transfer reactions

abstract: Recently, we have determined surface distributions of $\alpha$ clusters in the ground state of $^{20}\mathrm{Ne}$ from $\alpha$-transfer cross sections, without investigating the properties of its excited states. In this paper we extend our comprehension of $\alpha$-cluster structures in excited states of nuclei through reaction studies. In particular we focus on $^{16}\mathrm{O}$, for which attention has been paid to advances of structure theory and assignment regarding $4^+$-resonance states. We study the surface manifestation of the $\alpha$-cluster states in both the ground and excited states of $^{16}\mathrm{O}$ from the analysis of the $\alpha$-transfer reaction $^{12}\mathrm{C}(^6\mathrm{Li},d)^{16}\mathrm{O}$. The $\alpha$-transfer reaction is described by the distorted-wave Born approximation. We test two microscopic wave functions as an input of reaction calculations. Then a phenomenological potential model is introduced to clarify the correspondence between cluster-wave functions and transfer-cross sections. Surface peaks of the $\alpha$-wave function of $^{16}\mathrm{O}(0^+)$ are sensitively probed by transfer-cross sections at forward angles, while it remains unclear how we trace the surface behavior of $^{16}\mathrm{O}(4^+)$ from the cross sections. We are able to specify that the $\alpha$-cluster structure in the $0_1^+$ and $0_2^+$ states prominently manifests itself at the radii $\sim 4$ and $\sim 4.5$~fm, respectively. It is remarkable that the $4_1^+$ state has the $^{12}\mathrm{C}+\alpha$-cluster component with the surface peak at the radius $\sim 4$ or outer, whereas the $^{12}\mathrm{C}+\alpha$-cluster component in the $4_2^+$ state is found not to be dominant. The $4_2^+$ state is difficult to be interpreted by a simple potential model assuming the $^{12}\mathrm{C}+\alpha$ configuration only.


title: CME impact on comet 67P/Churyumov-Gerasimenko

abstract: We present Rosetta observations from comet 67P/Churyumov-Gerasimenko during the impact of a coronal mass ejection (CME). The CME impacted on 5-6 Oct 2015, when Rosetta was about 800 km from the comet nucleus, \textcolor{black}{and 1.4 AU from the Sun}. Upon impact, the plasma environment is compressed to the level that solar wind ions, not seen a few days earlier when at 1500 km, now reach Rosetta. In response to the compression, the flux of suprathermal electrons increases by a factor of 5-10 and the background magnetic field strength increases by a factor of $\sim$2.5. The plasma density increases by a factor of 10 and reaches 600 cm$^{-3}$, due to increased particle impact ionisation, charge exchange and the adiabatic compression of the plasma environment. We also observe unprecedentedly large magnetic field spikes at 800 km, reaching above 200 nT, which are interpreted as magnetic flux ropes. We suggest that these could possibly be formed by magnetic reconnection processes in the coma as the magnetic field across the CME changes polarity, or as a consequence of strong shears causing Kelvin-Helmholtz instabilities in the plasma flow. Due to the \textcolor{black}{limited orbit of Rosetta}, we are not able to observe if a tail disconnection occurs during the CME impact, which could be expected based on previous remote observations of other CME-comet interactions.


title: High-Accuracy Inference in Neuromorphic Circuits using Hardware-Aware Training

abstract: Neuromorphic Multiply-And-Accumulate (MAC) circuits utilizing synaptic weight elements based on SRAM or novel Non-Volatile Memories (NVMs) provide a promising approach for highly efficient hardware representations of neural networks. NVM density and robustness requirements suggest that off-line training is the right choice for "edge" devices, since the requirements for synapse precision are much less stringent. However, off-line training using ideal mathematical weights and activations can result in significant loss of inference accuracy when applied to non-ideal hardware. Non-idealities such as multi-bit quantization of weights and activations, non-linearity of weights, finite max/min ratios of NVM elements, and asymmetry of positive and negative weight components all result in degraded inference accuracy. In this work, it is demonstrated that non-ideal Multi-Layer Perceptron (MLP) architectures using low bitwidth weights and activations can be trained with negligible loss of inference accuracy relative to their Floating Point-trained counterparts using a proposed off-line, continuously differentiable HW-aware training algorithm. The proposed algorithm is applicable to a wide range of hardware models, and uses only standard neural network training methods. The algorithm is demonstrated on the MNIST and EMNIST datasets, using standard MLPs.


title: Part-based Graph Convolutional Network for Action Recognition

abstract: Human actions comprise of joint motion of articulated body parts or `gestures'. Human skeleton is intuitively represented as a sparse graph with joints as nodes and natural connections between them as edges. Graph convolutional networks have been used to recognize actions from skeletal videos. We introduce a part-based graph convolutional network (PB-GCN) for this task, inspired by Deformable Part-based Models (DPMs). We divide the skeleton graph into four subgraphs with joints shared across them and learn a recognition model using a part-based graph convolutional network. We show that such a model improves performance of recognition, compared to a model using entire skeleton graph. Instead of using 3D joint coordinates as node features, we show that using relative coordinates and temporal displacements boosts performance. Our model achieves state-of-the-art performance on two challenging benchmark datasets NTURGB+D and HDM05, for skeletal action recognition.


title: Locations of optical and $\gamma$-ray emitting regions in the jet of PMN J2345-1555

abstract: We collect long term $\gamma$-ray, optical and radio $15$ GHz light curves of quasar object PMN J2345-1555. The correlation analyses between them are performed via the local cross-correlation function (LCCF). We found that all the optical $V$, $R$ band and the infrared $J$ band are correlated with the radio 15 GHz at beyond $3\sigma$ significance level, and the lag times are $-221.81^{+6.26}_{-6.72}$, $-201.38^{+6.42}_{-6.02}$ and $-192.27^{+8.26}_{-7.37}$ days, respectively. The $\gamma$-ray is strongly correlated with optical, but weakly correlated with the radio. We present that time lags between different frequencies can be used as an alternative parameter to derive the core-shift measurement. For this target, the magnetic field and particle density at 1 parsec in jet are derived to be $0.61$ Gauss and $1533/\gamma_{\rm min}$ cm$^{-3}$, respectively. The black hole mass and the 15 GHz core position in jet are estimated to be $10^{8.44} {\rm M}_{\odot}$ and $30$ parsec, respectively. The lag times enable us to derive that the optical and the $\gamma$-ray emitting regions coincide, which are located at $4.26^{+0.83}_{-0.79}$ pc away from 15 GHz core position in jet and beyond the broad line region (BLR). We found that a $3\sigma$ correlation between the color index and the radio light curve, which indicates that opacity may play an important role in the variation. The $\delta V-\delta R$ behaviors are complex, while the $R-J$ shows a bluer when brighter trend. As hinted from radio images, we proposed a positional dependent spectral index model to explain the color index behaviors, which is complementary for the shock in jet model. The curvature effects and contribution from accretion disk may also affect variables of blazars in many aspects.


title: SiftingGAN: Generating and Sifting Labeled Samples to Improve the Remote Sensing Image Scene Classification Baseline in vitro

abstract: Lack of annotated samples greatly restrains the direct application of deep learning in remote sensing image scene classification. Although researches have been done to tackle this issue by data augmentation with various image transformation operations, they are still limited in quantity and diversity. Recently, the advent of the unsupervised learning based generative adversarial networks (GANs) bring us a new way to generate augmented samples. However, such GAN-generated samples are currently only served for training GANs model itself and for improving the performance of the discriminator in GANs internally (in vivo). It becomes a question of serious doubt whether the GAN-generated samples can help better improve the scene classification performance of other deep learning networks (in vitro), compared with the widely used transformed samples. To answer this question, this paper proposes a SiftingGAN approach to generate more numerous, more diverse and more authentic labeled samples for data augmentation. SiftingGAN extends traditional GAN framework with an Online-Output method for sample generation, a Generative-Model-Sifting method for model sifting, and a Labeled-Sample-Discriminating method for sample sifting. Experiments on the well-known AID dataset demonstrate that the proposed SiftingGAN method can not only effectively improve the performance of the scene classification baseline that is achieved without data augmentation, but also significantly excels the comparison methods based on traditional geometric/radiometric transformation operations.


title: Seeing Topological Order and Band Inversion in Optical Diatomic Chain

abstract: Recent realizations of exotic topological states in condensed matter and cold atoms have advanced the exploration for topological characteristics, such as invariant topological orders and band inversion. Here we construct a 1D optical diatomic system made of split ring resonators with electric-magnetic couplings to implement the topological features. We experimentally measure the dispersion relationship and sub-lattice pseudo-spin vectors by detecting field strength distributions, which determines the accompanying winding number of bulk band as the topological order. The sub-lattice pseudo-spin vector inversion observed at band-edges evidences the band inversion. We further reconfirm the band-inversion-induced topological phase transition by measuring the symmetry exchanges at band-edges. These results have shown the great potential of split ring resonator platform to experimentally explore the advanced topological characteristics, such as high winding numbers or even high Chern numbers in more exotic setups.


title: Synthetic Occlusion Augmentation with Volumetric Heatmaps for the 2018 ECCV PoseTrack Challenge on 3D Human Pose Estimation

abstract: In this paper we present our winning entry at the 2018 ECCV PoseTrack Challenge on 3D human pose estimation. Using a fully-convolutional backbone architecture, we obtain volumetric heatmaps per body joint, which we convert to coordinates using soft-argmax. Absolute person center depth is estimated by a 1D heatmap prediction head. The coordinates are back-projected to 3D camera space, where we minimize the L1 loss. Key to our good results is the training data augmentation with randomly placed occluders from the Pascal VOC dataset. In addition to reaching first place in the Challenge, our method also surpasses the state-of-the-art on the full Human3.6M benchmark among methods that use no additional pose datasets in training. Code for applying synthetic occlusions is availabe at https://github.com/isarandi/synthetic-occlusion.


title: Sequential Coordination of Deep Models for Learning Visual Arithmetic

abstract: Achieving machine intelligence requires a smooth integration of perception and reasoning, yet models developed to date tend to specialize in one or the other; sophisticated manipulation of symbols acquired from rich perceptual spaces has so far proved elusive. Consider a visual arithmetic task, where the goal is to carry out simple arithmetical algorithms on digits presented under natural conditions (e.g. hand-written, placed randomly). We propose a two-tiered architecture for tackling this problem. The lower tier consists of a heterogeneous collection of information processing modules, which can include pre-trained deep neural networks for locating and extracting characters from the image, as well as modules performing symbolic transformations on the representations extracted by perception. The higher tier consists of a controller, trained using reinforcement learning, which coordinates the modules in order to solve the high-level task. For instance, the controller may learn in what contexts to execute the perceptual networks and what symbolic transformations to apply to their outputs. The resulting model is able to solve a variety of tasks in the visual arithmetic domain, and has several advantages over standard, architecturally homogeneous feedforward networks including improved sample efficiency.


title: Entanglement of quantum fields via classical gravity

abstract: We consider the coupling of quantum fields to classical gravity in the formalism of ensembles on configuration space, a model that allows a consistent formulation of interacting classical and quantum systems. Explicit calculations show that there are solutions for which two quantum fields are in an entangled state, even though their interaction occurs solely via a common classical gravitational field, and that such entangled solutions can evolve from initially unentangled ones. These results support the observation of a previous paper that an observed generation of entanglement would not provide a definitive test of the nonclassical nature of gravity.


title: Phenomenology of doublet-triplet fermionic dark matter in nonstandard cosmology and multicomponent dark sectors

abstract: We consider the doublet-triplet fermionic model in the scheme of the custodial limit when the dark matter (DM) candidate is pure doublet and lies at the electroweak scale. This scheme, despite being an appealing and promising DM model, is severely constrained by the interplay between the DM relic density constraint and the LHC measurement of the Higgs diphoton decay rate. In this work, the DM relic density is considered to arise from either a nonstandard cosmology scenario or as a part of a larger sector encompassing other DM particles, this in order to saturate the observed relic abundance. For these scenarios we investigate the impact of the new sector in different collider observables, and study constraints coming from direct detection and indirect detection of gamma-rays both in the diffuse and linelike spectrum. As a result, we find that in the nonstandard cosmology scenario most experiments impose, up to a certain point, restrictions, though large portions of the parameter space are still viable. For the multicomponent case, only direct detection imposes constraints.


title: MICROSCOPE limits on the strength of a new force, with comparisons to gravity and electromagnetism

abstract: Extremely weak new forces could lead to apparent violations of the Equivalence Principle. The MICROSCOPE experiment implies that the relative strength of a new long-range force, compared with gravity, is constrained to $|\bar\alpha_g|<3.2\ 10^{-11},2.3\ 10^{-13},2.2\ 10^{-13},6.7\ 10^{-13}$ and $1.5\ 10^{-12}$ at $2\sigma$, for a coupling to $B,\ L,\ B-L,\ B+L$ or $3B+L$; or, for a coupling to isospin, $|\alpha_g|<8.4\ 10^{-12}$. This is a gain in sensitivity $\simeq 3$ for a coupling to $B$, to $\approx$ 15 in the other cases, including $B-L$ as suggested by grand unification. This requires paying attention to the definition of $\bar\alpha_g$. A force coupled to $L$ (or $B-L$) would act effectively on protons (or neutrons) only, its relative intensity being reduced from $\alpha_g$ to about $\bar\alpha_g=\alpha_g/4$ for an average nucleon. It is thus convenient to view such forces as acting on $\bar Q =B,\ 2L,\ 2(B-L),2(B+L)/3$ or $2(3B+L)/7$, leading to $\bar\alpha_g=\alpha_g\times(1,1/4,1/4,9/4$ or $49/4$). The sensitivity for a coupling to $L$ or $B-L$ is better than for $B$ by two orders of magnitude (as $\Delta (2L/A_r)\simeq 144\ \Delta (B/A_r)$ for Ti-Pt); and about 3 or 7 times better than for $B+L$ or $3B+L$. A coupling to $(\epsilon_BB+\epsilon_{Q_{el}}Q_{el})e$ should verify $|\epsilon_B|<5\ 10^{-24}$; similarly $|\epsilon_L|$ or $|\epsilon_{B-L}|<.9\ 10^{-24}$, $|\epsilon_{B+L}|<.5\ 10^{-24},|\epsilon_{3B+L}|<.32\ 10^{-24}$ and $|\epsilon_{B-2L}|<2.6\ 10^{-24}$, implying a new interaction weaker than electromagnetism by more than $10^{46}$ to $10^{48}$. The resulting hierarchy between couplings, typically by $>10^{24}$, may be related within supersymmetry with a large hierarchy in energy scales by $>10^{12}$. This points to a $\sqrt\xi\approx 10^{16}$ GeV scale, associated with a huge vacuum energy density that may be responsible for the inflation of the early Universe.


title: The Raychaudhuri equation in spacetimes with torsion and non-metricity

abstract: We introduce and develop the 1+3 covariant approach to relativity and cosmology to spacetimes of arbitrary dimensions that have nonzero torsion and do not satisfy the metricity condition. Focusing on timelike observers, we identify and discuss the main differences between their kinematics and those of their counterparts living in standard Riemannian spacetimes. At the centre of our analysis lies the Raychaudhuri equation, which is the fundamental formula monitoring the convergence/divergence, namely the collapse/expansion, of timelike worldline congruences. To the best of our knowledge, we provide the most general expression so far of the Raychaudhuri equation, with applications to an extensive range of non-standard astrophysical and cosmological studies. Assuming that metricity holds, but allowing for nonzero torsion, we recover the results of analogous previous treatments. Focusing on non-metricity alone, we identify a host of effects that depend on the nature of the timelike congruence and on the type of the adopted non-metricity. We also demonstrate that in spaces of high symmetry one can recover the pure-torsion results from their pure non-metricity analogues, and vice-versa, via a simple ansatz between torsion and non-metricity.


title: Semiparametrical Gaussian Processes Learning of Forward Dynamical Models for Navigating in a Circular Maze

abstract: This paper presents a problem of model learning for the purpose of learning how to navigate a ball to a goal state in a circular maze environment with two degrees of freedom. The motion of the ball in the maze environment is influenced by several non-linear effects such as dry friction and contacts, which are difficult to model physically. We propose a semiparametric model to estimate the motion dynamics of the ball based on Gaussian Process Regression equipped with basis functions obtained from physics first principles. The accuracy of this semiparametric model is shown not only in estimation but also in prediction at n-steps ahead and its compared with standard algorithms for model learning. The learned model is then used in a trajectory optimization algorithm to compute ball trajectories. We propose the system presented in the paper as a benchmark problem for reinforcement and robot learning, for its interesting and challenging dynamics and its relative ease of reproducibility.


title: Fingerprinting models of first-order phase transitions by the synergy between collider and gravitational-wave experiments

abstract: We investigate the sensitivity of future space-based interferometers such as LISA and DECIGO to the parameters of new particle physics models which drive a first-order phase transition in the early Universe. We first perform a Fisher matrix analysis on the quantities characterizing the gravitational wave spectrum resulting from the phase transition, such as the peak frequency and amplitude. We next perform a Fisher analysis for the quantities which determine the properties of the phase transition, such as the latent heat and the time dependence of the bubble nucleation rate. Since these quantities are determined by the model parameters of the new physics, we can estimate the expected sensitivities to such parameters. We illustrate this point by taking three new physics models for example: (1) models with additional isospin singlet scalars (2) a model with an extra real Higgs singlet, and (3) a classically conformal $B-L$ model. We find that future gravitational wave observations play complementary roles to future collider experiments in pinning down the parameters of new physics models driving a first-order phase transition.


title: Efficient Graph Cut Optimization for Full CRFs with Quantized Edges

abstract: Fully connected pairwise Conditional Random Fields (Full-CRF) with Gaussian edge weights can achieve superior results compared to sparsely connected CRFs. However, traditional methods for Full-CRFs are too expensive. Previous work develops efficient approximate optimization based on mean field inference, which is a local optimization method and can be far from the optimum. We propose efficient and effective optimization based on graph cuts for Full-CRFs with quantized edge weights. To quantize edge weights, we partition the image into superpixels and assume that the weight of an edge between any two pixels depends only on the superpixels these pixels belong to. Our quantized edge CRF is an approximation to the Gaussian edge CRF, and gets closer to it as superpixel size decreases. Being an approximation, our model offers an intuition about the regularization properties of the Guassian edge Full-CRF. For efficient inference, we first consider the two-label case and develop an approximate method based on transforming the original problem into a smaller domain. Then we handle multi-label CRF by showing how to implement expansion moves. In both binary and multi-label cases, our solutions have significantly lower energy compared to that of mean field inference. We also show the effectiveness of our approach on semantic segmentation task.


title: Transport properties of Valine in water at different temperatures

abstract: Molecular Dynamics simulations of Valine in water and their binary mixtures ($N_{Val}$ =0.003 \& $N_{water}$=0.997, $N$ representing the mole fraction) have been accomplished at temperatures 293.20 K, 303.20 K, 313.20 K, 323.20 K, and 333.20 K using the OPLS/AA force field parameters. The work has been carried out by using GROMACS. The OW-OW, H19-OW, N6-OW and C1/C3-OW radial distribution functions (RDFs) have been estimated. Co-ordination numbers are also determined by the self-coded FORTRAN. The self-diffusion coefficients of Valine and water have been determined by means of mean-square displacement (MSD) using Einstein's relation. The mutual diffusion coefficients of the binary mixtures have been determined using Darken's relation. The values of the diffusion coefficients have been found to agree with the experimental results within 8.54 \%. The temperature dependence of the diffusion coefficients have been analyzed and the analysis showed that they follow Arrhenius behavior. Energy estimated from Arrhenius plot agrees with experimental data within 13.04 \% for water and 5.34 \% for system.


title: Clipped Matrix Completion: A Remedy for Ceiling Effects

abstract: We consider the problem of recovering a low-rank matrix from its clipped observations. Clipping is conceivable in many scientific areas that obstructs statistical analyses. On the other hand, matrix completion (MC) methods can recover a low-rank matrix from various information deficits by using the principle of low-rank completion. However, the current theoretical guarantees for low-rank MC do not apply to clipped matrices, as the deficit depends on the underlying values. Therefore, the feasibility of clipped matrix completion (CMC) is not trivial. In this paper, we first provide a theoretical guarantee for the exact recovery of CMC by using a trace-norm minimization algorithm. Furthermore, we propose practical CMC algorithms by extending ordinary MC methods. Our extension is to use the squared hinge loss in place of the squared loss for reducing the penalty of over-estimation on clipped entries. We also propose a novel regularization term tailored for CMC. It is a combination of two trace-norm terms, and we theoretically bound the recovery error under the regularization. We demonstrate the effectiveness of the proposed methods through experiments using both synthetic and benchmark data for recommendation systems.


title: Effective operators for Robin eigenvalues in domains with corners

abstract: We study the eigenvalues of the Laplacian with a strong attractive Robin boundary condition in curvilinear polygons. It was known from previous works that the asymptotics of several first eigenvalues is essentially determined by the corner openings, while only rough estimates were available for the next eigenvalues. Under some geometric assumptions, we go beyond the critical eigenvalue number and give a precise asymptotics of any individual eigenvalue by establishing a link with an effective Schr\"odinger-type operator on the boundary of the domain with boundary conditions at the corners.


title: Relativity of quantum superpositions

abstract: In modern physics only relative quantities are considered to have physical significance. For example, position assigned to a system depends on the choice of coordinates, and only relative distances between different systems have physical relevance. On the other hand, in quantum theory the scenario where one system, A, is localised around certain position while another system B is in a spatial superposition is considered to be physically different from the scenario where A is in a superposition, while B is localised. Different physical effects are anticipated in the two scenarios especially when the two systems have widely different masses. Here we show that for any superposed amplitudes that are related by a symmetry transformation, the above scenarios are physically equivalent: probabilities for any measurement are the same whether we assign the superposition state to system A or to system B. More generally, linearity of quantum theory guarantees that if a theory is invariant under some symmetry transformations it is necessarily also invariant under their arbitrary `superpositions'. Thus the notion of a superposition turns out to be relative to the choice of coordinates, once it is realised that relations between coordinates do not need to be classical.


title: From Nonlinear Identification to Linear Parameter Varying Models: Benchmark Examples

abstract: Linear parameter-varying (LPV) models form a powerful model class to analyze and control a (nonlinear) system of interest. Identifying a LPV model of a nonlinear system can be challenging due to the difficulty of selecting the scheduling variable(s) a priori, which is quite challenging in case a first principles based understanding of the system is unavailable. This paper presents a systematic LPV embedding approach starting from nonlinear fractional representation models. A nonlinear system is identified first using a nonlinear block-oriented linear fractional representation (LFR) model. This nonlinear LFR model class is embedded into the LPV model class by factorization of the static nonlinear block present in the model. As a result of the factorization a LPV-LFR or a LPV state-space model with an affine dependency results. This approach facilitates the selection of the scheduling variable from a data-driven perspective. Furthermore the estimation is not affected by measurement noise on the scheduling variables, which is often left untreated by LPV model identification methods. The proposed approach is illustrated on two well-established nonlinear modeling benchmark examples.


title: Reductive property of new fuzzy reasoning method based on distance measure

abstract: Firstly in this paper we propose a new criterion function for evaluation of the reductive property about the fuzzy reasoning result for fuzzy modus ponens and fuzzy modus tollens. Secondly unlike fuzzy reasoning methods based on the similarity measure, we propose a new fuzzy reasoning method based on distance measure. Thirdly the reductive property for 5 fuzzy reasoning methods are checked with respect to fuzzy modus ponens and fuzzy modus tollens. Through the experiment, we show that proposed method is better than the previous methods in accordance with human thinking.


title: QCD multiplet bases with arbitrary parton ordering

abstract: We develop an algorithm for recursively constructing orthogonal multiplet bases for the color space of QCD, for any order of partons and any Nc. This recipe is then applied for explicitly constructing some of these bases. Using the bases, a corresponding set of Wigner 6j coefficients are calculated. The Wigner coefficients offer a method of using multiplet bases without resorting to the explicit expressions of the basis vectors, which lead to a significant speed-up compared to other methods of treating full color structure.


title: Role of environment and gas temperature in the formation of multiple protostellar systems: molecular tracers

abstract: Context: Simulations suggest that gas heating due to radiative feedback is a key factor in whether or not multiple protostellar systems will form. Chemistry is a good tracer of the physical structure of a protostellar system, since it depends on the temperature structure. Aims: We aim to study the relationship between envelope gas temperature and protostellar multiplicity. Methods: Single dish observations of various molecules that trace the cold, warm and UV-irradiated gas are used to probe the temperature structure of multiple and single protostellar systems on 7000 AU scales. Results: Single, close binary, and wide multiples present similar current envelope gas temperatures, as estimated from H$_2$CO and DCO$^+$ line ratios. The temperature of the outflow cavity, traced by c-C$_3$H$_2$, on the other hand, shows a relation with bolometric luminosity and an anti-correlation with envelope mass. Although the envelope gas temperatures are similar for all objects surveyed, wide multiples tend to exhibit a more massive reservoir of cold gas compared to close binary and single protostars. Conclusions: Although the sample of protostellar systems is small, the results suggest that gas temperature may not have a strong impact on fragmentation. We propose that mass, and density, may instead be key factors in fragmentation.


title: Filter-linkedness and its effect on preservation of cardinal characteristics

abstract: We introduce the property ``$F$-linked'' of subsets of posets for a given free filter $F$ on the natural numbers, and define the properties ``$\mu$-$F$-linked'' and ``$\theta$-$F$-Knaster'' for posets in a natural way. We show that $\theta$-$F$-Knaster posets preserve strong types of unbounded families and of maximal almost disjoint families. Concerning iterations of such posets, we develop a general technique to construct $\theta$-$\mathrm{Fr}$-Knaster posets (where $\mathrm{Fr}$ is the Frechet ideal) via matrix iterations of ${<}\theta$-ultrafilter-linked posets (restricted to some level of the matrix). This is applied to prove consistency results about Cicho\'n's diagram (without using large cardinals) and to prove the consistency of the fact that, for each Yorioka ideal, the four cardinal invariants associated with it are pairwise different. At the end, we show that three strongly compact cardinals are enough to force that Cicho\'n's diagram can be separated into $10$ different values.


title: Hidden Gibbs measures on shift spaces over countable alphabets

abstract: We study the thermodynamic formalism for particular types of sub-additive sequences on a class of subshifts over countable alphabets. The subshifts we consider include factors of irreducible countable Markov shifts under certain conditions. We show the variational principle for topological pressure. We also study conditions for the existence and uniqueness of invariant ergodic Gibbs measures and the uniqueness of equilibrium states. As an application, we extend the theory of factors of (generalized) Gibbs measures on subshifts on finite alphabets to that on certain subshifts over countable alphabets.


title: The Hubble Space Telescope UV Legacy Survey of Galactic Globular Clusters. XVI. The helium abundance of multiple populations

abstract: Recent work, based on data from the Hubble Space Telescope (HST) UV Legacy Survey of Galactic Globular Clusters (GCs), has revealed that all the analyzed clusters host two groups of first- (1G) and second-generation (2G) stars. In most GCs, both 1G and 2G stars host sub-stellar populations with different chemical composition. We compare multi-wavelength HST photometry with synthetic spectra to determine for the first time the average helium difference between the 2G and 1G stars in a large sample of 57 GCs and the maximum helium variation within each of them. We find that in all clusters 2G stars are consistent with being enhanced in helium with respect to 1G. The maximum helium variation ranges from less than 0.01 to more than 0.10 in helium mass fraction and correlates with both the cluster mass and the color extension of the horizontal branch (HB). These findings demonstrate that the internal helium variation is one of the main (second) parameters governing the HB morphology.


title: Interaction induced fractionalization and topological superconductivity in the polar molecules anisotropic $t-J$ model

abstract: We show that the interplay between antiferromagnetic interaction and hole motion gives rise to a topological superconducting phase. This is captured by the one dimensional anisotropic $t-J$ model which can be experimentally achieved with ultracold polar molecules trapped onto an optical lattice. As a function of the anisotropy strength we find that different quantum phases appear, ranging from a gapless Luttinger liquid to spin gapped conducting and superconducting regimes. In presence of appropriate $z$-anisotropy, we also prove that a phase characterized by non-trivial topological order takes place. The latter is described uniquely by a finite non local string parameter and presents robust edge spin fractionalization. These results allow to explore quantum phases of matter where topological superconductivity is induced by the interaction.


title: Strong Electronic Interaction and Signatures of Nodal Superconductivity in Zr$_5$Pt$_3$C$_x$

abstract: The physical properties of the Zr$_5$Pt$_3$ compound with interstitial carbon in hexagonal D8$_8$-structure was investigated. A set of macroscopic measurements reveal a bulk superconducting at approximately 7 K for Zr$_5$Pt$_3$C$_{0.3}$ close to Zr$_5$Pt$_3$, also with a correlate anomalous resistivity behavior. However, both the signatures of strong electron-electron interaction, and the electronic contribution to specific heat, increase dramatically with the C doping. For the first time the x-ray photoelectron spectra compared with DFT/PWLO calculations of electronic structure show a complex Fermi surface with high density of states for Zr$_5$Pt$_3$. Also results show the signature of unconventional superconductivity. Indeed, was observed an unusual behavior for lower and upper critical field diagrams of Zr$_5$Pt$_3$C$_{0.3}$. The temperature dependence of penetration length and electronic contribution to specific heat suggests that electronic pairing deviates of $s$-wave the BCS scenario.


title: Parallel Machine Scheduling with a Single Resource per Job

abstract: We study the problem of scheduling jobs on parallel machines minimizing the total completion time, with each job using exactly one resource. First, we derive fundamental properties of the problem and show that the problem is polynomially solvable if $p_j = 1$. Then we look at a variant of the shortest processing time rule as an approximation algorithm for the problem and show that it gives at least a $(2-\frac{1}{m})$-approximation. Subsequently, we show that, although the complexity of the problem remains open, three related problems are $\mathcal{NP}$-hard. In the first problem, every resource also has a subset of machines on which it can be used. In the second problem, once a resource has been used on a machine it cannot be used on any other machine, hence all jobs using the same resource need to be scheduled on the same machine. In the third problem, every job needs exactly two resources instead of just one.


title: Tracer diffusion in crowded narrow channels. Topical review

abstract: We summarise different results on the diffusion of a tracer particle in lattice gases of hard-core particles with stochastic dynamics, which are confined to narrow channels -- single-files, comb-like structures and quasi-one-dimensional channels with the width equal to several particle diameters. We show that in such geometries a surprisingly rich, sometimes even counter-intuitive, behaviour emerges, which is absent in unbounded systems. We also present a survey of different results obtained for a tracer particle diffusion in unbounded systems, which will permit a reader to have an exhaustively broad picture of the tracer diffusion in crowded environments.

categories: cond-mat.stat-mech cond-mat.soft math.PR physics.bio-ph


title: Linear Parameter Varying Representation of a class of MIMO Nonlinear Systems

abstract: Linear parameter-varying (LPV) models form a powerful model class to analyze and control a (nonlinear) system of interest. Identifying an LPV model of a nonlinear system can be challenging due to the difficulty of selecting the scheduling variable(s) a priori, especially if a first principles based understanding of the system is unavailable. Converting a nonlinear model to an LPV form is also non-trivial and requires systematic methods to automate the process. Inspired by these challenges, a systematic LPV embedding approach starting from multiple-input multiple-output (MIMO) linear fractional representations with a nonlinear feedback block (NLFR) is proposed. This NLFR model class is embedded into the LPV model class by an automated factorization of the (possibly MIMO) static nonlinear block present in the model. As a result of the factorization, an LPV-LFR or an LPV state-space model with affine dependency on the scheduling is obtained. This approach facilitates the selection of the scheduling variable and the connected mapping of system variables. Such a conversion method enables to use nonlinear identification tools to estimate LPV models. The potential of the proposed approach is illustrated on a 2-DOF nonlinear mass-spring-damper example.


title: Photoexcitation Induced Quantum Dynamics of Charge Density Wave and Emergence of a Collective Mode in 1T-TaS$_2$

abstract: Photoexcitation is a powerful means in distinguishing different interactions and manipulating the states of matter, especially in complex quantum systems. As a well-known charge density wave (CDW) material, 1T-TaS2 has been widely studied experimentally thanks to its intriguing photoexcited responses. However, the microscopic atomic dynamics and underlying mechanism are still under debate. Here, we demonstrate photoexcitation induced ultrafast dynamics in 1T-TaS2 using time-dependent density functional theory molecular dynamics. We discover a novel collective mode induced by photodoping, which is significantly different from thermally-induced phonon mode in TaS2. In addition, our finding validates nonthermal melting of CDW induced at low light intensities, supporting that conventional hot electron model is inadequate to explain photoinduced dynamics. Our results provide a deep insight on coherent electron and lattice quantum dynamics during the formation and excitation of CDW in 1T-TaS2.


title: Relays: A New Approach for the Finite Departure Problem in Overlay Networks

abstract: A fundamental problem for overlay networks is to safely exclude leaving nodes, i.e., the nodes requesting to leave the overlay network are excluded from it without affecting its connectivity. To rigorously study self-tabilizing solutions to this problem, the Finite Departure Problem (FDP) has been proposed [12]. In the FDP we are given a network of processes in an arbitrary state, and the goal is to eventually arrive at (and stay in) a state in which all leaving processes irrevocably decided to leave the system while for all weakly-connected components in the initial overlay network, all staying processes in that component will still form a weakly connected component. In the standard interconnection model, the FDP is known to be unsolvable by local control protocols, so oracles have been investigated that allow the problem to be solved [12]. To avoid the use of oracles, we introduce a new interconnection model based on relays. Despite the relay model appearing to be rather restrictive, we show that it is universal, i.e., it is possible to transform any weakly-connected topology into any other weakly-connected topology, which is important for being a useful interconnection model for overlay networks. Apart from this, our model allows processes to grant and revoke access rights, which is why we believe it to be of interest beyond the scope of this paper. We show how to implement the relay layer in a self-stabilizing way and identify properties protocols need to satisfy so that the relay layer can recover while serving protocol requests.


title: Statistical Estimation of Ergodic Markov Chain Kernel over Discrete State Space

abstract: We investigate the statistical complexity of estimating the parameters of a discrete-state Markov chain kernel from a single long sequence of state observations. In the finite case, we characterize (modulo logarithmic factors) the minimax sample complexity of estimation with respect to the operator infinity norm, while in the countably infinite case, we analyze the problem with respect to a natural entry-wise norm derived from total variation. We show that in both cases, the sample complexity is governed by the mixing properties of the unknown chain, for which, in the finite-state case, there are known finite-sample estimators with fully empirical confidence intervals.


title: Schlichting's Theorem for Approximate Subgroups

abstract: We prove Schlichting's theorem for approximate subgroups: if $\mathcal{X}$ is a uniform family of commensurable approximate subgroups in some ambient group, then there exists an invariant approximate subgroup commensurable with $\mathcal{X}$.


title: Pillowcase covers: Counting Feynman-like graphs associated with quadratic differentials

abstract: We prove the quasimodularity of generating functions for counting pillowcase covers, with and without Siegel-Veech weight. Similar to prior work on torus covers, the proof is based on analyzing decompositions of half-translation surfaces into horizontal cylinders. It provides an alternative proof of the quasimodularity results of Eskin-Okounkov and a practical method to compute area Siegel-Veech constants. A main new technical tool is a quasi-polynomiality result for 2-orbifold Hurwitz numbers with completed cycles.


title: Bounded Synthesis of Register Transducers

abstract: Reactive synthesis aims at automatic construction of systems from their behavioural specifications. The research mostly focuses on synthesis of systems dealing with Boolean signals. But real-life systems are often described using bit-vectors, integers, etc. Bit-blasting would make such systems unreadable, hit synthesis scalability, and is not possible for infinite data-domains. One step closer to real-life systems are register transducers: they can store data-input into registers and later output the content of a register, but they do not directly depend on the data-input, only on its comparison with the registers. Previously it was proven that synthesis of register transducers from register automata is undecidable, but there the authors considered transducers equipped with the unbounded queue of registers. First, we prove the problem becomes decidable if bound the number of registers in transducers, by reducing the problem to standard synthesis of Boolean systems. Second, we show how to use quantified temporal logic, instead of automata, for specifications.


title: DPP-PMRF: Rethinking Optimization for a Probabilistic Graphical Model Using Data-Parallel Primitives

abstract: We present a new parallel algorithm for probabilistic graphical model optimization. The algorithm relies on data-parallel primitives (DPPs), which provide portable performance over hardware architecture. We evaluate results on CPUs and GPUs for an image segmentation problem. Compared to a serial baseline, we observe runtime speedups of up to 13X (CPU) and 44X (GPU). We also compare our performance to a reference, OpenMP-based algorithm, and find speedups of up to 7X (CPU).


title: An energy-based analysis of reduced-order models of (networked) synchronous machines

abstract: Stability of power networks is an increasingly important topic because of the high penetration of renewable distributed generation units. This requires the development of advanced (typically model-based) techniques for the analysis and controller design of power networks. Although there are widely accepted reduced-order models to describe the dynamic behavior of power networks, they are commonly presented without details about the reduction procedure, hampering the understanding of the physical phenomena behind them. The present paper aims to provide a modular model derivation of multi-machine power networks. Starting from first-principle fundamental physics, we present detailed dynamical models of synchronous machines and clearly state the underlying assumptions which lead to some of the standard reduced-order multi-machine models, including the classical second-order swing equations. In addition, the energy functions for the reduced-order multi-machine models are derived, which allows to represent the multi-machine systems as port-Hamiltonian systems. Moreover, the systems are proven to be passive with respect to its steady states, which permits for a power-preserving interconnection with other passive components, including passive controllers. As a result, the corresponding energy function or Hamiltonian can be used to provide a rigorous stability analysis of advanced models for the power network without having to linearize the system.


title: Full Workspace Generation of Serial-link Manipulators by Deep Learning based Jacobian Estimation

abstract: Apart from solving complicated problems that require a certain level of intelligence, fine-tuned deep neural networks can also create fast algorithms for slow, numerical tasks. In this paper, we introduce an improved version of [1]'s work, a fast, deep-learning framework capable of generating the full workspace of serial-link manipulators. The architecture consists of two neural networks: an estimation net that approximates the manipulator Jacobian, and a confidence net that measures the confidence of the approximation. We also introduce M3 (Manipulability Maps of Manipulators), a MATLAB robotics library based on [2](RTB), the datasets generated by which are used by this work. Results have shown that not only are the neural networks significantly faster than numerical inverse kinematics, it also offers superior accuracy when compared to other machine learning alternatives. Implementations of the algorithm (based on Keras[3]), including benchmark evaluation script, are available at https://github.com/liaopeiyuan/Jacobian-Estimation . The M3 Library APIs and datasets are also available at https://github.com/liaopeiyuan/M3 .


title: State-Space Identification of Unmanned Helicopter Dynamics using Invasive Weed Optimization Algorithm on Flight Data

abstract: In order to achieve a good level of autonomy in unmanned helicopters, an accurate replication of vehicle dynamics is required, which is achievable through precise mathematical modeling. This paper aims to identify a parametric state-space system for an unmanned helicopter to a good level of accuracy using Invasive Weed Optimization (IWO) algorithm. The flight data of Align TREX 550 flybarless helicopter is used in the identification process. The rigid-body dynamics of the helicopter is modeled in a state-space form that has 40 parameters, which serve as control variables for the IWO algorithm. The results after 1000 iterations were compared with the traditionally used Prediction Error Minimization (PEM) method and also with Genetic Algorithm (GA), which serve as references. Results show a better level of correlation between the actual and estimated responses of the system identified using IWO to that of PEM and GA.


title: Classification of reduction operators and exact solutions of variable coefficient Newell-Whitehead-Segel equations

abstract: A class of the Newell-Whitehead-Segel equations (also known as generalized Fisher equations and Newell-Whitehead equations) is studied with Lie and "nonclassical" symmetry points of view. The classifications of Lie reduction operators and of regular nonclassical reduction operators are performed. The set of admissible transformations (the equivalence groupoid) of the class is described exhaustively. The criterion of reducibility of variable coefficient Newell-Whitehead-Segel equations to their constant coefficient counterparts is derived. Wide families of exact solutions for such variable coefficient equations are constructed.


title: Foraging as an evidence accumulation process

abstract: A canonical foraging task is the patch-leaving problem, in which a forager must decide to leave a current resource in search for another. Theoretical work has derived optimal strategies for when to leave a patch, and experiments have tested for conditions where animals do or do not follow an optimal strategy. Nevertheless, models of patch-leaving decisions do not consider the imperfect and noisy sampling process through which an animal gathers information, and how this process is constrained by neurobiological mechanisms. In this theoretical study, we formulate an evidence accumulation model of patch-leaving decisions where the animal averages over noisy measurements to estimate the state of the current patch and the overall environment. Evidence accumulation models belong to the class of drift diffusion processes and have been used to model decision making in different contexts. We solve the model for conditions where foraging decisions are optimal and equivalent to the marginal value theorem, and perform simulations to analyze deviations from optimal when these conditions are not met. By adjusting the drift rate and decision threshold, the model can represent different strategies, for example an increment-decrement or counting strategy. These strategies yield identical decisions in the limiting case but differ in how patch residence times adapt when the foraging environment is uncertain. To account for sub-optimal decisions, we introduce an energy-dependent utility function that predicts longer than optimal patch residence times when food is plentiful. Our model provides a quantitative connection between ecological models of foraging behavior and evidence accumulation models of decision making. Moreover, it provides a theoretical framework for potential experiments which seek to identify neural circuits underlying patch leaving decisions.


title: Integrated systems approach identifies pathways from the genome to triglycerides through a metabolomic causal network

abstract: Introduction: To leverage functionality and clinical relevance into understanding systems biology, one needs to understand the pathway of the genetic effects on risk factors/disease through intermediate molecular levels, such as metabolomics. Systems approaches integrate multi-omic information to find pathways to disease endpoints and make optimal inference decisions. Method: Here, we introduce a multi-stage approach to integrate causal networks in observational studies and GWAS to facilitate mechanistic understanding through identification of pathways from the genome to risk factors/disease via metabolomics. The pathways in causal networks reveal the underlying relationships behind observations, which do not play a significant role in more traditional correlative analyses, where one variable at a time is considered. Results: We identified a causal network over the metabolomic level using the genome directed acyclic graph (G-DAG), to systematically assess whether variations in the genome lead to variations in triglyceride levels as a risk factor of cardiovascular disease. We found LRRC46 and LRRC69 harboring loss-of-function mutations have significant effect on two metabolites with direct effects on triglyceride levels. We also found pathways of FAM198B and C6orf25 to triglycerides through indirect paths from metabolites. Conclusion: Integrating causal networks with GWAS facilitates mechanistic understanding in comparison to one-variable-at-a-time approaches due to accounting for relationships among components at intermediate molecular levels. This approach is complementary to experimental studies to identify efficacious targets in the age of big data sets.


title: Effects of density-dependent migration on a population subjected to Allee effect

abstract: This study assessed the effects of migration on the dynamics of a species population. It was considered that the species in its natural state and without the presence of migration exhibited Allee effect. This work also considered migration as a density-dependent function, which, from a maximum rate, decreases to a minimum of zero when the population reaches its carrying capacity.


title: A Hodge filtration of logarithmic vector fields for well-generated complex reflection groups

abstract: Given an irreducible well-generated complex reflection group, we construct an explicit basis for the module of vector fields with logarithmic poles along its reflection arrangement. This construction yields in particular a Hodge filtration of that module. Our approach is based on a detailed analysis of a flat connection applied to the primitive vector field. This generalizes and unifies analogous results for real reflection groups.


title: ReplicaTEE: Enabling Seamless Replication of SGX Enclaves in the Cloud

abstract: With the proliferation of Trusted Execution Environments (TEEs) such as Intel SGX, a number of cloud providers will soon introduce TEE capabilities within their offering (e.g., Microsoft Azure). Although the integration of SGX within the cloud considerably strengthens the threat model for cloud applications, the current model to deploy and provision enclaves prevents the cloud operator from adding or removing enclaves dynamically - thus preventing elasticity for TEE-based applications in the cloud. In this paper, we propose ReplicaTEE, a solution that enables seamless provisioning and decommissioning of TEE-based applications in the cloud. ReplicaTEE leverages an SGX-based provisioning layer that interfaces with a Byzantine Fault-Tolerant storage service to securely orchestrate enclave replication in the cloud, without the active intervention of the application owner. Namely, in ReplicaTEE, the application owner entrusts application secret to the provisioning layer; the latter handles all enclave commissioning and de-commissioning operations throughout the application lifetime. We analyze the security of ReplicaTEE and show that it is secure against attacks by a powerful adversary that can compromise a large fraction of the cloud infrastructure. We implement a prototype of ReplicaTEE in a realistic cloud environment and evaluate its performance. ReplicaTEE moderately increments the TCB by ~800 LoC. Our evaluation shows that ReplicaTEE does not add significant overhead to existing SGX-based applications.


title: Weighted Turan Problems with Applications

abstract: Suppose the edges of $K_n$ are assigned weights by a weight function $w$. We define the {\em weighted extremal number} \[ \mathrm{ex}(n,w,F):=\max\{w(G)\mid G\subseteq K_n,\text{ and }G\text{ is }F\text{-free}\} \] where $w(G):=\sum_{e\in E(G)}w(e)$. In this paper we study this problem for two types of weights $w$, each of which has an application. The first application is to an extremal problem in a complete multipartite host graph. The second application is to the maximum rectilinear crossing number of trees of diameter 4.


title: Reduced critical Bellman-Harris branching processes for small populations

abstract: Let $\left\{ Z(t), t\geq 0\right\} $ be a critical Bellman-Harris branching process with finite variance for the offspring size of particles. Assuming that $0<Z(t)\leq \varphi (t)$, where either $\varphi (t)=o(t)$ as $t\rightarrow \infty $ or $\varphi (t)=at,\, a>0$, we study the structure of the process $% \left\{ Z(s,t),0\leq s\leq t\right\} ,$ where $Z(s,t)$ is the number of particles in the process at moment $s$ in the initial process which either survive up to moment $t$ or have a positive offspring number at this moment.


title: Powerbox: A Python package for creating structured fields with isotropic power spectra

abstract: Powerbox is a pure-Python package for creating and measuring structured fields with homogeneous and isotropic power spectra.


title: Exoplanet Terra Incognita

abstract: Exoplanet surface imaging, cartography and the search for exolife are the next frontiers of planetology and astrophysics. Here we present an over-view of ideas and techniques to resolve albedo features on exoplanetary surfaces. Albedo maps obtained in various spectral bands (similar to true-colour images) may reveal exoplanet terrains, geological history, life colonies, and even artificial structures of advanced civilizations.


title: IPAD: Stable Interpretable Forecasting with Knockoffs Inference

abstract: Interpretability and stability are two important features that are desired in many contemporary big data applications arising in economics and finance. While the former is enjoyed to some extent by many existing forecasting approaches, the latter in the sense of controlling the fraction of wrongly discovered features which can enhance greatly the interpretability is still largely underdeveloped in the econometric settings. To this end, in this paper we exploit the general framework of model-X knockoffs introduced recently in Cand\`{e}s, Fan, Janson and Lv (2018), which is nonconventional for reproducible large-scale inference in that the framework is completely free of the use of p-values for significance testing, and suggest a new method of intertwined probabilistic factors decoupling (IPAD) for stable interpretable forecasting with knockoffs inference in high-dimensional models. The recipe of the method is constructing the knockoff variables by assuming a latent factor model that is exploited widely in economics and finance for the association structure of covariates. Our method and work are distinct from the existing literature in that we estimate the covariate distribution from data instead of assuming that it is known when constructing the knockoff variables, our procedure does not require any sample splitting, we provide theoretical justifications on the asymptotic false discovery rate control, and the theory for the power analysis is also established. Several simulation examples and the real data analysis further demonstrate that the newly suggested method has appealing finite-sample performance with desired interpretability and stability compared to some popularly used forecasting methods.


title: On the Dynamics of a Quasi-Two-Dimensional Pulsed-Fludized Bed

abstract: Periodic fluidization of solids in a gas medium can generate structured bubbling patterns. This phenomenon has been successfully reproduced in fluidized bed systems called pulsed-fluidized beds, known for their efficient mixing and tunability. The resulting pattern depends on particle properties, dimensions of the bed, mean inlet velocity, bed height, and amplitude and frequency of pulsing. It is however important to understand the changes in granular rheology associated with bubbling patterns. In the experimental work presented, we report on the results from a small-scale quasi-two-dimensional pulsed-fluidized bed. Proper Orthogonal Decomposition analysis applied to Particle Tracking Velocimetry data reveals a redistribution of energy between the harmonic and sub-harmonic modes as the inlet gas frequency is decreased. The change in bubbling pattern is accompanied by a change in granular dynamics due to the dominant modes of particle-phase motion.


title: Full-sky beam convolution for cosmic microwave background applications

abstract: We introduce a publicly available full-sky beam convolution code library intended to inform the design of future cosmic microwave background (CMB) instruments and help current experiments probe potential systematic effects. The code can be used to assess the impact of optical systematics on all stages of data reduction for a realistic experiment, including analyses beyond power spectrum estimation, by generating signal timelines that may serve as input to full analysis pipelines. The design and mathematical framework of the Python code is discussed along with a few simple benchmarking results. We present a simple two-lens refracting telescope design and use it together with the code to simulate a year-long dataset for 400 detectors scanning the sky on a satellite instrument. The simulation results identify a number of sub-leading optical non-idealities and demonstrate significant B-mode residuals caused by extended sidelobes that are sensitive to polarized radiation from the Galaxy. For the proposed design and satellite scanning strategy, we show that a full physical optics beam model generates B-mode systematics that differ significantly from the simpler elliptical Gaussian model. The code is available at https://github.com/adrijd/beamconv


title: Quantum Spacetime Pictures and Dynamics from a Relativity Perspective

abstract: Based on an identified quantum relativity symmetry the contraction of which gives the Newtonian approximation of Galilean relativity, a quantum model of the physical space can be formulated with the Newtonian space seen in a way as the classical approximation. Matching picture for the observable algebra as the corresponding representation of the group C* -algebra, describes the full dynamical pictures equally successfully. Extension of the scheme to a Lorentz covariant setting and beyond will also be addressed.The formulation of quantum mechanics allows the theory to be seen in a new picture in line with the notion of a noncommutative spacetime.


title: The XXL Survey XXIV. The final detection pipeline

abstract: A well characterised detection pipeline is an important ingredient for X-ray cluster surveys. We present the final development of the XXL Survey pipeline. The pipeline optimally uses X-ray information by combining many overlapping observations of a source when possible, both for its detection and its characterisation. It can robustly detect and characterise several types of X-ray sources: AGNs (point-like), galaxy clusters (extended), galaxy clusters contaminated by a central AGN, and pairs of AGNs close on the sky. We perform a thorough suite of validation tests via realistic simulations of XMM-Newton images and we introduce new selection criteria for various types of sources that will be detected by the survey. We find that the use of overlapping observations allows new clusters to be securely identified that would be missed or less securely identified by using only one observation at the time. We also find that with the new pipeline we can robustly identify clusters with a central AGN that would otherwise have been missed, and we can flag pairs of AGNs close on the sky that might have been mistaken for a cluster.


title: Fakeons, Microcausality And The Classical Limit Of Quantum Gravity

abstract: We elaborate on the idea of fake particle and study its physical consequences. When a theory contains fakeons, the true classical limit is determined by the quantization and a subsequent process of "classicization". One of the major predictions due to the fake particles is the violation of microcausality, which survives the classical limit. This fact gives hope to detect the violation experimentally. A fakeon of spin 2, together with a scalar field, is able to make quantum gravity renormalizable while preserving unitarity. We claim that the theory of quantum gravity emerging from this construction is the right one. By means of the classicization, we work out the corrections to the field equations of general relativity. We show that the finalized equations have, in simple terms, the form $\langle F\rangle =ma$, where $\langle F\rangle $ is an average that includes a little bit of "future".


title: Uncertainty in the Design Stage of Two-Stage Bayesian Propensity Score Analysis

abstract: The two-stage process of propensity score analysis (PSA) includes a design stage where propensity scores are estimated and implemented to approximate a randomized experiment and an analysis stage where treatment effects are estimated conditional upon the design. This paper considers how uncertainty associated with the design stage impacts estimation of causal effects in the analysis stage. Such design uncertainty can derive from the fact that the propensity score itself is an estimated quantity, but also from other features of the design stage tied to choice of propensity score implementation. This paper offers a procedure for obtaining the posterior distribution of causal effects after marginalizing over a distribution of design-stage outputs, lending a degree of formality to Bayesian methods for PSA (BPSA) that have gained attention in recent literature. Formulation of a probability distribution for the design-stage output depends on how the propensity score is implemented in the design stage, and propagation of uncertainty into causal estimates depends on how the treatment effect is estimated in the analysis stage. We explore these differences within a sample of commonly-used propensity score implementations (quantile stratification, nearest-neighbor matching, caliper matching, inverse probability of treatment weighting, and doubly robust estimation) and investigate in a simulation study the impact of statistician choice in PS model and implementation on the degree of between- and within-design variability in the estimated treatment effect. The methods are then deployed in an investigation of the association between levels of fine particulate air pollution and elevated exposure to emissions from coal-fired power plants.


title: Discovering Features in Sr$_{14}$Cu$_{24}$O$_{41}$ Neutron Single Crystal Diffraction Data by Cluster Analysis

abstract: To address the SMC'18 data challenge, "Discovering Features in Sr$_{14}$Cu$_{24}$O$_{41}$", we have used the clustering algorithm "DBSCAN" to separate the diffuse scattering features from the Bragg peaks, which takes into account both spatial and photometric information in the dataset during in the clustering process. We find that, in additional to highly localized Bragg peaks, there exists broad diffuse scattering patterns consisting of distinguishable geometries. Besides these two distinctive features, we also identify a third distinguishable feature submerged in the low signal-to-noise region in the reciprocal space, whose origin remains an open question.


title: The propagator seagull: general evaluation of a two loop diagram

abstract: We study a two loop diagram of propagator type with general parameters through the Symmetries of Feynman Integrals (SFI) method. We present the SFI group and equation system, the group invariant in parameter space and a general representation as a line integral over simpler diagrams. We present close form expressions for three sectors, each with three or four energy scales, for any spacetime dimension $d$ as well as the $\epsilon$ expansion. We determine the singular locus and the diagram's value on it.


title: Gravitational radiation from compact binary systems in Einstein-Maxwell-dilaton theories

abstract: We derive the energy fluxes radiated by compact binary systems, including "hairy" black holes, in Einstein-Maxwell-dilaton theories, for circular orbits and at quadrupolar order. This enables to include in their resummed effective-one-body (EOB) dynamics the effect of the radiation reaction force at the origin of their inspiral and merger. We also exhibit typical examples of the resulting tensor and scalar waveforms.


title: Hamiltonian Descent Methods

abstract: We propose a family of optimization methods that achieve linear convergence using first-order gradient information and constant step sizes on a class of convex functions much larger than the smooth and strongly convex ones. This larger class includes functions whose second derivatives may be singular or unbounded at their minima. Our methods are discretizations of conformal Hamiltonian dynamics, which generalize the classical momentum method to model the motion of a particle with non-standard kinetic energy exposed to a dissipative force and the gradient field of the function of interest. They are first-order in the sense that they require only gradient computation. Yet, crucially the kinetic gradient map can be designed to incorporate information about the convex conjugate in a fashion that allows for linear convergence on convex functions that may be non-smooth or non-strongly convex. We study in detail one implicit and two explicit methods. For one explicit method, we provide conditions under which it converges to stationary points of non-convex functions. For all, we provide conditions on the convex function and kinetic energy pair that guarantee linear convergence, and show that these conditions can be satisfied by functions with power growth. In sum, these methods expand the class of convex functions on which linear convergence is possible with first-order computation.


title: PhD Dissertation: Generalized Independent Components Analysis Over Finite Alphabets

abstract: Independent component analysis (ICA) is a statistical method for transforming an observable multi-dimensional random vector into components that are as statistically independent as possible from each other. Usually the ICA framework assumes a model according to which the observations are generated (such as a linear transformation with additive noise). ICA over finite fields is a special case of ICA in which both the observations and the independent components are over a finite alphabet. In this thesis we consider a formulation of the finite-field case in which an observation vector is decomposed to its independent components (as much as possible) with no prior assumption on the way it was generated. This generalization is also known as Barlow's minimal redundancy representation and is considered an open problem. We propose several theorems and show that this hard problem can be accurately solved with a branch and bound search tree algorithm, or tightly approximated with a series of linear problems. Moreover, we show that there exists a simple transformation (namely, order permutation) which provides a greedy yet very effective approximation of the optimal solution. We further show that while not every random vector can be efficiently decomposed into independent components, the vast majority of vectors do decompose very well (that is, within a small constant cost), as the dimension increases. In addition, we show that we may practically achieve this favorable constant cost with a complexity that is asymptotically linear in the alphabet size. Our contribution provides the first efficient set of solutions to Barlow's problem with theoretical and computational guarantees. Finally, we demonstrate our suggested framework in multiple source coding applications.


title: Complexity Growth Following Multiple Shocks

abstract: In this paper by making use of the "Complexity=Action" proposal, we study the complexity growth after shock waves in holographic field theories. We consider both double black hole-Vaidya and AdS-Vaidya with multiple shocks geometries. We find that the Lloyd's bound is respected during the thermalization process in each of these geometries and at the late time, the complexity growth saturates to the value which is proportional to the energy of the final state. We conclude that the saturation value of complexity growth rate is independent of the initial temperature and in the case of thermal initial state, the rate of complexity is always less than the value for the vacuum initial state such that considering multiple shocks it gets more smaller. Our results indicate that by increasing the temperature of the initial state, the corresponding rate of complexity growth starts far from final saturation rate value.


title: Sparsity of solutions for variational inverse problems with finite-dimensional data

abstract: In this paper we characterize sparse solutions for variational problems of the form $\min_{u\in X} \phi(u) + F(\mathcal{A} u)$, where $X$ is a locally convex space, $\mathcal{A}$ is a linear continuous operator that maps into a finite dimensional Hilbert space and $\phi$ is a seminorm. More precisely, we prove that there exists a minimizer that is `sparse' in the sense that it is represented as a linear combination of the extremal points of the unit ball associated with the regularizer $\phi$ (possibly translated by an element in the null space of $\phi$). We apply this result to relevant regularizers such as the total variation seminorm and the Radon norm of a scalar linear differential operator. In the first example, we provide a theoretical justification of the so-called staircase effect and in the second one, we recover the result in [31] under weaker hypotheses.


title: On evidence for negative energies and masses in the Dirac equation through a unitary time-reversal operator

abstract: We review the standards of relativistic quantum mechanics such as the Dirac equation under the concept of negative masses. We show that negative energies are acceptable provided the masses are simultaneously negative. Negative energy and mass anti fermions are obtained from positive energy and mass fermions through a unitary PT transformation.


title: Quantum strong energy inequalities

abstract: Quantum energy inequalities (QEIs) express restrictions on the extent to which weighted averages of the renormalized energy density can take negative expectation values within a quantum field theory. Here we derive, for the first time, QEIs for the effective energy density (EED) for the quantized non-minimally coupled massive scalar field. The EED is the quantity required to be non-negative in the strong energy condition (SEC), which is used as a hypothesis of the Hawking singularity theorem. Thus establishing a quantum strong energy inequality is a first step towards a singularity theorem for matter described by quantum field theory. More specifically, we derive a difference QEI, where the local average of the EED is normal-ordered relative to the one in a reference state. Furthermore, the lower bounds we derive over timelike geodesics or spacetime volumes turn out to depend on the state of interest. We analyse the state-dependence of these bounds in Minkowski spacetime for thermal (KMS) states, and show that the lower bounds grow more slowly in magnitude than the EED itself as the temperature increases. The lower bounds are therefore of lower energetic order than the EED, and qualify as nontrivial state-dependent QEIs.


title: Photospheric Radius Evolution of Homologous Explosions

abstract: Recent wide-field surveys discovered new types of peculiar optical transients that showed diverse behaviors of the evolution of photospheric properties. We develop a general theory of homologous explosions with constant opacity, paying special attention on the evolution of the photospheric radius $R_{\rm ph}$. We find that regardless of the density distribution profile, $R_{\rm ph}$ always increases early on and decreases at late times. This result does not depend on the radiation and cooling processes inside the ejecta.The general rising/falling behavior of $R_{\rm ph}$ can be used to quickly diagnose whether the source originates from a supernova-like explosion. The shape of the $R_{\rm ph}$ evolution curve depends on the density profile, so the observations may be used to directly diagnose the density profile as well as the temperature profile of the ejecta. All the well-monitored supernovae show such a $R_{\rm ph}$ rising/falling behavior, which is consistent with our theory. The recently discovered peculiar transient AT2018cow showed a continuous decay of $R_{\rm ph}$, which is disfavored to be of a supernova-like explosion origin. Our result therefore supports the interpretation of this transient as a tidal disruption event.


title: Categorical Representations of Continuous Domains and Continuous L-Domains Based on Closure Spaces

abstract: Closure space has proven to be a useful tool to restructure lattices and various order structures.This paper aims to provide a novel approach to characterizing some important kinds of continuous domains by means of closure spaces. By introducing an additional map into a given closure space, the notion of F-augmented generalized closure space is presented. It is shown that F-augmented generalized closure spaces generate exactly continuous domains. Moreover, the notion of approximable mapping is identified to represent Scott-continuous functions between continuous domains. These results produce a category equivalent to that of continuous domains with Scottcontinuous functions. At the same time, two subclasses of F-augmented generalized closure spaces are considered which are representations of continuous L-domains and continuous bounded complete domains, respectively.


title: Learning to Group and Label Fine-Grained Shape Components

abstract: A majority of stock 3D models in modern shape repositories are assembled with many fine-grained components. The main cause of such data form is the component-wise modeling process widely practiced by human modelers. These modeling components thus inherently reflect some function-based shape decomposition the artist had in mind during modeling. On the other hand, modeling components represent an over-segmentation since a functional part is usually modeled as a multi-component assembly. Based on these observations, we advocate that labeled segmentation of stock 3D models should not overlook the modeling components and propose a learning solution to grouping and labeling of the fine-grained components. However, directly characterizing the shape of individual components for the purpose of labeling is unreliable, since they can be arbitrarily tiny and semantically meaningless. We propose to generate part hypotheses from the components based on a hierarchical grouping strategy, and perform labeling on those part groups instead of directly on the components. Part hypotheses are mid-level elements which are more probable to carry semantic information. A multiscale 3D convolutional neural network is trained to extract context-aware features for the hypotheses. To accomplish a labeled segmentation of the whole shape, we formulate higher-order conditional random fields (CRFs) to infer an optimal label assignment for all components. Extensive experiments demonstrate that our method achieves significantly robust labeling results on raw 3D models from public shape repositories. Our work also contributes the first benchmark for component-wise labeling.


title: Extra Quarks and Bileptons in BSM Physics in a $331$ Model

abstract: We describe some salient features of the $331_F$ (Frampton-Pisano-Pleitez) bilepton model, in which the constraints of anomaly cancelation require the number of generations to be three. In a class of six models, four of which characterised by a $\beta$ parameter describing the embedding of the hypercharge in the $SU(3)_L$ symmetry, a specific choice for $\beta$ allows bileptons in the spectrum, i.e. vectors and scalars of lepton numbers $\pm 2$. At the same time the model allows exotic quarks, with the third quark generation treated asymmetrically respect to the other two. Bileptons generate specific signatures in the form of multilepton final states in Drell-Yan like processes, with and without associated jets, which can be searched for at the LHC.