title: A Two-stage Multi-modal Affect Analysis Framework for Children with Autism Spectrum Disorder

abstract: Autism spectrum disorder (ASD) is a developmental disorder that influences the communication and social behavior of a person in a way that those in the spectrum have difficulty in perceiving other people's facial expressions, as well as presenting and communicating emotions and affect via their own faces and bodies. Some efforts have been made to predict and improve children with ASD's affect states in play therapy, a common method to improve children's social skills via play and games. However, many previous works only used pre-trained models on benchmark emotion datasets and failed to consider the distinction in emotion between typically developing children and children with autism. In this paper, we present an open-source two-stage multi-modal approach leveraging acoustic and visual cues to predict three main affect states of children with ASD's affect states (positive, negative, and neutral) in real-world play therapy scenarios, and achieved an overall accuracy of 72:40%. This work presents a novel way to combine human expertise and machine intelligence for ASD affect recognition by proposing a two-stage schema.


title: Automorphism groups over a hyperimaginary

abstract: In this paper we study the Lascar group over a hyperimaginary e. We verify that various results about the group over a real set still hold when the set is replaced by e. First of all, there is no written proof in the available literature that the group over e is a topological group. We present an expository style proof of the fact, which even simplifies existing proofs for the real case. We further extend a result that the orbit equivalence relation under a closed subgroup of the Lascar group is type-definable. On the one hand, we correct errors appeared in the book, "Simplicity Theory" [6, 5.1.14-15] and produce a counterexample. On the other, we extend Newelski's Theorem in "The diameter of a Lascar strong type" [12] that `a G-compact theory over a set has a uniform bound for the Lascar distances' to the hyperimaginary context. Lastly, we supply a partial positive answer to a question raised in "The relativized Lascar groups, type-amalgamations, and algebraicity" [4, 2.11], which is even a new result in the real context.


title: Trilateral Attention Network for Real-time Medical Image Segmentation

abstract: Accurate segmentation of medical images into anatomically meaningful regions is critical for the extraction of quantitative indices or biomarkers. The common pipeline for segmentation comprises regions of interest detection stage and segmentation stage, which are independent of each other and typically performed using separate deep learning networks. The performance of the segmentation stage highly relies on the extracted set of spatial features and the receptive fields. In this work, we propose an end-to-end network, called Trilateral Attention Network (TaNet), for real-time detection and segmentation in medical images. TaNet has a module for region localization, and three segmentation pathways: 1) handcrafted pathway with hand-designed convolutional kernels, 2) detail pathway with regular convolutional kernels, and 3) a global pathway to enlarge the receptive field. The first two pathways encode rich handcrafted and low-level features extracted by hand-designed and regular kernels while the global pathway encodes high-level context information. By jointly training the network for localization and segmentation using different sets of features, TaNet achieved superior performance, in terms of accuracy and speed, when evaluated on an echocardiography dataset for cardiac segmentation. The code and models will be made publicly available in TaNet Github page.


title: Turn-Key Constrained Parameter Space Exploration for Particle Accelerators Using Bayesian Active Learning

abstract: Particle accelerators are invaluable discovery engines in the chemical, biological and physical sciences. Characterization of the accelerated beam response to accelerator input parameters is of-ten the first step when conducting accelerator-based experiments. Currently used techniques for characterization, such as grid-like parameter sampling scans, become impractical when extended to higher dimensional input spaces, when complicated measurement constraints are present, or prior information is known about the beam response is scarce. In this work, we describe an adaptation of the popular Bayesian optimization algorithm, which enables a turn-key exploration algorithm that replaces parameter scans and minimizes prior information needed about the measurements' behavior and associated measurement constraints. We experimentally demonstrate that our algorithm autonomously conducts an adaptive, multi-parameter exploration of input parameter space,while navigating a highly constrained, single-shot beam phase-space measurement. In addition to applications in accelerator-based scientific experiments, this algorithm addresses challenges shared by many scientific disciplines and is thus applicable to autonomously conducting experiments over a broad range of research topics.


title: Learning from Demonstration without Demonstrations

abstract: State-of-the-art reinforcement learning (RL) algorithms suffer from high sample complexity, particularly in the sparse reward case. A popular strategy for mitigating this problem is to learn control policies by imitating a set of expert demonstrations. The drawback of such approaches is that an expert needs to produce demonstrations, which may be costly in practice. To address this shortcoming, we propose Probabilistic Planning for Demonstration Discovery (P2D2), a technique for automatically discovering demonstrations without access to an expert. We formulate discovering demonstrations as a search problem and leverage widely-used planning algorithms such as Rapidly-exploring Random Tree to find demonstration trajectories. These demonstrations are used to initialize a policy, then refined by a generic RL algorithm. We provide theoretical guarantees of P2D2 finding successful trajectories, as well as bounds for its sampling complexity. We experimentally demonstrate the method outperforms classic and intrinsic exploration RL techniques in a range of classic control and robotics tasks, requiring only a fraction of exploration samples and achieving better asymptotic performance.


title: An Empirical Study on Hyperparameter Optimization for Fine-Tuning Pre-trained Language Models

abstract: The performance of fine-tuning pre-trained language models largely depends on the hyperparameter configuration. In this paper, we investigate the performance of modern hyperparameter optimization methods (HPO) on fine-tuning pre-trained language models. First, we study and report three HPO algorithms' performances on fine-tuning two state-of-the-art language models on the GLUE dataset. We find that using the same time budget, HPO often fails to outperform grid search due to two reasons: insufficient time budget and overfitting. We propose two general strategies and an experimental procedure to systematically troubleshoot HPO's failure cases. By applying the procedure, we observe that HPO can succeed with more appropriate settings in the search space and time budget; however, in certain cases overfitting remains. Finally, we make suggestions for future work. Our implementation can be found in https://github.com/microsoft/FLAML/tree/main/flaml/nlp/.


title: Improved bounds in Weaver's ${\rm KS}_r$ conjecture for high rank positive semidefinite matrices

abstract: Recently Marcus, Spielman and Srivastava proved Weaver's ${\rm{KS}}_r$ conjecture, which gives a positive solution to the Kadison-Singer problem. Cohen and Br\"and\'en independently extended this result to obtain the arbitrary-rank version of Weaver's ${\rm{KS}}_r$ conjecture. In this paper, we present a new bound in Weaver's ${\rm{KS}}_r$ conjecture for the arbitrary-rank case. To do that, we introduce the definition of $(k,m)$-characteristic polynomials and employ it to improve the previous estimate on the largest root of the mixed characteristic polynomials. For the rank-one case, our bound agrees with the Bownik-Casazza-Marcus-Speegle's bound when $r=2$ and with the Ravichandran-Leake's bound when $r>2$. For the higher-rank case, we sharpen the previous bounds from Cohen and from Br\"and\'en .


title: QWin: Enforcing Tail Latency SLO at Shared Storage Backend

abstract: Consolidating latency-critical (LC) and best-effort (BE) tenants at storage backend helps to increase resources utilization. Even if tenants use dedicated queues and threads to achieve performance isolation, threads are still contend for CPU cores. Therefore, we argue that it is necessary to partition cores between LC and BE tenants, and meanwhile each core is dedicated to run a thread. Expect for frequently changing bursty load, fluctuated service time at storage backend also drastically changes the need of cores. In order to guarantee tail latency service level objectives (SLOs), the abrupt changing need of cores must be satisfied immediately. Otherwise, tail latency SLO violation happens. Unfortunately, partitioning-based approaches lack the ability to react the changing need of cores, resulting in extreme spikes in latency and SLO violation happens. In this paper, we present QWin, a tail latency SLO aware core allocation to enforce tail latency SLO at shared storage backend. QWin consists of an SLO-to-core calculation model that accurately calculates the number of cores combining with definitive runtime load determined by a flexible request-based window, and an autonomous core allocation that adjusts cores at adaptive frequency by dynamically changing core policies. When consolidating multiple LC and BE tenants, QWin outperforms the-state-of-the-art approaches in guaranteeing tail latency SLO for LC tenants and meanwhile increasing bandwidth of BE tenants by up to 31x.


title: On the Power of Preconditioning in Sparse Linear Regression

abstract: Sparse linear regression is a fundamental problem in high-dimensional statistics, but strikingly little is known about how to efficiently solve it without restrictive conditions on the design matrix. We consider the (correlated) random design setting, where the covariates are independently drawn from a multivariate Gaussian $N(0,\Sigma)$ with $\Sigma : n \times n$, and seek estimators $\hat{w}$ minimizing $(\hat{w}-w^*)^T\Sigma(\hat{w}-w^*)$, where $w^*$ is the $k$-sparse ground truth. Information theoretically, one can achieve strong error bounds with $O(k \log n)$ samples for arbitrary $\Sigma$ and $w^*$; however, no efficient algorithms are known to match these guarantees even with $o(n)$ samples, without further assumptions on $\Sigma$ or $w^*$. As far as hardness, computational lower bounds are only known with worst-case design matrices. Random-design instances are known which are hard for the Lasso, but these instances can generally be solved by Lasso after a simple change-of-basis (i.e. preconditioning). In this work, we give upper and lower bounds clarifying the power of preconditioning in sparse linear regression. First, we show that the preconditioned Lasso can solve a large class of sparse linear regression problems nearly optimally: it succeeds whenever the dependency structure of the covariates, in the sense of the Markov property, has low treewidth -- even if $\Sigma$ is highly ill-conditioned. Second, we construct (for the first time) random-design instances which are provably hard for an optimally preconditioned Lasso. In fact, we complete our treewidth classification by proving that for any treewidth-$t$ graph, there exists a Gaussian Markov Random Field on this graph such that the preconditioned Lasso, with any choice of preconditioner, requires $\Omega(t^{1/20})$ samples to recover $O(\log n)$-sparse signals when covariates are drawn from this model.


title: External Service Sensing (ESS): Research Framework, Challenges and Opportunities

abstract: The flourish of web-based services gave birth to the research area \textit{services computing}, a rapidly-expanding academic community since nearly 20 years ago. Consensus has been reached on a set of representative research problems in services computing, such as service selection, service composition, service recommendation, and service quality prediction. An obvious fact is that most services keep constant changes to timely adapt to changes of external business/technical environment and changes of internal development strategies. However, traditional services computing research does not consider such changes sufficiently. Many works regard services as \textit{static} entities; this leads to the situation that some proposed models/algorithms do not work in real world. Sensing various types of service changes is of great significance to the practicability and rationality of services computing research. In this paper, a new research problem \textit{External Service Sensing} (ESS) is defined to cope with various changes in services, and a research framework of ESS is presented to elaborate the scope and boundary of ESS. This framework is composed of four orthogonal dimensions: sensing objects, sensing contents, sensing channels, and sensing techniques. Each concrete ESS problem is defined by combining different values in these dimensions, and existing research work related to service changes can be well adapted to this framework. Real-world case studies demonstrate the soundness of ESS and its framework. Finally, some challenges and opportunities in ESS research are listed for researchers in the services computing community. To the best of our knowledge, this is the first time to systematically define service change-related research as a standard services computing problem, and thus broadening the research scope of services computing.


title: Some tight bounds on the minimum and maximum forcing numbers of graphs

abstract: Let $G$ be a simple graph with $2n$ vertices and a perfect matching. We denote by $f(G)$ and $F(G)$ the minimum and maximum forcing number of $G$, respectively. Hetyei obtained that the maximum number of edges of graphs $G$ with a unique perfect matching is $n^2$. We know that $G$ has a unique perfect matching if and only if $f(G)=0$. Along this line, we generalize the classical result to all graphs $G$ with $f(G)=k$ for $0\leq k\leq n-1$, and characterize corresponding extremal graphs as well. Hence we get a non-trivial lower bound of $f(G)$ in terms of the order and size. For bipartite graphs, we gain corresponding stronger results. Further, we obtain a new upper bound of $F(G)$. For bipartite graphs $G$, Che and Chen (2013) obtained that $f(G)=n-1$ if and only if $G$ is complete bipartite graph $K_{n,n}$. We completely characterize all bipartite graphs $G$ with $f(G)= n-2$.


title: Comagnetometer probes of dark matter and new physics

abstract: We discuss the use of comagnetometry in studying new physics that couples to fermionic spin. Modern comagnetometry is -- in absolute energy units -- the most sensitive experimental technique for measuring the energy difference between quantum states, reaching sensitivities in the $10^{-26}\,$eV range. The technique suppresses the magnetic interactions of the spins, making searches for non-standard-model interactions possible. Many implementations have been developed and optimized for various uses. New physics scenarios which can be probed with comagnetometers include: EDMs, violations of Lorentz invariance, Goldstone bosons of new high-energy symmetries, CP-violating long-range forces, and axionic dark matter. We consider the prospects for improvements in the technique, and show -- based purely on signal-to-noise ratio with existing technology -- that there is room for several orders of magnitude in further improvement. We also evaluate several sources of systematic error and instability that may limit improvements.


title: Square Root Principal Component Pursuit: Tuning-Free Noisy Robust Matrix Recovery

abstract: We propose a new framework -- Square Root Principal Component Pursuit -- for low-rank matrix recovery from observations corrupted with noise and outliers. Inspired by the square root Lasso, this new formulation does not require prior knowledge of the noise level. We show that a single, universal choice of the regularization parameter suffices to achieve reconstruction error proportional to the (a priori unknown) noise level. In comparison, previous formulations such as stable PCP rely on noise-dependent parameters to achieve similar performance, and are therefore challenging to deploy in applications where the noise level is unknown. We validate the effectiveness of our new method through experiments on simulated and real datasets. Our simulations corroborate the claim that a universal choice of the regularization parameter yields near optimal performance across a range of noise levels, indicating that the proposed method outperforms the (somewhat loose) bound proved here.


title: Long-Short Temporal Contrastive Learning of Video Transformers

abstract: Video transformers have recently emerged as a competitive alternative to 3D CNNs for video understanding. However, due to their large number of parameters and reduced inductive biases, these models require supervised pretraining on large-scale image datasets to achieve top performance. In this paper, we empirically demonstrate that self-supervised pretraining of video transformers on video-only datasets can lead to action recognition results that are on par or better than those obtained with supervised pretraining on large-scale image datasets, even massive ones such as ImageNet-21K. Since transformer-based models are effective at capturing dependencies over extended temporal spans, we propose a simple learning procedure that forces the model to match a long-term view to a short-term view of the same video. Our approach, named Long-Short Temporal Contrastive Learning (LSTCL), enables video transformers to learn an effective clip-level representation by predicting temporal context captured from a longer temporal extent. To demonstrate the generality of our findings, we implement and validate our approach under three different self-supervised contrastive learning frameworks (MoCo v3, BYOL, SimSiam) using two distinct video-transformer architectures, including an improved variant of the Swin Transformer augmented with space-time attention. We conduct a thorough ablation study and show that LSTCL achieves competitive performance on multiple video benchmarks and represents a convincing alternative to supervised image-based pretraining.


title: The Affine Shape of a Figure-Eight under the Curve Shortening Flow

abstract: We consider the curve shortening flow applied to a class of figure-eight curves: those with dihedral symmetry, convex lobes, and a monotonicity assumption on the curvature. We prove that when (non-conformal) linear transformations are applied to the solution so as to keep the bounding box the unit square, the renormalized limit converges to a quadrilateral which we call a bowtie. Along the way we prove that suitably chosen arcs of our evolving curves, when suitably rescaled, converge to the Grim Reaper Soliton under the flow. Our Grim Reaper Theorem is an analogue of a theorem of S. Angenent, which is proven in the locally convex case.


title: Population transfer under local dephasing

abstract: Stimulated Raman adiabatic passage is a well-known technique for quantum population transfer due to its robustness again various sources of noises. Here we consider quantum population transfer from one spin to another via an intermediate spin which subjects to dephasing noise. We obtain an analytic expression for the transfer efficiency under a specific driving protocol, showing that dephasing could reduce the transfer efficiency, but the effect of dephasing could also be suppressed with a stronger laser coupling or a longer laser duration. We also consider another commonly used driving protocol, which shows that this analytic picture is still qualitatively correct.


title: Optimum-statistical Collaboration Towards General and Efficient Black-box Optimization

abstract: In this paper, we make the key delineation on the roles of resolution and statistical uncertainty in hierarchical bandits-based black-box optimization algorithms, guiding a more general analysis and a more efficient algorithm design. We introduce the \textit{optimum-statistical collaboration}, an algorithm framework of managing the interaction between optimization error flux and statistical error flux evolving in the optimization process. We provide a general analysis of this framework without specifying the forms of statistical error and uncertainty quantifier. Our framework and its analysis, due to their generality, can be applied to a large family of functions and partitions that satisfy different local smoothness assumptions and have different numbers of local optimums, which is much richer than the class of functions studied in prior works. Our framework also inspires us to propose a better measure of the statistical uncertainty and consequently a variance-adaptive algorithm \texttt{VHCT}. In theory, we prove the algorithm enjoys rate-optimal regret bounds under different local smoothness assumptions; in experiments, we show the algorithm outperforms prior efforts in different settings.


title: Layer Pruning on Demand with Intermediate CTC

abstract: Deploying an end-to-end automatic speech recognition (ASR) model on mobile/embedded devices is a challenging task, since the device computational power and energy consumption requirements are dynamically changed in practice. To overcome the issue, we present a training and pruning method for ASR based on the connectionist temporal classification (CTC) which allows reduction of model depth at run-time without any extra fine-tuning. To achieve the goal, we adopt two regularization methods, intermediate CTC and stochastic depth, to train a model whose performance does not degrade much after pruning. We present an in-depth analysis of layer behaviors using singular vector canonical correlation analysis (SVCCA), and efficient strategies for finding layers which are safe to prune. Using the proposed method, we show that a Transformer-CTC model can be pruned in various depth on demand, improving real-time factor from 0.005 to 0.002 on GPU, while each pruned sub-model maintains the accuracy of individually trained model of the same depth.


title: Conditions for justifying single-fluid approximation for charged and neutral dust fluids and a smoothed particle magnetohydrodynamics method for dust-gas mixture

abstract: We describe a numerical scheme for magnetohydrodynamics simulations of dust-gas mixture by extending smoothed particle magnetohydrodynamics. We employ the single-species particle approach to describe dust-gas mixture with several modifications from the previous studies. We assume that the charged and neutral dusts can be treated as single-fluid and the electro-magnetic force acts on the gas and that on the charged dust is negligible. The validity of these assumption in the context of protostar formation is not obvious and is extensively evaluated. By investigating the electromagnetic force and electric current with terminal velocity approximation, it is found that as the dust size increases, the contribution of dust to them becomes smaller and negligible. We conclude that our assumptions of the electro-magnetic force on the dusts is negligible are valid for the dust size with a d & 10{\mu}m. On the other hand, they do not produce the numerical artifact for the dust a d . 10{\mu}m in envelope and disk where the perfect coupling between gas and dusts realizes. However, we also found that our assumptions may break down in outflow (or under environment with very strong magnetic field and low density) for the dust a d . 10{\mu}m. We conclude that our assumptions are valid in almost all cases where macroscopic dust dynamics is important in the context of protostar formation. We conduct numerical tests of dusty wave, dusty magnetohydrodynamics shock, and gravitational collapse of magnetized cloud core with our simulation code. The results show that our numerical scheme well reproduces the dust dynamics in the magnetized medium.


title: DroidMorph: Are We Ready to Stop the Attack of Android Malware Clones?

abstract: The number of Android malware variants (clones) are on the rise and, to stop this attack of clones we need to develop new methods and techniques for analysing and detecting them. As a first step, we need to study how these malware clones are generated. This will help us better anticipate and recognize these clones. In this paper we present a new tool named DroidMorph, that provides morphing of Android applications (APKs) at different level of abstractions, and can be used to create Android application (malware/benign) clones. As a case study we perform testing and evaluating resilience of current commercial anti-malware products against attack of the Android malware clones generated by DroidMorph. We found that 8 out of 17 leading commercial anti-malware programs were not able to detect any of the morphed APKs. We hope that DroidMorph will be used in future research, to improve Android malware clones analysis and detection, and help stop them.


title: Decentralised Intelligence, Surveillance, and Reconnaissance in Unknown Environments with Heterogeneous Multi-Robot Systems

abstract: We present the design and implementation of a decentralised, heterogeneous multi-robot system for performing intelligence, surveillance and reconnaissance (ISR) in an unknown environment. The team consists of functionally specialised robots that gather information and others that perform a mission-specific task, and is coordinated to achieve simultaneous exploration and exploitation in the unknown environment. We present a practical implementation of such a system, including decentralised inter-robot localisation, mapping, data fusion and coordination. The system is demonstrated in an efficient distributed simulation. We also describe an UAS platform for hardware experiments, and the ongoing progress.


title: Infinite-time blowing-up solutions to small perturbations of the Yamabe flow

abstract: Under the validity of the positive mass theorem, the Yamabe flow on a smooth compact Riemannian manifold of dimension $N \ge 3$ is known to exist for all time $t$ and converges to a solution to the Yamabe problem as $t \to \infty$. We prove that if a suitable perturbation, which may be smooth and arbitrarily small, is imposed on the Yamabe flow on any given Riemannian manifold $M$ of dimension $N \ge 5$, the resulting flow may blow up at multiple points on $M$ in the infinite time. Our proof is constructive, and indeed we construct such a flow by using solutions of the Yamabe problem on the unit sphere $\mathbb{S}^N$ as blow-up profiles. We also examine the stability of the blow-up phenomena under a negativity condition on the Ricci curvature at blow-up points.


title: Anisotropic scattering caused by apical oxygen vacancies in thin films of overdoped high-temperature cuprate superconductors

abstract: There is a hot debate on the anomalous behavior of superfluid density $\rho_s$ in overdoped La$_{2-x}$Sr$_x$CuO$_4$ films in recent years. The linear drop of $\rho_s$ at low temperatures implies the superconductors are clean, but the linear scaling between $\rho_s$ (in the zero temperature limit) and the transition temperature $T_c$ is a hallmark of the dirty limit in the Bardeen-Cooper-Schrieffer (BCS) framework [I. Bozovic et al., Nature 536, 309 (2016)]. This dichotomy motivated exotic theories beyond the standard BCS theory. We show, however, that such a dichotomy can be reconciled naturally by the role of increasing anisotropic scattering caused by the apical oxygen vacancies. Furthermore, the anisotropic scattering also explains the "missing" Drude weight upon doping in the optical conductivity, as reported in the THz experiment [F. Mahmood et al., Phys. Rev. Lett. 122, 027003 (2019)]. Therefore, the overdoped cuprates can actually be described consistently by the $d$-wave BCS theory with the unique anisotropic scattering.


title: Localized Uncertainty Attacks

abstract: The susceptibility of deep learning models to adversarial perturbations has stirred renewed attention in adversarial examples resulting in a number of attacks. However, most of these attacks fail to encompass a large spectrum of adversarial perturbations that are imperceptible to humans. In this paper, we present localized uncertainty attacks, a novel class of threat models against deterministic and stochastic classifiers. Under this threat model, we create adversarial examples by perturbing only regions in the inputs where a classifier is uncertain. To find such regions, we utilize the predictive uncertainty of the classifier when the classifier is stochastic or, we learn a surrogate model to amortize the uncertainty when it is deterministic. Unlike $\ell_p$ ball or functional attacks which perturb inputs indiscriminately, our targeted changes can be less perceptible. When considered under our threat model, these attacks still produce strong adversarial examples; with the examples retaining a greater degree of similarity with the inputs.


title: Evaluating the Robustness of Bayesian Neural Networks Against Different Types of Attacks

abstract: To evaluate the robustness gain of Bayesian neural networks on image classification tasks, we perform input perturbations, and adversarial attacks to the state-of-the-art Bayesian neural networks, with a benchmark CNN model as reference. The attacks are selected to simulate signal interference and cyberattacks towards CNN-based machine learning systems. The result shows that a Bayesian neural network achieves significantly higher robustness against adversarial attacks generated against a deterministic neural network model, without adversarial training. The Bayesian posterior can act as the safety precursor of ongoing malicious activities. Furthermore, we show that the stochastic classifier after the deterministic CNN extractor has sufficient robustness enhancement rather than a stochastic feature extractor before the stochastic classifier. This advises on utilizing stochastic layers in building decision-making pipelines within a safety-critical domain.


title: Search for the $\eta_{c2}(1D)$ in $e^+e^-\to\gamma\eta_{c2}(1D)$ at $\sqrt{s}$ near 10.6 GeV at Belle

abstract: For the first time we search for the $\eta_{c2}(1D)$ in $e^+e^-\to\gamma\eta_{c2}(1D)$ at $\sqrt{s}$ = 10.52, 10.58, and 10.867 GeV with data samples of 89.5 fb$^{-1}$, 711 fb$^{-1}$, and 121.4 fb$^{-1}$, respectively, accumulated with the Belle detector at the KEKB asymmetric energy electron-positron collider. No significant $\eta_{c2}(1D)$ signal is observed in the mass range between 3.8 and 3.88 GeV/$c^2$. The upper limit at 90\% confidence level on the product of the Born cross section for $e^+e^- \to \gamma\eta_{c2}(1D)$ and branching fraction for $\eta_{c2}(1D)\to \gamma h_c(1P)$ is determined to be $\sigma(e^+e^- \to \gamma\eta_{c2}(1D)){\cal B}(\eta_{c2}(1D)\to \gamma h_c(1P))$ $<$ 4.9 fb at $\sqrt{s}$ near 10.6 GeV.


title: On the Capabilities of Pointer Networks for Deep Deductive Reasoning

abstract: The importance of building neural networks that can learn to reason has been well recognized in the neuro-symbolic community. In this paper, we apply neural pointer networks for conducting reasoning over symbolic knowledge bases. In doing so, we explore the benefits and limitations of encoder-decoder architectures in general and pointer networks in particular for developing accurate, generalizable and robust neuro-symbolic reasoners. Based on our experimental results, pointer networks performs remarkably well across multiple reasoning tasks while outperforming the previously reported state of the art by a significant margin. We observe that the Pointer Networks preserve their performance even when challenged with knowledge graphs of the domain/vocabulary it has never encountered before. To the best of our knowledge, this is the first study on neuro-symbolic reasoning using Pointer Networks. We hope our impressive results on these reasoning problems will encourage broader exploration of pointer networks' capabilities for reasoning over more complex logics and for other neuro-symbolic problems.


title: Why Do Pretrained Language Models Help in Downstream Tasks? An Analysis of Head and Prompt Tuning

abstract: Pretrained language models have achieved state-of-the-art performance when adapted to a downstream NLP task. However, theoretical analysis of these models is scarce and challenging since the pretraining and downstream tasks can be very different. We propose an analysis framework that links the pretraining and downstream tasks with an underlying latent variable generative model of text -- the downstream classifier must recover a function of the posterior distribution over the latent variables. We analyze head tuning (learning a classifier on top of the frozen pretrained model) and prompt tuning in this setting. The generative model in our analysis is either a Hidden Markov Model (HMM) or an HMM augmented with a latent memory component, motivated by long-term dependencies in natural language. We show that 1) under certain non-degeneracy conditions on the HMM, simple classification heads can solve the downstream task, 2) prompt tuning obtains downstream guarantees with weaker non-degeneracy conditions, and 3) our recovery guarantees for the memory-augmented HMM are stronger than for the vanilla HMM because task-relevant information is easier to recover from the long-term memory. Experiments on synthetically generated data from HMMs back our theoretical findings.


title: Current Challenges and Future Directions in Podcast Information Access

abstract: Podcasts are spoken documents across a wide-range of genres and styles, with growing listenership across the world, and a rapidly lowering barrier to entry for both listeners and creators. The great strides in search and recommendation in research and industry have yet to see impact in the podcast space, where recommendations are still largely driven by word of mouth. In this perspective paper, we highlight the many differences between podcasts and other media, and discuss our perspective on challenges and future research directions in the domain of podcast information access.


title: Regularity structure of conservative solutions to the Hunter-Saxton equation

abstract: In this paper we characterize the regularity structure, as well as show the global-in-time existence and uniqueness, of (energy) conservative solutions to the Hunter-Saxton equation by using the method of characteristics. The major difference between the current work and previous results is that we are able to characterize the singularities of energy measure and their nature in a very precise manner. In particular, we show that singularities, whose temporal and spatial locations are also explicitly given in this work, may only appear at at most countably many times, and are completely determined by the absolutely continuous part of initial energy measure. Our mathematical analysis is based on using the method of characteristics in a generalized framework that consists of the evolutions of solution to the Hunter-Saxton equation and the energy measure. This method also provides a clear description of the semi-group property for the solution and energy measure for all times.


title: An Evaluation of Self-Supervised Pre-Training for Skin-Lesion Analysis

abstract: Self-supervised pre-training appears as an advantageous alternative to supervised pre-trained for transfer learning. By synthesizing annotations on pretext tasks, self-supervision allows to pre-train models on large amounts of pseudo-labels before fine-tuning them on the target task. In this work, we assess self-supervision for the diagnosis of skin lesions, comparing three self-supervised pipelines to a challenging supervised baseline, on five test datasets comprising in- and out-of-distribution samples. Our results show that self-supervision is competitive both in improving accuracies and in reducing the variability of outcomes. Self-supervision proves particularly useful for low training data scenarios ($<1\,500$ and $<150$ samples), where its ability to stabilize the outcomes is essential to provide sound results.


title: JSI at the FinSim-2 task: Ontology-Augmented Financial Concept Classification

abstract: Ontologies are increasingly used for machine reasoning over the last few years. They can provide explanations of concepts or be used for concept classification if there exists a mapping from the desired labels to the relevant ontology. Another advantage of using ontologies is that they do not need a learning process, meaning that we do not need the train data or time before using them. This paper presents a practical use of an ontology for a classification problem from the financial domain. It first transforms a given ontology to a graph and proceeds with generalization with the aim to find common semantic descriptions of the input sets of financial concepts. We present a solution to the shared task on Learning Semantic Similarities for the Financial Domain (FinSim-2 task). The task is to design a system that can automatically classify concepts from the Financial domain into the most relevant hypernym concept in an external ontology - the Financial Industry Business Ontology. We propose a method that maps given concepts to the mentioned ontology and performs a graph search for the most relevant hypernyms. We also employ a word vectorization method and a machine learning classifier to supplement the method with a ranked list of labels for each concept.


title: Knowledgeable or Educated Guess? Revisiting Language Models as Knowledge Bases

abstract: Previous literatures show that pre-trained masked language models (MLMs) such as BERT can achieve competitive factual knowledge extraction performance on some datasets, indicating that MLMs can potentially be a reliable knowledge source. In this paper, we conduct a rigorous study to explore the underlying predicting mechanisms of MLMs over different extraction paradigms. By investigating the behaviors of MLMs, we find that previous decent performance mainly owes to the biased prompts which overfit dataset artifacts. Furthermore, incorporating illustrative cases and external contexts improve knowledge prediction mainly due to entity type guidance and golden answer leakage. Our findings shed light on the underlying predicting mechanisms of MLMs, and strongly question the previous conclusion that current MLMs can potentially serve as reliable factual knowledge bases.


title: Text2Event: Controllable Sequence-to-Structure Generation for End-to-end Event Extraction

abstract: Event extraction is challenging due to the complex structure of event records and the semantic gap between text and event. Traditional methods usually extract event records by decomposing the complex structure prediction task into multiple subtasks. In this paper, we propose Text2Event, a sequence-to-structure generation paradigm that can directly extract events from the text in an end-to-end manner. Specifically, we design a sequence-to-structure network for unified event extraction, a constrained decoding algorithm for event knowledge injection during inference, and a curriculum learning algorithm for efficient model learning. Experimental results show that, by uniformly modeling all tasks in a single model and universally predicting different labels, our method can achieve competitive performance using only record-level annotations in both supervised learning and transfer learning settings.


title: De-biasing Distantly Supervised Named Entity Recognition via Causal Intervention

abstract: Distant supervision tackles the data bottleneck in NER by automatically generating training instances via dictionary matching. Unfortunately, the learning of DS-NER is severely dictionary-biased, which suffers from spurious correlations and therefore undermines the effectiveness and the robustness of the learned models. In this paper, we fundamentally explain the dictionary bias via a Structural Causal Model (SCM), categorize the bias into intra-dictionary and inter-dictionary biases, and identify their causes. Based on the SCM, we learn de-biased DS-NER via causal interventions. For intra-dictionary bias, we conduct backdoor adjustment to remove the spurious correlations introduced by the dictionary confounder. For inter-dictionary bias, we propose a causal invariance regularizer which will make DS-NER models more robust to the perturbation of dictionaries. Experiments on four datasets and three DS-NER models show that our method can significantly improve the performance of DS-NER.


title: Denoising Distantly Supervised Named Entity Recognition via a Hypergeometric Probabilistic Model

abstract: Denoising is the essential step for distant supervision based named entity recognition. Previous denoising methods are mostly based on instance-level confidence statistics, which ignore the variety of the underlying noise distribution on different datasets and entity types. This makes them difficult to be adapted to high noise rate settings. In this paper, we propose Hypergeometric Learning (HGL), a denoising algorithm for distantly supervised NER that takes both noise distribution and instance-level confidence into consideration. Specifically, during neural network training, we naturally model the noise samples in each batch following a hypergeometric distribution parameterized by the noise-rate. Then each instance in the batch is regarded as either correct or noisy one according to its label confidence derived from previous training step, as well as the noise distribution in this sampled batch. Experiments show that HGL can effectively denoise the weakly-labeled data retrieved from distant supervision, and therefore results in significant improvements on the trained models.


title: An introduction to the relativistic kinetic theory on curved spacetimes

abstract: This article provides a self-contained pedagogical introduction to the relativistic kinetic theory of a dilute gas propagating on a curved spacetime manifold (M,g) of arbitrary dimension. Special emphasis is made on geometric aspects of the theory in order to achieve a formulation which is manifestly covariant on the relativistic phase space. Whereas most previous work has focussed on the tangent bundle formulation, here we work on the cotangent bundle associated with (M,g) which is more naturally adapted to the Hamiltonian framework of the theory. In the first part of this work we discuss the relevant geometric structures of the cotangent bundle T*M, starting with the natural symplectic form on T*M, the one-particle Hamiltonian and the Liouville vector field, defined as the corresponding Hamiltonian vector field. Next, we discuss the Sasaki metric on T*M and its most important properties, including the role it plays for the physical interpretation of the one-particle distribution function. In the second part of this work we describe the general relativistic theory of a collisionless gas, starting with the derivation of the collisionless Boltzmann equation for a neutral simple gas. Subsequently, the description is generalized to a charged gas consisting of several species of particles and the general relativistic Vlasov-Maxwell equations are derived for this system. The last part of this work is devoted to a transparent derivation of the collision term, leading to the general relativistic Boltzmann equation on (M,g). The meaning of global and local equilibrium and the stringent restrictions for the existence of the former on a curved spacetime are discussed. We close this article with an application of our formalism to the expansion of a homogeneous and isotropic universe filled with a collisional simple gas and its behavior in the early and late epochs. [abbreviated version]


title: Efficient Conformer with Prob-Sparse Attention Mechanism for End-to-EndSpeech Recognition

abstract: End-to-end models are favored in automatic speech recognition (ASR) because of their simplified system structure and superior performance. Among these models, Transformer and Conformer have achieved state-of-the-art recognition accuracy in which self-attention plays a vital role in capturing important global information. However, the time and memory complexity of self-attention increases squarely with the length of the sentence. In this paper, a prob-sparse self-attention mechanism is introduced into Conformer to sparse the computing process of self-attention in order to accelerate inference speed and reduce space consumption. Specifically, we adopt a Kullback-Leibler divergence based sparsity measurement for each query to decide whether we compute the attention function on this query. By using the prob-sparse attention mechanism, we achieve impressively 8% to 45% inference speed-up and 15% to 45% memory usage reduction of the self-attention module of Conformer Transducer while maintaining the same level of error rate.


title: Towards Assurance-Driven Architectural Decomposition of Software Systems

abstract: Computer systems are so complex, so they are usually designed and analyzed in terms of layers of abstraction. Complexity is still a challenge facing logical reasoning tools that are used to find software design flaws and implementation bugs. Abstraction is also a common technique for scaling those tools to more complex systems. However, the abstractions used in the design phase of systems are in many cases different from those used for assurance. In this paper we argue that different software quality assurance techniques operate on different aspects of software systems. To facilitate assurance, and for a smooth integration of assurance tools into the Software Development Lifecycle (SDLC), we present a 4-dimensional meta-architecture that separates computational, coordination, and stateful software artifacts early on in the design stage. We enumerate some of the design and assurance challenges that can be addressed by this meta-architecture, and demonstrate it on the high-level design of a simple file system.


title: On the spectral radius of unicyclic and bicyclic graphs with a fixed diameter

abstract: The $\alpha$-spectral radius of a connected graph $G$ is the spectral radius of $A_\alpha$-matrix of $G$. In this paper, we discuss the methods for comparing $\alpha$-spectral radius of graphs. As applications, we characterize the graphs with the maximal $\alpha$-spectral radius among all unicyclic and bicyclic graphs of order $n$ with diameter $d$, respectively. Finally, we determine the unique graph with maximal signless Laplacian spectral radius among bicyclic graphs of order $n$ with diameter $d$.


title: Tilted Dirac cone effects and chiral symmetry breaking in a planar four-fermion model

abstract: We analyze the chiral symmetry breaking in a planar four-fermion model with non-null chemical potential, temperature and including the effect of the tilt of the Dirac cone. The system is modeled with a $(2 + 1)$-dimensional Gross-Neveu-like interaction model in the context of the generalized Weyl Hamiltonian and its phase structure is studied in the mean-field and large-$N$ approximations. Possible applications of the results obtained, e.g., in connection to graphene, are discussed. We also discuss the effect of an external magnetic field applied to the system, which can give rise to the appearance of the anomalous Hall effect and that is expected to arise in connection with two-dimensional Weyl and Dirac semimetals.


title: Robust Multipartite Entanglement Without Entanglement Breaking

abstract: Entangled systems in experiments may be lost or offline in distributed quantum information processing. This inspires a general problem to characterize quantum operations which result in breaking of entanglement or not. Our goal in this work is to solve this problem both in single entanglement and network scenarios. We firstly propose a local model for characterizing all entangled states that are breaking for losing particles. This implies a simple criterion for witnessing single entanglement such as generalized GHZ states and Dicke states. It further provides an efficient witness for entangled quantum networks depending on its connectivity such as $k$-independent quantum networks, completely connected quantum networks, and $k$-connected quantum networks. These networks are universal resources for measurement-based quantum computations. The strong nonlocality can be finally verified by using nonlinear inequalities. These results show distinctive features of both single entangled systems and entangled quantum networks.


title: CoANE: Modeling Context Co-occurrence for Attributed Network Embedding

abstract: Attributed network embedding (ANE) is to learn low-dimensional vectors so that not only the network structure but also node attributes can be preserved in the embedding space. Existing ANE models do not consider the specific combination between graph structure and attributes. While each node has its structural characteristics, such as highly-interconnected neighbors along with their certain patterns of attribute distribution, each node's neighborhood should be not only depicted by multi-hop nodes, but consider certain clusters or social circles. To model such information, in this paper, we propose a novel ANE model, Context Co-occurrence-aware Attributed Network Embedding (CoANE). The basic idea of CoANE is to model the context attributes that each node's involved diverse patterns, and apply the convolutional mechanism to encode positional information by treating each attribute as a channel. The learning of context co-occurrence can capture the latent social circles of each node. To better encode structural and semantic knowledge of nodes, we devise a three-way objective function, consisting of positive graph likelihood, contextual negative sampling, and attribute reconstruction. We conduct experiments on five real datasets in the tasks of link prediction, node label classification, and node clustering. The results exhibit that CoANE can significantly outperform state-of-the-art ANE models.


title: CoCoFuzzing: Testing Neural Code Models with Coverage-Guided Fuzzing

abstract: Deep learning-based code processing models have shown good performance for tasks such as predicting method names, summarizing programs, and comment generation. However, despite the tremendous progress, deep learning models are often prone to adversarial attacks, which can significantly threaten the robustness and generalizability of these models by leading them to misclassification with unexpected inputs. To address the above issue, many deep learning testing approaches have been proposed, however, these approaches mainly focus on testing deep learning applications in the domains of image, audio, and text analysis, etc., which cannot be directly applied to neural models for code due to the unique properties of programs. In this paper, we propose a coverage-based fuzzing framework, CoCoFuzzing, for testing deep learning-based code processing models. In particular, we first propose ten mutation operators to automatically generate valid and semantically preserving source code examples as tests; then we propose a neuron coverage-based approach to guide the generation of tests. We investigate the performance of CoCoFuzzing on three state-of-the-art neural code models, i.e., NeuralCodeSum, CODE2SEQ, and CODE2VEC. Our experiment results demonstrate that CoCoFuzzing can generate valid and semantically preserving source code examples for testing the robustness and generalizability of these models and improve the neuron coverage. Moreover, these tests can be used to improve the performance of the target neural code models through adversarial retraining.


title: Search for the chiral magnetic effect via charge-dependent azimuthal correlations relative to spectator and participant planes in Au+Au collisions at $\sqrt{s_{NN}}$ = 200 GeV

abstract: The chiral magnetic effect (CME) refers to charge separation along a strong magnetic field due to imbalanced chirality of quarks in local parity and charge-parity violating domains in quantum chromodynamics. The experimental measurement of the charge separation is made difficult by the presence of a major background from elliptic azimuthal anisotropy. This background and the CME signal have different sensitivities to the spectator and participant planes, and could thus be determined by measurements with respect to these planes. We report such measurements in Au+Au collisions at a nucleon-nucleon center-of-mass energy of 200 GeV at the Relativistic Heavy-Ion Collider. It is found that the charge separation, with the flow background removed, is consistent with zero in peripheral (large impact parameter) collisions. Some indication of finite CME signals is seen in mid-central (intermediate impact parameter) collisions. Significant residual background effects may, however, still be present.


title: Deep Contrastive Graph Representation via Adaptive Homotopy Learning

abstract: Homotopy model is an excellent tool exploited by diverse research works in the field of machine learning. However, its flexibility is limited due to lack of adaptiveness, i.e., manual fixing or tuning the appropriate homotopy coefficients. To address the problem above, we propose a novel adaptive homotopy framework (AH) in which the Maclaurin duality is employed, such that the homotopy parameters can be adaptively obtained. Accordingly, the proposed AH can be widely utilized to enhance the homotopy-based algorithm. In particular, in this paper, we apply AH to contrastive learning (AHCL) such that it can be effectively transferred from weak-supervised learning (given label priori) to unsupervised learning, where soft labels of contrastive learning are directly and adaptively learned. Accordingly, AHCL has the adaptive ability to extract deep features without any sort of prior information. Consequently, the affinity matrix formulated by the related adaptive labels can be constructed as the deep Laplacian graph that incorporates the topology of deep representations for the inputs. Eventually, extensive experiments on benchmark datasets validate the superiority of our method.


title: An improved Material Mask Overlay Strategy for the desired discreteness of pressure-loaded optimized topologies

abstract: This paper presents a Material Mask Overlay topology optimization approach with the improved material assignment at the element level for achieving the desired discreteness of the optimized designs for pressure-loaded problems. Hexagonal elements are employed to parametrize the design domain. Such elements provide nonsingular local connectivity; thus, checkerboard patterns and point connections inherently get subdued. Elliptical negative masks are used to find the optimized material layout. Each mask is represented via seven parameters that describe the location, shape, orientation, material dilation, and erosion variables of the mask. The latter two variables are systematically varied in conjunction with a grayscale measure constraint to achieve the solutions' sought 0-1 nature. Darcy's law with a drainage term is used to model the pressure load. The obtained pressure field is converted into the consistent nodal forces using Wachspress shape functions. Sensitivities of the objective and pressure load are evaluated using the adjoint-variable method. The efficacy and robustness of the approach are demonstrated by solving various pressure-loaded structures and pressure-driven compliant mechanisms. Compliance is minimized for loadbearing structures, whereas a multicriteria objective is minimized for mechanism designs. The boundary smoothing scheme is implemented within each optimization iteration to subdue the designs' undulated boundaries.


title: Federated CycleGAN for Privacy-Preserving Image-to-Image Translation

abstract: Unsupervised image-to-image translation methods such as CycleGAN learn to convert images from one domain to another using unpaired training data sets from different domains. Unfortunately, these approaches still require centrally collected unpaired records, potentially violating privacy and security issues. Although the recent federated learning (FL) allows a neural network to be trained without data exchange, the basic assumption of the FL is that all clients have their own training data from a similar domain, which is different from our image-to-image translation scenario in which each client has images from its unique domain and the goal is to learn image translation between different domains without accessing the target domain data. To address this, here we propose a novel federated CycleGAN architecture that can learn image translation in an unsupervised manner while maintaining the data privacy. Specifically, our approach arises from a novel observation that CycleGAN loss can be decomposed into the sum of client specific local objectives that can be evaluated using only their data. This local objective decomposition allows multiple clients to participate in federated CycleGAN training without sacrificing performance. Furthermore, our method employs novel switchable generator and discriminator architecture using Adaptive Instance Normalization (AdaIN) that significantly reduces the band-width requirement of the federated learning. Our experimental results on various unsupervised image translation tasks show that our federated CycleGAN provides comparable performance compared to the non-federated counterpart.


title: Anders Wiman's "On the Application of Tschirnhaus Transformations to the Reduction of Algebraic Equations''

abstract: This is an English translation of Anders Wiman's classical paper "\"{U}ber die Anwendung der Tschirnhausen Transformation auf die Reduktion algebraischer Gleichungen" from 1927. The original work first appeared in the 1927 extraordinary edition of Nova Acta Regiae Societatis Scientiarum Upsaliensis. In this paper, Wiman gives an argument that the general polynomial of degree nine can be solved using one algebraic function of four variables and accessory irrationalities of degree at most five. However, his argument assumes certain intersections in affine space are generic without proof.


title: X-FACT: A New Benchmark Dataset for Multilingual Fact Checking

abstract: In this work, we introduce X-FACT: the largest publicly available multilingual dataset for factual verification of naturally existing real-world claims. The dataset contains short statements in 25 languages and is labeled for veracity by expert fact-checkers. The dataset includes a multilingual evaluation benchmark that measures both out-of-domain generalization, and zero-shot capabilities of the multilingual models. Using state-of-the-art multilingual transformer-based models, we develop several automated fact-checking models that, along with textual claims, make use of additional metadata and evidence from news stories retrieved using a search engine. Empirically, our best model attains an F-score of around 40%, suggesting that our dataset is a challenging benchmark for evaluation of multilingual fact-checking models.


title: Invisible for both Camera and LiDAR: Security of Multi-Sensor Fusion based Perception in Autonomous Driving Under Physical-World Attacks

abstract: In Autonomous Driving (AD) systems, perception is both security and safety critical. Despite various prior studies on its security issues, all of them only consider attacks on camera- or LiDAR-based AD perception alone. However, production AD systems today predominantly adopt a Multi-Sensor Fusion (MSF) based design, which in principle can be more robust against these attacks under the assumption that not all fusion sources are (or can be) attacked at the same time. In this paper, we present the first study of security issues of MSF-based perception in AD systems. We directly challenge the basic MSF design assumption above by exploring the possibility of attacking all fusion sources simultaneously. This allows us for the first time to understand how much security guarantee MSF can fundamentally provide as a general defense strategy for AD perception. We formulate the attack as an optimization problem to generate a physically-realizable, adversarial 3D-printed object that misleads an AD system to fail in detecting it and thus crash into it. We propose a novel attack pipeline that addresses two main design challenges: (1) non-differentiable target camera and LiDAR sensing systems, and (2) non-differentiable cell-level aggregated features popularly used in LiDAR-based AD perception. We evaluate our attack on MSF included in representative open-source industry-grade AD systems in real-world driving scenarios. Our results show that the attack achieves over 90% success rate across different object types and MSF. Our attack is also found stealthy, robust to victim positions, transferable across MSF algorithms, and physical-world realizable after being 3D-printed and captured by LiDAR and camera devices. To concretely assess the end-to-end safety impact, we further perform simulation evaluation and show that it can cause a 100% vehicle collision rate for an industry-grade AD system.


title: Effects of Covid-19 Pandemic on Chinese Commodity Futures Markets

abstract: In this study, empirical moments and the cointegration for all the liquid commodity futures traded in the Chinese futures markets are analyzed for the periods before and after Covid-19, which is important for trading strategies such as pairs trading. The results show that the positive change in the average returns of the products such as soybean, corn, corn starch, and iron ore futures are significantly stronger than other products in the post Covid-19 era, whereas the volatility increased most for silver, petroleum asphalt and egg futures after the pandemic started. The number of cointegrated pairs are reduced after the pandemic indicating the differentiation in returns due to the structural changes caused in the demand and supply conditions across commodities.


title: Optical Mouse: 3D Mouse Pose From Single-View Video

abstract: We present a method to infer the 3D pose of mice, including the limbs and feet, from monocular videos. Many human clinical conditions and their corresponding animal models result in abnormal motion, and accurately measuring 3D motion at scale offers insights into health. The 3D poses improve classification of health-related attributes over 2D representations. The inferred poses are accurate enough to estimate stride length even when the feet are mostly occluded. This method could be applied as part of a continuous monitoring system to non-invasively measure animal health.


title: Temporal Logic Planning for Minimum-Time Positioning of Multiple Threat-Seduction Decoys

abstract: Reusable decoys offer a cost-effective alternative to the single-use hardware commonly applied to protect surface assets from threats. Such decoys portray fake assets to lure threats away from the true asset. To deceive a threat, a decoy first has to position itself such that it can break the radar lock. Considering multiple simultaneous threats, this paper introduces an approach for controlling multiple decoys to minimise the time required to break the locks of all the threats. The method includes the optimal allocation of one decoy to every threat with an assignment procedure that provides local position constraints to guarantee collision avoidance and thereby decouples the control of the decoys. A crude model of a decoy with uncertainty is considered for motion planning. The task of a decoy reaching a state in which the lock of the assigned threat can be broken is formulated as a temporal logic specification. To this end, the requirements to complete the task are modelled as time-varying set-membership constraints. The temporal and logical combination of the constraints is encoded in a mixed-integer optimisation problem. To demonstrate the results a simulated case study is provided.


title: Stability of Caffarelli-Kohn-Nirenberg inequality

abstract: In this paper, we consider the Caffarelli-Kohn-Nirenberg (CKN) inequality: \begin{eqnarray*} \bigg(\int_{{\mathbb R}^N}|x|^{-b(p+1)}|u|^{p+1}dx\bigg)^{\frac{2}{p+1}}\leq C_{a,b,N}\int_{{\mathbb R}^N}|x|^{-2a}|\nabla u|^2dx \end{eqnarray*} where $N\geq3$, $a<\frac{N-2}{2}$, $a\leq b\leq a+1$ and $p=\frac{N+2(1+a-b)}{N-2(1+a-b)}$. It is well-known that up to dilations $\tau^{\frac{N-2}{2}-a}u(\tau x)$ and scalar multiplications $Cu(x)$, the CKN inequality has a unique extremal function $W(x)$ which is positive and radially symmetric in the parameter region $b_{FS}(a)\leq b<a+1$ with $a<0$ and $a\leq b<a+1$ with $a\geq0$ and $a+b>0$, where $b_{FS}(a)$ is the Felli-Schneider curve. We prove that in the above parameter region the following stabilities hold: \begin{enumerate} \item[$(1)$] \quad stability of CKN inequality in the functional inequality setting $$dist_{D^{1,2}_{a}}^2(u, \mathcal{Z})\lesssim\|u\|^2_{D^{1,2}_a({\mathbb R}^N)}-C_{a,b,N}^{-1}\|u\|^2_{L^{p+1}(|x|^{-b(p+1)},{\mathbb R}^N)}$$ where $\mathcal{Z}= \{ c W_\tau\mid c\in\bbr\backslash\{0\}, \tau>0\}$; \item[$(2)$]\quad stability of CKN inequality in the critical point setting (in the class of nonnegative functions) \begin{eqnarray*} dist_{D_a^{1,2}}(u, \mathcal{Z}_0^\nu)\lesssim\left\{\aligned &\Gamma(u),\quad p>2\text{ or }\nu=1,\\ &\Gamma(u)|\log\Gamma(u)|^{\frac12},\quad p=2\text{ and }\nu\geq2,\\ &\Gamma(u)^{\frac{p}{2}},\quad 1<p<2\text{ and }\nu\geq2, \endaligned\right. \end{eqnarray*} where $\Gamma (u)=\|div(|x|^{-a}\nabla u)+|x|^{-b(p+1)}|u|^{p-1}u\|_{(D^{1,2}_a)^{'}}$ and $$\mathcal{Z}_0^\nu=\{(W_{\tau_1},W_{\tau_2},\cdots,W_{\tau_\nu})\mid \tau_i>0\}.$$


title: On Hook Formulas for Cylindric Skew Diagrams

abstract: We present a conjectual hook formula concerning the number of the standard tableaux on "cylindric" skew diagrams. Our formula can be seen as an extension of Naruse's hook formula for skew diagrams. Moreover, we prove our conjecture in some special cases.


title: Optimal and two-step adaptive quantum detector tomography

abstract: Quantum detector tomography is a fundamental technique for calibrating quantum devices and performing quantum engineering tasks. In this paper, we design optimal probe states for detector estimation based on the minimum upper bound of the mean squared error (UMSE) and the maximum robustness. We establish the minimum UMSE and the minimum condition number for quantum detectors and provide concrete examples that can achieve optimal detector tomography. In order to enhance the estimation precision, we also propose a two-step adaptive detector tomography algorithm to optimize the probe states adaptively based on a modified fidelity index. We present a sufficient condition on when the estimation error of our two-step strategy scales inversely proportional to the number of state copies. Moreover, the superposition of coherent states is used as probe states for quantum detector tomography and the estimation error is analyzed. Numerical results demonstrate the effectiveness of both the proposed optimal and adaptive quantum detector tomography methods.


title: Seeing Differently, Acting Similarly: Heterogeneously Observable Imitation Learning

abstract: In many real-world imitation learning tasks, the demonstrator and the learner have to act under different observation spaces. This situation brings significant obstacles to existing imitation learning approaches, since most of them learn policies under homogeneous observation spaces. On the other hand, previous studies under different observation spaces have strong assumptions that these two observation spaces coexist during the entire learning process. However, in reality, the observation coexistence will be limited due to the high cost of acquiring expert observations. In this work, we study this challenging problem with limited observation coexistence under heterogeneous observations: Heterogeneously Observable Imitation Learning (HOIL). We identify two underlying issues in HOIL: the dynamics mismatch and the support mismatch, and further propose the Importance Weighting with REjection (IWRE) algorithm based on importance weighting and learning with rejection to solve HOIL problems. Experimental results show that IWRE can solve various HOIL tasks, including the challenging tasks of transforming the vision-based demonstrations to random access memory (RAM)-based policies in the Atari domain, even with limited visual observations.


title: Learning Robot Exploration Strategy with 4D Point-Clouds-like Information as Observations

abstract: Being able to explore unknown environments is a requirement for fully autonomous robots. Many learning-based methods have been proposed to learn an exploration strategy. In the frontier-based exploration, learning algorithms tend to learn the optimal or near-optimal frontier to explore. Most of these methods represent the environments as fixed size images and take these as inputs to neural networks. However, the size of environments is usually unknown, which makes these methods fail to generalize to real world scenarios. To address this issue, we present a novel state representation method based on 4D point-clouds-like information, including the locations, frontier, and distance information. We also design a neural network that can process these 4D point-clouds-like information and generate the estimated value for each frontier. Then this neural network is trained using the typical reinforcement learning framework. We test the performance of our proposed method by comparing it with other five methods and test its scalability on a map that is much larger than maps in the training set. The experiment results demonstrate that our proposed method needs shorter average traveling distances to explore whole environments and can be adopted in maps with arbitrarily sizes.


title: Knowledge Graphs and Machine Learning in biased C4I applications

abstract: This paper introduces our position on the critical issue of bias that recently appeared in AI applications. Specifically, we discuss the combination of current technologies used in AI applications i.e., Machine Learning and Knowledge Graphs, and point to their involvement in (de)biased applications of the C4I domain. Although this is a wider problem that currently emerges from different application domains, bias appears more critical in C4I than in others due to its security-related nature. While proposing certain actions to be taken towards debiasing C4I applications, we acknowledge the immature aspect of this topic within the Knowledge Graph and Semantic Web communities.


title: A Random CNN Sees Objects: One Inductive Bias of CNN and Its Applications

abstract: This paper starts by revealing a surprising finding: without any learning, a randomly initialized CNN can localize objects surprisingly well. That is, a CNN has an inductive bias to naturally focus on objects, named as Tobias ("The object is at sight") in this paper. This empirical inductive bias is further analyzed and successfully applied to self-supervised learning (SSL). A CNN is encouraged to learn representations that focus on the foreground object, by transforming every image into various versions with different backgrounds, where the foreground and background separation is guided by Tobias. Experimental results show that the proposed Tobias significantly improves downstream tasks, especially for object detection. This paper also shows that Tobias has consistent improvements on training sets of different sizes, and is more resilient to changes in image augmentations. Code is available at https://github.com/CupidJay/Tobias.


title: Joining datasets via data augmentation in the label space for neural networks

abstract: Most, if not all, modern deep learning systems restrict themselves to a single dataset for neural network training and inference. In this article, we are interested in systematic ways to join datasets that are made of similar purposes. Unlike previous published works that ubiquitously conduct the dataset joining in the uninterpretable latent vectorial space, the core to our method is an augmentation procedure in the label space. The primary challenge to address the label space for dataset joining is the discrepancy between labels: non-overlapping label annotation sets, different labeling granularity or hierarchy and etc. Notably we propose a new technique leveraging artificially created knowledge graph, recurrent neural networks and policy gradient that successfully achieve the dataset joining in the label space. Empirical results on both image and text classification justify the validity of our approach.


title: Federated Learning Framework with Straggling Mitigation and Privacy-Awareness for AI-based Mobile Application Services

abstract: In this work, we propose a novel framework to address straggling and privacy issues for federated learning (FL)-based mobile application services, taking into account limited computing/communications resources at mobile users (MUs)/mobile application provider (MAP), privacy cost, the rationality and incentive competition among MUs in contributing data to the MAP. Particularly, the MAP first determines a set of the best MUs for the FL process based on the MUs' provided information/features. To mitigate straggling problems with privacy-awareness, each selected MU can then encrypt part of local data and upload the encrypted data to the MAP for an encrypted training process, in addition to the local training process. For that, each selected MU can propose a contract to the MAP according to its expected trainable local data and privacy-protected encrypted data. To find the optimal contracts that can maximize utilities of the MAP and all the participating MUs while maintaining high learning quality of the whole system, we first develop a multi-principal one-agent contract-based problem leveraging FL-based multiple utility functions. These utility functions account for the MUs' privacy cost, the MAP's limited computing resources, and asymmetric information between the MAP and MUs. Then, we transform the problem into an equivalent low-complexity problem and develop a light-weight iterative algorithm to effectively find the optimal solutions. Experiments with a real-world dataset show that our framework can speed up training time up to 49% and improve prediction accuracy up to 4.6 times while enhancing the network's social welfare, i.e., total utility of all participating entities, up to 114% under the privacy cost consideration compared with those of baseline methods.


title: Componentwise linear ideals in Veronese rings

abstract: In this article, we study the componentwise linear ideals in the Veronese subrings of $R=K[x_1,\ldots,x_n]$. If char$(K)=0$, then we give a characterization for graded ideals in the $c^{th}$ Veronese ring $R^{(c)}$ to be componentwise linear. This characterization is an analogue of that over $R$ due to Aramova, Herzog and Hibi in \cite{ah00} and Conca, Herzog and Hibi in \cite{chh04}.


title: On the Formation of Deuterated Methyl Formate in Hot Corinos

abstract: Methyl formate, HCOOCH$_3$, and many of its isotopologues have been detected in astrophysical regions with considerable abundances. However, the recipe for the formation of this molecule and its isotopologues is not yet known. In this work, we attempt to investigate, theoretically, the successful recipe for the formation of interstellar HCOOCH$_3$ and its deuterated isotopologues. We used the gas-grain chemical model, UCLCHEM, to examine the possible routes of formation of methyl formate on grain surfaces and in the gas-phase in low-mass star-forming regions. Our models show that radical-radical association on grains are necessary to explain the observed abundance of DCOOCH$_3$ in the protostar IRAS~16293--2422. H-D substitution reactions on grains significantly enhance the abundances of HCOOCHD$_2$, DCOOCHD$_2$, and HCOOCD$_3$. The observed abundance of HCOOCHD$_2$ in IRAS 16293--2422 can only be reproduced if H-D substitution reactions are taken into account. However, HCOOCH$_2$D remain underestimated in all of our models. The deuteration of methyl formate appears to be more complex than initially thought. Additional studies, both experimentally and theoretically, are needed for a better understanding of the interstellar formation of these species.


title: Fano 4-folds with a small contraction

abstract: Let X be a smooth complex Fano 4-fold. We show that if X has a small elementary contraction, then the Picard number rho(X) of X is at most 12. This result is based on a careful study of the geometry of X, on which we give a lot of information. We also show that in the boundary case rho(X)=12 an open subset of X has a smooth fibration with fiber the projective line. Together with previous results, this implies if X is a Fano 4-fold with rho(X)>12, then every elementary contraction of X is divisorial and sends a divisor to a surface. The proof is based on birational geometry and the study of families of rational curves. More precisely the main tools are: the study of families of lines in Fano 4-folds and the construction of divisors covered by lines, a detailed study of fixed prime divisors, the properties of the faces of the effective cone, and a detailed study of rational contractions of fiber type.


title: Extraordinary $\pi$-Electron Superconductivity Emerging from a Quantum Spin Liquid

abstract: Quantum spin liquids (QSLs), in which spins are highly entangled, have been considered a groundwork for generating exotic superconductivity.Despite numerous efforts, superconductivity emerging from QSLs has been unrealized in actual materials due to the difficulties in stabilizing QSL states with metallic conductivity.Recently, an organic compound, $\kappa$-(BEDT-TTF)$_4$Hg$_{2.89}$Br$_8$, with a nearly regular triangular lattice of molecular dimers was recognized as a candidate for doped QSLs. In this study, we report an unusual superconducting phase of $\kappa$-(BEDT-TTF)$_4$Hg$_{2.89}$Br$_8$: unexpectedly large ratios of the upper critical field to the critical temperature $H_{\rm c2}$/$T_{\rm c}$ in fields not only parallel but also perpendicular to the two-dimensional conducting layers and a very wide region of fluctuating superconductivity above $T_{\rm c}$.Our results reveal that these peculiarities arise from strong electron correlations and possible quantum criticality unique to the doped QSL state, leading to a heavy mass of itinerant carriers and a large superconducting energy gap.


title: X-ray absorption of cold gas: Simulating interstellar molecular clouds in the laboratory

abstract: Galactic and extra-galactic sources produce X-rays that are often absorbed by molecules and atoms in giant molecular clouds (GMCs), which provides valuable information about their composition and physical state. We mimic this phenomenon with a laboratory Z-pinch X-ray source, which is impinged on neutral molecular gas. The novel technique produces a soft X-ray pseudo continuum using a pulsed-current generator. The absorbing gas is injected from a 1 cm long planar gas-puff without any window or vessel along the line of sight. An X-ray spectrometer with a resolving power of $\lambda/\Delta\lambda\sim$420, comparable to that of astrophysical space instruments, records the absorbed spectra. This resolution clearly resolves the molecular lines from the atomic lines; therefore, motivating the search of molecular signature in astrophysical X-ray spectra. The experimental setup enables different gas compositions and column densities. K-shell spectra of CO$_2$, N$_2$ and O$_2$ reveal a plethora of absorption lines and photo-electric edges measured at molecular column densities between $\sim$10$^{16}$ cm$^{-2}$ -- 10$^{18}$ cm$^{-2}$ typical of GMCs. We find that the population of excited-states, contributing to the edge, increases with gas density.


title: Trading with the Crowd

abstract: We formulate and solve a multi-player stochastic differential game between financial agents who seek to cost-efficiently liquidate their position in a risky asset in the presence of jointly aggregated transient price impact, along with taking into account a common general price predicting signal. The unique Nash-equilibrium strategies reveal how each agent's liquidation policy adjusts the predictive trading signal to the aggregated transient price impact induced by all other agents. This unfolds a quantitative relation between trading signals and the order flow in crowded markets. We also formulate and solve the corresponding mean field game in the limit of infinitely many agents. We prove that the equilibrium trading speed and the value function of an agent in the finite $N$-player game converges to the corresponding trading speed and value function in the mean field game at rate $O(N^{-2})$. In addition, we prove that the mean field optimal strategy provides an approximate Nash-equilibrium for the finite-player game.


title: Heat kernel asymptotics for Kohn Laplacians on CR manifolds

abstract: Let $X$ be an abstract orientable not necessarily compact CR manifold of dimension $2n+1$, $n\geq1$, and let $L^k$ be the $k$-th tensor power of a CR complex line bundle $L$ over $X$. Suppose that condition $Y(q)$ holds at each point of $X$, we establish asymptotics of the heat kernel of Kohn Laplacian with values in $L^k$. As an application, we give a heat kernel proof of Morse inequalities on compact CR manifolds. When $X$ admits a transversal CR $\mathbb R$-action, we also establish asymptotics of the $\mathbb R$-equivariant heat kernel of Kohn Laplacian with values in $L^k$. As an application, we get $\mathbb R$-equivariant Morse inequalities on compact CR manifolds with transversal CR $\mathbb R$-action.


title: Pruning Randomly Initialized Neural Networks with Iterative Randomization

abstract: Pruning the weights of randomly initialized neural networks plays an important role in the context of lottery ticket hypothesis. Ramanujan et al. (2020) empirically showed that only pruning the weights can achieve remarkable performance instead of optimizing the weight values. However, to achieve the same level of performance as the weight optimization, the pruning approach requires more parameters in the networks before pruning and thus more memory space. To overcome this parameter inefficiency, we introduce a novel framework to prune randomly initialized neural networks with iteratively randomizing weight values (IteRand). Theoretically, we prove an approximation theorem in our framework, which indicates that the randomizing operations are provably effective to reduce the required number of the parameters. We also empirically demonstrate the parameter efficiency in multiple experiments on CIFAR-10 and ImageNet. The code is available at: https://github.com/dchiji-ntt/iterand


title: Differential models for the Anderson dual to bordism theories and invertible QFT's, I

abstract: In this paper, we construct new models for the Anderson duals $(I\Omega^G)^*$ to the stable tangential $G$-bordism theories and their differential extensions. The cohomology theory $(I\Omega^G)^*$ is conjectured by Freed and Hopkins [FH21] to classify deformation classes of possibly non-topological invertible quantum field theories (QFT's). Our model is made by abstractizing certain properties of invertible QFT's, thus supporting their conjecture.

categories: math.AT cond-mat.str-el hep-th math-ph math.MP


title: Inserting machine-learned virtual wall velocity for large-eddy simulation of turbulent channel flows

abstract: We propose a supervised-machine-learning-based wall model for coarse-grid wall-resolved large-eddy simulation (LES). Our consideration is made on LES of turbulent channel flows with a first grid point set relatively far from the wall ($\sim$ 10 wall units), while still resolving the near-wall region, to present a new path to save the computational cost. Convolutional neural network (CNN) is utilized to estimate a virtual wall-surface velocity from $x-z$ sectional fields near the wall, whose training data are generated by a direct numerical simulation (DNS) at ${\rm Re}_{\tau}=180$. The virtual wall-surface velocity is prepared with the extrapolation of the DNS data near the wall. This idea enables us to give a proper wall condition to correct a velocity gradient near the wall. The estimation ability of the model from near wall information is first investigated as a priori test. The estimated velocity fields by the present CNN model are in statistical agreement with the reference DNS data. The model trained in a priori test is then combined with the LES as a posteriori test. We find that the LES can successfully be augmented using the present model at both the friction Reynolds number ${\rm Re}_{\tau}=180$ used for training and the unseen Reynolds number ${\rm Re}_{\tau}=360$ even when the first grid point is located at 5 wall units off the wall. We also investigate the robustness of the present model for the choice of sub-grid scale model and the possibility of transfer learning in a local domain. The observations through the paper suggest that the present model is a promising tool for recovering the accuracy of LES with a coarse grid near the wall.


title: Comparison of the ion-to-electron temperature ratio prescription: GRMHD simulations with electron thermodynamics

abstract: The Event Horizon Telescope (EHT) collaboration, an Earth-size sub-millimetre radio interferometer, recently captured the first images of the central supermassive black hole in M87. These images were interpreted as gravitationally-lensed synchrotron emission from hot plasma orbiting around the black hole. In the accretion flows around low-luminosity active galactic nuclei such as M87, electrons and ions are not in thermal equilibrium. Therefore, the electron temperature, which is important for the thermal synchrotron radiation at EHT frequencies of 230 GHz, is not independently determined. In this work, we investigate the commonly used parameterised ion-to-electron temperature ratio prescription, the so-called R-$\beta$ model, considering images at 230 GHz by comparing with electron-heating prescriptions obtained from general-relativistic magnetohydrodynamical (GRMHD) simulations of magnetised accretion flows in a Magnetically Arrested Disc (MAD) regime with different recipes for the electron thermodynamics. When comparing images at 230 GHz, we find a very good match between images produced with the R-$\beta$ prescription and those produced with the turbulent- and magnetic reconnection- heating prescriptions. Indeed, this match is on average even better than that obtained when comparing the set of images built with the R-$\beta$ prescription with either a randomly chosen image or with a time-averaged one. From this comparative study of different physical aspects, which include the image, visibilities, broadband spectra, and light curves, we conclude that, within the context of images at 230 GHz relative to MAD accretion flows around supermassive black holes, the commonly-used and simple R-$\beta$ model is able to reproduce well the various and more complex electron-heating prescriptions considered here.


title: Photonic angular super-resolution using twisted N00N states

abstract: The increased phase sensitivity of N00N states has been used in many experiments, often involving photon paths or polarization. Here we experimentally combine the phase sensitivity of N00N states with the orbital angular momentum (OAM) of photons up to 100$\,\hslash$, to resolve rotations of a light field around its optical axis. The results show that both a higher photon number and larger OAM increase the resolution and achievable sensitivity. The presented method opens a viable path to unconditional angular super-sensitivity and accessible generation of N00N states between any transverse light fields.


title: Cooperative Multi-Agent Reinforcement Learning Based Distributed Dynamic Spectrum Access in Cognitive Radio Networks

abstract: With the development of the 5G and Internet of Things, amounts of wireless devices need to share the limited spectrum resources. Dynamic spectrum access (DSA) is a promising paradigm to remedy the problem of inefficient spectrum utilization brought upon by the historical command-and-control approach to spectrum allocation. In this paper, we investigate the distributed DSA problem for multi-user in a typical multi-channel cognitive radio network. The problem is formulated as a decentralized partially observable Markov decision process (Dec-POMDP), and we proposed a centralized off-line training and distributed on-line execution framework based on cooperative multi-agent reinforcement learning (MARL). We employ the deep recurrent Q-network (DRQN) to address the partial observability of the state for each cognitive user. The ultimate goal is to learn a cooperative strategy which maximizes the sum throughput of cognitive radio network in distributed fashion without coordination information exchange between cognitive users. Finally, we validate the proposed algorithm in various settings through extensive experiments. From the simulation results, we can observe that the proposed algorithm can converge fast and achieve almost the optimal performance.


title: Power spectrum of primordial perturbations during ultra-slow-roll inflation with back reaction effects

abstract: We develop a nonperturbative method through the Hartree factorization to examine the quantum fluctuation effects on the single-field inflationary models in a spatially flat FRW cosmological space-time. Apart from the background field equation as well as the Friedmann equation with the corrections of quantum field fluctuations, the modified Mukhanov-Sasaki equations for the mode functions of the quantum scalar field are also derived by introducing the nonzero $\Delta_B$ term. We consider the Universe undergoing the slow roll (SR)-ultra slow roll (USR) -slow roll (SR) inflation where in particular the presence of the USR inflation triggers the huge growth of $\Delta_B$ that in turn gives the boost effects to the curvature perturbations for the modes that leave horizon in the early times of the inflation. However, the cosmic friction term in the mode equation given by the Hubble parameter presumably prohibits the boost effects. Here we propose two representative models to illustrate these two competing terms.


title: Uniform Convergence of Interpolators: Gaussian Width, Norm Bounds, and Benign Overfitting

abstract: We consider interpolation learning in high-dimensional linear regression with Gaussian data, and prove a generic uniform convergence guarantee on the generalization error of interpolators in an arbitrary hypothesis class in terms of the class's Gaussian width. Applying the generic bound to Euclidean norm balls recovers the consistency result of Bartlett et al. (2020) for minimum-norm interpolators, and confirms a prediction of Zhou et al. (2020) for near-minimal-norm interpolators in the special case of Gaussian data. We demonstrate the generality of the bound by applying it to the simplex, obtaining a novel consistency result for minimum l1-norm interpolators (basis pursuit). Our results show how norm-based generalization bounds can explain and be used to analyze benign overfitting, at least in some settings.


title: Linear optical properties of a linear chain of interacting gold nanoparticles

abstract: In a Drude-like model for the conduction electrons of Metal Nanoparticles (MNPs) in a periodic linear chain, considering dipole-dipole interactions of adjacent particles, an analytical expression is derived for each particle permittivity for two different polarizations of incident light: parallel with and perpendicular to the chain line. A numerical analysis is carried out for a chain including 10 identical gold Nanoparticles (NPs) for two different sizes of NPs and two different host media of air and glass. It is shown that in the parallel case of polarization, interaction of NPs leads to a substantial increase in the extinction cross section and the red-shift of the Surface Plasmon Resonance (SPR) wavelength. In comparison with the linear properties of a single NP, the second and penultimate particles have the most increase in the extinction cross section and SPR wavelength displacement while the first and last particles experience the least variations due to the mutual interactions. For the perpendicular polarization, inversely, the dipolar coupling causes the decrease in extinction cross section of all particles and the blue-shift of SPR wavelength. For the parallel polarization, the absolute values of the real and imaginary parts of complex permittivity of each MNP decrease in comparison with the single particle case while they increase for the perpendicular state of polarization.


title: Precision Higgs Measurements at the 250 GeV ILC

abstract: The plan for the International Linear Collider (ILC) is now being prepared as a staged design, with the first stage of 2 ${\rm ab^{-1}}$ at 250GeV and later stages achieving the full project specifications with 4 ${\rm ab^{-1}}$ at 500 GeV. The talk presents the capabilities for precision Higgs boson measurements at 250 GeV. It is shown that the 250 GeV stage of the ILC will already provide many compelling results in Higgs physics, with new measurements unavailable at the Large Hadron Collider, model-independent determinations of key parameters, and possible discrimination of a variety of scenarios for new physics.


title: Field trial on Ocean Estimation for Multi-Vessel Multi-Float-based Active perception

abstract: Marine vehicles have been used for various scientific missions where information over features of interest is collected. In order to maximise efficiency in collecting information over a large search space, we should be able to deploy a large number of autonomous vehicles that make a decision based on the latest understanding of the target feature in the environment. In our previous work, we have presented a hierarchical framework for the multi-vessel multi-float (MVMF) problem where surface vessels drop and pick up underactuated floats in a time-minimal way. In this paper, we present the field trial results using the framework with a number of drifters and floats. We discovered a number of important aspects that need to be considered in the proposed framework, and present the potential approaches to address the challenges.


title: Statistical intrusion detection and eavesdropping in quantum channels with coupling: Multiple-preparation and single-preparation methods

abstract: Classical, i.e. non-quantum, communications include configurations with multiple-input multiple-output (MIMO) channels. Some associated signal processing tasks consider these channels in a symmetric way, i.e. by assigning the same role to all channel inputs, and similarly to all channel outputs. These tasks especially include channel identification/estimation and channel equalization, tightly connected with source separation. Their most challenging version is the blind one, i.e. when the receivers have (almost) no prior knowledge about the emitted signals. Other signal processing tasks consider classical communication channels in an asymmetric way. This especially includes the situation when data are sent by Emitter 1 to Receiver 1 through a main channel, and an "intruder" (including Receiver 2) interferes with that channel so as to extract information, thus performing so-called eavesdropping, while Receiver 1 may aim at detecting that intrusion. Part of the above processing tasks have been extended to quantum channels, including those that have several quantum bits (qubits) at their input and output. For such quantum channels, beyond previously reported work for symmetric scenarios, we here address asymmetric (blind and non-blind) ones, with emphasis on intrusion detection and additional comments about eavesdropping. To develop fundamental concepts, we first consider channels with exchange coupling as a toy model. We especially use the general quantum information processing framework that we recently developed, to derive new attractive intrusion detection methods based on a single preparation of each state. Finally, we discuss how the proposed methods might be extended, beyond the specific class of channels analyzed here.


title: MatES: Web-based Forward Chaining Expert System for Maternal Care

abstract: The solution to prevent maternal complications are known and preventable by trained health professionals. But in countries like Ethiopia where the patient to physician ratio is 1 doctor to 1000 patients, maternal mortality and morbidity rate is high. To fill the gap of highly trained health professionals, Ethiopia introduced health extension programs. Task shifting to health extension workers (HEWs) contributed in decreasing mortality and morbidity rate in Ethiopia. Knowledge-gap has been one of the major challenges to HEWs. The reasons are trainings are not given in regular manner, there is no midwife, gynecologists or doctors around for consultation, and all guidelines are paper-based which are easily exposed to damage. In this paper, we describe the design and implementation of a web-based expert system for maternal care. We only targeted the major 10 diseases and complication of maternal health issues seen in Sub-Saharan Africa. The expert system can be accessed through the use of web browsers from computers as well as smart phones. Forward chaining rule-based expert system is used in order to give suggestions and create a new knowledge from the knowledge-base. This expert system can be used to train HEWs in the field of maternal health. Keywords: expert system, maternal care, forward-chaining, rule-based expert system, PHLIPS