title: Optimal finite elements for ergodic stochastic two-scale elliptic equations

abstract: We develop an essentially optimal finite element approach for solving ergodic stochastic two-scale elliptic equations whose two-scale coefficient may depend also on the slow variable. We solve the limiting stochastic two-scale homogenized equation obtained from the stochastic two-scale convergence in the mean (A. Bourgeat, A. Mikelic and S. Wright, J. reine angew. Math, Vol. 456, 1994), whose solution comprises of the solution to the homogenized equation and the corrector, by truncating the infinite domain of the fast variable and using the sparse tensor product finite elements. We show that the convergence rate in terms of the truncation level is equivalent to that for solving the cell problems in the same truncated domain. Solving this equation, we obtain the solution to the homogenized equation and the corrector at the same time, using only a number of degrees of freedom that is essentially equivalent to that required for solving one cell problem. Optimal complexity is obtained when the corrector possesses sufficient regularity with respect to both the fast and the slow variables. Although the regularity norm of the corrector depends on the size of the truncated domain, we show that the convergence rate of the approximation for the solution to the homogenized equation is independent of the size of the truncated domain. With the availability of an analytic corrector, we construct a numerical corrector for the solution of the original stochastic two-scale equation from the finite element solution to the truncated stochastic two-scale homogenized equation. Numerical examples of quasi-periodic two-scale equations, and a stochastic two-scale equation of the checker board type, whose coefficient is discontinuous, confirm the theoretical results.


title: Recursive Least Squares Policy Control with Echo State Network

abstract: The echo state network (ESN) is a special type of recurrent neural networks for processing the time-series dataset. However, limited by the strong correlation among sequential samples of the agent, ESN-based policy control algorithms are difficult to use the recursive least squares (RLS) algorithm to update the ESN's parameters. To solve this problem, we propose two novel policy control algorithms, ESNRLS-Q and ESNRLS-Sarsa. Firstly, to reduce the correlation of training samples, we use the leaky integrator ESN and the mini-batch learning mode. Secondly, to make RLS suitable for training ESN in mini-batch mode, we present a new mean-approximation method for updating the RLS correlation matrix. Thirdly, to prevent ESN from over-fitting, we use the L1 regularization technique. Lastly, to prevent the target state-action value from overestimation, we employ the Mellowmax method. Simulation results show that our algorithms have good convergence performance.


title: Privacy-Utility Trades in Crowdsourced Signal Map Obfuscation

abstract: Cellular providers and data aggregating companies crowdsource celluar signal strength measurements from user devices to generate signal maps, which can be used to improve network performance. Recognizing that this data collection may be at odds with growing awareness of privacy concerns, we consider obfuscating such data before the data leaves the mobile device. The goal is to increase privacy such that it is difficult to recover sensitive features from the obfuscated data (e.g. user ids and user whereabouts), while still allowing network providers to use the data for improving network services (i.e. create accurate signal maps). To examine this privacy-utility tradeoff, we identify privacy and utility metrics and threat models suited to signal strength measurements. We then obfuscate the measurements using several preeminent techniques, spanning differential privacy, generative adversarial privacy, and information-theoretic privacy techniques, in order to benchmark a variety of promising obfuscation approaches and provide guidance to real-world engineers who are tasked to build signal maps that protect privacy without hurting utility. Our evaluation results, based on multiple, diverse, real-world signal map datasets, demonstrate the feasibility of concurrently achieving adequate privacy and utility, with obfuscation strategies which use the structure and intended use of datasets in their design, and target average-case, rather than worst-case, guarantees.


title: Simulations of the filamentation and self-channeling of spatially modulated high-power femtosecond laser pulses in air

abstract: The propagation of high-power femtosecond laser pulses in air under conditions of superposed spatial phase modulation is considered theoretically. The numerical simulations are carried out on the basis of the reduced form of nonlinear Schrodinger equation (NLSE) for time-averaged electric field envelope. Initial spatial modulations are applied to pulse wavefront profiling by a staggered (TEM33) phase plate which is simulated numerically. The dynamics of laser pulse self-focusing, filamentation, and post-filamentation self-channeling after the phase plates with variable phase jumps is studied. We show that with specific phase modulations, the pulse filamentation region in air can be markedly shifted further and elongated compared to a non-modulated pulse. Moreover, during the post-filamentation propagation of spatially structured radiation, the highly-localized light channels are formed possessing enhanced intensity and reduced angular divergence which enables post-filamentation pulse self-channeling on the distance multiple exceeding the Rayleigh range.


title: Performance Analysis of Multi-user NOMA Wireless-Powered mMTC Networks: A Stochastic Geometry Approach

abstract: In this paper, we aim to improve the connectivity, scalability, and energy efficiency of machine-type communication (MTC) networks with different types of MTC devices (MTCDs), namely Type-I and Type-II MTCDs, which have different communication purposes. To this end, we propose two transmission schemes called connectivity-oriented machine-type communication (CoM) and quality-oriented machine-type communication (QoM), which take into account the stochastic geometry-based deployment and the random active/inactive status of MTCDs. Specifically, in the proposed schemes, the active Type-I MTCDs operate using a novel Bernoulli random process-based simultaneous wireless information and power transfer (SWIPT) architecture. Next, utilizing multi-user power-domain non-orthogonal multiple access (PD-NOMA), each active Type-I MTCD can simultaneously communicate with another Type-I MTCD and a scalable number of Type-II MTCDs. In the performance analysis of the proposed schemes, we prove that the true distribution of the received power at a Type-II MTCD in the QoM scheme can be approximated by the Singh-Maddala distribution. Exploiting this unique statistical finding, we derive approximate closed-form expressions for the outage probability (OP) and sum-throughput of massive MTC (mMTC) networks. Through numerical results, we show that the proposed schemes provide a considerable sum-throughput gain over conventional mMTC networks.


title: Geometric and Representation Theoretic Aspects of $p$-adic Motives

abstract: In this dissertation, we discuss mainly the corresponding geometric and representation theoretic aspects of relative $p$-adic Hodge theory and $p$-adic motives. To be more precise, we study the corresponding analytic geometry of the corresponding spaces over and attached to period rings in the relative $p$-adic Hodge theory, including derived topological de Rham complexes and derived topological logarithmic de Rham complexes after Bhatt, Gabber, Guo and Illusie which is in some sense equivalent to the derived prismatic cohomology of Bhatt-Scholze as shown in the work of Li-Liu, $\mathcal{O}\mathbb{B}_\mathrm{dR}$-sheaves after Scholze, $\varphi$-$\widetilde{C}_X$-sheaves and relative-$B$-pairs after Kedlaya-Liu, multidimensional rings after Carter-Kedlaya-Z\'abr\'adi and Pal-Z\'abr\'adi and many other possible general universal motivic rings or sheaves. Many contexts are expected to be sheafified, such as over Scholze's pro-\'etale sites of the considered analytic spaces by using perfectoids or the quasisyntomic sites by using quasiregular semiperfectoids as in the work of Bhatt-Morrow-Scholze and Bhatt-Scholze.


title: A Non-Classical Parameterization for Density Estimation Using Sample Moments

abstract: Probability density estimation is a core problem of statistics and signal processing. Moment methods are an important means of density estimation, but they are generally strongly dependent on the choice of feasible functions, which severely affects the performance. In this paper, we propose a non-classical parametrization for density estimation using sample moments, which does not require the choice of such functions. The parametrization is induced by the squared Hellinger distance, and the solution of it, which is proved to exist and be unique subject to a simple prior that does not depend on data, and can be obtained by convex optimization. Statistical properties of the density estimator, together with an asymptotic error upper bound are proposed for the estimator by power moments. Applications of the proposed density estimator in signal processing tasks are given. Simulation results validate the performance of the estimator by a comparison to several prevailing methods. To the best of our knowledge, the proposed estimator is the first one in the literature for which the power moments up to an arbitrary even order exactly match the sample moments, while the true density is not assumed to fall within specific function classes.

categories: stat.ML cs.LG math.OC math.PR math.ST stat.TH


title: Semiquantum Private Comparison of Size Relationship Based on d-level Single-Particle States

abstract: In this paper, we propose a novel semiquantum private comparison (SQPC) protocol of size relationship based on d-level single-particle states. The designed protocol can compare the size relationship of different privacy messages from two classical users with the help of a semi-honest third party (TP), who is permitted to misbehave on her own but cannot be in collusion with anyone else. The correctness analysis shows that this protocol can gain correct comparison results. The security analysis turns out that this protocol can resist famous outside attacks and participant attacks. Moreover, this protocol can guarantee that TP does not know the accurate comparison results. Compared with the only existing SQPC protocol of size relationship (Quantum Inf. Process. 20:124 (2021)), this protocol takes advantage over it on the aspects of initial quantum resource, TP's measurement operations and TP's knowledge about the comparison results.


title: Trusted Media Challenge Dataset and User Study

abstract: The development of powerful deep learning technologies has brought about some negative effects to both society and individuals. One such issue is the emergence of fake media. To tackle the issue, we have organized the Trusted Media Challenge (TMC) to explore how Artificial Intelligence (AI) technologies could be leveraged to combat fake media. To enable further research, we are releasing the dataset that we had prepared from the TMC challenge, consisting of 4,380 fake and 2,563 real videos, with various video and/or audio manipulation methods employed to produce different types of fake media. All the videos in the TMC dataset are accompanied with audios and have a minimum resolution of 360p. The videos have various durations, background, illumination, and may contain perturbations that mimic transmission errors and compression. We have also carried out a user study to demonstrate the quality of the TMC dataset and to compare the performance of humans and AI models. The results showed that the TMC dataset can fool human participants in many cases, and the winning AI models of the Trusted Media Challenge outperformed humans. The TMC dataset is available for research purpose upon request via tmc-dataset@aisingapore.org.


title: Objective Point Symmetry Classifications/Quantifications of an Electron Diffraction Spot Pattern with Pseudo-Hexagonal Metric

abstract: The recently developed information-theoretic approach to crystallographic symmetry classifications and quantifications in two dimensions (2D) from digital transmission electron and scanning probe microscope images is adapted for the analysis of an experimental electron diffraction spot pattern, for the first time. Digital input data are considered in this approach to consist of the pixel-wise sums of approximately Gaussian distributed noise and an unknown underlying signal that is strictly 2D periodic. Structural defects within the crystals or on the crystal surfaces, instrumental image recording noise, slight deviations from zero-crystal-tilt conditions in transmission electron microscopy, inhomogeneous staining in structural biology studies of intrinsic membrane protein complexes in lipid bilayers, and small inaccuracies in the algorithmic processing of the digital data all contribute to a single generalized noise term. The plane symmetry group and projected Laue class(or 2D Bravais lattice type) that is anchored to the least broken symmetries are identified as genuine in the presence of generalized noise. More severely broken symmetries that are not anchored to the least broken symmetries are identified as pseudo-symmetries. Our point symmetry quantification study of an electron diffraction spot pattern is highly topical because a new contrast mechanism for 4D scanning transmission electron microscopy was recently demonstrated by other authors. The usage of objective symmetry quantifications is bound to become the preeminent condition of the establishment of that contrast mode as an industry-wide standard.


title: Wave-particle duality of light appearing in the intensity interferometric situation

abstract: We show a wave-particle duality of light and its complementary relation in the context of the intensity interference measured by intensity correlation measurement, especially for the case of the second-order intensity interference observed in the Hong-Ou-Mandel interferometer. Different from the complementary relation appearing in the interference based on the phase coherence like in the Young's double-slit interferometer, the complementary relation in the intensity interference has a gap between classical and nonclassical lights. This reveals a new nonclassical nature of light where both wave and particle properties are classically understandable. We further extend the wave-particle duality and the complementarity to higher-order intensity interferometric situations.


title: Strongly first-order electroweak phase transition by relatively heavy additional Higgs bosons

abstract: We discuss first-order electroweak phase transition in models with extended Higgs sectors for the case with relatively heavy additional scalar bosons. We first show that, by the combination of the sphaleron decoupling condition, perturbative unitarity and vacuum stability, mass upper bounds on additional scalar bosons can be obtained at the TeV scale even at the alignment limit where the lightest Higgs boson behaves exactly like the SM Higgs boson at tree level. We then discuss phenomenological impacts of the case with the additional scalar bosons with the mass near 1 TeV. Even when they are too heavy to be directly detected at current and future experiments at hadron colliders, the large deviation in the triple Higgs boson coupling can be a signature for first-order phase transition due to quantum effects of such heavy additional Higgs bosons. On the other hand, gravitational waves from the first-order phase transition are found to be weaker in this case as compared to that with lower masses of additional scalar bosons.


title: Forecast-based Multi-aspect Framework for Multivariate Time-series Anomaly Detection

abstract: Today's cyber-world is vastly multivariate. Metrics collected at extreme varieties demand multivariate algorithms to properly detect anomalies. However, forecast-based algorithms, as widely proven approaches, often perform sub-optimally or inconsistently across datasets. A key common issue is they strive to be one-size-fits-all but anomalies are distinctive in nature. We propose a method that tailors to such distinction. Presenting FMUAD - a Forecast-based, Multi-aspect, Unsupervised Anomaly Detection framework. FMUAD explicitly and separately captures the signature traits of anomaly types - spatial change, temporal change and correlation change - with independent modules. The modules then jointly learn an optimal feature representation, which is highly flexible and intuitive, unlike most other models in the category. Extensive experiments show our FMUAD framework consistently outperforms other state-of-the-art forecast-based anomaly detectors.


title: Ryser's Theorem for $\rho$-latin Rectangles

abstract: Let $L$ be an $n\times n$ array whose top left $r\times s$ subarray is filled with $k$ different symbols, each occurring at most once in each row and at most once in each column. We find necessary and sufficient conditions that ensure the remaining cells of $L$ can be filled such that each symbol occurs at most once in each row and at most once in each column, and each symbol occurs a prescribed number of times in $L$. The case where the prescribed number of times each symbol occurs is $n$ was solved by Ryser (Proc. Amer. Math. Soc. 2 (1951), 550--552), and the case $s=n$ was settled by Goldwasser et al. (J. Combin. Theory Ser. A 130 (2015), 26--41). Our technique leads to a very short proof of the latter.


title: Non-Markovian anti-parity-time symmetric systems: theory and experiment

abstract: Open systems with anti parity-time (anti $\mathcal{PT}$-) or $\mathcal{PT}$ symmetry exhibit a rich phenomenology absent in their Hermitian counterparts. To date all model systems and their diverse realizations across classical and quantum platforms have been local in time, i.e. Markovian. Here we propose a non-Markovian system with anti-$\mathcal{PT}$-symmetry where a single time-delay encodes the memory, and experimentally demonstrate its consequences with two time-delay coupled semiconductor lasers. A transcendental characteristic equation with infinitely many eigenvalue pairs sets our model apart. We show that a sequence of amplifying-to-decaying dominant mode transitions is induced by the time delay in our minimal model. The signatures of these transitions quantitatively match results obtained from four, coupled, nonlinear rate equations for laser dynamics, and are experimentally observed as constant-width sideband oscillations in the laser intensity profiles. Our work introduces a new paradigm of non-Hermitian systems with memory, paves the way for their realization in classical systems, and may apply to time-delayed feedback-control for quantum systems.


title: EMT-NET: Efficient multitask network for computer-aided diagnosis of breast cancer

abstract: Deep learning-based computer-aided diagnosis has achieved unprecedented performance in breast cancer detection. However, most approaches are computationally intensive, which impedes their broader dissemination in real-world applications. In this work, we propose an efficient and light-weighted multitask learning architecture to classify and segment breast tumors simultaneously. We incorporate a segmentation task into a tumor classification network, which makes the backbone network learn representations focused on tumor regions. Moreover, we propose a new numerically stable loss function that easily controls the balance between the sensitivity and specificity of cancer detection. The proposed approach is evaluated using a breast ultrasound dataset with 1,511 images. The accuracy, sensitivity, and specificity of tumor classification is 88.6%, 94.1%, and 85.3%, respectively. We validate the model using a virtual mobile device, and the average inference time is 0.35 seconds per image.


title: CFNet: Learning Correlation Functions for One-Stage Panoptic Segmentation

abstract: Recently, there is growing attention on one-stage panoptic segmentation methods which aim to segment instances and stuff jointly within a fully convolutional pipeline efficiently. However, most of the existing works directly feed the backbone features to various segmentation heads ignoring the demands for semantic and instance segmentation are different: The former needs semantic-level discriminative features, while the latter requires features to be distinguishable across instances. To alleviate this, we propose to first predict semantic-level and instance-level correlations among different locations that are utilized to enhance the backbone features, and then feed the improved discriminative features into the corresponding segmentation heads, respectively. Specifically, we organize the correlations between a given location and all locations as a continuous sequence and predict it as a whole. Considering that such a sequence can be extremely complicated, we adopt Discrete Fourier Transform (DFT), a tool that can approximate an arbitrary sequence parameterized by amplitudes and phrases. For different tasks, we generate these parameters from the backbone features in a fully convolutional way which is optimized implicitly by corresponding tasks. As a result, these accurate and consistent correlations contribute to producing plausible discriminative features which meet the requirements of the complicated panoptic segmentation task. To verify the effectiveness of our methods, we conduct experiments on several challenging panoptic segmentation datasets and achieve state-of-the-art performance on MS COCO with $45.1$\% PQ and ADE20k with $32.6$\% PQ.


title: Scalable Cluster-Consistency Statistics for Robust Multi-Object Matching

abstract: We develop new statistics for robustly filtering corrupted keypoint matches in the structure from motion pipeline. The statistics are based on consistency constraints that arise within the clustered structure of the graph of keypoint matches. The statistics are designed to give smaller values to corrupted matches and than uncorrupted matches. These new statistics are combined with an iterative reweighting scheme to filter keypoints, which can then be fed into any standard structure from motion pipeline. This filtering method can be efficiently implemented and scaled to massive datasets as it only requires sparse matrix multiplication. We demonstrate the efficacy of this method on synthetic and real structure from motion datasets and show that it achieves state-of-the-art accuracy and speed in these tasks.


title: Beyond Gaussian pair fluctuation theory for strongly interacting Fermi gases II: The broken-symmetry phase

abstract: We theoretically study the thermodynamic properties of a strongly interacting Fermi gas at the crossover from a Bardeen-Cooper-Schrieffer (BCS) superfluid to a Bose-Einstein condensate (BEC), by applying a recently outlined strong-coupling theory that includes pair fluctuations beyond the commonly-used many-body $T$-matrix or ladder approximation at the Gaussian level. The beyond Gaussian pair fluctuation (GPF) theory always respects the exact thermodynamic relations and recovers the Bogoliubov theory of molecules in the BEC limit with a nearly correct molecule-molecule scattering length. We show that the beyond-GPF theory predicts quantitatively accurate ground-state properties at the BEC-BCS crossover, in good agreement with the recent measurement by Horikoshi \textit{et al.} in Phys. Rev. X \textbf{7}, 041004 (2017). In the unitary limit with infinitely large $s$-wave scattering length, the beyond-GPF theory predicts a reliable universal energy equation of state up to 0.6$T_c$, where $T_c$ is the superfluid transition temperature at unitarity. The theory predicts a Bertsch parameter $\xi \simeq 0.365$ at zero temperature, in good agreement with the latest quantum Monte Carlo result $\xi = 0.367(7)$ and the latest experimental measurement $\xi = 0.367(9)$. We attribute the excellent and wide applicability of the beyond-GPF theory in the broken-symmetry phase to the reasonable re-summation of Feynman diagrams following a dimensional $\epsilon$-expansion analysis near four dimensions ($d=4-\epsilon$), which gives rise to accurate predictions at the second order $\mathcal{O}(\epsilon^2)$. Our work indicates the possibility of further improving the strong-coupling theory of strongly interacting fermions based on the systematic inclusion of large-loop Feynman diagrams at higher orders $\mathcal{O}(\epsilon^n)$ with $n\ge 3$.


title: Finding $(s,d)$-Hypernetworks in F-Hypergraphs is NP-Hard

abstract: We consider the problem of computing an $(s,d)$-hypernetwork in an acyclic F-hypergraph. This is a fundamental computational problem arising in directed hypergraphs, and is a foundational step in tackling problems of reachability and redundancy. This problem was previously explored in the context of general directed hypergraphs (containing cycles), where it is NP-hard, and acyclic B-hypergraphs, where a linear time algorithm can be achieved. In a surprising contrast, we find that for acyclic F-hypergraphs the problem is NP-hard, which also implies the problem is hard in BF-hypergraphs. This is a striking complexity boundary given that F-hypergraphs and B-hypergraphs would at first seem to be symmetrical to one another. We provide the proof of complexity and explain why there is a fundamental asymmetry between the two classes of directed hypergraphs.


title: Online State Estimation for Supervisor Synthesis in Discrete-Event Systems with Communication Delays and Losses

abstract: In the context of networked discrete-event systems (DESs), communication delays and losses exist between the plant and the supervisor for observation and between the supervisor and the actuator for control. In this paper, we first introduce a new framework for supervisory control of networked DESs. Under the introduced framework, we address the state estimation problem for supervisor synthesis of networked DESs with both communication delays and losses. The estimation algorithm considers the effect of the controls imposed on the system. Additionally, the estimation algorithm is based on the control decisions available up to the moment, and all the future control decisions are assumed to be unknowable. Two notions, called "observation channel configuration" for tracking observation delays and losses and "control channel configuration" for tracking control delays and losses, are defined. Then, we introduce an online approach for state estimation of the controlled system. Compared with the existing approach, the proposed approach under the introduced framework can estimate the state of the controlled system more accurately. As an application of the proposed approach, we finally show that the existing methods can be easily applied to synthesize maximally permissible and safe networked supervisors.


title: Magnetoelectricity in two-dimensional materials

abstract: Since the initial isolation of few-layer graphene, a plethora of two-dimensional atomic crystals has become available, covering almost all known materials types including metals, semiconductors, superconductors, ferro- and antiferromagnets. These advances have augmented the already existing variety of two-dimensional materials that are routinely realized by quantum confinement in bulk-semiconductor heterostructures. This review focuses on the type of material for which two-dimensional realizations are still being actively sought: magnetoelectrics. We present an overview of current theoretical expectation and experimental progress towards fabricating low-dimensional versions of such materials that can be magnetized by electric charges and polarized electrically by an applied magnetic field - unusual electromagnetic properties that could be the basis for various useful applications. The interplay between spatial confinement and magnetoelectricity is illustrated using the paradigmatic example of magnetic-monopole fields generated by electric charges in or near magnetoelectric media. For the purpose of this discussion, the image-charge method familiar from electrostatics is extended to solve the boundary-value problem for a magnetoelectric medium in the finite-width slab geometry using image dyons, i.e., point objects having both electric and magnetic charges. We discuss salient features of the magnetoelectrically induced fields arising in the thin-width limit.


title: Towards real-world quantum networks: a review

abstract: Quantum networks play an extremely important role in quantum information science, with application to quantum communication, computation, metrology and fundamental tests. One of the key challenges for implementing a quantum network is to distribute entangled flying qubits to spatially separated nodes, at which quantum interfaces or transducers map the entanglement onto stationary qubits. The stationary qubits at the separated nodes constitute quantum memories realized in matter while the flying qubits constitute quantum channels realized in photons. Dedicated efforts around the world for more than twenty years have resulted in both major theoretical and experimental progress towards entangling quantum nodes and ultimately building a global quantum network. Here, we review the development of quantum networks and the experimental progress over the past two decades leading to the current state of the art for generating entanglement of quantum nodes based on various physical systems such as single atoms, cold atomic ensembles, trapped ions, diamonds with Nitrogen-Vacancy centers, solid-state host doped with rare-earth ions, etc. Along the way we discuss the merits and compare the potential of each of these systems towards realizing a quantum network.


title: A Comprehensive Survey on the Applications of Blockchain for Securing Vehicular Networks

abstract: Vehicular networks promise features such as traffic management, route scheduling, data exchange, entertainment, and much more. With any large-scale technological integration comes the challenge of providing security. Blockchain technology has been a popular choice of many studies for making the vehicular network more secure. Its characteristics meet some of the essential security requirements such as decentralization, transparency, tamper-proof nature, and public audit. This study catalogues some of the notable efforts in this direction over the last few years. We analyze around 75 blockchain-based security schemes for vehicular networks from an application, security, and blockchain perspective. The application perspective focuses on various applications which use secure blockchain-based vehicular networks such as transportation, parking, data sharing/ trading, and resource sharing. The security perspective focuses on security requirements and attacks. The blockchain perspective focuses on blockchain platforms, blockchain types, and consensus mechanisms used in blockchain implementation. We also compile the popular simulation tools used for simulating blockchain and for simulating vehicular networks. Additionally, to give the readers a broader perspective of the research area, we discuss the role of various state-of-the-art emerging technologies in blockchain-based vehicular networks. Lastly, we summarize the survey by listing out some common challenges and the future research directions in this field.


title: A Highly Scalable, Hybrid, Cross-Platform Timing Analysis Framework Providing Accurate Differential Throughput Estimation via Instruction-Level Tracing

abstract: Estimating instruction-level throughput is critical for many applications: multimedia, low-latency networking, medical, automotive, avionic, and industrial control systems all rely on tightly calculable and accurate timing bounds of their software. Unfortunately, how long a program may run - or if it may indeed stop at all - cannot be answered in the general case. This is why state-of-the-art throughput estimation tools usually focus on a subset of operations and make several simplifying assumptions. Correctly identifying these sets of constraints and regions of interest in the program typically requires source code, specialized tools, and dedicated expert knowledge. Whenever a single instruction is modified, this process must be repeated, incurring high costs when iteratively developing timing sensitive code in practice. In this paper, we present MCAD, a novel and lightweight timing analysis framework that can identify the effects of code changes on the microarchitectural level for binary programs. MCAD provides accurate differential throughput estimates by emulating whole program execution using QEMU and forwarding traces to LLVM for instruction-level analysis. This allows developers to iterate quickly, with low overhead, using common tools: identifying execution paths that are less sensitive to changes over timing-critical paths only takes minutes within MCAD. To the best of our knowledge this represents an entirely new capability that reduces turnaround times for differential throughput estimation by several orders of magnitude compared to state-of-the-art tools. Our detailed evaluation shows that MCAD scales to real-world applications like FFmpeg and Clang with millions of instructions, achieving < 3% geo mean error compared to ground truth timings from hardware-performance counters on x86 and ARM machines.


title: Non-Stationary Representation Learning in Sequential Linear Bandits

abstract: In this paper, we study representation learning for multi-task decision-making in non-stationary environments. We consider the framework of sequential linear bandits, where the agent performs a series of tasks drawn from distinct sets associated with different environments. The embeddings of tasks in each set share a low-dimensional feature extractor called representation, and representations are different across sets. We propose an online algorithm that facilitates efficient decision-making by learning and transferring non-stationary representations in an adaptive fashion. We prove that our algorithm significantly outperforms the existing ones that treat tasks independently. We also conduct experiments using both synthetic and real data to validate our theoretical insights and demonstrate the efficacy of our algorithm.


title: RealGait: Gait Recognition for Person Re-Identification

abstract: Human gait is considered a unique biometric identifier which can be acquired in a covert manner at a distance. However, models trained on existing public domain gait datasets which are captured in controlled scenarios lead to drastic performance decline when applied to real-world unconstrained gait data. On the other hand, video person re-identification techniques have achieved promising performance on large-scale publicly available datasets. Given the diversity of clothing characteristics, clothing cue is not reliable for person recognition in general. So, it is actually not clear why the state-of-the-art person re-identification methods work as well as they do. In this paper, we construct a new gait dataset by extracting silhouettes from an existing video person re-identification challenge which consists of 1,404 persons walking in an unconstrained manner. Based on this dataset, a consistent and comparative study between gait recognition and person re-identification can be carried out. Given that our experimental results show that current gait recognition approaches designed under data collected in controlled scenarios are inappropriate for real surveillance scenarios, we propose a novel gait recognition method, called RealGait. Our results suggest that recognizing people by their gait in real surveillance scenarios is feasible and the underlying gait pattern is probably the true reason why video person re-idenfification works in practice.


title: Active Learning-Based Multistage Sequential Decision-Making Model with Application on Common Bile Duct Stone Evaluation

abstract: Multistage sequential decision-making scenarios are commonly seen in the healthcare diagnosis process. In this paper, an active learning-based method is developed to actively collect only the necessary patient data in a sequential manner. There are two novelties in the proposed method. First, unlike the existing ordinal logistic regression model which only models a single stage, we estimate the parameters for all stages together. Second, it is assumed that the coefficients for common features in different stages are kept consistent. The effectiveness of the proposed method is validated in both a simulation study and a real case study. Compared with the baseline method where the data is modeled individually and independently, the proposed method improves the estimation efficiency by 62\%-1838\%. For both simulation and testing cohorts, the proposed method is more effective, stable, interpretable, and computationally efficient on parameter estimation. The proposed method can be easily extended to a variety of scenarios where decision-making can be done sequentially with only necessary information.


title: Coherent single-photon scattering spectra for a giant-atom waveguide-QED system beyond dipole approximation

abstract: We investigate the single-photon scattering spectra of a giant atom coupled to a one dimensional waveguide via multiple connection points or a continuous coupling region. Using a full quantum mechanical method, we obtain the general analytic expressions for the single-photon scattering coefficients, which are valid in both the Markovian and the non-arkovian regimes. We summarize the influences of the non-dipole effects, mainly caused by the phases accumulated by photons traveling between coupling points, on the scattering spectra. We find that under the Markovian limit, the phase decay is detuning-independent, resulting in Lorentzian lineshapes characterized by the Lamb shifts and the effective decay rates. While in the non-Markovian regime, the accumulated phases become detuning-dependent, giving rise to non-Lorentzian lineshapes, characterized by multiple side peaks and total transmission points. Another interesting phenomenon in the non-Markovian regime is generation of broad photonic band gap by a single giant atom. We further generalize the case of discrete coupling points to the continuum limit with atom coupling to the waveguide via a continuous area, and analyze the scattering spectra for some typical distributions of coupling strength.


abstract: Class imbalance occurs in many real-world applications, including image classification, where the number of images in each class differs significantly. With imbalanced data, the generative adversarial networks (GANs) leans to majority class samples. The two recent methods, Balancing GAN (BAGAN) and improved BAGAN (BAGAN-GP), are proposed as an augmentation tool to handle this problem and restore the balance to the data. The former pre-trains the autoencoder weights in an unsupervised manner. However, it is unstable when the images from different categories have similar features. The latter is improved based on BAGAN by facilitating supervised autoencoder training, but the pre-training is biased towards the majority classes. In this work, we propose a novel Conditional Variational Autoencoder with Balanced Pre-training for Generative Adversarial Networks (CAPGAN) as an augmentation tool to generate realistic synthetic images. In particular, we utilize a conditional convolutional variational autoencoder with supervised and balanced pre-training for the GAN initialization and training with gradient penalty. Our proposed method presents a superior performance of other state-of-the-art methods on the highly imbalanced version of MNIST, Fashion-MNIST, CIFAR-10, and two medical imaging datasets. Our method can synthesize high-quality minority samples in terms of Fr\'echet inception distance, structural similarity index measure and perceptual quality.


title: Recognizing semantic relation in sentence pairs using Tree-RNNs and Typed dependencies

abstract: Recursive neural networks (Tree-RNNs) based on dependency trees are ubiquitous in modeling sentence meanings as they effectively capture semantic relationships between non-neighborhood words. However, recognizing semantically dissimilar sentences with the same words and syntax is still a challenge to Tree-RNNs. This work proposes an improvement to Dependency Tree-RNN (DT-RNN) using the grammatical relationship type identified in the dependency parse. Our experiments on semantic relatedness scoring (SRS) and recognizing textual entailment (RTE) in sentence pairs using SICK (Sentence Involving Compositional Knowledge) dataset show encouraging results. The model achieved a 2% improvement in classification accuracy for the RTE task over the DT-RNN model. The results show that Pearson's and Spearman's correlation measures between the model's predicted similarity scores and human ratings are higher than those of standard DT-RNNs.


title: Binary response model with many weak instruments

abstract: This paper considers an endogenous binary response model with many weak instruments. We in the current paper employ a control function approach and a regularization scheme to obtain better estimation results for the endogenous binary response model in the presence of many weak instruments. Two consistent and asymptotically normally distributed estimators are provided, each of which is called a regularized conditional maximum likelihood estimator (RCMLE) and a regularized nonlinear least square estimator (RNLSE) respectively. Monte Carlo simulations show that the proposed estimators outperform the existing estimators when many weak instruments are present. We apply our estimation method to study the effect of family income on college completion.


title: Unsupervised Domain Adaptation for Cross-Modality Retinal Vessel Segmentation via Disentangling Representation Style Transfer and Collaborative Consistency Learning

abstract: Various deep learning models have been developed to segment anatomical structures from medical images, but they typically have poor performance when tested on another target domain with different data distribution. Recently, unsupervised domain adaptation methods have been proposed to alleviate this so-called domain shift issue, but most of them are designed for scenarios with relatively small domain shifts and are likely to fail when encountering a large domain gap. In this paper, we propose DCDA, a novel cross-modality unsupervised domain adaptation framework for tasks with large domain shifts, e.g., segmenting retinal vessels from OCTA and OCT images. DCDA mainly consists of a disentangling representation style transfer (DRST) module and a collaborative consistency learning (CCL) module. DRST decomposes images into content components and style codes and performs style transfer and image reconstruction. CCL contains two segmentation models, one for source domain and the other for target domain. The two models use labeled data (together with the corresponding transferred images) for supervised learning and perform collaborative consistency learning on unlabeled data. Each model focuses on the corresponding single domain and aims to yield an expertized domain-specific segmentation model. Through extensive experiments on retinal vessel segmentation, our framework achieves Dice scores close to target-trained oracle both from OCTA to OCT and from OCT to OCTA, significantly outperforming other state-of-the-art methods.


title: Recursive Least Squares for Training and Pruning Convolutional Neural Networks

abstract: Convolutional neural networks (CNNs) have succeeded in many practical applications. However, their high computation and storage requirements often make them difficult to deploy on resource-constrained devices. In order to tackle this issue, many pruning algorithms have been proposed for CNNs, but most of them can't prune CNNs to a reasonable level. In this paper, we propose a novel algorithm for training and pruning CNNs based on the recursive least squares (RLS) optimization. After training a CNN for some epochs, our algorithm combines inverse input autocorrelation matrices and weight matrices to evaluate and prune unimportant input channels or nodes layer by layer. Then, our algorithm will continue to train the pruned network, and won't do the next pruning until the pruned network recovers the full performance of the old network. Besides for CNNs, the proposed algorithm can be used for feedforward neural networks (FNNs). Three experiments on MNIST, CIFAR-10 and SVHN datasets show that our algorithm can achieve the more reasonable pruning and have higher learning efficiency than other four popular pruning algorithms.


title: The compact support property for solutions to the stochastic partial differential equations with colored noise

abstract: We study the compact support property for solutions of the following stochastic partial differential equations: $$\partial_t u = a^{ij}u_{x^ix^j}(t,x)+b^{i}u_{x^i}(t,x)+cu+h(t,x,u(t,x))\dot{F}(t,x),\quad (t,x)\in (0,\infty)\times{\bf{R}}^d,$$ where $\dot{F}$ is a spatially homogeneous Gaussian noise that is white in time and colored in space, and $h(t, x, u)$ satisfies $K^{-1}|u|^{\lambda}\leq h(t, x, u)\leq K(1+|u|)$ for $\lambda\in(0,1)$ and $K\geq 1$. We show that if the initial data $u_0\geq 0$ has a compact support, then, under the reinforced Dalang's condition on $\dot{F}$ (which guarantees the existence and the H\"older continuity of a weak solution), all nonnegative weak solutions $u(t, \cdot)$ have the compact support for all $t>0$ with probability 1. Our results extend the works by Mueller-Perkins [Probab. Theory Relat. Fields, 93(3):325--358, 1992] and Krylov [Probab. Theory Relat. Fields, 108(4):543--557, 1997], in which they show the compact support property only for the one-dimensional SPDEs driven by space-time white noise on $(0, \infty)\times \bf{R}$.


title: Direct Mutation and Crossover in Genetic Algorithms Applied to Reinforcement Learning Tasks

abstract: Neuroevolution has recently been shown to be quite competitive in reinforcement learning (RL) settings, and is able to alleviate some of the drawbacks of gradient-based approaches. This paper will focus on applying neuroevolution using a simple genetic algorithm (GA) to find the weights of a neural network that produce optimally behaving agents. In addition, we present two novel modifications that improve the data efficiency and speed of convergence when compared to the initial implementation. The modifications are evaluated on the FrozenLake environment provided by OpenAI gym and prove to be significantly better than the baseline approach.


title: Towards a trustworthy, secure and reliable enclave for machine learning in a hospital setting: The Essen Medical Computing Platform (EMCP)

abstract: AI/Computing at scale is a difficult problem, especially in a health care setting. We outline the requirements, planning and implementation choices as well as the guiding principles that led to the implementation of our secure research computing enclave, the Essen Medical Computing Platform (EMCP), affiliated with a major German hospital. Compliance, data privacy and usability were the immutable requirements of the system. We will discuss the features of our computing enclave and we will provide our recipe for groups wishing to adopt a similar setup.


title: Partially-elementary end extensions of countable admissible sets

abstract: A result of Kaufmann shows that if $L_\alpha$ is countable, admissible and satisfies $\Pi_n\textsf{-Collection}$, then $\langle L_\alpha, \in \rangle$ has a proper $\Sigma_{n+1}$-elementary end extension. This paper investigates to what extent the theory that holds in $\langle L_\alpha, \in \rangle$ can be transferred to the partially-elementary end extensions guaranteed by Kaufmann's result. We show that there are $L_\alpha$ satisfying full separation, powerset and $\Pi_n\textsf{-Collection}$ that have no proper $\Sigma_{n+1}$-elementary end extension satisfying either $\Pi_{n}\textsf{-Collection}$ or $\Pi_{n+3}\textsf{-Foundation}$. In contrast, we show that if $A$ is a countable admissible set that satisfies $\Pi_n\textsf{-Collection}$ and $T$ is a recursively enumerable theory that holds in $\langle A, \in \rangle$, then $\langle A, \in \rangle$ has a proper $\Sigma_n$-elementary end extension that satisfies $T$.


title: Convolutional dual graph Laplacian sparse coding

abstract: In recent years, graph signal processing (GSP) technology has become popular in various fields, and graph Laplacian regularizers have also been introduced into convolutional sparse representation. This paper proposes a convolutional sparse representation model based on the dual graph Laplacian regularizer to ensure effective application of a dual graph signal smoothing prior on the rows and columns of input images.The graph Laplacian matrix contains the gradient information of the image and the similarity information between pixels, and can also describe the degree of change of the graph, so the image can be smoothed. Compared with the single graph smoothing prior, the dual graph has a simple structure, relaxes the conditions, and is more conducive to image restoration using the image signal prior. In this paper, this paper formulated the corresponding minimization problem using the proposed model, and subsequently used the alternating direction method of multiplication (ADMM) algorithm to solve it in the Fourier domain.Finally, using random Gaussian white noise for the denoising experiments. Compared with the single graph smoothing prior,the denoising results of the model with dual graph smoothing prior proposed in this paper has fewer noise points and clearer texture.


title: Deep Rank-Consistent Pyramid Model for Enhanced Crowd Counting

abstract: Most conventional crowd counting methods utilize a fully-supervised learning framework to establish a mapping between scene images and crowd density maps. They usually rely on a large quantity of costly and time-intensive pixel-level annotations for training supervision. One way to mitigate the intensive labeling effort and improve counting accuracy is to leverage large amounts of unlabeled images. This is attributed to the inherent self-structural information and rank consistency within a single image, offering additional qualitative relation supervision during training. Contrary to earlier methods that utilized the rank relations at the original image level, we explore such rank-consistency relation within the latent feature spaces. This approach enables the incorporation of numerous pyramid partial orders, strengthening the model representation capability. A notable advantage is that it can also increase the utilization ratio of unlabeled samples. Specifically, we propose a Deep Rank-consistEnt pyrAmid Model (DREAM), which makes full use of rank consistency across coarse-to-fine pyramid features in latent spaces for enhanced crowd counting with massive unlabeled images. In addition, we have collected a new unlabeled crowd counting dataset, FUDAN-UCC, comprising 4,000 images for training purposes. Extensive experiments on four benchmark datasets, namely UCF-QNRF, ShanghaiTech PartA and PartB, and UCF-CC-50, show the effectiveness of our method compared with previous semi-supervised methods. The codes are available at https://github.com/bridgeqiqi/DREAM.


title: Topological gap labeling with the third Chern numbers in three-dimensional quasicrystals

abstract: We study the topological gap labeling of general 3D quasicrystals and we find that every gap in the spectrum is characterized by a set of the third Chern numbers. We show that a quasi-periodic structure has multiple Brillouin zones defined by redundant wavevectors, and the number of states below a gap is quantized as an integer linear combination of volumes of these Brillouin zones. The associated quantum numbers to characterize energy gaps can be expressed as third Chern numbers by considering a formal relationship between an adiabatic charge pumping under cyclic deformation of the quasi-periodic potential and a topological nonlinear electromagnetic response in 6D insulators.


title: Admissible metrics on compact K\"ahler varieties

abstract: Let $X$ be a normal compact K\"ahler variety, and $\mathcal{F}$ a coherent reflexive sheaf on $X$. We investigate the existence of admissible Hermitian metrics on $\mathcal{F}$. If moreover $\mathcal{F}$ is slope stable, we also study the existence of admissible Hermitian-Yang-Mills metrics on it. The existence will hold if one can prove a uniform Sobolev inequality on singular spaces.


title: A Geometric Approach to $k$-means

abstract: $k$-means clustering is a fundamental problem in various disciplines. This problem is nonconvex, and standard algorithms are only guaranteed to find a local optimum. Leveraging the structure of local solutions characterized in [1], we propose a general algorithmic framework for escaping undesirable local solutions and recovering the global solution (or the ground truth). This framework consists of alternating between the following two steps iteratively: (i) detect mis-specified clusters in a local solution and (ii) improve the current local solution by non-local operations. We discuss implementation of these steps, and elucidate how the proposed framework unifies variants of $k$-means algorithm in literature from a geometric perspective. In addition, we introduce two natural extensions of the proposed framework, where the initial number of clusters is misspecified. We provide theoretical justification for our approach, which is corroborated with extensive experiments.


title: Interaction flow method reloaded

abstract: A recently proposed extension of the interaction flow method is applied to exemplary cases of selected physical and methodical parameters for the two-dimensional Hubbard model away from half-filling and perfect nesting. In this scheme, the self-energy is calculated on the real-frequency axis and its feedback on the flow of interactions is included in a simple manner via a momentum-dependent quasi-particle weight. Results for two different types of self-energy feedback are compared to the case without feedback and to existing results stemming from calculations for imaginary frequencies. Various physical and non-physical aspects which influence the outcome qualitatively and quantitatively are addressed. Some tentative directions for future developments are suggested.


title: When geometry meets optimization theory: partially orthogonal tensors

abstract: Due to the multi-linearity of tensors, most algorithms for tensor optimization problems are designed based on the block coordinate descent method. Such algorithms are widely employed by practitioners for their implementability and effectiveness. However, these algorithms usually suffer from the lack of theoretical guarantee of global convergence and analysis of convergence rate. In this paper, we propose a block coordinate descent type algorithm for the low rank partially orthogonal tensor approximation problem and analyse its convergence behaviour. To achieve this, we carefully investigate the variety of low rank partially orthogonal tensors and its geometric properties related to the parameter space, which enable us to locate KKT points of the concerned optimization problem. With the aid of these geometric properties, we prove without any assumption that: (1) Our algorithm converges globally to a KKT point; (2) For any given tensor, the algorithm exhibits an overall sublinear convergence with an explicit rate which is sharper than the usual $O(1/k)$ for first order methods in nonconvex optimization; {(3)} For a generic tensor, our algorithm converges $R$-linearly.


title: Approximation of the elastic Dirichlet-to-Neumann map

abstract: We study the Dirichlet-to-Neumann map for the stationary linear equation of elasticity in a bounded domain in R d , d $\ge$ 2, with smooth boundary. We show that it can be approximated by a pseudodifferential operator on the boundary with a matrix-valued symbol and we compute the principal symbol modulo conjugation by unitary matrices.


title: Document-level Relation Extraction with Context Guided Mention Integration and Inter-pair Reasoning

abstract: Document-level Relation Extraction (DRE) aims to recognize the relations between two entities. The entity may correspond to multiple mentions that span beyond sentence boundary. Few previous studies have investigated the mention integration, which may be problematic because coreferential mentions do not equally contribute to a specific relation. Moreover, prior efforts mainly focus on reasoning at entity-level rather than capturing the global interactions between entity pairs. In this paper, we propose two novel techniques, Context Guided Mention Integration and Inter-pair Reasoning (CGM2IR), to improve the DRE. Instead of simply applying average pooling, the contexts are utilized to guide the integration of coreferential mentions in a weighted sum manner. Additionally, inter-pair reasoning executes an iterative algorithm on the entity pair graph, so as to model the interdependency of relations. We evaluate our CGM2IR model on three widely used benchmark datasets, namely DocRED, CDR, and GDA. Experimental results show that our model outperforms previous state-of-the-art models.


title: Approximation of a degenerate semilinear PDEs with a nonlinear Neumann boundary condition

abstract: We consider a system of semilinear partial differential equations (PDEs) with a nonlinearity depending on both the solution and its gradient. The Neumann boundary condition depends on the solution in a nonlinear manner. The uniform ellipticity is not required to the diffusion coefficient. We show that this problem admits a viscosity solution which can be approximated by a penalization. The Lipschitz condition is required to the coefficients of the diffusion part. The nonlinear part as well as the Neumann condition are Lipschitz. Moreover, the nonlinear part is assumed monotone in the solution variable. Note that the existence of a viscosity solution to this problem has been established in [13] then completed in [15]. In the present paper, We construct a sequence of penalized system of decoupled forward backward stochastic differential equations (FBSDEs) then we directly show its strong convergence. This allows us to deal with the case where the nonlinearity depends on both the solution and its gradient. Our work extends, in particular, the result of [4] and, in some sense, those of [1, 3]. In contrast to works [1, 3, 4], we do not pass by the weak compactness of the laws of the stochastic system associated to our problem.


title: Multi-Scale Adaptive Graph Neural Network for Multivariate Time Series Forecasting

abstract: Multivariate time series (MTS) forecasting plays an important role in the automation and optimization of intelligent applications. It is a challenging task, as we need to consider both complex intra-variable dependencies and inter-variable dependencies. Existing works only learn temporal patterns with the help of single inter-variable dependencies. However, there are multi-scale temporal patterns in many real-world MTS. Single inter-variable dependencies make the model prefer to learn one type of prominent and shared temporal patterns. In this paper, we propose a multi-scale adaptive graph neural network (MAGNN) to address the above issue. MAGNN exploits a multi-scale pyramid network to preserve the underlying temporal dependencies at different time scales. Since the inter-variable dependencies may be different under distinct time scales, an adaptive graph learning module is designed to infer the scale-specific inter-variable dependencies without pre-defined priors. Given the multi-scale feature representations and scale-specific inter-variable dependencies, a multi-scale temporal graph neural network is introduced to jointly model intra-variable dependencies and inter-variable dependencies. After that, we develop a scale-wise fusion module to effectively promote the collaboration across different time scales, and automatically capture the importance of contributed temporal patterns. Experiments on four real-world datasets demonstrate that MAGNN outperforms the state-of-the-art methods across various settings.


title: Lepton Number vs Coulomb Super-Criticality

abstract: The non-perturbative effects of QED-vacuum reconstruction under influence of a supercritical EM-source ($Z>Z_{cr,1}$) are considered in view of lepton number conservation. The question is here that if the vacuum shells formation and spontaneous positron emission, associated with discrete levels diving into the lower continuum, exist in reality, then it by no means should be a signal of new physics. The reason is that the emitted positrons carry away the lepton number equal to $(-1)\times$their total number, and so the corresponding amount of positive lepton number should be shared by VP-density, concentrated in vacuum shells. In this case instead of integer lepton number of real particles there should appear the lepton number VP-density. Otherwise either the lepton number conservation in such processes must be broken, or the spontaneous positron emission prohibited. The conditions, under which the emission of vacuum positrons can be unambiguously detected on the nuclear conversion pairs background, are also discussed.


title: Experimental Design Networks: A Paradigm for Serving Heterogeneous Learners under Networking Constraints

abstract: Significant advances in edge computing capabilities enable learning to occur at geographically diverse locations. In general, the training data needed in those learning tasks are not only heterogeneous but also not fully generated locally. In this paper, we propose an experimental design network paradigm, wherein learner nodes train possibly different Bayesian linear regression models via consuming data streams generated by data source nodes over a network. We formulate this problem as a social welfare optimization problem in which the global objective is defined as the sum of experimental design objectives of individual learners, and the decision variables are the data transmission strategies subject to network constraints. We first show that, assuming Poisson data streams, the global objective is a continuous DR-submodular function. We then propose a Frank-Wolfe type algorithm that outputs a solution within a 1-1/e factor from the optimal. Our algorithm contains a novel gradient estimation component which is carefully designed based on Poisson tail bounds and sampling. Finally, we complement our theoretical findings through extensive experiments. Our numerical evaluation shows that the proposed algorithm outperforms several baseline algorithms both in maximizing the global objective and in the quality of the trained models.


title: Knowledge Graph Augmented Network Towards Multiview Representation Learning for Aspect-based Sentiment Analysis

abstract: Aspect-based sentiment analysis (ABSA) is a fine-grained task of sentiment analysis. To better comprehend long complicated sentences and obtain accurate aspect-specific information, linguistic and commonsense knowledge are generally required in this task. However, most current methods employ complicated and inefficient approaches to incorporate external knowledge, e.g., directly searching the graph nodes. Additionally, the complementarity between external knowledge and linguistic information has not been thoroughly studied. To this end, we propose a knowledge graph augmented network KGAN, which aims to effectively incorporate external knowledge with explicitly syntactic and contextual information. In particular, KGAN captures the sentiment feature representations from multiple different perspectives, i.e., context-, syntax- and knowledge-based. First, KGAN learns the contextual and syntactic representations in parallel to fully extract the semantic features. Then, KGAN integrates the knowledge graphs into the embedding space, based on which the aspect-specific knowledge representations are further obtained via an attention mechanism. Last, we propose a hierarchical fusion module to complement these multi-view representations in a local-to-global manner. Extensive experiments on five popular ABSA benchmarks demonstrate the effectiveness and robustness of our KGAN. Notably, with the help of the pretrained model of RoBERTa, KGAN achieves a new record of state-of-the-art performance among all datasets.


title: On spectral gaps of growth-fragmentation semigroups in higher moment spaces

abstract: We present a general approach to proving the existence of spectral gaps and asynchronous exponential growth for growth-fragmentation semigroups in moment spaces $L^{1}(\mathbb{R}_{+};\ x^{\alpha }dx)$ and $L^{1}(\mathbb{R} _{+};\ \left( 1+x\right) ^{\alpha }dx)$ for unbounded total fragmentation rates and continuous growth rates $r(.)$\ such that $\int_{0}^{+\infty } \frac{1}{r(\tau )}d\tau =+\infty .\ $The analysis is based on weak compactness tools and Frobenius theory of positive operators and holds provided that $\alpha >\widehat{\alpha }$ for a suitable threshold $\widehat{ \alpha }\geq 1$ that depends on the moment space we consider. A systematic functional analytic construction is provided. Various examples of fragmentation kernels illustrating the theory are given and an open problem is mentioned.


title: SnapshotNet: Self-supervised Feature Learning for Point Cloud Data Segmentation Using Minimal Labeled Data

abstract: Manually annotating complex scene point cloud datasets is both costly and error-prone. To reduce the reliance on labeled data, a new model called SnapshotNet is proposed as a self-supervised feature learning approach, which directly works on the unlabeled point cloud data of a complex 3D scene. The SnapshotNet pipeline includes three stages. In the snapshot capturing stage, snapshots, which are defined as local collections of points, are sampled from the point cloud scene. A snapshot could be a view of a local 3D scan directly captured from the real scene, or a virtual view of such from a large 3D point cloud dataset. Snapshots could also be sampled at different sampling rates or fields of view (FOVs), thus multi-FOV snapshots, to capture scale information from the scene. In the feature learning stage, a new pre-text task called multi-FOV contrasting is proposed to recognize whether two snapshots are from the same object or not, within the same FOV or across different FOVs. Snapshots go through two self-supervised learning steps: the contrastive learning step with both part and scale contrasting, followed by a snapshot clustering step to extract higher level semantic features. Then a weakly-supervised segmentation stage is implemented by first training a standard SVM classifier on the learned features with a small fraction of labeled snapshots. The trained SVM is used to predict labels for input snapshots and predicted labels are converted into point-wise label assignments for semantic segmentation of the entire scene using a voting procedure. The experiments are conducted on the Semantic3D dataset and the results have shown that the proposed method is capable of learning effective features from snapshots of complex scene data without any labels. Moreover, the proposed method has shown advantages when comparing to the SOA method on weakly-supervised point cloud semantic segmentation.


title: Constraint energy minimizing generalized multiscale finite element method for inhomogeneous boundary value problems with high contrast coefficients

abstract: In this article we develop the Constraint Energy Minimizing Generalized Multiscale Finite Element Method (CEM-GMsFEM) for elliptic partial differential equations with inhomogeneous Dirichlet, Neumann, and Robin boundary conditions, and the high contrast property emerges from the coefficients of elliptic operators and Robin boundary conditions. By careful construction of multiscale bases of the CEM-GMsFEM, we introduce two operators $\mathcal{D}^m$ and $\mathcal{N}^m$ which are used to handle inhomogeneous Dirichlet and Neumann boundary values and are also proved to converge independently of contrast ratios as enlarging oversampling regions. We provide a priori error estimate and show that oversampling layers are the key factor in controlling numerical errors. A series of experiments are conducted, and those results reflect the reliability of our methods even with high contrast ratios.


title: State-dependent error bound for digital quantum simulation of driven systems

abstract: Digital quantum simulation is a promising application of quantum computers, where quantum dynamics is simulated by using quantum gate operations. Many techniques for decomposing a time-evolution operator of quantum dynamics into simulatable quantum gate operations have been proposed, while these methods cause some errors. To evaluate these errors, we derive a lower bound for overlap between true dynamics and digital simulated dynamics at the final time. Our result enables us to guarantee how obtained digital simulated dynamics is close to unknown true dynamics. We also extend our formalism to error evaluation of digital quantum simulation on noisy quantum computers.


title: An inviscid model study of sandstorm in unstably stratified atmospheric boundary layer

abstract: According to field observations, the atmospheric boundary layer is usually unstably stratified before a dust and sandstorm, the particle-laden turbulent gravity current with an extremely high Reynolds number. In this paper, an inviscid model is built to study the mechanism governing the slumping phase of gravity current, and it is shown that the dimensionless current front speed, the Froude number, decreases when the current fluid or the ambient medium or both fluids are unstably stratified. In spite of the density interface mixing, the relation between the front speed and the front height described by the inviscid model agrees with the numerical simulation results, where the lock-exchange gravity currents with different initial lock heights are calculated for different unstable stratification cases. Furthermore, the velocity increments obtained by field observations at the sandstorm fronts are satisfactorily consistent with the evaluations of the model, suggesting that the inviscid mechanism makes contribution to such high Reynolds number turbulent flows.


title: Using Deep Learning to Generate Complete Log Statements

abstract: Logging is a practice widely adopted in several phases of the software lifecycle. For example, during software development log statements allow engineers to verify and debug the system by exposing fine-grained information of the running software. While the benefits of logging are undisputed, taking proper decisions about where to inject log statements, what information to log, and at which log level (e.g., error, warning) is crucial for the logging effectiveness. In this paper, we present LANCE (Log stAtemeNt reCommEnder), the first approach supporting developers in all these decisions. LANCE features a Text-To-Text-Transfer-Transformer (T5) model that has been trained on 6,894,456 Java methods. LANCE takes as input a Java method and injects in it a full log statement, including a human-comprehensible logging message and properly choosing the needed log level and the statement location. Our results show that LANCE is able to (i) properly identify the location in the code where to inject the statement in 65.9% of Java methods requiring it; (ii) selecting the proper log level in 66.2% of cases; and (iii) generate a completely correct log statement including a meaningful logging message in 15.2% of cases.


title: Experiences of infinity and of generality in Book I of Euclid's Elements

abstract: This article proposes a reading of Book I of Euclid's Elements with an emphasis of the experiences of infinity supplied by it, as a preparatory study for a research on the embodied cognition of infinity and its material anchors. -- Cet article propose une lecture du premier livre des \'El\'ements d'Euclide. Il soutient qu'une telle lecture procure des exp\'eriences de l'infini. Il s'agit selon son auteur d'une \'etude pr\'eliminaire \`a une recherche sur la cognition incarn\'ee de l'infini et de ses ancrages mat\'eriels.


title: General solution to the Kohn-Luttinger nonconvergence problem

abstract: A simple, but general solution is proposed for the Kohn-Luttinger problem, i.e., the nonconvergence of the finite-temperature many-body perturbation theory with its zero-temperature counterpart as temperature is lowered to zero under some circumstances. How this nonconvergence can be avoided by altering the reference wave function is illustrated numerically by using up to the fifth order of the perturbation theory.


title: Masses and widths of the exotic molecular $B_{(s)}^{(*)} B_{(s)}^{(*)}$ states

abstract: We study the interaction of the doubly bottom systems $BB$, $B^* B$, $B_s B$, $B_s^* B$, $B^* B^*$, $B^* B_s$, $B^*B_s^*$, $B_s B_s$, $B_s B_s^*$, $B_s^* B_s^*$ by means of vector meson exchange with Lagrangians from an extension of the local hidden gauge approach. The full s-wave scattering matrix is obtained implementing unitarity in coupled channels by means of the Bethe-Salpeter equation. We find poles below the channel thresholds for the attractively interacting channels $B^* B$ in $I=0$, $B^*_s B-B^*B_s$ in $I=\frac{1}{2}$, $B^* B^*$ in $I=0$, and $B^*_s B^*$ in $I=\frac{1}{2}$, all of them with $J^P=1^+$. For these cases the widths are evaluated identifyng the dominant source of imaginary part. We find binding energies of the order of $10-20$ MeV, and the widths vary much from one system to the other: of the order of 10-100 eV for the $B^* B$ system and $B^*_s B-B^*B_s$, about $6$ MeV for the $B^* B^*$ system and of the order of $0.5$ MeV for the $B^*_s B^*$ system.


title: Transforming UNL graphs in OWL representations

abstract: Extracting formal knowledge (ontologies) from natural language is a challenge that can benefit from a (semi-) formal linguistic representation of texts, at the semantic level. We propose to achieve such a representation by implementing the Universal Networking Language (UNL) specifications on top of RDF. Thus, the meaning of a statement in any language will be soundly expressed as a RDF-UNL graph that constitutes a middle ground between natural language and formal knowledge. In particular, we show that RDF-UNL graphs can support content extraction using generic SHACL rules and that reasoning on the extracted facts allows detecting incoherence in the original texts. This approach is experimented in the UNseL project that aims at extracting ontological representations from system requirements/specifications in order to check that they are consistent, complete and unambiguous. Our RDF-UNL implementation and all code for the working examples of this paper are publicly available under the CeCILL-B license at https://gitlab.tetras-libre.fr/unl/rdf-unl


title: Systematic construction of non-autonomous Hamiltonian equations of Painlev\'{e}-type. II. Isomonodromic Lax representation

abstract: This is the second article in a suite of articles investigating relations between St\"{a}ckel-type systems and Painlev\'{e}-type systems. In this article we construct isomonodromic Lax representations for Painlev\'{e}-type systems found in the previous paper by Frobenius integrable deformations of St\"{a}ckel-type systems. We first construct isomonodromic Lax representations for Painlev\'{e}-type systems in the so called magnetic representation and then, using a multitime-dependent canonical transformation, we also construct isomonodromic Lax representations for Painlev\'{e}-type systems in the non-magnetic representation. Thus, we prove that the Frobenius integrable systems constructed in Part I are indeed of Painlev\'{e}-type. We also present isomonodromic Lax representations for all one-, two- and three-dimensional Painlev\'{e}-type systems originating in our scheme. Based on these results we propose complete hierarchies of $P_{I}-P_{IV}$ that follow from our construction.


title: Multi-task Pre-training Language Model for Semantic Network Completion

abstract: Semantic networks, such as the knowledge graph, can represent the knowledge leveraging the graph structure. Although the knowledge graph shows promising values in natural language processing, it suffers from incompleteness. This paper focuses on knowledge graph completion by predicting linkage between entities, which is a fundamental yet critical task. Semantic matching is a potential solution as it can deal with unseen entities, which the translational distance based methods struggle with. However, to achieve competitive performance as translational distance based methods, semantic matching based methods require large-scale datasets for the training purpose, which are typically unavailable in practical settings. Therefore, we employ the language model and introduce a novel knowledge graph architecture named LP-BERT, which contains two main stages: multi-task pre-training and knowledge graph fine-tuning. In the pre-training phase, three tasks are taken to drive the model to learn the relationship from triples by predicting either entities or relations. While in the fine-tuning phase, inspired by contrastive learning, we design a triple-style negative sampling in a batch, which greatly increases the proportion of negative sampling while keeping the training time almost unchanged. Furthermore, we propose a new data augmentation method utilizing the inverse relationship of triples to improve the performance and robustness of the model. To demonstrate the effectiveness of our method, we conduct extensive experiments on three widely-used datasets, WN18RR, FB15k-237, and UMLS. The experimental results demonstrate the superiority of our methods, and our approach achieves state-of-the-art results on WN18RR and FB15k-237 datasets. Significantly, Hits@10 indicator is improved by 5% from previous state-of-the-art result on the WN18RR dataset while reaching 100% on the UMLS dataset.


title: Charge-Density-Wave Proximity Effects in Graphene

abstract: Certain layered transition metal dichalcogenides (TMDCs), such as 1T-TaS2, show a rich collection of charge density wave (CDW) phases at different temperatures, and their atomic structures and electron conductions have been widely studied. However, the properties of CDW systems that are integrated with other electronic materials have not yet been investigated. Here, we incorporate the CDW properties of TMDCs into the electronic transport of graphene for the first time. During CDW phase transitions, anomalous transport behaviors that are closely related to the formation of correlated disorder in TMDCs were observed in the graphene sample used in this study. In particular, the commensurate CDW phase forms a periodic charge distribution with potential fluctuations, and thus constitutes correlated charged impurities, which decreases resistivity and enhances carrier mobility in graphene. The CDW-graphene heterostructure system demonstrated here paves the way to controlling the temperature-dependent carrier mobility and resistivity of graphene and to developing novel functional electronic devices such as graphene-based sensors and memory devices.


title: Reconstructing Training Data with Informed Adversaries

abstract: Given access to a machine learning model, can an adversary reconstruct the model's training data? This work studies this question from the lens of a powerful informed adversary who knows all the training data points except one. By instantiating concrete attacks, we show it is feasible to reconstruct the remaining data point in this stringent threat model. For convex models (e.g. logistic regression), reconstruction attacks are simple and can be derived in closed-form. For more general models (e.g. neural networks), we propose an attack strategy based on training a reconstructor network that receives as input the weights of the model under attack and produces as output the target data point. We demonstrate the effectiveness of our attack on image classifiers trained on MNIST and CIFAR-10, and systematically investigate which factors of standard machine learning pipelines affect reconstruction success. Finally, we theoretically investigate what amount of differential privacy suffices to mitigate reconstruction attacks by informed adversaries. Our work provides an effective reconstruction attack that model developers can use to assess memorization of individual points in general settings beyond those considered in previous works (e.g. generative language models or access to training gradients); it shows that standard models have the capacity to store enough information to enable high-fidelity reconstruction of training data points; and it demonstrates that differential privacy can successfully mitigate such attacks in a parameter regime where utility degradation is minimal.


title: On the numerical solution of a hyperbolic inverse boundary value problem in bounded domains

abstract: We consider the inverse problem of reconstructing the boundary curve of a cavity embedded in a bounded domain. The problem is formulated in two dimensions for the wave equation. We combine the Laguerre transform with the integral equation method and we reduce the inverse problem to a system of boundary integral equations. We propose an iterative scheme that linearizes the equation using the Fr\'echet derivative of the forward operator. The application of special quadrature rules results to an ill-conditioned linear system which we solve using Tikhonov regularization. The numerical results show that the proposed method produces accurate and stable reconstructions.


title: Equivalence Between Four Models of Associahedra

abstract: We present a combinatorial isomorphism between Stasheff associahedra and an inductive cone construction of those complexes given by Loday. We give an alternate description of certain polytopes, known as multiplihedra, which arise in the study of $A_\infty$ maps. We also prove a combinatorial isomorphism between Stasheff associahedra, collapsed multiplihedra and graph cubeahedra for path graphs.


title: Solving DC Power Flow Problems Using Quantum and Hybrid algorithms

abstract: Power flow calculation plays an important role in planning, operation, and control of the power system. The quantum HHL algorithm can achieve theoretical exponential speedup over classical algorithms on DC power flow calculation. Since the qubit resources in the Noisy Intermediate-scale Quantum (NISQ) era are limited, it is important to discuss the performance considering this limitation. The coefficient matrix of the linear systems of equations in DC power flow problems cannot be represented perfectly by finite binary number strings, which leads to imperfect phase estimation. This work is carried out under the assumption of imperfect phase estimation. The performance of the HHL algorithm is systematically investigated with different accuracy and redundant qubits. In order to further reduce the required qubit resources, a hybrid quantum-classical algorithm is proposed. By comparing errors of the HHL and hybrid algorithms in the DC power flow calculation of the IEEE 5-bus test system, it is found that the hybrid algorithm can achieve comparable precision with fewer qubits than HHL by increasing the number of phase estimation modules, which may make the hybrid algorithm a feasible route in the NISQ era.


title: Approximate the individually fair k-center with outliers

abstract: In this paper, we propose and investigate the individually fair $k$-center with outliers (IF$k$CO). In the IF$k$CO, we are given an $n$-sized vertex set in a metric space, as well as integers $k$ and $q$. At most $k$ vertices can be selected as the centers and at most $q$ vertices can be selected as the outliers. The centers are selected to serve all the not-an-outlier (i.e., served) vertices. The so-called individual fairness constraint restricts that every served vertex must have a selected center not too far way. More precisely, it is supposed that there exists at least one center among its $\lceil (n-q) / k \rceil$ closest neighbors for every served vertex. Because every center serves $(n-q) / k$ vertices on the average. The objective is to select centers and outliers, assign every served vertex to some center, so as to minimize the maximum fairness ratio over all served vertices, where the fairness ratio of a vertex is defined as the ratio between its distance with the assigned center and its distance with a $\lceil (n - q )/k \rceil_{\rm th}$ closest neighbor. As our main contribution, a 4-approximation algorithm is presented, based on which we develop an improved algorithm from a practical perspective.


title: Bridging Video-text Retrieval with Multiple Choice Questions

abstract: Pre-training a model to learn transferable video-text representation for retrieval has attracted a lot of attention in recent years. Previous dominant works mainly adopt two separate encoders for efficient retrieval, but ignore local associations between videos and texts. Another line of research uses a joint encoder to interact video with texts, but results in low efficiency since each text-video pair needs to be fed into the model. In this work, we enable fine-grained video-text interactions while maintaining high efficiency for retrieval via a novel pretext task, dubbed as Multiple Choice Questions (MCQ), where a parametric module BridgeFormer is trained to answer the "questions" constructed by the text features via resorting to the video features. Specifically, we exploit the rich semantics of text (i.e., nouns and verbs) to build questions, with which the video encoder can be trained to capture more regional content and temporal dynamics. In the form of questions and answers, the semantic associations between local video-text features can be properly established. BridgeFormer is able to be removed for downstream retrieval, rendering an efficient and flexible model with only two encoders. Our method outperforms state-of-the-art methods on the popular text-to-video retrieval task in five datasets with different experimental setups (i.e., zero-shot and fine-tune), including HowTo100M (one million videos). We further conduct zero-shot action recognition, which can be cast as video-to-text retrieval, and our approach also significantly surpasses its counterparts. As an additional benefit, our method achieves competitive results with much shorter pre-training videos on single-modality downstream tasks, e.g., action recognition with linear evaluation.


title: MetaDance: Few-shot Dancing Video Retargeting via Temporal-aware Meta-learning

abstract: Dancing video retargeting aims to synthesize a video that transfers the dance movements from a source video to a target person. Previous work need collect a several-minute-long video of a target person with thousands of frames to train a personalized model. However, the trained model can only generate videos of the same person. To address the limitations, recent work tackled few-shot dancing video retargeting, which learns to synthesize videos of unseen persons by leveraging a few frames of them. In practice, given a few frames of a person, these work simply regarded them as a batch of individual images without temporal correlations, thus generating temporally incoherent dancing videos of low visual quality. In this work, we model a few frames of a person as a series of dancing moves, where each move contains two consecutive frames, to extract the appearance patterns and the temporal dynamics of this person. We propose MetaDance, which utilizes temporal-aware meta-learning to optimize the initialization of a model through the synthesis of dancing moves, such that the meta-trained model can be efficiently tuned towards enhanced visual quality and strengthened temporal stability for unseen persons with a few frames. Extensive evaluations show large superiority of our method.


title: Quartic Regularity

abstract: In this paper, we propose new linearly convergent second-order methods for minimizing convex quartic polynomials. This framework is applied for designing optimization schemes, which can solve general convex problems satisfying a new condition of quartic regularity. It assumes positive definiteness and boundedness of the fourth derivative of the objective function. For such problems, an appropriate quartic regularization of Damped Newton Method has global linear rate of convergence. We discuss several important consequences of this result. In particular, it can be used for constructing new second-order methods in the framework of high-order proximal-point schemes. These methods have convergence rate $\tilde O(k^{-p})$, where $k$ is the iteration counter, $p$ is equal to 3, 4, or 5, and tilde indicates the presence of logarithmic factors in the complexity bounds for the auxiliary problems, which are solved at each iteration of the schemes.


title: FuzzingDriver: the Missing Dictionary to Increase Code Coverage in Fuzzers

abstract: We propose a tool, called FuzzingDriver, to generate dictionary tokens for coverage-based greybox fuzzers (CGF) from the codebase of any target program. FuzzingDriver does not add any overhead to the fuzzing job as it is run beforehand. We compared FuzzingDriver to Google dictionaries by fuzzing six open-source targets, and we found that FuzzingDriver consistently achieves higher code coverage in all tests. We also executed eight benchmarks on FuzzBench to demonstrate how utilizing FuzzingDriver's dictionaries can outperform six widely-used CGF fuzzers. In future work, investigating the impact of FuzzingDriver's dictionaries on improving bug coverage might prove important. Video demonstration: https://www.youtube.com/watch?v=Y8j_KvfRrI8


title: Stabilization of the oxygen concentration in La$_{0.3}$Sr$_{0.7}$CoO$_{3-{\delta}}$ thin films by LaAlO$_3$ capping layer

abstract: We have grown La$_{0.3}$Sr$_{0.7}$CoO$_{3-{\delta}}$ thin films by pulsed laser deposition on (LaAlO$_3$)$_{0.3}$(Sr$_2$TaAlO$_3$)$_{0.7}$ substrates with and without a protective LaAlO$_3$ capping layer and investigated their structural and magnetic properties. We have observed that, in the uncapped films, the Curie temperature strongly decreased after annealing in helium atmosphere, and it significantly decreased even in samples stored for several weeks at room temperature. The decrease of the Currie temperature is caused by an increase of the concentration of oxygen vacancies, {\delta}. However, we show that already a 3 nm thin LaAlO$_3$ capping layer can essentially conserve {\delta} at room temperature, and it considerably slows down the formation of oxygen vacancies at elevated temperatures.


title: Spatiotemporal observation of quantum crystallization of electrons

abstract: Liquids crystallize as they cool; however, when crystallization is avoided in some way, they supercool, maintaining their liquidity, and freezing into glass at low temperatures, as ubiquitously observed. These metastable states crystallize over time through the classical dynamics of nucleation and growth. However, it was recently found that Coulomb interacting electrons on charge-frustrated triangular lattices exhibit supercooled liquid and glass with quantum nature and they crystallize, raising fundamental issues : what features are universal to crystallization at large and specific to that of quantum systems? Here, we report our experimental challenges that address this issue through the spatiotemporal observation of electronic crystallization in an organic material. With Raman microspectroscopy, we are the first to successfully perform real-space and real-time imaging of electronic crystallization. The results directly capture strongly temperature-dependent crystallization profiles indicating that nucleation and growth proceed at distinctive temperature-dependent rates, which is common to conventional crystallization. Remarkably, however, the growth rate is many orders of magnitude larger than that in the conventional case, which is attributable to the quantum effect. The temperature characteristics of nucleation and growth are universal, whereas unusually fast growth kinetics features quantum crystallization where a quantum-to-classical catastrophe occurs in interacting electrons.


title: Supersolvable resolutions of line arrangements

abstract: The main purpose of the present paper is to study the numerical properties of supersolvable resolutions of line arrangements. We provide upper-bounds on the so-called extension to supersolvability numbers for certain extreme line arrangements in $\mathbb{P}^{2}_{\mathbb{C}}$ and we show that these numbers \textbf{are not} determined by the intersection lattice of the given arrangement.


title: Anomalously field-susceptible spin soft-matter emerging in an electric-dipole liquid candidate

abstract: Mutual interactions in many-body systems bring about a variety of exotic phases, among which liquid-like states failing to order due to frustration are of keen interest. Recently, an organic system with an anisotropic triangular lattice of molecular dimers has been suggested to host a dipole liquid arising from intradimer charge-imbalance instability, possibly offering an unprecedented stage for the spin degrees of freedom. Here we show that an extraordinary unordered(unfrozen) spin state having soft-matter-like spatiotemporal characteristics is substantiated in this system. $^1$H NMR spectra and magnetization measurements indicate that gigantic, staggered moments are non-linearly and inhomogeneously induced by magnetic field whereas the moments vanish in the zero-field limit. The analysis of the NMR relaxation rate signifies that the moments fluctuate at a characteristic frequency slowing down to below MHz at low temperatures. The inhomogeneity, local correlation, and slow dynamics indicative of middle-scale dynamical correlation length suggest a novel frustration-driven spin clusterization.


title: Crystal Symmetry of Stripe Ordered La1.88Sr0.12CuO4

abstract: We present a combined x-ray and neutron diffraction study of the stripe ordered superconductor \lscox{0.12}. The average crystal structure is consistent with the orthorhombic $Bmab$ space group as commonly reported in the literature. This structure however is not symmetry compatible with a second order phase transition into the stripe order phase, and, as we report here numerous Bragg peaks forbidden in the $Bmab$ space group are observed. We have studied and analysed these $Bmab$-forbidden Bragg reflections. Fitting of the diffraction intensities yields monoclinic lattice distortions that are symmetry consistent with charge stripe order.


title: Entropy rigidity for cusped Hitchin representations

abstract: We establish an entropy rigidity theorem for Hitchin representations of all geometrically finite Fuchsian groups which generalizes a theorem of Potrie and Sambarino for Hitchin representations of closed surface groups. In the process, we introduce the class of (1,1,2)-hypertransverse groups and show for such a group that the Hausdorff dimension of its conical limit set agrees with its (first) simple root entropy, providing a common generalization of results of Bishop and Jones, for Kleinian groups, and Pozzetti, Sambarino and Wienhard, for Anosov groups. We also introduce the theory of transverse representations of projectively visible groups as a tool for studying discrete subgroups of linear groups which are not necessarily Anosov or relatively Anosov.


title: The Amit-Ashurst conjecture for finite metacyclic p-groups

abstract: The Amit conjecture about word maps on finite nilpotent groups has been shown to hold for certain classes of groups. The generalised Amit conjecture says that the probability of an element occurring in the image of a word map on a finite nilpotent group G is either 0, or at least 1/|G|. Noting the work of Ashurst, we name the generalised Amit conjecture the Amit-Ashurst conjecture and show that the Amit-Ashurst conjecture holds for finite p-groups with a cyclic maximal subgroup.


title: $p$-group Galois covers of curves in characteristic $p$

abstract: We study cohomologies of a curve with an action of a finite $p$-group over a field of characteristic $p$. Assuming the existence of a certain 'magical element' in the function field of the curve, we compute the equivariant structure of the module of holomorphic differentials and the de Rham cohomology, up to certain local terms. We show that a generic $p$-group cover has a 'magical element'. As an application we compute the de Rham cohomology of a curve with an action of a finite cyclic group of prime order.


title: Passivity-based design and analysis of phase-locked loops

abstract: We consider a grid-connected voltage source converter (VSC) and address the problem of estimating the grid angle and frequency, information that is essential for an appropriate operation of the converter. We design phase-locked loop (PLL) algorithms with guaranteed stability properties, under the assumption that the grid is characterized by relatively high short-circuit-ratio (SCR) and inertia. In particular we derive, using passivity arguments, generalization of the conventional synchronous reference frame (SRF) and arctangent (ATAN) PLL, which are the standard solutions in power applications. The analysis is further extended to the case of connection of the VSC to a low-inertia grid, ensuring robustness of the algorithms in case of frequency variations. The results are validated on a benchmark including the grid, the VSC and related controllers.


title: Data Pipeline Architecture and Development for VELC onboard Space Solar Mission AdityaL1

abstract: ADITYA L-1 is India's first dedicated mission to study Sun and its atmosphere with Visible Emission Line Coronagraph (VELC), a major payload on ADITYA-L1. VELC has provision to make imaging and spectroscopic observations of the corona, simultaneously. Imaging with the Field of View (FOV) from 1.05Ro to 3Ro will be done in continuum at 500nm. The spectroscopic observations of solar corona in three emission lines, namely 5303 {\AA} [Fe XIV], 7892 {\AA} [Fe XI], 10747 {\AA} [Fe XIII], and Spectro-polarimetry at 10747 {\AA} [Fe XIII] will be performed with FOV of 1.05-1.5Ro. In this work, the end-to-end data pipeline architecture and development of the VELC payload are presented. The VELC proposal submission form, satellite observation parameters, data products, level definitions, data pipeline and analysis software to process the big raw data sets obtained using VELC instruments onboard satellite to science-ready data are discussed.