title: Stacky heights on elliptic curves in characteristic 3

abstract: We show there are no stacky heights on the moduli stack of stable elliptic curves in characteristic $3$ which induce the usual Faltings height, negatively answering a question of Ellenberg, Satriano, and Zureick-Brown.


title: Characterizing Online Engagement with Disinformation and Conspiracies in the 2020 U.S. Presidential Election

abstract: Identifying and characterizing disinformation in political discourse on social media is critical to ensure the integrity of elections and democratic processes around the world. Persistent manipulation of social media has resulted in increased concerns regarding the 2020 U.S. Presidential Election, due to its potential to influence individual opinions and social dynamics. In this work, we focus on the identification of distorted facts, in the form of unreliable and conspiratorial narratives in election-related tweets, to characterize discourse manipulation prior to the election. We apply a detection model to separate factual from unreliable (or conspiratorial) claims analyzing a dataset of 242 million election-related tweets. The identified claims are used to investigate targeted topics of disinformation, and conspiracy groups, most notably the far-right QAnon conspiracy group. Further, we characterize account engagements with unreliable and conspiracy tweets, and with the QAnon conspiracy group, by political leaning and tweet types. Finally, using a regression discontinuity design, we investigate whether Twitter's actions to curb QAnon activity on the platform were effective, and how QAnon accounts adapt to Twitter's restrictions.


title: Moduli Spaces of Morphisms Into Solvable Algebraic Groups

abstract: We construct (in significant generality) moduli spaces representing the functor of morphisms from a scheme into a solvable algebraic group.


title: Video or Image Transmission Security for ESP-EYE IoT device used in Business Processes

abstract: Internet of Things is the name of a communication network that is formed by physical objects such as RFID tags, sensors and some lightweight development platforms that have the ability to connect to the internet. While the devices can communicate among themselves in this network, they can also be part of a large network. The data produced by those physical objects which are the member of IoT network are processed by different methods and the outputs obtained are used in processes such as decision making and learning. With this aspect of the Internet of Things, it affects all areas of human life and its number is increasing day by day. These devices appear to have security gaps due to their limited resources, their wide range of usage area and incomplete security standards. These devices, which are located in people's living areas, manufacturing and business processes also cause difficulties in protecting privacy. In this study, a solution has been developed for the communication security of the internet of things called ESP-Eye which includes a camera, wireless communication module and face recognition software. The proposed solution was implemented on the ESP-Eye.


title: Searching for Sources of High Energy Neutrinos from Magnetars with IceCube

abstract: Magnetars are neutron stars with very strong magnetic fields on the order of $10^{13}$ to $10^{15}$ G. Young magnetars with oppositely-oriented magnetic fields and spin moments may emit high-energy (HE) neutrinos from their polar caps as they may be able to accelerate cosmic rays to above the photomeson threshold (Zhang et al. 2003). Giant flares of soft gamma-ray repeaters (a subclass of magnetars) may also produce HE neutrinos and therefore a HE neutrino flux from this class is potentially detectable (Ioka et al. 2005). Here we present plans to search for neutrino emission from magnetars listed in the McGill Online Magnetar Catalog using 10 years of well-reconstructed IceCube muon-neutrino events looking for significant clustering around magnetars' direction. IceCube is a cubic kilometer neutrino observatory at the South Pole and has been fully operational for the past ten years.


title: Agent-Environment Network for Temporal Action Proposal Generation

abstract: Temporal action proposal generation is an essential and challenging task that aims at localizing temporal intervals containing human actions in untrimmed videos. Most of existing approaches are unable to follow the human cognitive process of understanding the video context due to lack of attention mechanism to express the concept of an action or an agent who performs the action or the interaction between the agent and the environment. Based on the action definition that a human, known as an agent, interacts with the environment and performs an action that affects the environment, we propose a contextual Agent-Environment Network. Our proposed contextual AEN involves (i) agent pathway, operating at a local level to tell about which humans/agents are acting and (ii) environment pathway operating at a global level to tell about how the agents interact with the environment. Comprehensive evaluations on 20-action THUMOS-14 and 200-action ActivityNet-1.3 datasets with different backbone networks, i.e C3D and SlowFast, show that our method robustly exhibits outperformance against state-of-the-art methods regardless of the employed backbone network.


title: Quantum circuits with classical channels and the principle of deferred measurements

abstract: We define syntax and semantics of quantum circuits, allowing measurement gates and classical channels. We define circuit-based quantum algorithms and prove that, semantically, any such algorithm is equivalent to a single measurement that depends only on the underlying quantum circuit. Finally, we use our formalization of quantum circuits to state precisely and prove the principle of deferred measurements.

categories: quant-ph cs.IT cs.LO math-ph math.IT math.MP


title: Vision-Based Autonomous Car Racing Using Deep Imitative Reinforcement Learning

abstract: Autonomous car racing is a challenging task in the robotic control area. Traditional modular methods require accurate mapping, localization and planning, which makes them computationally inefficient and sensitive to environmental changes. Recently, deep-learning-based end-to-end systems have shown promising results for autonomous driving/racing. However, they are commonly implemented by supervised imitation learning (IL), which suffers from the distribution mismatch problem, or by reinforcement learning (RL), which requires a huge amount of risky interaction data. In this work, we present a general deep imitative reinforcement learning approach (DIRL), which successfully achieves agile autonomous racing using visual inputs. The driving knowledge is acquired from both IL and model-based RL, where the agent can learn from human teachers as well as perform self-improvement by safely interacting with an offline world model. We validate our algorithm both in a high-fidelity driving simulation and on a real-world 1/20-scale RC-car with limited onboard computation. The evaluation results demonstrate that our method outperforms previous IL and RL methods in terms of sample efficiency and task performance. Demonstration videos are available at https://caipeide.github.io/autorace-dirl/


title: Otimizacao de Redes Neurais atraves de Algoritmos Geneticos Celulares

abstract: This works proposes a methodology to searching for automatically Artificial Neural Networks (ANN) by using Cellular Genetic Algorithm (CGA). The goal of this methodology is to find compact networks whit good performance for classification problems. The main reason for developing this work is centered at the difficulties of configuring compact ANNs with good performance rating. The use of CGAs aims at seeking the components of the RNA in the same way that a common Genetic Algorithm (GA), but it has the differential of incorporating a Cellular Automaton (CA) to give location for the GA individuals. The location imposed by the CA aims to control the spread of solutions in the populations to maintain the genetic diversity for longer time. This genetic diversity is important for obtain good results with the GAs.


title: ${\mathbb{A}}^{0|1}$-torsors, quotients by free ${\mathbb{A}}^{0|1}$-actions, and embeddings into $\Pi$-projective spaces and super-Grassmannians $G(1|1,n|n)$

abstract: We study embeddability of superschemes into $\Pi$-projective spaces and into supergrassmannians $G(1|1,n|n)$. We give some criteria based on the relation with ${\mathbb{A}}^{0|1}$-torsors and ${\mathbb{A}}^{0|1}$-fibrations. We also prove the existence of nice quotients for free actions of ${\mathbb{A}}^{0|1}$ on superschemes.


title: A Geometria da Regress\~ao Linear

abstract: We present a geometrical interpretation of linear regression based on vectors in n dimensions (n the number of data points). This is to be used as a didactic tool for teachers when presenting that topic.


title: Proactive Retrieval-based Chatbots based on Relevant Knowledge and Goals

abstract: A proactive dialogue system has the ability to proactively lead the conversation. Different from the general chatbots which only react to the user, proactive dialogue systems can be used to achieve some goals, e.g., to recommend some items to the user. Background knowledge is essential to enable smooth and natural transitions in dialogue. In this paper, we propose a new multi-task learning framework for retrieval-based knowledge-grounded proactive dialogue. To determine the relevant knowledge to be used, we frame knowledge prediction as a complementary task and use explicit signals to supervise its learning. The final response is selected according to the predicted knowledge, the goal to achieve, and the context. Experimental results show that explicit modeling of knowledge prediction and goal selection can greatly improve the final response selection. Our code is available at https://github.com/DaoD/KPN/.


title: Attention-based Multi-scale Gated Recurrent Encoder with Novel Correlation Loss for COVID-19 Progression Prediction

abstract: COVID-19 image analysis has mostly focused on diagnostic tasks using single timepoint scans acquired upon disease presentation or admission. We present a deep learning-based approach to predict lung infiltrate progression from serial chest radiographs (CXRs) of COVID-19 patients. Our method first utilizes convolutional neural networks (CNNs) for feature extraction from patches within the concerned lung zone, and also from neighboring and remote boundary regions. The framework further incorporates a multi-scale Gated Recurrent Unit (GRU) with a correlation module for effective predictions. The GRU accepts CNN feature vectors from three different areas as input and generates a fused representation. The correlation module attempts to minimize the correlation loss between hidden representations of concerned and neighboring area feature vectors, while maximizing the loss between the same from concerned and remote regions. Further, we employ an attention module over the output hidden states of each encoder timepoint to generate a context vector. This vector is used as an input to a decoder module to predict patch severity grades at a future timepoint. Finally, we ensemble the patch classification scores to calculate patient-wise grades. Specifically, our framework predicts zone-wise disease severity for a patient on a given day by learning representations from the previous temporal CXRs. Our novel multi-institutional dataset comprises sequential CXR scans from N=93 patients. Our approach outperforms transfer learning and radiomic feature-based baseline approaches on this dataset.


title: Quasi-matter Bounce Cosmology in Light of Planck

abstract: We study quasi-matter bounce cosmology in light of Planck cosmic microwave background (CMB) angular anisotropy measurements along with the BICEP2/Keck Array data. We propose a new primordial scalar power spectrum by considering a linear approximation of the equation of state $w\cong w_0+\kappa(\eta-\eta_0)$ for quasi-matter field in the contracting phase of the universe. Using this new primordial scalar power spectrum, we constrain the zeroth-order approximation of the equation of state $w_0= -\,0.00340\pm 0.00044$ and first-order correction $10^{4} \zeta= -1.67^{+1.50}_{-0.83}$ at the $1\sigma$ confidence level by Planck temperature and polarization in combination with the BICEP2/Keck Array data in which $\zeta = 12\kappa/k_*$ with pivot scale $k_*$. The spectral index of scalar perturbations is determined to be $n_{\rm Bs}=0.9623\pm0.0055$ which lies 7$\sigma$ away from the scale-invariant primordial spectrum. We find scale dependency for $n_{\rm s}$ at the $1\sigma$ confidence level and a tighter constraint on the running of the spectral index compared to $\Lambda$CDM+$\alpha_s$ cosmology. The running of the spectral index in quasi-matter bounce cosmology is $\alpha_{\rm Bs}= \pi \zeta /2 c_{\rm s} = -\hspace{.5mm}0.0021 \pm 0.0016$ which is nonzero at the $1.3\sigma$ level, whereas in $\Lambda$CDM+$\alpha_{\rm s}$ it is nonzero at the $0.8\sigma$ level for Planck temperature and polarization data. The sound speed of density fluctuations of the quasi-matter field at the crossing time is $c_{\rm s} = 0.097^{+0.037}_{-0.023}$, which is not a very small value in the contracting phase.


title: A uniform algebra approach to an approximation theorem of Sahutoglu and Tikaradze

abstract: Using methods from the theory of uniform algebras, we give a simple proof of an approximation result of Sahutoglu and Tikaradze with $L^\infty$-pseudoconvex domains replaced by the open sets for which Gleason's problem is solvable.


title: Mid-Infrared Cross-Comb Spectroscopy

abstract: Dual-comb spectroscopy has been proven a powerful tool in molecular characterization, which remains challenging to implement in the mid-infrared region due to difficulties in the realization of two mutually locked comb sources and efficient photodetection. Moreover, the detection capability of dual-comb spectroscopy is fundamentally limited by the strong excitation background and detector saturation. Here we introduce a variant of dual-comb spectroscopy called cross-comb spectroscopy, in which a mid-infrared comb is upconverted via sum-frequency generation with a near-infrared comb of a shifted repetition rate and then interfered with a spectral extension of the near-infrared comb. We show that cross-comb spectroscopy can have superior signal-to-noise ratio, sensitivity, dynamic range, and detection efficiency compared to other dual-comb-based methods and avoid the limits of the background excitation and detector saturation. We experimentally demonstrate a proof-of-concept measurement of atmospheric CO2 around 4.25 $\mu$m, with a 233-$cm^{-1}$ instantaneous bandwidth, 28000 comb lines, a single-shot SNR of 167, and a figure of merit of $2.4\times10^{6} Hz^{1/2}$. Cross-comb spectroscopy can be realized using up- or down-conversion and offers an adaptable and powerful spectroscopic method outside the well-developed near-IR region. This approach opens new avenues to high-performance molecular sensing with wavelength flexibility, which can impact a wide swath of applications.


title: Predictable Bandwidth Slicing with Open vSwitch

abstract: Software switching, a.k.a virtual switching, plays a vital role in network virtualization and network function virtualization, enhances configurability, and reduces deployment and operational costs. Software switching also facilitates the development of edge and fog computing networks by allowing the use of commodity hardware for both data processing and packet switching. Despite these benefits, characterizing and ensuring deterministic performance with software switches is harder, compared to physical switching appliances. In particular, achieving deterministic performance is essential to adopt software switching in mission-critical applications, especially those deployed in edge and fog computing architectures. In this paper, we study the impact of switch configurations on bandwidth slicing and predictable packet latency. We demonstrate that latency and predictability are dependent on the implementation of the bandwidth slicing mechanism and that the packet schedulers used in OVS Kernel-Path and OVS-DPDK each focus on different aspects of switching performance.


title: Silent Tracker: In-band Beam Management for Soft Handover for mm-Wave Networks

abstract: In mm-wave networks, cell sizes are small due to high path and penetration losses. Mobiles need to frequently switch softly from one cell to another to preserve network connections and context. Each soft handover involves the mobile performing directional neighbor cell search, tracking cell beam, completing cell access request, and finally, context switching. The mobile must independently discover cell beams, derive timing information, and maintain beam alignment throughout the process to avoid packet loss and hard handover. We propose Silent tracker which enables a mobile to reliably manage handover events by maintaining an aligned beam until the successful handover completion. It is entirely in-band beam mechanism that does not need any side information. Experimental evaluations show that Silent Tracker maintains the mobile's receive beam aligned to the potential target base station's transmit beam till the successful conclusion of handover in three mobility scenarios: human walk, device rotation, and 20 mph vehicular speed.


title: QuicSDN: Transitioning from TCP to QUIC for Southbound Communication in SDNs

abstract: In Software-Defined Networks (SDNs), the control plane and data plane communicate for various purposes, such as applying configurations and collecting statistical data. While various methods have been proposed to reduce the overhead and enhance the scalability of SDNs, the impact of the transport layer protocol used for southbound communication has not been investigated. Existing SDNs rely on TCP (and TLS) to enforce reliability and security. In this paper, we show that the use of TCP imposes a considerable overhead on southbound communication, identify the causes of this overhead, and demonstrate how replacing TCP with QUIC can enhance the performance of this communication. We introduce the quicSDN architecture, enabling southbound communication in SDNs via the QUIC protocol. We present a reference architecture based on the standard, most widely used protocols by the SDN community and show how the controller and switch are revamped to facilitate this transition. We compare, both analytically and empirically, the performance of quicSDN versus the traditional SDN architecture and confirm the superior performance of quicSDN.


title: Exploring the Potential of Lexical Paraphrases for Mitigating Noise-Induced Comprehension Errors

abstract: Listening in noisy environments can be difficult even for individuals with a normal hearing thresholds. The speech signal can be masked by noise, which may lead to word misperceptions on the side of the listener, and overall difficulty to understand the message. To mitigate hearing difficulties on listeners, a co-operative speaker utilizes voice modulation strategies like Lombard speech to generate noise-robust utterances, and similar solutions have been developed for speech synthesis systems. In this work, we propose an alternate solution of choosing noise-robust lexical paraphrases to represent an intended meaning. Our results show that lexical paraphrases differ in their intelligibility in noise. We evaluate the intelligibility of synonyms in context and find that choosing a lexical unit that is less risky to be misheard than its synonym introduced an average gain in comprehension of 37% at SNR -5 dB and 21% at SNR 0 dB for babble noise.


title: Assessing Mediational Processes Using Piecewise Linear Growth Curve Models with Individual Measurement Occasions

abstract: Longitudinal processes often unfold concurrently where the growth of two or more longitudinal outcomes are associated. Additionally, if the study under investigation is long, the growth curves may exhibit nonconstant change with respect to time. Multiple existing studies have developed multivariate growth models with nonlinear functional forms to explore joint development where two longitudinal records are correlated over time. However, the relationship between multiple longitudinal outcomes may also be unidirectional. Accordingly, it is of interest to estimate regression coefficients of such unidirectional paths. One statistical tool for such analyses is longitudinal mediation models. In this study, we develop two models to evaluate mediational processes where the linear-linear piecewise growth model is utilized to capture the change patterns. We define the mediational process as either the baseline covariate or the change in covariate influencing the change in the mediator, which, in turn, affects the change in the outcome. We present the proposed models through simulation studies and real-world data analyses. Our simulation studies demonstrate that the proposed mediational models can provide unbiased and accurate point estimates with target coverage probabilities with a 95% confidence interval. The empirical analyses demonstrate that the proposed model can estimate covariates' direct and indirect effects on the change in the outcome. We also provide the corresponding code for the proposed models.


title: Employing Altruistic Vehicles at On-ramps to Improve the Social Traffic Conditions

abstract: Highway on-ramps are regarded as typical bottlenecks in transportation networks. In previous work, mainline vehicles' selfish lane choice behavior at on-ramps is studied and regarded as one cause leading to on-ramp inefficiency. When on-ramp vehicles plan to merge into the mainline of the highway, mainline vehicles choose to either stay steadfast on the current lane or bypass the merging area by switching to a neighboring lane farther from the on-ramp. Selfish vehicles make the decisions to minimize their own travel delay, which compromises the efficiency of the whole on-ramp. Results in previous work have shown that, if we can encourage a proper portion of mainline vehicles to bypass rather than to stay steadfast, the social traffic conditions can be improved. In this work, we consider employing a proportion of altruistic vehicles among the selfish mainline vehicles to improve the efficiency of the on-ramps. The altruistic vehicles are individual optimizers, making decisions whether to stay steadfast or bypass to minimize their own altruistic cost, which is a weighted sum of the travel delay and their negative impact on other vehicles. We first consider the ideal case that altruistic costs can be perfectly measured by altruistic vehicles. We give the conditions for the proportion of altruistic vehicles and the weight configuration of the altruistic costs, under which the social delay can be decreased or reach the optimal. Subsequently, we consider the impact of uncertainty in the measurement of altruistic costs and we give the optimal weight configuration for altruistic vehicles which minimizes the worst-case social delay under such uncertainty.


title: Cocommutative q-cycle coalgebra structures on the dual of the truncated polynomial algebra

abstract: In order to construct solutions of the braid equation we consider bijective left non-degenerate set-theoretic type solutions, which correspond to regular q-cycle coalgebras. We obtain a partial classification of the different q-cycle coalgebra structures on the dual coalgebra of $K[y]/\langle y^n\rangle$, the truncated polynomial algebra. We obtain an interesting family of involutive q-cycle coalgebras which we call Standard Cycle Coalgebras. They are parameterized by free parameters $\{p_1,...,p_{n-1}\}$ and in order to verify that they are compatible with the braid equation, we have to verify that certain differential operators $\partial^j$ on formal power series in two variables $K[[x, y]]$ satisfy the condition $(\partial^j G)_i = (\partial^i G)_j$ for all i, j, where $G$ is a formal power series associated to the given q-cycle coalgebra. It would be interesting to find out the relation of these operators with the operators given by Yang in the context with 2-dimensional quantum field theories, which was one of the origins of the Yang-Baxter equation.


title: New First-Order Algorithms for Stochastic Variational Inequalities

abstract: In this paper, we propose two new solution schemes to solve the stochastic strongly monotone variational inequality problems: the stochastic extra-point solution scheme and the stochastic extra-momentum solution scheme. The first one is a general scheme based on updating the iterative sequence and an auxiliary extra-point sequence. In the case of deterministic VI model, this approach includes several state-of-the-art first-order methods as its special cases. The second scheme combines two momentum-based directions: the so-called heavy-ball direction and the optimism direction, where only one projection per iteration is required in its updating process. We show that, if the variance of the stochastic oracle is appropriately controlled, then both schemes can be made to achieve optimal iteration complexity of $\mathcal{O}\left(\kappa\ln\left(\frac{1}{\epsilon}\right)\right)$ to reach an $\epsilon$-solution for a strongly monotone VI problem with condition number $\kappa$. We show that these methods can be readily incorporated in a zeroth-order approach to solve stochastic minimax saddle-point problems, where only noisy and biased samples of the objective can be obtained, with a total sample complexity of $\mathcal{O}\left(\frac{\kappa^2}{\epsilon}\ln\left(\frac{1}{\epsilon}\right)\right)$


title: A Probit Estimation of Urban Bases of Environmental Awareness: Evidence from Sylhet City, Bangladesh

abstract: This paper evaluates the significant factors contributing to environmental awareness among individuals living in the urban area of Sylhet, Bangladesh. Ordered Probit(OPM) estimation is applied on the value of ten measures of individual environmental concern. The estimated results of OPM reveal the dominance of higher education, higher income, and full-employment status on environmental concern and environmentally responsible behavior. Younger and more educated respondents tended to be more knowledgeable and concerned than older and less educated respondents. The marginal effect of household size, middle-income level income, and part-time employment status of the survey respondents played a less significant role in the degree of environmental awareness. Findings also validate the "age hypothesis" proposed by Van Liere and Dunlap (1980), and the gender effect reveals an insignificant role in determining the degree of environmental concern. Environmental awareness among urban individuals with higher income increased linearly with environmental awareness programs which may have significant policy importance, such as environmental awareness programs for old-aged and less-educated individuals, and may lead to increased taxation on higher income groups to mitigate city areas' pollution problems.


title: What can we learn from the total width of the Higgs boson?

abstract: As one of the key properties of the Higgs boson, the Higgs total width is sensitive to global profile of the Higgs boson couplings, and thus new physics would modify the Higgs width. We investigate the total width in various new physics models, including various scalar extension, composite Higgs models, and fraternal twin Higgs model. Typically the Higgs width is smaller than the standard model value due to mixture with other scalar if the Higgs is elementary, or curved Higgs field space for the composite Higgs. On the other hand, except the possible invisible decay mode, the enhanced Yukawa coupling in the two Higgs doublet model or the exotic fermion embeddings in the composite Higgs, could enhance the Higgs width greatly. The precision measurement of the Higgs total width at the high-luminosity LHC can be used to discriminate certain new physics models.


title: IDEAL: An Open-Source Identifier Name Appraisal Tool

abstract: Developers must comprehend the code they will maintain, meaning that the code must be legible and reasonably self-descriptive. Unfortunately, there is still a lack of research and tooling that supports developers in understanding their naming practices; whether the names they choose make sense, whether they are consistent, and whether they convey the information required of them. In this paper, we present IDEAL, a tool that will provide feedback to developers about their identifier naming practices. Among its planned features, it will support linguistic anti-pattern detection, which is what will be discussed in this paper. IDEAL is designed to, and will, be extended to cover further anti-patterns, naming structures, and practices in the near future. IDEAL is open-source and publicly available, with a demo video available at: https://youtu.be/fVoOYGe50zg


title: A Discriminative Semantic Ranker for Question Retrieval

abstract: Similar question retrieval is a core task in community-based question answering (CQA) services. To balance the effectiveness and efficiency, the question retrieval system is typically implemented as multi-stage rankers: The first-stage ranker aims to recall potentially relevant questions from a large repository, and the latter stages attempt to re-rank the retrieved results. Most existing works on question retrieval mainly focused on the re-ranking stages, leaving the first-stage ranker to some traditional term-based methods. However, term-based methods often suffer from the vocabulary mismatch problem, especially on short texts, which may block the re-rankers from relevant questions at the very beginning. An alternative is to employ embedding-based methods for the first-stage ranker, which compress texts into dense vectors to enhance the semantic matching. However, these methods often lose the discriminative power as term-based methods, thus introduce noise during retrieval and hurt the recall performance. In this work, we aim to tackle the dilemma of the first-stage ranker, and propose a discriminative semantic ranker, namely DenseTrans, for high-recall retrieval. Specifically, DenseTrans is a densely connected Transformer, which learns semantic embeddings for texts based on Transformer layers. Meanwhile, DenseTrans promotes low-level features through dense connections to keep the discriminative power of the learned representations. DenseTrans is inspired by DenseNet in computer vision (CV), but poses a new way to use the dense connectivity which is totally different from its original design purpose. Experimental results over two question retrieval benchmark datasets show that our model can obtain significant gain on recall against strong term-based methods as well as state-of-the-art embedding-based methods.


title: Policy Optimization in Adversarial MDPs: Improved Exploration via Dilated Bonuses

abstract: Policy optimization is a widely-used method in reinforcement learning. Due to its local-search nature, however, theoretical guarantees on global optimality often rely on extra assumptions on the Markov Decision Processes (MDPs) that bypass the challenge of global exploration. To eliminate the need of such assumptions, in this work, we develop a general solution that adds dilated bonuses to the policy update to facilitate global exploration. To showcase the power and generality of this technique, we apply it to several episodic MDP settings with adversarial losses and bandit feedback, improving and generalizing the state-of-the-art. Specifically, in the tabular case, we obtain $\widetilde{\mathcal{O}}(\sqrt{T})$ regret where $T$ is the number of episodes, improving the $\widetilde{\mathcal{O}}({T}^{2/3})$ regret bound by Shani et al. (2020). When the number of states is infinite, under the assumption that the state-action values are linear in some low-dimensional features, we obtain $\widetilde{\mathcal{O}}({T}^{2/3})$ regret with the help of a simulator, matching the result of Neu and Olkhovskaya (2020) while importantly removing the need of an exploratory policy that their algorithm requires. When a simulator is unavailable, we further consider a linear MDP setting and obtain $\widetilde{\mathcal{O}}({T}^{14/15})$ regret, which is the first result for linear MDPs with adversarial losses and bandit feedback.


title: Beyond a binary of (non)racist tweets: A four-dimensional categorical detection and analysis of racist and xenophobic opinions on Twitter in early Covid-19

abstract: Transcending the binary categorization of racist and xenophobic texts, this research takes cues from social science theories to develop a four dimensional category for racism and xenophobia detection, namely stigmatization, offensiveness, blame, and exclusion. With the aid of deep learning techniques, this categorical detection enables insights into the nuances of emergent topics reflected in racist and xenophobic expression on Twitter. Moreover, a stage wise analysis is applied to capture the dynamic changes of the topics across the stages of early development of Covid-19 from a domestic epidemic to an international public health emergency, and later to a global pandemic. The main contributions of this research include, first the methodological advancement. By bridging the state-of-the-art computational methods with social science perspective, this research provides a meaningful approach for future research to gain insight into the underlying subtlety of racist and xenophobic discussion on digital platforms. Second, by enabling a more accurate comprehension and even prediction of public opinions and actions, this research paves the way for the enactment of effective intervention policies to combat racist crimes and social exclusion under Covid-19.


title: Adaptive Priority-based Conflict Resolution of IoT Services

abstract: We propose a novel conflict resolution framework for IoT services in multi-resident smart homes. An adaptive priority model is developed considering the residents' contextual factors (e.g., age, illness, impairment). The proposed priority model is designed using the concept of the analytic hierarchy process. A set of experiments on real-world datasets are conducted to show the efficiency of the proposed approach.


title: Proof Search on Bilateralist Judgments over Non-deterministic Semantics

abstract: The bilateralist approach to logical consequence maintains that judgments of different qualities should be taken into account in determining what-follows-from-what. We argue that such an approach may be actualized by a two-dimensional notion of entailment induced by semantic structures that also accommodate non-deterministic and partial interpretations, and propose a proof-theoretical apparatus to reason over bilateralist judgments using symmetrical two-dimensional analytical Hilbert-style calculi. We also provide a proof-search algorithm for finite analytic calculi that runs in at most exponential time, in general, and in polynomial time when only rules having at most one formula in the succedent are present in the concerned calculus.


title: A Universal Lossless Compression Method applicable to Sparse Graphs and Heavy-Tailed Sparse Graphs

abstract: Graphical data arises naturally in several modern applications, including but not limited to internet graphs, social networks, genomics and proteomics. The typically large size of graphical data argues for the importance of designing universal compression methods for such data. In most applications, the graphical data is sparse, meaning that the number of edges in the graph scales more slowly than $n^2$, where $n$ denotes the number of vertices. Although in some applications the number of edges scales linearly with $n$, in others the number of edges is much smaller than $n^2$ but appears to scale superlinearly with $n$. We call the former sparse graphs and the latter heavy-tailed sparse graphs. In this paper we introduce a universal lossless compression method which is simultaneously applicable to both classes. We do this by employing the local weak convergence framework for sparse graphs and the sparse graphon framework for heavy-tailed sparse graphs.


title: A Novel Approach to Analyze Fashion Digital Archive from Humanities

abstract: Fashion styles adopted every day are an important aspect of culture, and style trend analysis helps provide a deeper understanding of our societies and cultures. To analyze everyday fashion trends from the humanities perspective, we need a digital archive that includes images of what people wore in their daily lives over an extended period. In fashion research, building digital fashion image archives has attracted significant attention. However, the existing archives are not suitable for retrieving everyday fashion trends. In addition, to interpret how the trends emerge, we need non-fashion data sources relevant to why and how people choose fashion. In this study, we created a new fashion image archive called Chronicle Archive of Tokyo Street Fashion (CAT STREET) based on a review of the limitations in the existing digital fashion archives. CAT STREET includes images showing the clothing people wore in their daily lives during the period 1970--2017, which contain timestamps and street location annotations. We applied machine learning to CAT STREET and found two types of fashion trend patterns. Then, we demonstrated how magazine archives help us interpret how trend patterns emerge. These empirical analyses show our approach's potential to discover new perspectives to promote an understanding of our societies and cultures through fashion embedded in consumers' daily lives.


title: Can we know about black hole thermodynamics through shadows?

abstract: We investigate the relationship between shadow radius and microstructure for a general static spherically symmetric black hole and confirm their close connection. In this regard, we take the Reissner-Nordstr\"om (AdS) black hole as an example to do the concrete analysis. On the other hand, we study for the Kerr (AdS) black hole the relationship between its shadow and thermodynamics in the aspects of phase transition and microstructure. Our results for the Kerr (AdS) black hole show that the shadow radius $r_{\rm sh}$, the deformation parameters $\delta_s$ and $k_s$, and the circularity deviation $\Delta C$ can reflect the black hole thermodynamics. In addition, we give the constraints to the relaxation time of the M$87^{*}$ black hole by combining its shadow data and the Bekenstein-Hod universal bounds when the M$87^{*}$ is regarded as the Reissner-Nordstr\"om or Kerr black hole. We predict that the minimum relaxation times of M$87^{*}$ black hole and Sgr $A^{*}$ black hole are approximately 3 days and 2.64 minutes, respectively. Finally, we draw the first graph of the minimum relaxation time $\tau_{\rm min}$ with respect to the maximum shadow radius $ r_{\rm sh}^{\rm max}$ at different mass levels.


title: Top-label calibration and multiclass-to-binary reductions

abstract: A multiclass classifier is said to be top-label calibrated if the reported probability for the predicted class -- the top-label -- is calibrated, conditioned on the top-label. This conditioning on the top-label is absent in the closely related and popular notion of confidence calibration, which we argue makes confidence calibration difficult to interpret for decision-making. We propose top-label calibration as a rectification of confidence calibration. Further, we outline a multiclass-to-binary (M2B) reduction framework that unifies confidence, top-label, and class-wise calibration, among others. As its name suggests, M2B works by reducing multiclass calibration to numerous binary calibration problems, each of which can be solved using simple binary calibration routines. We instantiate the M2B framework with the well-studied histogram binning (HB) binary calibrator, and prove that the overall procedure is multiclass calibrated without making any assumptions on the underlying data distribution. In an empirical evaluation with four deep net architectures on CIFAR-10 and CIFAR-100, we find that the M2B + HB procedure achieves lower top-label and class-wise calibration error than other approaches such as temperature scaling. Code for this work is available at \url{https://github.com/aigen/df-posthoc-calibration}.


title: $\mathrm{K}$-cowaist on complete foliated manifolds

abstract: Let $(M,F)$ be a connected (not necessarily compact) foliated manifold carrying a complete Riemannian metric $g^{TM}$. We generalize Gromov's $\mathrm{K}$-cowaist using the coverings of $M$, as well as defining a closely related concept called $\widehat{\mathrm{A}}$-cowaist. Let $k^F$ be the associated leafwise scalar curvature of $g^F = g^{TM}|_F$. We obtain some estimates on $k^F$ using these two concepts. In particular, assuming that the generalized $\mathrm{K}$-cowaist is infinity and either $TM$ or $F$ is spin, we show that $\inf(k^F)\leq 0$.


title: Fully Polarimetric SAR and Single-Polarization SAR Image Fusion Network

abstract: The data fusion technology aims to aggregate the characteristics of different data and obtain products with multiple data advantages. To solves the problem of reduced resolution of PolSAR images due to system limitations, we propose a fully polarimetric synthetic aperture radar (PolSAR) images and single-polarization synthetic aperture radar SAR (SinSAR) images fusion network to generate high-resolution PolSAR (HR-PolSAR) images. To take advantage of the polarimetric information of the low-resolution PolSAR (LR-PolSAR) image and the spatial information of the high-resolution single-polarization SAR (HR-SinSAR) image, we propose a fusion framework for joint LR-PolSAR image and HR-SinSAR image and design a cross-attention mechanism to extract features from the joint input data. Besides, based on the physical imaging mechanism, we designed the PolSAR polarimetric loss function for constrained network training. The experimental results confirm the superiority of fusion network over traditional algorithms. The average PSNR is increased by more than 3.6db, and the average MAE is reduced to less than 0.07. Experiments on polarimetric decomposition and polarimetric signature show that it maintains polarimetric information well.


title: DeHumor: Visual Analytics for Decomposing Humor

abstract: Despite being a critical communication skill, grasping humor is challenging -- a successful use of humor requires a mixture of both engaging content build-up and an appropriate vocal delivery (e.g., pause). Prior studies on computational humor emphasize the textual and audio features immediately next to the punchline, yet overlooking longer-term context setup. Moreover, the theories are usually too abstract for understanding each concrete humor snippet. To fill in the gap, we develop DeHumor, a visual analytical system for analyzing humorous behaviors in public speaking. To intuitively reveal the building blocks of each concrete example, DeHumor decomposes each humorous video into multimodal features and provides inline annotations of them on the video script. In particular, to better capture the build-ups, we introduce content repetition as a complement to features introduced in theories of computational humor and visualize them in a context linking graph. To help users locate the punchlines that have the desired features to learn, we summarize the content (with keywords) and humor feature statistics on an augmented time matrix. With case studies on stand-up comedy shows and TED talks, we show that DeHumor is able to highlight various building blocks of humor examples. In addition, expert interviews with communication coaches and humor researchers demonstrate the effectiveness of DeHumor for multimodal humor analysis of speech content and vocal delivery.


title: As Easy as 1, 2, 3: Behavioural Testing of NMT Systems for Numerical Translation

abstract: Mistranslated numbers have the potential to cause serious effects, such as financial loss or medical misinformation. In this work we develop comprehensive assessments of the robustness of neural machine translation systems to numerical text via behavioural testing. We explore a variety of numerical translation capabilities a system is expected to exhibit and design effective test examples to expose system underperformance. We find that numerical mistranslation is a general issue: major commercial systems and state-of-the-art research models fail on many of our test examples, for high- and low-resource languages. Our tests reveal novel errors that have not previously been reported in NMT systems, to the best of our knowledge. Lastly, we discuss strategies to mitigate numerical mistranslation.


title: Microscopic self-consistent description of induced fission: dynamical pairing degree of freedom

abstract: The role of dynamical pairing in induced fission dynamics is investigated using the time-dependent generator coordinate method in the Gaussian overlap approximation, based on the microscopic framework of nuclear energy density functionals. A calculation of fragment charge yields for induced fission of $^{228}$Th is performed in a three-dimensional space of collective coordinates that, in addition to the axial quadrupole and octupole intrinsic deformations of the nuclear density, also includes an isoscalar pairing degree of freedom. It is shown that the inclusion of dynamical pairing has a pronounced effect on the collective inertia, the collective flux through the scission hyper-surface, and the resulting fission yields, reducing the asymmetric peaks and enhancing the contribution of symmetric fission, in better agreement with the empirical trend.


title: Best Subset Selection: Statistical Computing Meets Quantum Computing

abstract: With the rapid development of quantum computers, quantum algorithms have been studied extensively. However, quantum algorithms tackling statistical problems are still lacking. In this paper, we propose a novel non-oracular quantum adaptive search (QAS) method for the best subset selection problems. QAS performs almost identically to the naive best subset selection method but reduces its computational complexity from $O(D)$ to $O(\sqrt{D}\log_2D)$, where $D=2^p$ is the total number of subsets over $p$ covariates. Unlike existing quantum search algorithms, QAS does not require the oracle information of the true solution state and hence is applicable to various statistical learning problems with random observations. Theoretically, we prove QAS attains any arbitrary success probability $q \in (0.5, 1)$ within $O(\log_2D)$ iterations. When the underlying regression model is linear, we propose a quantum linear prediction method that is faster than its classical counterpart. We further introduce a hybrid quantum-classical strategy to avoid the capacity bottleneck of existing quantum computing systems and boost the success probability of QAS by majority voting. The effectiveness of this strategy is justified by both theoretical analysis and extensive empirical experiments on quantum and classical computers.


title: Duality-based Convex Optimization for Real-time Obstacle Avoidance between Polytopes with Control Barrier Functions

abstract: Developing controllers for obstacle avoidance between polytopes is a challenging and necessary problem for navigation in tight spaces. Traditional approaches can only formulate the obstacle avoidance problem as an offline optimization problem. To address these challenges, we propose a duality-based safety-critical optimal control using nonsmooth control barrier functions for obstacle avoidance between polytopes, which can be solved in real-time with a QP-based optimization problem. A dual optimization problem is introduced to represent the minimum distance between polytopes and the Lagrangian function for the dual form is applied to construct a control barrier function. We validate the obstacle avoidance with the proposed dual formulation for L-shaped (sofa-shaped) controlled robot in a corridor environment. We demonstrate real-time tight obstacle avoidance with non-conservative maneuvers on a moving sofa (piano) problem with nonlinear dynamics.


title: An Improved StarGAN for Emotional Voice Conversion: Enhancing Voice Quality and Data Augmentation

abstract: Emotional Voice Conversion (EVC) aims to convert the emotional style of a source speech signal to a target style while preserving its content and speaker identity information. Previous emotional conversion studies do not disentangle emotional information from emotion-independent information that should be preserved, thus transforming it all in a monolithic manner and generating audio of low quality, with linguistic distortions. To address this distortion problem, we propose a novel StarGAN framework along with a two-stage training process that separates emotional features from those independent of emotion by using an autoencoder with two encoders as the generator of the Generative Adversarial Network (GAN). The proposed model achieves favourable results in both the objective evaluation and the subjective evaluation in terms of distortion, which reveals that the proposed model can effectively reduce distortion. Furthermore, in data augmentation experiments for end-to-end speech emotion recognition, the proposed StarGAN model achieves an increase of 2% in Micro-F1 and 5% in Macro-F1 compared to the baseline StarGAN model, which indicates that the proposed model is more valuable for data augmentation.


title: Probabilistic Verification of Neural Networks Against Group Fairness

abstract: Fairness is crucial for neural networks which are used in applications with important societal implication. Recently, there have been multiple attempts on improving fairness of neural networks, with a focus on fairness testing (e.g., generating individual discriminatory instances) and fairness training (e.g., enhancing fairness through augmented training). In this work, we propose an approach to formally verify neural networks against fairness, with a focus on independence-based fairness such as group fairness. Our method is built upon an approach for learning Markov Chains from a user-provided neural network (i.e., a feed-forward neural network or a recurrent neural network) which is guaranteed to facilitate sound analysis. The learned Markov Chain not only allows us to verify (with Probably Approximate Correctness guarantee) whether the neural network is fair or not, but also facilities sensitivity analysis which helps to understand why fairness is violated. We demonstrate that with our analysis results, the neural weights can be optimized to improve fairness. Our approach has been evaluated with multiple models trained on benchmark datasets and the experiment results show that our approach is effective and efficient.


title: Rotating Binaries

abstract: This paper investigates the behaviour of rotating binaries. A rotation by $r$ digits to the left of a binary number $B$ exhibits in particular cases the divisibility $l\mid N_1(B)\cdot r+1$, where $l$ is the bit-length of $B$ and $N_1(B)$ is the Hamming weight of $B$, that is the number of ones in $B$. The integer $r$ is called the left-rotational distance. We investigate the connection between this rotational distance, the length and the Hamming weight of binary numbers. Moreover we follow the question under which circumstances the above mentioned divisibility is true. We have found out and will demonstrate that this divisibility occurs for $kn+c$ cycles.


title: A Survey on Data-driven Software Vulnerability Assessment and Prioritization

abstract: Software Vulnerabilities (SVs) are increasing in complexity and scale, posing great security risks to many software systems. Given the limited resources in practice, SV assessment and prioritization help practitioners devise optimal SV mitigation plans based on various SV characteristics. The surges in SV data sources and data-driven techniques such as Machine Learning and Deep Learning have taken SV assessment and prioritization to the next level. Our survey provides a taxonomy of the past research efforts and highlights the best practices for data-driven SV assessment and prioritization. We also discuss the current limitations and propose potential solutions to address such issues.


title: Bilayer Quantum Hall States in an n-type Wide Tellurium Quantum Well

abstract: Tellurium (Te) is a narrow bandgap semiconductor with a unique chiral crystal structure. The topological nature of electrons in the Te conduction band can be studied by realizing n-type doping using atomic layer deposition (ALD) technique on two-dimensional (2D) Te film. In this work, we fabricated and measured the double-gated n-type Te Hall-bar devices, which can operate as two separate or coupled electron layers controlled by the top gate and back gate. Profound Shubnikov-de Haas (SdH) oscillations are observed in both top and bottom electron layers. Landau level hybridization between two layers, compound and charge-transferable bilayer quantum Hall states at filling factor 4, 6, and 8 are analyzed. Our work opens the door for the study of Weyl physics in coupled bilayer systems of 2D materials.


title: Search for high-energy neutrino emission from hard X-ray AGN with IceCube

abstract: The IceCube Neutrino Observatory has detected high-energy astrophysical neutrinos in the TeV-PeV range. These neutrinos have an isotropic distribution on the sky, and therefore, likely originate from extragalactic sources. Active Galactic Nuclei form a class of astronomical objects which are promising neutrino source candidates given their high electromagnetic luminosity and potential ability to accelerate cosmic rays up to energies greater than 10$^{16}$ eV. Interactions of these cosmic rays within the AGN environment are expected to produce both neutrinos and pionic gamma rays. Some hadronic models of AGN emission suggest that such gamma rays can in turn interact with the dense photon fields of AGN and cascade down to hard X-rays and MeV gamma rays. We present an update on the IceCube stacking analysis searching for high-energy neutrinos from hard X-ray sources sampled from the $\textit{Swift}$-BAT AGN Spectroscopic Survey.


title: SpecBox: A Label-Based Transparent Speculation Scheme Against Transient Execution Attacks

abstract: Speculative execution techniques have been a cornerstone of modern processors to improve instruction-level parallelism. However, recent studies showed that this kind of techniques could be exploited by attackers to leak secret data via transient execution attacks, such as Spectre. Many defenses are proposed to address this problem, but they all face various challenges: (1) Tracking data flow in the instruction pipeline could comprehensively address this problem, but it could cause pipeline stalls and incur high performance overhead; (2) Making side effect of speculative execution imperceptible to attackers, but it often needs additional storage components and complicated data movement operations. In this paper, we propose a label-based transparent speculation scheme called SpecBox. It dynamically partitions the cache system to isolate speculative data and non-speculative data, which can prevent transient execution from being observed by subsequent execution. Moreover, it uses thread ownership semaphores to prevent speculative data from being accessed across cores. In addition, SpecBox also enhances the auxiliary components in the cache system against transient execution attacks, such as hardware prefetcher. Our security analysis shows that SpecBox is secure and the performance evaluation shows that the performance overhead on SPEC CPU 2006 and PARSEC-3.0 benchmarks is small.


title: Hydrodynamic description of the baryon-charged quark-gluon plasma

abstract: One of the primary goals of nuclear physics is studying the phase diagram of Quantum Chromodynamics, where a hypothetical critical point serves as a landmark. A systematic model-data comparison of heavy-ion collisions at center-of-mass energies between 1 and 100 GeV per nucleon is essential for locating the critical point and the phase boundary between the deconfined quark-gluon plasma and the confined hadron resonance gas. At these energies the net baryon density of the system can be high and critical fluctuations can become essential in the presence of the critical point. Simulating their dynamical evolution thus becomes an indispensable part of theoretical modeling. In this thesis we first present the (3+1)-dimensional relativistic hydrodynamic code BEShydro, which solves the equations of motion of second-order Denicol-Niemi-Molnar-Rischke theory, including bulk and shear viscous components as well as baryon diffusion current. We then study the effects caused by the baryon diffusion on the longitudinal dynamics and on the phase diagram trajectories of fluid cells at different space-time rapidities of the system, and how they are affected by critical dynamics near the critical point. We finally explore the evolution of non-hydrodynamic slow processes describing long wavelength critical fluctuations near the critical point, by extending the conventional hydrodynamic description by coupling it to additional explicitly evolving slow modes, and their back-reaction to the bulk matter properties.


title: Flood Segmentation on Sentinel-1 SAR Imagery with Semi-Supervised Learning

abstract: Floods wreak havoc throughout the world, causing billions of dollars in damages, and uprooting communities, ecosystems and economies. The NASA Impact Flood Detection competition tasked participants with predicting flooded pixels after training with synthetic aperture radar (SAR) images in a supervised setting. We propose a semi-supervised learning pseudo-labeling scheme that derives confidence estimates from U-Net ensembles, progressively improving accuracy. Concretely, we use a cyclical approach involving multiple stages (1) training an ensemble model of multiple U-Net architectures with the provided high confidence hand-labeled data and, generated pseudo labels or low confidence labels on the entire unlabeled test dataset, and then, (2) filter out quality generated labels and, (3) combine the generated labels with the previously available high confidence hand-labeled dataset. This assimilated dataset is used for the next round of training ensemble models and the cyclical process is repeated until the performance improvement plateaus. We post process our results with Conditional Random Fields. Our approach sets a new state-of-the-art on the Sentinel-1 dataset with 0.7654 IoU, an impressive improvement over the 0.60 IoU baseline. Our method, which we release with all the code and models, can also be used as an open science benchmark for the Sentinel-1 dataset.


title: On the crystallinity of silicate dust in evolving protoplanetary disks due to magnetically driven disk winds

abstract: We present a novel mechanism for the outward transport of crystalline dust particles: the outward radial drift of pebbles. The dust ring structure is frequently observed in protoplanetary disks. One of the plausible mechanisms of the formation of dust rings is the accumulation of pebbles around the pressure maximum, which is formed by the mass loss due to magnetically driven disk winds. In evolving protoplanetary disks due to magnetically driven disk winds, dust particles can migrate outwardly from the crystallization front to the pressure maximum by radial drift. We found that the outward radial drift process can transport crystalline dust particles efficiently when the radial drift timescale is shorter than the advection timescale. Our model predicts that the crystallinity of silicate dust particles could be as high as 100% inside the dust ring position.


title: An Experimental Study of Data Heterogeneity in Federated Learning Methods for Medical Imaging

abstract: Federated learning enables multiple institutions to collaboratively train machine learning models on their local data in a privacy-preserving way. However, its distributed nature often leads to significant heterogeneity in data distributions across institutions. In this paper, we investigate the deleterious impact of a taxonomy of data heterogeneity regimes on federated learning methods, including quantity skew, label distribution skew, and imaging acquisition skew. We show that the performance degrades with the increasing degrees of data heterogeneity. We present several mitigation strategies to overcome performance drops from data heterogeneity, including weighted average for data quantity skew, weighted loss and batch normalization averaging for label distribution skew. The proposed optimizations to federated learning methods improve their capability of handling heterogeneity across institutions, which provides valuable guidance for the deployment of federated learning in real clinical applications.


title: Remarks on the Steady Prandtl Boundary Layer Expansions

abstract: We continue the study of the validity of the Prandtl boundary layer expansions in \cite{GZ}, where by estimating the stream-function of the remainder, we proved if the Euler flow is perturbation of shear flows when the width of domain is small. In this paper, we obtain a new derivatives estimate of stream-function away from the boundary layer and then prove the validity of expansions for any non-shear Euler flow, provided the width of domain is small.


title: Scalable Image Coding for Humans and Machines

abstract: At present, and increasingly so in the future, much of the captured visual content will not be seen by humans. Instead, it will be used for automated machine vision analytics and may require occasional human viewing. Examples of such applications include traffic monitoring, visual surveillance, autonomous navigation, and industrial machine vision. To address such requirements, we develop an end-to-end learned image codec whose latent space is designed to support scalability from simpler to more complicated tasks. The simplest task is assigned to a subset of the latent space (the base layer), while more complicated tasks make use of additional subsets of the latent space, i.e., both the base and enhancement layer(s). For the experiments, we establish a 2-layer and a 3-layer model, each of which offers input reconstruction for human vision, plus machine vision task(s), and compare them with relevant benchmarks. The experiments show that our scalable codecs offer 37%-80% bitrate savings on machine vision tasks compared to best alternatives, while being comparable to state-of-the-art image codecs in terms of input reconstruction.


title: Detecting Braess Routes: an Algorithm Accounting for Queuing Delays With an Extended Graph

abstract: The Braess paradox is a counter-intuitive phenomenon whereby adding roads to a network results in higher travel time at equilibrium. In this paper we present an algorithm to detect the occurrence of this paradox in real-world networks with the help of an improved graph representation accounting for queues. The addition of queues to the network representation enables a closer match with real data. Moreover, we search for routes causing this phenomenon ("Braess routes") rather than links, and advocate removing such routes virtually from navigation systems so that the associated links can continue to serve other routes. Our algorithm relies on a convex optimization problem utilizing Beckmann potentials for road links as well as queues, and results in a route reconfiguration with reduced delay. We assume the availability of historical data to build the optimization model. We also assume the existence of a centralized navigation system to manage the routing options and remove the Braess routes. The theoretical solution demonstrates up to 12% delay reduction in a network from Montgomery County, Maryland. We validate the improvement with simulations.


title: Automorphic forms for PGL(3) over elliptic function fields. Part 1: Graphs of Hecke operators

abstract: This is a first part of a series of papers in which we develop explicit computational methods for automorphic forms for GL(3) and PGL(3) over elliptic function fields. In this first part, we determine explicit formulas for the action of the Hecke operators on automorphic forms on GL(2) and GL(3) in terms of their graphs. Our primary result consists in a complete description of the graphs of degree 1 Hecke operators for GL(3). As complementary results, we describe the 'even component' of the graphs of degree 2 Hecke operators for GL(2) and the 'neighborhood of the identity' of the graphs of degree 2 Hecke operators for GL(3). In addition, we establish two dualities for Hecke operators for GL(n) and PGL(n), which hold for all n, all degrees and all function fields.


title: Separation of Variables, Quasi-Trigonometric $r$-Matrices and Generalized Gaudin Models

abstract: We construct two new one-parametric families of separated variables for the classical Lax-integrable Hamiltonian systems governed by a one-parametric family of non-skew-symmetric, non-dynamical $\mathfrak{gl}(2)\otimes \mathfrak{gl}(2)$-valued quasi-trigonometric classical $r$-matrices. We show that for all but one classical $r$-matrices in the considered one-parametric families the corresponding curves of separation differ from the standard spectral curve of the initial Lax matrix. The proposed scheme is illustrated by an example of separation of variables for $N=2$ quasi-trigonometric Gaudin models in an external magnetic field.


title: A New Adaptive Gradient Method with Gradient Decomposition

abstract: Adaptive gradient methods, especially Adam-type methods (such as Adam, AMSGrad, and AdaBound), have been proposed to speed up the training process with an element-wise scaling term on learning rates. However, they often generalize poorly compared with stochastic gradient descent (SGD) and its accelerated schemes such as SGD with momentum (SGDM). In this paper, we propose a new adaptive method called DecGD, which simultaneously achieves good generalization like SGDM and obtain rapid convergence like Adam-type methods. In particular, DecGD decomposes the current gradient into the product of two terms including a surrogate gradient and a loss based vector. Our method adjusts the learning rates adaptively according to the current loss based vector instead of the squared gradients used in Adam-type methods. The intuition for adaptive learning rates of DecGD is that a good optimizer, in general cases, needs to decrease the learning rates as the loss decreases, which is similar to the learning rates decay scheduling technique. Therefore, DecGD gets a rapid convergence in the early phases of training and controls the effective learning rates according to the loss based vectors which help lead to a better generalization. Convergence analysis is discussed in both convex and non-convex situations. Finally, empirical results on widely-used tasks and models demonstrate that DecGD shows better generalization performance than SGDM and rapid convergence like Adam-type methods.


title: Co-designing Intelligent Control of Building HVACs and Microgrids

abstract: Building loads consume roughly 40% of the energy produced in developed countries, a significant part of which is invested towards building temperature-control infrastructure. Therein, renewable resource-based microgrids offer a greener and cheaper alternative. This communication explores the possible co-design of microgrid power dispatch and building HVAC (heating, ventilation and air conditioning system) actuations with the objective of effective temperature control under minimised operating cost. For this, we attempt control designs with various levels of abstractions based on information available about microgrid and HVAC system models using the Deep Reinforcement Learning (DRL) technique. We provide control architectures that consider model information ranging from completely determined system models to systems with fully unknown parameter settings and illustrate the advantages of DRL for the design prescriptions.


title: A Survey on Role-Oriented Network Embedding

abstract: Recently, Network Embedding (NE) has become one of the most attractive research topics in machine learning and data mining. NE approaches have achieved promising performance in various of graph mining tasks including link prediction and node clustering and classification. A wide variety of NE methods focus on the proximity of networks. They learn community-oriented embedding for each node, where the corresponding representations are similar if two nodes are closer to each other in the network. Meanwhile, there is another type of structural similarity, i.e., role-based similarity, which is usually complementary and completely different from the proximity. In order to preserve the role-based structural similarity, the problem of role-oriented NE is raised. However, compared to community-oriented NE problem, there are only a few role-oriented embedding approaches proposed recently. Although less explored, considering the importance of roles in analyzing networks and many applications that role-oriented NE can shed light on, it is necessary and timely to provide a comprehensive overview of existing role-oriented NE methods. In this review, we first clarify the differences between community-oriented and role-oriented network embedding. Afterwards, we propose a general framework for understanding role-oriented NE and a two-level categorization to better classify existing methods. Then, we select some representative methods according to the proposed categorization and briefly introduce them by discussing their motivation, development and differences. Moreover, we conduct comprehensive experiments to empirically evaluate these methods on a variety of role-related tasks including node classification and clustering (role discovery), top-k similarity search and visualization using some widely used synthetic and real-world datasets...


title: Gibbs sampling for mixtures in order of appearance: the ordered allocation sampler

abstract: Gibbs sampling methods are standard tools to perform posterior inference for mixture models. These have been broadly classified into two categories: marginal and conditional methods. While conditional samplers are more widely applicable than marginal ones, they may suffer from slow mixing in infinite mixtures, where some form of truncation, either deterministic or random, is required. In mixtures with random number of components, the exploration of parameter spaces of different dimensions can also be challenging. We tackle these issues by expressing the mixture components in the random order of appearance in an exchangeable sequence directed by the mixing distribution. We derive a sampler that is straightforward to implement for mixing distributions with tractable size-biased ordered weights, and that can be readily adapted to mixture models for which marginal samplers are not available. In infinite mixtures, no form of truncation is necessary. As for finite mixtures with random dimension, a simple updating of the number of components is obtained by a blocking argument, thus, easing challenges found in trans-dimensional moves via Metropolis-Hastings steps. Additionally, sampling occurs in the space of ordered partitions with blocks labelled in the least element order, which endows the sampler with good mixing properties. The performance of the proposed algorithm is evaluated in a simulation study.


title: Feedback Particle Filter With Stochastically Perturbed Innovation And Its Application to Dual Estimation

abstract: Particle filters have, in recent years, been found to perform well in highly nonlinear problems as well as in estimation of parameters. However, there is still the problem of particle degeneracy in particle filters which has led to the invention of, among others, feedback particle filters. In this paper, we introduce a stochastically perturbed feedback particle filter and show that it is exact. The novelty is in the fact that the innovation process is stochastically perturbed. Resampled sinkhorn particle filter is also introduced. We then compare their performance with that of other filters in simultaneous state and parameter estimation.


title: A High-Performance Adaptive Quantization Approach for Edge CNN Applications

abstract: Recent convolutional neural network (CNN) development continues to advance the state-of-the-art model accuracy for various applications. However, the enhanced accuracy comes at the cost of substantial memory bandwidth and storage requirements and demanding computational resources. Although in the past the quantization methods have effectively reduced the deployment cost for edge devices, it suffers from significant information loss when processing the biased activations of contemporary CNNs. In this paper, we hence introduce an adaptive high-performance quantization method to resolve the issue of biased activation by dynamically adjusting the scaling and shifting factors based on the task loss. Our proposed method has been extensively evaluated on image classification models (ResNet-18/34/50, MobileNet-V2, EfficientNet-B0) with ImageNet dataset, object detection model (YOLO-V4) with COCO dataset, and language models with PTB dataset. The results show that our 4-bit integer (INT4) quantization models achieve better accuracy than the state-of-the-art 4-bit models, and in some cases, even surpass the golden full-precision models. The final designs have been successfully deployed onto extremely resource-constrained edge devices for many practical applications.


title: GuideBoot: Guided Bootstrap for Deep Contextual Bandits

abstract: The exploration/exploitation (E&E) dilemma lies at the core of interactive systems such as online advertising, for which contextual bandit algorithms have been proposed. Bayesian approaches provide guided exploration with principled uncertainty estimation, but the applicability is often limited due to over-simplified assumptions. Non-Bayesian bootstrap methods, on the other hand, can apply to complex problems by using deep reward models, but lacks clear guidance to the exploration behavior. It still remains largely unsolved to develop a practical method for complex deep contextual bandits. In this paper, we introduce Guided Bootstrap (GuideBoot for short), combining the best of both worlds. GuideBoot provides explicit guidance to the exploration behavior by training multiple models over both real samples and noisy samples with fake labels, where the noise is added according to the predictive uncertainty. The proposed method is efficient as it can make decisions on-the-fly by utilizing only one randomly chosen model, but is also effective as we show that it can be viewed as a non-Bayesian approximation of Thompson sampling. Moreover, we extend it to an online version that can learn solely from streaming data, which is favored in real applications. Extensive experiments on both synthetic task and large-scale advertising environments show that GuideBoot achieves significant improvements against previous state-of-the-art methods.


title: Vector optomechanical entanglement

abstract: The polarizations of optical fields, besides field intensities, provide more degrees of freedom to manipulate coherent light-matter interactions. Here we propose how to achieve a coherent switch of optomechanical entanglement in a polarized-light-driven cavity system. We show that by tuning the polarizations of the driving field, the effective optomechanical coupling can be well controlled and, as a result, quantum entanglement between the mechanical oscillator and the optical transverse electric (TE) mode can be coherently and reversibly switched to that between the same phonon mode and the optical transverse magnetic (TM) mode. This ability of switching optomechanical entanglement with such a vectorial device can be important for building a quantum network being capable of efficient quantum information interchanges between processing nodes and flying photons.


title: Solving Biharmonic Eigenvalue Problem With Navier Boundary Condition Via Poisson Solvers On Non-Convex Domains

abstract: It is well known that the usual mixed method for solving the biharmonic eigenvalue problem by decomposing the operator into two Laplacians may generate spurious eigenvalues on non-convex domains. To overcome this difficulty, we adopt a recently developed mixed method, which decomposes the biharmonic equation into three Poisson equations and still recovers the original solution. Using this idea, we design an efficient biharmonic eigenvalue algorithm, which contains only Poisson solvers. With this approach, eigenfunctions can be confined in the correct space and thereby spurious modes in non-convex domains are avoided. A priori error estimates for both eigenvalues and eigenfunctions on quasi-uniform meshes are obtained; in particular, a convergence rate of $\mathcal{O}({h}^{2\alpha})$ ($ 0<\alpha<\pi/\omega$, $\omega > \pi$ is the angle of the reentrant corner) is proved for the linear finite element. Surprisingly, numerical evidence demonstrates a $\mathcal{O}({h}^{2})$ convergent rate for the quasi-uniform mesh with the regular refinement strategy even on non-convex polygonal domains.


title: A Bilevel Programming Framework for Joint Edge Resource Management and Pricing

abstract: The emerging edge computing paradigm promises to provide low latency and ubiquitous computation to numerous mobile and Internet of Things (IoT) devices at the network edge. How to efficiently allocate geographically distributed heterogeneous edge resources to a variety of services is a challenging task. While this problem has been studied extensively in recent years, most of the previous work has largely ignored the preferences of the services when making edge resource allocation decisions. To this end, this paper introduces a novel bilevel optimization model, which explicitly takes the service preferences into consideration, to study the interaction between an EC platform and multiple services. The platform manages a set of edge nodes (ENs) and acts as the leader while the services are the followers. Given the service placement and resource pricing decisions of the leader, each service decides how to optimally divide its workload to different ENs. The proposed framework not only maximizes the profit of the platform but also minimizes the cost of every service. When there is a single EN, we derive a simple analytic solution for the underlying problem. For the general case with multiple ENs and multiple services, we present a Karush Kuhn Tucker based solution and a duality based solution, combining with a series of linearizations, to solve the bilevel problem. Extensive numerical results are shown to illustrate the efficacy of the proposed model.


title: Train on Small, Play the Large: Scaling Up Board Games with AlphaZero and GNN

abstract: Playing board games is considered a major challenge for both humans and AI researchers. Because some complicated board games are quite hard to learn, humans usually begin with playing on smaller boards and incrementally advance to master larger board strategies. Most neural network frameworks that are currently tasked with playing board games neither perform such incremental learning nor possess capabilities to automatically scale up. In this work, we look at the board as a graph and combine a graph neural network architecture inside the AlphaZero framework, along with some other innovative improvements. Our ScalableAlphaZero is capable of learning to play incrementally on small boards, and advancing to play on large ones. Our model can be trained quickly to play different challenging board games on multiple board sizes, without using any domain knowledge. We demonstrate the effectiveness of ScalableAlphaZero and show, for example, that by training it for only three days on small Othello boards, it can defeat the AlphaZero model on a large board, which was trained to play the large board for $30$ days.


title: Intercenter Geometry

abstract: The author proposes a new geometry in this book. The author named this new geometry Intercenter Geometry. Intercenter Geometry is different from traditional Euclidean geometry and analytic geometry (coordinate geometry). The idea of Intercenter Geometry is that the geometric quantities on a plane will be expressed by the lengths of the three sides of a given triangle. The geometric quantities in space will be expressed by the lengths of the six edges of a given tetrahedron. In Intercenter Geometry, a unified approach is used to deal with the calculation of geometric quantities of triangles and tetrahedrons. Many new theorems and formulas on geometry and geometric inequalities have been obtained. In particular, Intercenter Geometry has solved some problems that have not been solved in Euclidean geometry and analytical geometry (coordinate geometry) for a long time, such as the distance between the centroid and the incenter of a given tetrahedron, etc. Intercenter Geometry enriches geometry, which is not only of theoretical significance to open up the field of mathematical research, to explore new ideas and methods of mathematical research, but also of positive significance to promote the spirit of innovation. The fruitful achievements of Intercenter Geometry also have practical application value.


title: Interstellar detection of the simplest aminocarbyne, H2NC: an ignored but abundant molecule

abstract: We report the first identification in space of H2NC, a high-energy isomer of H2CN that has been largely ignored in chemical and astrochemical studies. The observation of various unidentified lines around 72.2 GHz in the cold dark cloud L483 motivated the search for, and successful detection of, additional groups of lines in harmonic relation. After an exhaustive high-level ab initio screening of possible carriers, we confidently assign the unidentified lines to H2NC based on the good agreement between astronomical and theoretical spectroscopic parameters and sound spectroscopic and astrochemical arguments. The observed frequencies are used to precisely characterize the rotational spectrum of H2NC. This species is also detected in the cold dark cloud B1-b and the z=0.89 galaxy in front of the quasar PKS1830-211. We derive H2NC/H2CN abundance ratios of 1 in L483 and B1-b and 0.27 toward PKS1830-211. Neither H2NC nor H2CN are detected in the dark cloud TMC-1, which seriously questions a previous identification of H2CN in this source. We suggest that the H2NC/H2CN ratio behaves as the HNC/HCN ratio, with values close to one in cold dense clouds and below one in diffuse clouds. The reactions N + CH3 and C + NH3 emerge as strong candidates to produce H2NC in interstellar clouds. Further studies on these two reactions are needed to evaluate the yield of H2NC. Due to the small number of atoms involved, it should be feasible to constrain the chemistry behind H2NC and H2CN, just as it has been done for HNC and HCN, as this could allow to use the H2NC/H2CN ratio as a probe of chemical or physical conditions of the host clouds.


title: Combining Optimisation and Simulation Using Logic-Based Benders Decomposition

abstract: Operations research practitioners frequently want to model complicated functions that are are difficult to encode in their underlying optimisation framework. A common approach is to solve an approximate model, and to use a simulation to evaluate the true objective value of one or more solutions. We propose a new approach to integrating simulation into the optimisation model itself. The idea is to run the simulation at each incumbent solution to the master problem. The simulation data is then used to guide the trajectory of the optimisation model itself using logic-based Benders cuts. We test the approach on a class of stochastic resource allocation problems with monotonic performance measures. We derive strong, novel Benders cuts that are provably valid for all problems of the given form. We consider two concrete examples: a nursing home shift scheduling problem, and an airport check in counter allocation problem. While previous papers on these applications could only approximately solve realistic instances, we are able to solve them exactly within a reasonable amount of time. Moreover, while those papers account for the inherent variance of the problem by including estimates of the underlying random variables as model parameters, we are able to compute sample average approximations to optimality with up to 100 scenarios.


title: AS-MLP: An Axial Shifted MLP Architecture for Vision

abstract: An Axial Shifted MLP architecture (AS-MLP) is proposed in this paper. Different from MLP-Mixer, where the global spatial feature is encoded for information flow through matrix transposition and one token-mixing MLP, we pay more attention to the local features interaction. By axially shifting channels of the feature map, AS-MLP is able to obtain the information flow from different axial directions, which captures the local dependencies. Such an operation enables us to utilize a pure MLP architecture to achieve the same local receptive field as CNN-like architecture. We can also design the receptive field size and dilation of blocks of AS-MLP, etc, in the same spirit of convolutional neural networks. With the proposed AS-MLP architecture, our model obtains 83.3% Top-1 accuracy with 88M parameters and 15.2 GFLOPs on the ImageNet-1K dataset. Such a simple yet effective architecture outperforms all MLP-based architectures and achieves competitive performance compared to the transformer-based architectures (e.g., Swin Transformer) even with slightly lower FLOPs. In addition, AS-MLP is also the first MLP-based architecture to be applied to the downstream tasks (e.g., object detection and semantic segmentation). The experimental results are also impressive. Our proposed AS-MLP obtains 51.5 mAP on the COCO validation set and 49.5 MS mIoU on the ADE20K dataset, which is competitive compared to the transformer-based architectures. Our AS-MLP establishes a strong baseline of MLP-based architecture. Code is available at https://github.com/svip-lab/AS-MLP.


title: Dynamic Convolution for 3D Point Cloud Instance Segmentation

abstract: We propose an approach to instance segmentation from 3D point clouds based on dynamic convolution. This enables it to adapt, at inference, to varying feature and object scales. Doing so avoids some pitfalls of bottom up approaches, including a dependence on hyper-parameter tuning and heuristic post-processing pipelines to compensate for the inevitable variability in object sizes, even within a single scene. The representation capability of the network is greatly improved by gathering homogeneous points that have identical semantic categories and close votes for the geometric centroids. Instances are then decoded via several simple convolution layers, where the parameters are generated conditioned on the input. The proposed approach is proposal-free, and instead exploits a convolution process that adapts to the spatial and semantic characteristics of each instance. A light-weight transformer, built on the bottleneck layer, allows the model to capture long-range dependencies, with limited computational overhead. The result is a simple, efficient, and robust approach that yields strong performance on various datasets: ScanNetV2, S3DIS, and PartNet. The consistent improvements on both voxel- and point-based architectures imply the effectiveness of the proposed method. Code is available at: https://git.io/DyCo3D


title: Monitoring multidimensional phenomena with a multicriteria composite performance interval approach

abstract: In the last two decades, composite indicators' construction to measure and compare multidimensional phenomena in a broad spectrum of domains has increased considerably. Different methodological approaches are used to summarize huge data sets of information in a single figure. This paper proposes a new approach that consists of computing a multicriteria composite performance interval based on different aggregation rules. The suggested approach provides an additional layer of information as the performance interval displays a lower bound from a non-compensability perspective, and an upper bound allowing for full-compensability. The outstanding features of this proposal are: (i) a distance-based multicriteria technique is taken as the baseline to construct the multicriteria performance interval (ii) the aggregation of distances/separation measures is made using particular cases of Minkowski's $L_p$ metrics; (iii) the span of the multicriteria performance interval can be considered as a sign of the dimensions or indicators balance.


title: A Positive/Unlabeled Approach for the Segmentation of Medical Sequences using Point-Wise Supervision

abstract: The ability to quickly annotate medical imaging data plays a critical role in training deep learning frameworks for segmentation. Doing so for image volumes or video sequences is even more pressing as annotating these is particularly burdensome. To alleviate this problem, this work proposes a new method to efficiently segment medical imaging volumes or videos using point-wise annotations only. This allows annotations to be collected extremely quickly and remains applicable to numerous segmentation tasks. Our approach trains a deep learning model using an appropriate Positive/Unlabeled objective function using sparse point-wise annotations. While most methods of this kind assume that the proportion of positive samples in the data is known a-priori, we introduce a novel self-supervised method to estimate this prior efficiently by combining a Bayesian estimation framework and new stopping criteria. Our method iteratively estimates appropriate class priors and yields high segmentation quality for a variety of object types and imaging modalities. In addition, by leveraging a spatio-temporal tracking framework, we regularize our predictions by leveraging the complete data volume. We show experimentally that our approach outperforms state-of-the-art methods tailored to the same problem.


title: Probing gluon density fluctuations at large momentum transfer $|t|$ at HERA

abstract: The information on the gluonic structure and its fluctuations is captured by the differential $|t|$ spectrum in diffractive events. The incoherent cross-section is sensitive to the fluctuations in the target wavefunction in such events. We investigate the incoherent $ep$ cross-section in $J/\psi$ photoproduction using the impact-parameter dependent dipole model. The spatial gluonic structure is modelled as hotspots of gluon density having substructure where this substructure is modelled as hotspots within hotspots. We find that three levels of the substructure provide a good description of all the data, available up to $|t|=30~$GeV$^2$. We investigate these fluctuations in both the saturated and non-saturated dipole models and compare our predictions with the HERA Data.


title: GraphGen-Redux: a Fast and Lightweight Recurrent Model for labeled Graph Generation

abstract: The problem of labeled graph generation is gaining attention in the Deep Learning community. The task is challenging due to the sparse and discrete nature of graph spaces. Several approaches have been proposed in the literature, most of which require to transform the graphs into sequences that encode their structure and labels and to learn the distribution of such sequences through an auto-regressive generative model. Among this family of approaches, we focus on the GraphGen model. The preprocessing phase of GraphGen transforms graphs into unique edge sequences called Depth-First Search (DFS) codes, such that two isomorphic graphs are assigned the same DFS code. Each element of a DFS code is associated with a graph edge: specifically, it is a quintuple comprising one node identifier for each of the two endpoints, their node labels, and the edge label. GraphGen learns to generate such sequences auto-regressively and models the probability of each component of the quintuple independently. While effective, the independence assumption made by the model is too loose to capture the complex label dependencies of real-world graphs precisely. By introducing a novel graph preprocessing approach, we are able to process the labeling information of both nodes and edges jointly. The corresponding model, which we term GraphGen-Redux, improves upon the generative performances of GraphGen in a wide range of datasets of chemical and social graphs. In addition, it uses approximately 78% fewer parameters than the vanilla variant and requires 50% fewer epochs of training on average.


title: Gradient-dynamics model for liquid drops on elastic substrates

abstract: The wetting of soft elastic substrates exhibits many features that have no counterpart on rigid surfaces. Modelling the detailed elastocapillary interactions is challenging, and has so far been limited to single contact lines or single drops. Here we propose a reduced long-wave model that captures the main qualitative features of statics and dynamics of soft wetting, but which can be applied to ensembles of droplets. The model has the form of a gradient dynamics on an underlying free energy that reflects capillarity, wettability and compressional elasticity. With the model we first recover the double transition in the equilibrium contact angles that occurs when increasing substrate softness from ideally rigid towards very soft (i.e., liquid). Second, the spreading of single drops of partially and completely wetting liquids is considered showing that known dependencies of the dynamic contact angle on contact line velocity are well reproduced. Finally, we go beyond the single droplet picture and consider the coarsening for a two-drop system as well as for a large ensemble of drops. It is shown that the dominant coarsening mode changes with substrate softness in a nontrivial way.


title: Unsupervised Skill-Discovery and Skill-Learning in Minecraft

abstract: Pre-training Reinforcement Learning agents in a task-agnostic manner has shown promising results. However, previous works still struggle in learning and discovering meaningful skills in high-dimensional state-spaces, such as pixel-spaces. We approach the problem by leveraging unsupervised skill discovery and self-supervised learning of state representations. In our work, we learn a compact latent representation by making use of variational and contrastive techniques. We demonstrate that both enable RL agents to learn a set of basic navigation skills by maximizing an information theoretic objective. We assess our method in Minecraft 3D pixel maps with different complexities. Our results show that representations and conditioned policies learned from pixels are enough for toy examples, but do not scale to realistic and complex maps. To overcome these limitations, we explore alternative input observations such as the relative position of the agent along with the raw pixels.


title: A Method for Estimating the Entropy of Time Series Using Artificial Neural Networks

abstract: Measuring the predictability and complexity of time series using entropy is essential tool de-signing and controlling a nonlinear system. However, the existing methods have some drawbacks related to the strong dependence of entropy on the parameters of the methods. To overcome these difficulties, this study proposes a new method for estimating the entropy of a time series using the LogNNet neural network model. The LogNNet reservoir matrix is filled with time series elements according to our algorithm. The accuracy of the classification of images from the MNIST-10 database is considered as the entropy measure and denoted by NNetEn. The novelty of entropy calculation is that the time series is involved in mixing the input information in the res-ervoir. Greater complexity in the time series leads to a higher classification accuracy and higher NNetEn values. We introduce a new time series characteristic called time series learning inertia that determines the learning rate of the neural network. The robustness and efficiency of the method is verified on chaotic, periodic, random, binary, and constant time series. The comparison of NNetEn with other methods of entropy estimation demonstrates that our method is more robust and accurate and can be widely used in practice.


title: Ideal type-II Weyl points in twisted one-dimensional dielectric photonic crystals

abstract: Weyl points are the degenerate points in three-dimensional momentum space with nontrivial topological phase, which are usually realized in classical system with structure and symmetry designs. Here we proposed a one-dimensional layer-stacked photonic crystal using anisotropic materials to realize ideal type-II Weyl points without structure designs. The topological transition from two Dirac points to four Weyl points can be clearly observed by tuning the twist angle between layers. Besides, on the interface between the photonic type-II Weyl material and air, gappless surface states have also been demonstrated in an incomplete bulk bandgap. By breaking parameter symmetry, these ideal type-II Weyl points at the same frequency would transform into the non-ideal ones, and exhibit topological surface states with single group velocity. Our work may provide a new idea for the realization of photonic Weyl points or other semimetal phases by utilizing naturally anisotropic materials.